| 2022-08-22 00:00:05 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-08-22 00:03:41 +0200 | Lucio__ | (~Lucio@5.179.169.123) (Ping timeout: 256 seconds) |
| 2022-08-22 00:06:17 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 00:08:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 00:08:55 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:cb56:c0f1:be02:e9c5) |
| 2022-08-22 00:11:32 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 00:16:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 00:16:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 00:17:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-22 00:19:48 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-22 00:20:41 +0200 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2022-08-22 00:24:45 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-22 00:25:17 +0200 | <NewbiePlumber> | I've been struggling with this error for some time now, and would like to resolve it: https://paste.tomsmeding.com/aLakskPi |
| 2022-08-22 00:25:27 +0200 | <NewbiePlumber> | Cabal and raw ghc commands build the project just fine |
| 2022-08-22 00:25:44 +0200 | <NewbiePlumber> | I'm on an aarch64 machine, but stack thinks I'm on arm64 |
| 2022-08-22 00:25:57 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-22 00:26:27 +0200 | <NewbiePlumber> | I don't know why. I've tried pointing stack to system ghc distributions, unsuccessfully. I've also tried building ghc from source and pointing stack to it, also unsuccessfully. |
| 2022-08-22 00:28:35 +0200 | <NewbiePlumber> | The full output is too large, but the other errors are like 10k of these: |
| 2022-08-22 00:28:35 +0200 | <NewbiePlumber> | Linking src/Main.a ... |
| 2022-08-22 00:28:41 +0200 | <NewbiePlumber> | Linking src/Main.a ... |
| 2022-08-22 00:29:25 +0200 | NewbiePlumber26 | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) |
| 2022-08-22 00:29:26 +0200 | <geekosaur> | aarch64 and arm64 are the same thing |
| 2022-08-22 00:29:52 +0200 | <NewbiePlumber> | They're very, very similar, but there are subtle differences |
| 2022-08-22 00:30:27 +0200 | mmhat | (~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-22 00:31:14 +0200 | <NewbiePlumber> | (IIRC, the differences are in the ABI, not the instruction set, FWIW) |
| 2022-08-22 00:31:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 00:31:43 +0200 | NewbiePlumber26 | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Client Quit) |
| 2022-08-22 00:31:58 +0200 | <geekosaur> | are you confusing AArch64 with Apple's ABI? |
| 2022-08-22 00:32:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 00:32:17 +0200 | <geekosaur> | ("AArch64" predates Apple ARM Macs by several years) |
| 2022-08-22 00:32:19 +0200 | <NewbiePlumber> | 10k of these (slashes wouldn't paste right here) https://paste.tomsmeding.com/Vc9jmQCf |
| 2022-08-22 00:33:44 +0200 | <NewbiePlumber> | I may be. My understanding of the differences between arm64 and aarch64 are from this repo: https://github.com/iains/gcc-darwin-arm64 |
| 2022-08-22 00:35:31 +0200 | <geekosaur> | the very title of that page is "Branches for AArch64 (Arm64) Darwin/Mach-O" |
| 2022-08-22 00:36:12 +0200 | <geekosaur> | my former employer was doing AArch64 Linux builds in 2016 so I know it was around back then |
| 2022-08-22 00:36:18 +0200 | <geekosaur> | Arm64 may be the new one |
| 2022-08-22 00:36:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 00:36:32 +0200 | <jean-paul[m]> | I'm looking around for a library for bayesian classification. I see a few obscure things not on stackage and I see hbayes which has some warnings on it trying to scare me away. Anyone have any recommendations in this space? |
| 2022-08-22 00:44:52 +0200 | <monochrom> | Is https://hackage.haskell.org/package/monad-bayes relevant? And https://monad-bayes-site.netlify.app/_site/about.html |
| 2022-08-22 00:50:02 +0200 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-22 00:50:03 +0200 | king_gs | (~Thunderbi@187.201.216.244) (Client Quit) |
| 2022-08-22 00:56:28 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-08-22 00:59:36 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:afeb:7cde:2e24:243f) (Remote host closed the connection) |
| 2022-08-22 00:59:55 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8db6:b1cb:eb82:d00b) |
| 2022-08-22 01:05:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 01:06:43 +0200 | acidjnk | (~acidjnk@p200300d6e7137a51b5f4311eaf3b0bb2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-22 01:11:46 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-22 01:17:23 +0200 | gurkengl1s | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-08-22 01:22:52 +0200 | drlkf | (~drlkf@chat.drlkf.net) (Quit: drlkf) |
| 2022-08-22 01:23:00 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-22 01:23:14 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-22 01:23:15 +0200 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-08-22 01:24:09 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 256 seconds) |
| 2022-08-22 01:24:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 01:25:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 01:26:48 +0200 | adium | (adium@user/adium) |
| 2022-08-22 01:30:39 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:8db6:b1cb:eb82:d00b) (Remote host closed the connection) |
| 2022-08-22 01:35:19 +0200 | <jean-paul[m]> | I'm reading its docs and trying to decide. I can't really tell. |
| 2022-08-22 01:35:36 +0200 | <qrpnxz> | hmm, in rust i can just hand you an immutable ref to my buffer willy nilly and later write to it because the compiler checks you are not holding it anymore by that time. In haskell i'll have to create a newtype and do CPS, or some highly side-effecty runtime reference tracking, to do something like that. Maybe linear type would help? For now i think copying might be the sane way to go, even if not |
| 2022-08-22 01:35:38 +0200 | <qrpnxz> | as efficient. |
| 2022-08-22 01:38:03 +0200 | <jean-paul[m]> | I want to be really lazy and have an API something like `classify :: Map k Text -> Text -> k`. I think monad-bayes is more about computational bayes than classification (presumably I could /build/ classification on top of it but ... |
| 2022-08-22 01:39:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 01:40:03 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-22 01:43:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 01:44:05 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-08-22 02:01:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 02:04:51 +0200 | ph88 | (~ph88@2a02:8109:9e00:71d0:cb56:c0f1:be02:e9c5) (Quit: Leaving) |
| 2022-08-22 02:07:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 02:07:33 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-08-22 02:07:50 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-08-22 02:08:20 +0200 | Successus | (~Successus@user/Successus) () |
| 2022-08-22 02:12:03 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-08-22 02:17:05 +0200 | NewbiePlumber | (~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Client closed) |
| 2022-08-22 02:20:35 +0200 | <energizer> | is there a conventional name for the function (\x->True) ? |
| 2022-08-22 02:23:48 +0200 | <monochrom> | const True |
| 2022-08-22 02:25:13 +0200 | <energizer> | ok |
| 2022-08-22 02:25:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-22 02:28:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 02:30:49 +0200 | <qrpnxz> | lol |
| 2022-08-22 02:30:56 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-08-22 02:36:08 +0200 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-08-22 02:39:33 +0200 | raym | (~raym@user/raym) |
| 2022-08-22 02:42:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:f527:3ca7:b122:fd0c) (Ping timeout: 244 seconds) |
| 2022-08-22 02:43:51 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-08-22 02:46:47 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 252 seconds) |
| 2022-08-22 02:49:09 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-08-22 02:50:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 03:03:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 03:05:07 +0200 | xff0x | (~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 2022-08-22 03:07:16 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 2022-08-22 03:07:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-08-22 03:09:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-22 03:09:53 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 03:10:32 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-22 03:10:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2022-08-22 03:14:43 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-22 03:16:40 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-22 03:19:27 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 03:21:37 +0200 | eron | (~eron@2804:431:c7c3:1831:d991:50a8:ea4c:ffea) |
| 2022-08-22 03:21:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 03:22:01 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-22 03:31:15 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2022-08-22 03:31:32 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-22 03:31:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2022-08-22 03:33:36 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 03:34:23 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 268 seconds) |
| 2022-08-22 03:35:40 +0200 | eron | (~eron@2804:431:c7c3:1831:d991:50a8:ea4c:ffea) (Quit: Client closed) |
| 2022-08-22 03:35:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-22 03:38:54 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-08-22 03:39:01 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-22 03:43:16 +0200 | <pareto-optimal-d> | <NewbiePlumber> "I'm on an aarch64 machine, but..." <- I saw a comment about stack going by libtinfo and getting the wrong ABI, maybe thats it. |
| 2022-08-22 03:44:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-22 03:44:48 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-22 03:47:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 03:50:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 03:53:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-22 03:55:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 03:59:31 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-08-22 04:02:54 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-22 04:03:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 04:05:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-22 04:05:25 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 04:05:25 +0200 | finn_elija | FinnElija |
| 2022-08-22 04:06:50 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-22 04:08:29 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-22 04:09:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 04:09:40 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-22 04:12:26 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2022-08-22 04:19:40 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-08-22 04:19:48 +0200 | td_ | (~td@muedsl-82-207-238-189.citykom.de) (Ping timeout: 256 seconds) |
| 2022-08-22 04:21:34 +0200 | td_ | (~td@muedsl-82-207-238-019.citykom.de) |
| 2022-08-22 04:22:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 04:22:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 04:33:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 04:34:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2022-08-22 04:35:08 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-22 04:37:08 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-22 04:37:21 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 04:39:31 +0200 | vglfr | (~vglfr@145.224.94.199) (Ping timeout: 248 seconds) |
| 2022-08-22 04:39:50 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-22 04:40:05 +0200 | jargon | (~jargon@174-22-194-180.phnx.qwest.net) |
| 2022-08-22 04:41:01 +0200 | gff | (~gff@user/gff) (Ping timeout: 268 seconds) |
| 2022-08-22 04:41:41 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 04:42:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 04:42:41 +0200 | gff | (~gff@user/gff) |
| 2022-08-22 04:45:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-08-22 04:45:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 04:46:48 +0200 | k2k2 | (~k2@rrcs-24-73-55-34.se.biz.rr.com) |
| 2022-08-22 04:47:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 04:47:09 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-22 04:47:29 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-22 04:47:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 04:48:37 +0200 | k2k2 | (~k2@rrcs-24-73-55-34.se.biz.rr.com) (Client Quit) |
| 2022-08-22 04:50:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 04:50:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-08-22 04:50:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 04:51:42 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-22 04:52:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 04:54:02 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-22 04:55:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 04:55:47 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2022-08-22 04:56:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 05:02:08 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-08-22 05:03:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-08-22 05:04:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-22 05:07:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 05:10:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 05:10:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 05:11:01 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 05:19:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-22 05:19:27 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 05:20:16 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 05:21:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 05:23:28 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-08-22 05:25:41 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 05:26:56 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-22 05:27:18 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 240 seconds) |
| 2022-08-22 05:28:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 05:28:33 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-22 05:30:43 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-22 05:30:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-22 05:31:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 05:31:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-22 05:33:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 05:37:27 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-22 05:37:56 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-22 05:42:27 +0200 | benin0 | (~benin@183.82.205.66) (Ping timeout: 248 seconds) |
| 2022-08-22 05:50:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 05:54:43 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 248 seconds) |
| 2022-08-22 05:55:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 06:07:55 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 06:07:55 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-22 06:08:44 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-22 06:09:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 06:12:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-22 06:14:19 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-22 06:16:33 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 256 seconds) |
| 2022-08-22 06:16:33 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-22 06:17:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-22 06:20:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 06:21:55 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Ping timeout: 248 seconds) |
| 2022-08-22 06:21:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-22 06:22:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 06:22:45 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-08-22 06:23:14 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-22 06:23:26 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2022-08-22 06:26:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 06:29:01 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-08-22 06:30:38 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 255 seconds) |
| 2022-08-22 06:32:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-22 06:33:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 06:34:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 06:38:31 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-22 06:39:40 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-22 06:40:01 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-22 06:45:11 +0200 | <Clinton[m]> | In GHC 9.2, if I have a module that exports `T(..)`, lets say I have field `blah`, how can I import `blah` so I can use `x :: T ... x.blah` in an importing module? |
| 2022-08-22 06:47:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 06:50:23 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-22 06:56:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 07:06:31 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 268 seconds) |
| 2022-08-22 07:08:09 +0200 | ddellacosta | (~ddellacos@89.45.224.229) |
| 2022-08-22 07:12:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-22 07:12:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 07:14:35 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Read error: Connection reset by peer) |
| 2022-08-22 07:14:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 07:14:48 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-22 07:15:26 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-22 07:16:59 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-08-22 07:25:58 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 2022-08-22 07:25:59 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-22 07:27:45 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-08-22 07:27:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2022-08-22 07:30:24 +0200 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
| 2022-08-22 07:38:27 +0200 | <pavonia> | Clinton[m]: import Foo (T(blah)) |
| 2022-08-22 07:38:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 07:43:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 07:47:56 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-22 07:53:02 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-22 07:53:02 +0200 | coot | (~coot@213.134.176.158) (Read error: Connection reset by peer) |
| 2022-08-22 07:54:59 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 07:55:34 +0200 | f-a | (f2a@f2a.jujube.ircnow.org) () |
| 2022-08-22 07:55:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 07:56:41 +0200 | michalz | (~michalz@185.246.204.72) |
| 2022-08-22 07:57:05 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-08-22 07:57:27 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-22 07:58:35 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-08-22 07:58:52 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-22 07:59:41 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 256 seconds) |
| 2022-08-22 08:00:31 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-22 08:08:21 +0200 | ardell | (~ardell@user/ardell) |
| 2022-08-22 08:14:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 08:17:15 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-22 08:26:43 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 08:27:20 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 08:29:34 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 08:29:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-22 08:30:23 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 08:34:19 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-22 08:35:19 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-22 08:37:19 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-08-22 08:38:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-22 08:40:29 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-08-22 08:44:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 08:44:26 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 08:48:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 08:48:36 +0200 | faultline | (~christian@200116b82b104e00fb802468084b9d47.dip.versatel-1u1.de) |
| 2022-08-22 08:49:29 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-22 08:51:14 +0200 | raym | (~raym@user/raym) |
| 2022-08-22 08:52:25 +0200 | Lucio_ | (~Lucio@5.179.169.123) |
| 2022-08-22 08:52:26 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 08:57:07 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-22 08:57:19 +0200 | mmhat | (~mmh@p200300f1c7086050ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-22 08:59:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:262c:6bb0:610c:7def) |
| 2022-08-22 08:59:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-22 09:01:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 09:01:42 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-22 09:01:53 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 252 seconds) |
| 2022-08-22 09:02:10 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 09:02:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 09:03:23 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 09:05:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-22 09:11:25 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-22 09:12:16 +0200 | chele | (~chele@user/chele) |
| 2022-08-22 09:12:32 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-08-22 09:12:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 09:13:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-22 09:13:57 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-08-22 09:15:24 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 09:17:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 09:17:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-22 09:21:45 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-22 09:23:06 +0200 | <tomsmeding> | jean-paul[m]: monad-bays is indeed for bayesian _inference_ in an arbitrary model, whereas it seems you're looking for bayesian _classification_ -- something I know nothing about so I also can't help you :p |
| 2022-08-22 09:23:57 +0200 | <tomsmeding> | qrpnxz: linear types could help with that -- after all, rust's tracking is using some (extended) form of linear types as well |
| 2022-08-22 09:24:16 +0200 | <tomsmeding> | but it's not going to be as nice in haskell as it is in rust |
| 2022-08-22 09:25:41 +0200 | <[exa]> | tomsmeding: for some definition of "nice" |
| 2022-08-22 09:26:43 +0200 | acidjnk | (~acidjnk@p200300d6e7137a51b5f4311eaf3b0bb2.dip0.t-ipconnect.de) |
| 2022-08-22 09:26:51 +0200 | <tomsmeding> | [exa]: relative to how nice things usually are in the respective languages :p |
| 2022-08-22 09:27:55 +0200 | <tomsmeding> | hopefully thereby eliminating some of the subjective prejudice of the reader concerning both languages |
| 2022-08-22 09:28:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds) |
| 2022-08-22 09:29:29 +0200 | <[exa]> | tomsmeding: ok that's a nice way to say "abysmal" :D |
| 2022-08-22 09:29:42 +0200 | <tomsmeding> | [exa]: rust is quite a nice language |
| 2022-08-22 09:29:43 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-08-22 09:30:05 +0200 | <tomsmeding> | syntax is a lot more noisy than haskell, but for an imperative language and for the things that it allows you to do in that setting, it's quite nice IMO |
| 2022-08-22 09:30:15 +0200 | <[exa]> | otoh I thought that the linearity with e.g. the vectors didn't bring in too much new weirdness except for having to care about the lollipops everywhere? |
| 2022-08-22 09:30:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-08-22 09:30:53 +0200 | <tomsmeding> | yeah, but in rust you have nested ownership (borrowing) done for you without any work from your side, whereas in haskell you'd have to pass the vector around everywhere, including returning it from callees |
| 2022-08-22 09:31:29 +0200 | <[exa]> | yeah well, State |
| 2022-08-22 09:31:33 +0200 | <tomsmeding> | like, borrowing is the raison d'etre of rust |
| 2022-08-22 09:31:40 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-22 09:31:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 09:32:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 09:32:11 +0200 | <tomsmeding> | you can borrow non-lexically in rust nowadays ;) |
| 2022-08-22 09:32:20 +0200 | <tomsmeding> | so you'd need applicative brackets in haskell to get the same level of nativeness |
| 2022-08-22 09:38:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-22 09:41:26 +0200 | [exa] | expects -XMagicState |
| 2022-08-22 09:42:57 +0200 | <tomsmeding> | if you want some hacker cred, implement it and present about it next year at HIW :p |
| 2022-08-22 09:44:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 09:44:34 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-22 09:44:37 +0200 | <[exa]> | nah, I already tried twice and it failed :D |
| 2022-08-22 09:44:56 +0200 | <[exa]> | guessing operation order is hard |
| 2022-08-22 09:46:33 +0200 | <tomsmeding> | if you have to guess operation order, it should error out saying that the notation is ambiguous |
| 2022-08-22 09:46:53 +0200 | <tomsmeding> | i.e. if "left-to-right" doesn't unambiguously decide the order |
| 2022-08-22 09:47:46 +0200 | <[exa]> | yeah that's almost never the case (guess the order of let bindings) |
| 2022-08-22 09:48:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 09:50:04 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 09:50:54 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 09:51:50 +0200 | <tomsmeding> | since you're implementing a call-by-value language, basically, I would expect standard call-by-value semantics |
| 2022-08-22 09:51:59 +0200 | <tomsmeding> | i.e. if the let-bindings don't make sense in lexicographical order, error |
| 2022-08-22 09:52:37 +0200 | <tomsmeding> | or rather, if lexicographical name-resolving would yield a different answer from full-recursive name resolving |
| 2022-08-22 09:55:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-22 09:55:53 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-22 09:58:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-22 10:01:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 10:01:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 10:02:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 10:03:41 +0200 | RamyeZ | (~Me@185.103.90.188) |
| 2022-08-22 10:03:56 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2022-08-22 10:04:41 +0200 | benin0 | (~benin@183.82.206.27) |
| 2022-08-22 10:09:55 +0200 | kuribas | (~user@ptr-17d51em3wvqh57xrshg.18120a2.ip6.access.telenet.be) |
| 2022-08-22 10:11:12 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-22 10:11:15 +0200 | Om-Mosa1 | (~Me@185.103.90.188) |
| 2022-08-22 10:11:26 +0200 | Om-Mosa1 | (~Me@185.103.90.188) (Max SendQ exceeded) |
| 2022-08-22 10:11:59 +0200 | Om-Mosa1 | (~Me@185.103.90.188) |
| 2022-08-22 10:12:00 +0200 | Om-Mosa1 | (~Me@185.103.90.188) (Max SendQ exceeded) |
| 2022-08-22 10:12:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-22 10:12:32 +0200 | Om-Mosa1 | (~Me@185.103.90.188) |
| 2022-08-22 10:12:45 +0200 | Om-Mosa1 | (~Me@185.103.90.188) (Max SendQ exceeded) |
| 2022-08-22 10:13:21 +0200 | Om-Mosa1 | (~Me@185.103.90.188) |
| 2022-08-22 10:13:22 +0200 | Om-Mosa1 | (~Me@185.103.90.188) (Max SendQ exceeded) |
| 2022-08-22 10:13:23 +0200 | RamyeZ | (~Me@185.103.90.188) (Ping timeout: 252 seconds) |
| 2022-08-22 10:14:33 +0200 | vgtw | (~vgtw@user/vgtw) (Client Quit) |
| 2022-08-22 10:15:08 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-22 10:17:50 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-22 10:17:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:262c:6bb0:610c:7def) (Ping timeout: 255 seconds) |
| 2022-08-22 10:18:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:260a:15eb:2da3:7b7f) |
| 2022-08-22 10:19:32 +0200 | fserucas|eod | (~fserucas|@89.214.149.93) |
| 2022-08-22 10:19:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 10:20:51 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 10:20:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 10:20:57 +0200 | fserucas|eod | (~fserucas|@89.214.149.93) (Client Quit) |
| 2022-08-22 10:21:11 +0200 | fserucas | (~fserucas@89.214.149.93) |
| 2022-08-22 10:21:16 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 10:21:16 +0200 | <dminuoso> | Is there a way to force GHC into generating a jump table for a given case-of construct? |
| 2022-08-22 10:21:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 10:22:21 +0200 | <merijn> | Don't think so |
| 2022-08-22 10:23:25 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2022-08-22 10:25:06 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 10:29:31 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-22 10:30:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-22 10:31:59 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-22 10:33:32 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 10:37:26 +0200 | <dminuoso> | I am amazed. I have a `data DomainLabel = DomainLabel { label :: ByteString, labelCaseFolded :: ByteString }`, and if I unsafely create that DomainLabel via `DomainLabel l l` I get much worse performance than if I use my smart constructor that also does explicit case-folding on the second field. |
| 2022-08-22 10:37:53 +0200 | <dminuoso> | Less code executes slower. :) |
| 2022-08-22 10:38:00 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-22 10:38:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 10:40:17 +0200 | <tomsmeding> | dminuoso: wild guess, but maybe the original label references some large bytestring whereas the case-folded one is small, and you don't actually end up using the original label so it gets GCd? |
| 2022-08-22 10:43:09 +0200 | <dminuoso> | tomsmeding: Mmm, they are all generated via Data.ByteString.Char8.pack |
| 2022-08-22 10:43:53 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-22 10:44:12 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Ping timeout: 268 seconds) |
| 2022-08-22 10:44:13 +0200 | <dminuoso> | But yeah, I think I should be using ShortByteString anyway |
| 2022-08-22 10:44:47 +0200 | <dminuoso> | Given that most my labels are only 1 byte long, there's going to be extreme heap fragmentation |
| 2022-08-22 10:45:01 +0200 | <tomsmeding> | O.o 1 byte is pretty short |
| 2022-08-22 10:45:25 +0200 | <tomsmeding> | are these dns labels? How are dns labels usually 1 byte long |
| 2022-08-22 10:45:34 +0200 | <dminuoso> | tomsmeding: ip6.arpa zone |
| 2022-08-22 10:45:47 +0200 | <dminuoso> | They encode each octet of an ipv6 address as a separate label |
| 2022-08-22 10:45:56 +0200 | <tomsmeding> | that's dumb |
| 2022-08-22 10:46:03 +0200 | <dminuoso> | No its actually pretty good. |
| 2022-08-22 10:46:27 +0200 | <dminuoso> | It reduces zone fragmentation by a lot |
| 2022-08-22 10:46:49 +0200 | <tomsmeding> | hm makes sense, interesting |
| 2022-08-22 10:46:52 +0200 | <tomsmeding> | but yeah definitely SBS |
| 2022-08-22 10:46:53 +0200 | <dminuoso> | Oh no hold on |
| 2022-08-22 10:46:57 +0200 | <dminuoso> | No its worse in IPv6! |
| 2022-08-22 10:47:02 +0200 | <dminuoso> | It's done per-nibble |
| 2022-08-22 10:47:05 +0200 | <tomsmeding> | lol! |
| 2022-08-22 10:47:28 +0200 | <dminuoso> | So you have 0.1.1.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.a.e.c.5.a.b.c.1.2.b.b.d.f.ip6.arpa. |
| 2022-08-22 10:47:30 +0200 | <dminuoso> | for example |
| 2022-08-22 10:47:40 +0200 | <tomsmeding> | but I mean, if we're talking about ipv6 addresses here, the longest they'll get is 16 bytes |
| 2022-08-22 10:47:56 +0200 | <tomsmeding> | which is still Pretty Short |
| 2022-08-22 10:48:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 10:52:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 10:55:05 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 10:55:48 +0200 | nilradical | (~nilradica@user/naso) (Read error: Connection reset by peer) |
| 2022-08-22 10:56:03 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 10:58:41 +0200 | ardell | (~ardell@user/ardell) (Remote host closed the connection) |
| 2022-08-22 11:04:52 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-22 11:06:05 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-08-22 11:06:28 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-22 11:07:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 11:09:44 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-22 11:10:06 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 11:13:25 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-22 11:14:33 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:14cc:b7c5:eea1:6438) |
| 2022-08-22 11:14:43 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-08-22 11:17:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 11:18:00 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2022-08-22 11:22:55 +0200 | <einfair__> | what i need to read to create a widget ? |
| 2022-08-22 11:23:37 +0200 | <einfair__> | i mean my separate subclass which will draw itself |
| 2022-08-22 11:24:27 +0200 | beteigeuze | (~Thunderbi@85.244.28.222) |
| 2022-08-22 11:24:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 11:26:12 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-22 11:26:58 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-08-22 11:28:29 +0200 | Guest28 | (~Guest28@2a00:a040:197:36f4:3cea:f7e2:6a12:2e47) |
| 2022-08-22 11:32:16 +0200 | <dminuoso> | Mmm. "foo"# gives me an Addr# fancy. :) |
| 2022-08-22 11:32:38 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 11:36:08 +0200 | Lucio_ | (~Lucio@5.179.169.123) (Ping timeout: 256 seconds) |
| 2022-08-22 11:37:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 11:37:48 +0200 | Lucio_ | (~Lucio@5.179.169.123) |
| 2022-08-22 11:38:56 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-22 11:42:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 11:45:11 +0200 | <tomsmeding> | einfair__: xmonad? |
| 2022-08-22 11:47:48 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-22 11:47:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-22 11:48:04 +0200 | <einfair__> | tomsmeding: in GI.Gtk |
| 2022-08-22 11:51:49 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-22 11:52:48 +0200 | ardell | (~ardell@user/ardell) |
| 2022-08-22 11:55:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 11:57:58 +0200 | califax | (~califax@user/califx) |
| 2022-08-22 12:01:31 +0200 | <dminuoso> | Mmm, as far as I can say, word2Int# is a no-op, can someone confirm this for me? |
| 2022-08-22 12:04:37 +0200 | Guest28 | (~Guest28@2a00:a040:197:36f4:3cea:f7e2:6a12:2e47) (Quit: Client closed) |
| 2022-08-22 12:07:14 +0200 | <tomsmeding> | dminuoso: looks like it https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/StgToCmm/Prim.hs#L1075 |
| 2022-08-22 12:08:55 +0200 | <tomsmeding> | see also https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Builtin/primops.txt.pp#L265 :p |
| 2022-08-22 12:09:06 +0200 | <tomsmeding> | oh wrong one, but word2Int# has the same annotation |
| 2022-08-22 12:12:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 12:13:33 +0200 | <tomsmeding> | see also the definition of opNop in that same GHC.StgToCmm.Prim file |
| 2022-08-22 12:13:46 +0200 | <tomsmeding> | "res := arg;" |
| 2022-08-22 12:15:12 +0200 | <dminuoso> | tomsmeding: Is StgToCmm/Prim.hs the single authoritative implementation of primops? |
| 2022-08-22 12:15:47 +0200 | <dminuoso> | I thought there were also out-of-line primops in rts/PrimOps.cmss or even foreign primops |
| 2022-08-22 12:16:01 +0200 | <dminuoso> | *rts/PrimOps.cmm |
| 2022-08-22 12:17:11 +0200 | <tomsmeding> | dminuoso: the index of all primops is in that primops.txt.pp file |
| 2022-08-22 12:18:01 +0200 | <dminuoso> | Oh, presumably all of this is just resolved at linker time? |
| 2022-08-22 12:18:39 +0200 | <dminuoso> | Or maybe not? Im confused how or where GHC differentiates between rts/PrimOps.cmm and compiler/GHC/StgToCmm/Prim.hs |
| 2022-08-22 12:19:12 +0200 | <tomsmeding> | ah no I lied a bit |
| 2022-08-22 12:19:13 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 256 seconds) |
| 2022-08-22 12:19:17 +0200 | <tomsmeding> | dminuoso: see primops.txt.pp:150 |
| 2022-08-22 12:20:32 +0200 | <dminuoso> | Ahh, so `out_of_line = True` appears to control when they, at least, have a cmm implementation |
| 2022-08-22 12:20:53 +0200 | <tomsmeding> | see also rts/PrimOps.cmm:11-12 :) |
| 2022-08-22 12:21:00 +0200 | <tomsmeding> | well, 9-12 |
| 2022-08-22 12:21:10 +0200 | <dminuoso> | "for most of those with the attribtue out_of_line=True" |
| 2022-08-22 12:21:13 +0200 | <dminuoso> | o.o |
| 2022-08-22 12:21:17 +0200 | <tomsmeding> | :') |
| 2022-08-22 12:21:22 +0200 | <tomsmeding> | who said ghc was well-engineered |
| 2022-08-22 12:21:27 +0200 | <tomsmeding> | (I'm joking) |
| 2022-08-22 12:21:43 +0200 | <dminuoso> | Well, any project of this size has *some* cruft. |
| 2022-08-22 12:21:47 +0200 | <tomsmeding> | yeah |
| 2022-08-22 12:23:37 +0200 | motersen | (~motersen@user/motersen) (bye) |
| 2022-08-22 12:24:00 +0200 | <[Leary]> | There's a 60 page paper about how much cruft there is in GHC. <.< |
| 2022-08-22 12:25:27 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:14cc:b7c5:eea1:6438) (Remote host closed the connection) |
| 2022-08-22 12:27:09 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 256 seconds) |
| 2022-08-22 12:28:04 +0200 | <dminuoso> | tomsmeding: I think I solved some performance problems with this already: https://gist.github.com/dminuoso/4a447d1587474d8aea60d5b845a8988c |
| 2022-08-22 12:28:29 +0200 | <tomsmeding> | > repeat 'f' |
| 2022-08-22 12:28:31 +0200 | <lambdabot> | "fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff... |
| 2022-08-22 12:28:38 +0200 | <dminuoso> | tomsmeding: Look at that # at the end. |
| 2022-08-22 12:28:41 +0200 | <tomsmeding> | yes |
| 2022-08-22 12:28:45 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 12:28:51 +0200 | <tomsmeding> | đź‘Ś |
| 2022-08-22 12:28:54 +0200 | <dminuoso> | :) |
| 2022-08-22 12:29:17 +0200 | <dminuoso> | Its quite cool that you can do a quick lookup packed lookup table this easily with MagicHash |
| 2022-08-22 12:30:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-22 12:30:16 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-22 12:30:29 +0200 | <tomsmeding> | I'm wondering if you really need the full extent of those lookup tables |
| 2022-08-22 12:31:00 +0200 | <tomsmeding> | in particular, a branch on n whether it's >=16 isn't that expensive |
| 2022-08-22 12:31:13 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 12:31:27 +0200 | <tomsmeding> | and clearly that ipv4Labels lookup table can be one long ByteString indexed at offset 3*key ;) |
| 2022-08-22 12:32:07 +0200 | <dminuoso> | Huh! |
| 2022-08-22 12:32:35 +0200 | <dminuoso> | Why didn't I think of that. |
| 2022-08-22 12:32:43 +0200 | <dminuoso> | Though you meant just ByteArray# right? |
| 2022-08-22 12:32:46 +0200 | califax | (~califax@user/califx) |
| 2022-08-22 12:32:47 +0200 | <tomsmeding> | :D |
| 2022-08-22 12:32:50 +0200 | <dminuoso> | :> |
| 2022-08-22 12:32:53 +0200 | <tomsmeding> | not sure it really makes much of a difference |
| 2022-08-22 12:33:03 +0200 | <dminuoso> | ByteString *is* just a ByteArray plus some convenience |
| 2022-08-22 12:33:05 +0200 | <tomsmeding> | doing +0 is not going to cost much time |
| 2022-08-22 12:33:17 +0200 | <dminuoso> | What do you mean by +0? |
| 2022-08-22 12:33:28 +0200 | <tomsmeding> | well, that's what a ByteString indexing operation will end up doing, right? |
| 2022-08-22 12:33:40 +0200 | <tomsmeding> | add the offset of the view to the passed-in index, and index the ByteArray# there |
| 2022-08-22 12:33:44 +0200 | <tomsmeding> | the offset being 0 |
| 2022-08-22 12:34:50 +0200 | <dminuoso> | So this is actually interesting now |
| 2022-08-22 12:34:58 +0200 | <dminuoso> | So you're suggesting to ditch ShortByteString |
| 2022-08-22 12:35:15 +0200 | <dminuoso> | This is a difficult proposition, as heap fragmentation will now depend on the percentage of in-addr arpa labels |
| 2022-08-22 12:35:35 +0200 | <tomsmeding> | if it's one big lookup table that will live for the full length of your application, I'd naively think this is the place to use ByteString |
| 2022-08-22 12:35:56 +0200 | <tomsmeding> | oh you mean that all the arpa labels will now re-use those ShortByteStrings? |
| 2022-08-22 12:35:58 +0200 | <tomsmeding> | hmm |
| 2022-08-22 12:36:16 +0200 | <tomsmeding> | I hadn't considered that |
| 2022-08-22 12:36:29 +0200 | <tomsmeding> | then maybe this is better actually |
| 2022-08-22 12:36:42 +0200 | <tomsmeding> | assuming that V.Vector is a boxed vector :D |
| 2022-08-22 12:36:47 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 256 seconds) |
| 2022-08-22 12:36:50 +0200 | <dminuoso> | It cant be unboxed |
| 2022-08-22 12:36:55 +0200 | <tomsmeding> | right |
| 2022-08-22 12:37:09 +0200 | <dminuoso> | Unless we had a FixedByteString of sorts |
| 2022-08-22 12:37:16 +0200 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot_) |
| 2022-08-22 12:37:33 +0200 | <tomsmeding> | actually I feel like what you want here is something like c++'s std::string with small-string optimisation |
| 2022-08-22 12:37:47 +0200 | <tomsmeding> | i.e. store the string in the object if its length is < 8 bytes, otherwise make a heap allocation |
| 2022-08-22 12:38:04 +0200 | <tomsmeding> | and in the latter case, store the address in those same 8 bytes |
| 2022-08-22 12:38:31 +0200 | <tomsmeding> | and then unbox said "std::string" wherever you use it |
| 2022-08-22 12:38:42 +0200 | <tomsmeding> | because the object itself is a fixed size |
| 2022-08-22 12:38:53 +0200 | <tomsmeding> | not sure haskell will allow you to do this pointer-punning though, probably not :p |
| 2022-08-22 12:39:07 +0200 | <dminuoso> | tomsmeding: Well in IPv4 the labels are not fixed sizse. |
| 2022-08-22 12:39:16 +0200 | <dminuoso> | Oh hold on |
| 2022-08-22 12:39:43 +0200 | <dminuoso> | That's sneaky. |
| 2022-08-22 12:40:26 +0200 | <tomsmeding> | IIRC ghc's GC will not allow this because it wants a predictable layout of pointer/non-pointer fields in data types |
| 2022-08-22 12:40:49 +0200 | <tomsmeding> | in which case you lose 8 bytes for having to separate the embedded small string and the optional heap pointer, which is not too bad |
| 2022-08-22 12:41:19 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-22 12:42:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 12:43:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 12:44:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 12:44:27 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2022-08-22 12:45:04 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-22 12:47:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 12:48:35 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Ping timeout: 248 seconds) |
| 2022-08-22 12:49:14 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-22 12:52:31 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 12:54:27 +0200 | Lucio_ | (~Lucio@5.179.169.123) (Ping timeout: 248 seconds) |
| 2022-08-22 12:56:47 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 12:57:14 +0200 | <dminuoso> | tomsmeding: I reused this trick for case folding by the way. |
| 2022-08-22 12:57:21 +0200 | <dminuoso> | And it helped shave off another 15% of runtime performance. :) |
| 2022-08-22 12:57:25 +0200 | <tomsmeding> | :o |
| 2022-08-22 12:57:27 +0200 | <tomsmeding> | nice |
| 2022-08-22 12:57:35 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 12:57:55 +0200 | <dminuoso> | tomsmeding: https://gist.github.com/dminuoso/739bff02a3bc94339e6b4ee5fb732ffb |
| 2022-08-22 12:57:57 +0200 | <dminuoso> | :) |
| 2022-08-22 12:58:07 +0200 | <tomsmeding> | ._. |
| 2022-08-22 12:58:16 +0200 | <dminuoso> | (And the actual foldCase implementation is just a `BS.map foldCase_`) |
| 2022-08-22 12:58:17 +0200 | <tomsmeding> | neat |
| 2022-08-22 12:58:25 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 12:58:40 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 12:58:51 +0200 | <dminuoso> | Inside that hot spot I think it's at least an order of magnitute faster |
| 2022-08-22 12:59:00 +0200 | <tomsmeding> | yeah I can see how this particular example is quite a bit cheaper |
| 2022-08-22 13:01:05 +0200 | <dminuoso> | Now I have this last bottleneck left and Im not sure I can get rid of that one without turning an eye on idealism |
| 2022-08-22 13:01:19 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-22 13:02:23 +0200 | <dminuoso> | tomsmeding: By the way, why do you think this example is quite a bit cheaper? I think the main cost is not even the branches but the cache unfriendly pointer indirection |
| 2022-08-22 13:02:58 +0200 | <tomsmeding> | lot more code, not sure what c2w is doing, and it uses at least the amount of memory |
| 2022-08-22 13:03:04 +0200 | <tomsmeding> | it's strictly more stuff |
| 2022-08-22 13:03:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 13:03:25 +0200 | vglfr | (~vglfr@145.224.94.199) (Ping timeout: 256 seconds) |
| 2022-08-22 13:03:25 +0200 | <dminuoso> | With the Addr# trick the entirety, I will just keep 4 cache lines, which in a tight loop will not even be evicted |
| 2022-08-22 13:03:32 +0200 | <dminuoso> | c2w is a noop |
| 2022-08-22 13:03:41 +0200 | <tomsmeding> | well, I guess what you do gain with the before.hs is that you don't do anything for the unchanged bytes -- but there are only 256 values anyway |
| 2022-08-22 13:03:42 +0200 | <tomsmeding> | ah |
| 2022-08-22 13:03:59 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 256 seconds) |
| 2022-08-22 13:04:11 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-22 13:04:26 +0200 | <tomsmeding> | how much have you already sped up the whole thing with all tricks combined |
| 2022-08-22 13:04:26 +0200 | <dminuoso> | With a case-of, wouldnt each character reside as a heap allocated object? |
| 2022-08-22 13:04:45 +0200 | <tomsmeding> | not necessarily, the code to create said heap-allocated objects will be there |
| 2022-08-22 13:04:53 +0200 | Lucio_ | (~Lucio@5.179.169.123) |
| 2022-08-22 13:04:54 +0200 | <dminuoso> | With all tricks combined I went from 3.3s to 2.1s total runtime |
| 2022-08-22 13:05:08 +0200 | <dminuoso> | But my program does lots of other things |
| 2022-08-22 13:05:09 +0200 | <tomsmeding> | > (3.3 - 2.1) / 3.3 |
| 2022-08-22 13:05:11 +0200 | <lambdabot> | 0.3636363636363636 |
| 2022-08-22 13:05:14 +0200 | <tomsmeding> | nice |
| 2022-08-22 13:06:11 +0200 | <dminuoso> | Well actually the earliest version after the recent rewrite was like 10ish seconds, but that was just an Ord instances that recomputed the case-folded each time without memoization |
| 2022-08-22 13:06:32 +0200 | <dminuoso> | (turns out this is terribly bad if you're inserting a few hundred thousand domains into a map) |
| 2022-08-22 13:06:33 +0200 | <tomsmeding> | ah :p |
| 2022-08-22 13:06:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 13:06:40 +0200 | <tomsmeding> | heh |
| 2022-08-22 13:08:28 +0200 | akegalj | (~akegalj@cpe-94-253-207-38.zg2.cable.xnet.hr) |
| 2022-08-22 13:08:39 +0200 | <dminuoso> | My next issue is pretty printing. :( |
| 2022-08-22 13:09:14 +0200 | <tomsmeding> | wild idea: have two maps, one for domains <=24 bytes, one for domains >24 bytes. The latter one is what you have here, the former one is mostly the same, but then IntMap (IntMap (IntMap Domain)), since three Int64's combine to cover the bytes of a 24-byte domain |
| 2022-08-22 13:09:31 +0200 | <tomsmeding> | the point being that an IntMap is not a binary tree, it's wider, and wider is good |
| 2022-08-22 13:10:01 +0200 | <dminuoso> | tomsmeding: The map uses (Domain, RecordType) right now. |
| 2022-08-22 13:10:40 +0200 | <dminuoso> | And RecordType has 49 constructors |
| 2022-08-22 13:10:53 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 13:11:00 +0200 | <tomsmeding> | just use a B-tree already :p |
| 2022-08-22 13:11:11 +0200 | <tomsmeding> | my suggestion was just a poor-man's b-tree |
| 2022-08-22 13:11:29 +0200 | <dminuoso> | Heh I already do use tries in a few places |
| 2022-08-22 13:11:35 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 13:11:44 +0200 | <dminuoso> | Though the insertion is not a hot spot |
| 2022-08-22 13:12:14 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-22 13:12:29 +0200 | vglfr | (~vglfr@145.224.94.199) |
| 2022-08-22 13:12:29 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-22 13:13:26 +0200 | <dminuoso> | My main issue with pretty printing is that I have this desire to support arbitrary dns labels in my library (for no real reason other than idealism) |
| 2022-08-22 13:13:57 +0200 | <dminuoso> | Which means I cant just reuse my bytestring as a text buffer (text-2.0 yay!) |
| 2022-08-22 13:14:15 +0200 | <tomsmeding> | because escaping? |
| 2022-08-22 13:14:37 +0200 | <dminuoso> | Right |
| 2022-08-22 13:14:42 +0200 | <tomsmeding> | check if you need to escape first, and if not, reuse? |
| 2022-08-22 13:14:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 13:15:00 +0200 | <dminuoso> | My presentation format will backslash escape dots, and backslash + octal escape non-ascii alpha numeric bytes |
| 2022-08-22 13:15:13 +0200 | <dminuoso> | Mmm |
| 2022-08-22 13:15:51 +0200 | <dminuoso> | Actually you have a very valid point there. |
| 2022-08-22 13:16:14 +0200 | <dminuoso> | Given that its not actually the case, just scanning *whether* it has to be done is *much* *much* faster than using a huge Data.Text.Builder construction |
| 2022-08-22 13:16:22 +0200 | <dminuoso> | I did not think of that |
| 2022-08-22 13:16:25 +0200 | <tomsmeding> | and you don't need to worry about escaping being slightly slower now because you're looping over the thing twice, because by your assumptions that's going to happen ~never : |
| 2022-08-22 13:16:27 +0200 | <tomsmeding> | * :p |
| 2022-08-22 13:16:36 +0200 | <dminuoso> | Heh :) |
| 2022-08-22 13:16:38 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 240 seconds) |
| 2022-08-22 13:16:38 +0200 | <tomsmeding> | right |
| 2022-08-22 13:16:40 +0200 | <carbolymer> | has anyone of you had errors in Paths_* files generated by cabal? my example: https://bpa.st/7DDA - It's 99% because of some bazel shenanigans, but I'm wondering when this can happen (btw. is it dependent on cabal version?) |
| 2022-08-22 13:17:28 +0200 | <dminuoso> | tomsmeding: Its just frustrating now to have a [ShortByteString] array, many of them with 18 entries, and then suffer on this indirection... |
| 2022-08-22 13:17:39 +0200 | ix | (~ix@2a02:8010:674f:1:2641:8cff:fe93:cdb2) |
| 2022-08-22 13:17:48 +0200 | <dminuoso> | Brrr |
| 2022-08-22 13:17:58 +0200 | <tomsmeding> | dminuoso: if you're going to pretty print everything multiple times, cache the pretty-printed buffer? |
| 2022-08-22 13:18:04 +0200 | <tomsmeding> | (i.e. the concatenated one, most of the time) |
| 2022-08-22 13:18:49 +0200 | <dminuoso> | Sure, but that doesnt really help because I have to compute it either way |
| 2022-08-22 13:19:24 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:736e:866:cd1f:5eb) |
| 2022-08-22 13:19:26 +0200 | <dminuoso> | And I *do* need the [Label] representation because I do a lot of trie operations in a different place |
| 2022-08-22 13:19:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 13:19:53 +0200 | <dminuoso> | But either way, its *still* faster. |
| 2022-08-22 13:20:01 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-08-22 13:20:31 +0200 | <dminuoso> | Or I could special case the arpa zones, a secondary constructor for them.. |
| 2022-08-22 13:21:24 +0200 | <dminuoso> | a kind of `data Domain = DomainReg [DomainLabel] | DomainArpa6 {-# UNPACK #-} !Word64 !Word64 {-# UNPACK #-} | DomainArpa4 {-# UNPACK #-} !Word32` |
| 2022-08-22 13:22:03 +0200 | <dminuoso> | Given how many arpa entries we generate, this might also reduce allocations by a bit |
| 2022-08-22 13:22:19 +0200 | <merijn> | dminuoso: You're missing an unpack in the Arpa6 :p |
| 2022-08-22 13:22:35 +0200 | <merijn> | wait, no, you just transposed the unpack and second field |
| 2022-08-22 13:22:37 +0200 | <dminuoso> | Yeah I screwed up the ordering. It's in the wrong position :) |
| 2022-08-22 13:28:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 13:29:13 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-22 13:29:41 +0200 | Lucio_ | (~Lucio@5.179.169.123) (Quit: Leaving) |
| 2022-08-22 13:29:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 13:30:02 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-22 13:36:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 13:42:07 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 13:43:16 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-22 13:48:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 13:52:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 13:56:08 +0200 | leah_ | thatcher |
| 2022-08-22 14:00:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 14:00:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:732a:bfb0:2264:97bb) |
| 2022-08-22 14:04:13 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-22 14:09:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 14:12:41 +0200 | odnes | (~odnes@5-203-237-191.pat.nym.cosmote.net) |
| 2022-08-22 14:13:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-22 14:14:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 14:15:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 14:17:28 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-22 14:17:58 +0200 | ix | (~ix@2a02:8010:674f:1:2641:8cff:fe93:cdb2) (Ping timeout: 244 seconds) |
| 2022-08-22 14:19:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-22 14:22:02 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-22 14:24:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 14:24:20 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-22 14:33:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 14:37:41 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:885a:bdd6:3d9a:9d51) |
| 2022-08-22 14:41:19 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-22 14:42:35 +0200 | acidjnk | (~acidjnk@p200300d6e7137a51b5f4311eaf3b0bb2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-22 14:43:23 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-22 14:45:20 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5188632d09d63e5242.dip0.t-ipconnect.de) |
| 2022-08-22 14:54:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 14:54:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-22 14:55:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 14:55:32 +0200 | Successus | (~Successus@user/Successus) |
| 2022-08-22 14:55:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 14:56:26 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-22 14:56:47 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-22 14:58:12 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-08-22 15:02:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-22 15:10:54 +0200 | vglfr | (~vglfr@145.224.94.199) (Ping timeout: 256 seconds) |
| 2022-08-22 15:11:15 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-22 15:11:37 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 15:12:28 +0200 | benin0 | (~benin@183.82.206.27) (Quit: Ping timeout (120 seconds)) |
| 2022-08-22 15:12:35 +0200 | ddellacosta | (~ddellacos@89.45.224.229) (Ping timeout: 252 seconds) |
| 2022-08-22 15:12:48 +0200 | benin0 | (~benin@183.82.206.27) |
| 2022-08-22 15:13:39 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 248 seconds) |
| 2022-08-22 15:13:44 +0200 | acidjnk | (~acidjnk@p200300d6e7137a5188632d09d63e5242.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-22 15:13:51 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-22 15:16:35 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-22 15:18:02 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-22 15:18:05 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-22 15:18:25 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-08-22 15:18:59 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 15:29:39 +0200 | akegalj | (~akegalj@cpe-94-253-207-38.zg2.cable.xnet.hr) (Quit: leaving) |
| 2022-08-22 15:31:36 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-22 15:31:45 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-22 15:32:26 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:736e:866:cd1f:5eb) (Ping timeout: 252 seconds) |
| 2022-08-22 15:32:49 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-22 15:37:35 +0200 | vglfr | (~vglfr@145.224.94.72) |
| 2022-08-22 15:39:57 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-22 15:40:11 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-22 15:51:55 +0200 | benin0 | (~benin@183.82.206.27) (Ping timeout: 268 seconds) |
| 2022-08-22 15:53:54 +0200 | benin0 | (~benin@183.82.206.27) |
| 2022-08-22 15:57:28 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 268 seconds) |
| 2022-08-22 15:59:12 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-08-22 16:02:37 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-22 16:03:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-22 16:03:31 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-22 16:04:37 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-08-22 16:09:47 +0200 | motersen | (~motersen@user/motersen) (bye) |
| 2022-08-22 16:10:15 +0200 | jespada | (~jespada@181.28.113.105) |
| 2022-08-22 16:16:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 16:16:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-22 16:16:48 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-22 16:16:56 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-22 16:17:36 +0200 | crazazy[m] | (~crazazyma@2001:470:69fc:105::2:6bd9) |
| 2022-08-22 16:18:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 16:21:16 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:260a:15eb:2da3:7b7f) (Quit: WeeChat 2.8) |
| 2022-08-22 16:21:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 16:23:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 16:23:25 +0200 | siers | (~ij@user/ij) |
| 2022-08-22 16:26:31 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 16:28:32 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:d462:1092:14a4:6d47) |
| 2022-08-22 16:30:05 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2022-08-22 16:30:20 +0200 | <whereiseveryone> | hi, what is a monoid? |
| 2022-08-22 16:30:41 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2022-08-22 16:31:19 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-22 16:34:16 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:8de4:5a65:418e:6f0b) |
| 2022-08-22 16:35:07 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-22 16:35:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-08-22 16:35:39 +0200 | <geekosaur> | something extremely simple |
| 2022-08-22 16:36:12 +0200 | <geekosaur> | it's something that you can combine in some way, and which has an "empty" value that can be "combined" with some value to get the same value back out |
| 2022-08-22 16:36:13 +0200 | <dminuoso> | whereiseveryone: A monoid is anything equipped with two things: an associative binary operation, and an identity element with repsect to that binary operation |
| 2022-08-22 16:36:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 16:36:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 16:37:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-22 16:39:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 16:40:54 +0200 | <dminuoso> | whereiseveryone: List addition with the empty list, Integer addition with 0, Integer multiplication with 1, Boolean and with True, Boolean or with False, endofunction (that is, functions whose input and output type is the same, like functions of type Float -> Float) composition with `id` function |
| 2022-08-22 16:41:11 +0200 | <dminuoso> | As a list of random examples |
| 2022-08-22 16:44:24 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-22 16:44:30 +0200 | stevenxl | (uid133530@id-133530.uxbridge.irccloud.com) |
| 2022-08-22 16:45:39 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-22 16:46:22 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-22 16:47:23 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-22 16:48:01 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-22 16:48:13 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 16:48:56 +0200 | vglfr | (~vglfr@145.224.94.72) (Ping timeout: 256 seconds) |
| 2022-08-22 16:52:20 +0200 | vglfr | (~vglfr@145.224.94.72) |
| 2022-08-22 16:54:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 16:57:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 16:58:10 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-08-22 16:58:38 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-22 16:58:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 17:00:42 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-22 17:00:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 17:01:58 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-22 17:02:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 17:02:29 +0200 | odnes | (~odnes@5-203-237-191.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-08-22 17:02:52 +0200 | odnes | (~odnes@5-203-237-191.pat.nym.cosmote.net) |
| 2022-08-22 17:11:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 17:11:14 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-22 17:11:57 +0200 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-08-22 17:13:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 17:13:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 17:14:07 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-22 17:15:47 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 248 seconds) |
| 2022-08-22 17:19:10 +0200 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-22 17:25:20 +0200 | acidjnk | (~acidjnk@p200300d6e7137a19a561eed7706d09b0.dip0.t-ipconnect.de) |
| 2022-08-22 17:31:15 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 248 seconds) |
| 2022-08-22 17:33:23 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-22 17:33:58 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-22 17:35:14 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2022-08-22 17:36:10 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:885a:bdd6:3d9a:9d51) (Quit: Konversation terminated!) |
| 2022-08-22 17:43:56 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-08-22 17:46:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 17:47:00 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:d462:1092:14a4:6d47) (Ping timeout: 252 seconds) |
| 2022-08-22 17:48:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-22 17:49:40 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:f9b1:6344:8f31:70e6) |
| 2022-08-22 17:50:40 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-22 17:51:01 +0200 | <raehik> | Using singletons-th to promote a simple type which holds a Natural to a singleton. This works in GHC 9.2, where Natural is a type & kind, but in 9.0 I'm getting an error related to `type Demote Nat = Natural` |
| 2022-08-22 17:51:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 17:51:24 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:f9b1:6344:8f31:70e6) (Remote host closed the connection) |
| 2022-08-22 17:51:34 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:19c1:accb:6b6b:e226) |
| 2022-08-22 17:51:46 +0200 | <raehik> | Any singletons users here have an idea how to attack this? do I simply have to write the singleton out myself? |
| 2022-08-22 17:54:27 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds) |
| 2022-08-22 17:55:01 +0200 | lechner | (lechner@debian/lechner) |
| 2022-08-22 17:57:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 18:00:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 18:01:36 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-22 18:02:27 +0200 | econo | (uid147250@user/econo) |
| 2022-08-22 18:02:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 18:03:30 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:19c1:accb:6b6b:e226) (Ping timeout: 252 seconds) |
| 2022-08-22 18:04:51 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-08-22 18:04:56 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-22 18:06:08 +0200 | <lyxia> | raehik: have you seen https://github.com/goldfirere/singletons/issues/478 |
| 2022-08-22 18:07:01 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-22 18:07:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 2022-08-22 18:07:43 +0200 | <raehik> | lyxia: Thanks very much, that's what I needed. Hopefully I didn't need this singleton in the first place, but that's a solution if I do |
| 2022-08-22 18:08:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 18:09:48 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:8b11:280b:5dc6:2dbd) |
| 2022-08-22 18:09:57 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds) |
| 2022-08-22 18:11:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 18:14:05 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2022-08-22 18:18:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-22 18:23:27 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:583d:c728:5dbb:8297) |
| 2022-08-22 18:34:33 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-22 18:34:46 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-22 18:40:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 18:41:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 18:41:19 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-22 18:41:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-22 18:41:52 +0200 | odnes | (~odnes@5-203-237-191.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-08-22 18:47:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 18:47:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-22 18:47:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-22 18:47:06 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 18:47:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Broken pipe) |
| 2022-08-22 18:47:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-22 18:47:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-22 18:47:42 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 18:47:44 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 18:48:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 18:50:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-08-22 18:52:41 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-22 18:53:22 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:583d:c728:5dbb:8297) (Ping timeout: 252 seconds) |
| 2022-08-22 18:53:26 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-22 18:55:09 +0200 | nckx | (~nckx@tobias.gr) (Ping timeout: 252 seconds) |
| 2022-08-22 19:04:10 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 19:04:17 +0200 | ardell | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-22 19:04:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 19:05:20 +0200 | zero | (~z@user/zero) |
| 2022-08-22 19:05:57 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-22 19:07:22 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 19:09:37 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-22 19:09:55 +0200 | zero | (~z@user/zero) (Ping timeout: 248 seconds) |
| 2022-08-22 19:09:55 +0200 | zzz | zero |
| 2022-08-22 19:10:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-08-22 19:11:23 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 19:12:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 19:13:10 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 19:14:14 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-22 19:14:34 +0200 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2022-08-22 19:14:35 +0200 | zzz | zero |
| 2022-08-22 19:15:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 19:16:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 19:16:57 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 19:17:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 19:17:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-22 19:17:55 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 19:17:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 19:17:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-22 19:17:59 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-08-22 19:18:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-22 19:18:40 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-22 19:18:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-22 19:19:06 +0200 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2022-08-22 19:19:07 +0200 | zzz | zero |
| 2022-08-22 19:19:48 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 19:19:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 19:21:11 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:dd83:a63c:55e9:8556) |
| 2022-08-22 19:21:17 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 19:23:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-22 19:23:38 +0200 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2022-08-22 19:23:39 +0200 | zzz | zero |
| 2022-08-22 19:25:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-22 19:25:19 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Updating details, brb) |
| 2022-08-22 19:25:33 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-08-22 19:26:25 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-22 19:26:37 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-08-22 19:26:39 +0200 | califax | (~califax@user/califx) |
| 2022-08-22 19:29:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 19:29:51 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-08-22 19:31:42 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.204) |
| 2022-08-22 19:32:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-22 19:33:55 +0200 | Alex_test | (~al_test@178.34.163.8) (Ping timeout: 248 seconds) |
| 2022-08-22 19:34:27 +0200 | AlexZenon | (~alzenon@178.34.163.8) (Ping timeout: 248 seconds) |
| 2022-08-22 19:35:38 +0200 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-08-22 19:35:39 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-22 19:35:46 +0200 | AlexNoo | (~AlexNoo@178.34.163.8) (Ping timeout: 268 seconds) |
| 2022-08-22 19:37:28 +0200 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-08-22 19:37:39 +0200 | beteigeuze | (~Thunderbi@85.244.28.222) (Quit: beteigeuze) |
| 2022-08-22 19:37:57 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-22 19:38:34 +0200 | Alex_test | (~al_test@178.34.150.204) |
| 2022-08-22 19:39:05 +0200 | AlexZenon | (~alzenon@178.34.150.204) |
| 2022-08-22 19:39:11 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 19:40:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 19:44:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-22 19:45:33 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:dd83:a63c:55e9:8556) (Remote host closed the connection) |
| 2022-08-22 19:47:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-22 19:48:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 19:48:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 19:49:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 19:52:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-22 19:53:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 19:54:16 +0200 | stevenxl | (uid133530@id-133530.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-22 19:55:21 +0200 | sm | gets a painful lesson on the value of -Wname-shadowing |
| 2022-08-22 19:59:27 +0200 | pgib | (~textual@173.38.117.89) |
| 2022-08-22 20:04:13 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-22 20:04:30 +0200 | AlexNoo_ | AlexNoo |
| 2022-08-22 20:04:39 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 20:05:39 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ee61:499d:3656:52bc) |
| 2022-08-22 20:07:16 +0200 | jespada | (~jespada@181.28.113.105) (Ping timeout: 256 seconds) |
| 2022-08-22 20:11:37 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 268 seconds) |
| 2022-08-22 20:12:34 +0200 | jespada | (~jespada@181.28.113.105) |
| 2022-08-22 20:12:40 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-22 20:17:38 +0200 | waldo | (~waldo@user/waldo) |
| 2022-08-22 20:18:07 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 20:18:43 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-08-22 20:19:08 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-22 20:21:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-22 20:21:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 20:22:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 20:23:11 +0200 | benin0 | (~benin@183.82.206.27) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-22 20:23:37 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ee61:499d:3656:52bc) (Remote host closed the connection) |
| 2022-08-22 20:24:07 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ee61:499d:3656:52bc) |
| 2022-08-22 20:26:10 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-22 20:28:01 +0200 | nckx | (~nckx@tobias.gr) |
| 2022-08-22 20:28:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-22 20:29:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 20:31:15 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-22 20:31:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 20:31:16 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-22 20:32:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-08-22 20:33:57 +0200 | kuribas | (~user@ptr-17d51em3wvqh57xrshg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-08-22 20:34:00 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-22 20:35:20 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-22 20:36:23 +0200 | califax | (~califax@user/califx) |
| 2022-08-22 20:36:38 +0200 | noteness_ | (~noteness@user/noteness) |
| 2022-08-22 20:37:33 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-22 20:37:53 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 20:38:07 +0200 | noteness_ | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-08-22 20:38:18 +0200 | yvan-sraka | (~yvan-srak@2a01:e0a:38d:a110:ee61:499d:3656:52bc) (Remote host closed the connection) |
| 2022-08-22 20:40:08 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-22 20:40:24 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-22 20:47:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 20:52:37 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:9994:71e5:52c9:ca3d) |
| 2022-08-22 20:53:22 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 20:55:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-22 20:55:29 +0200 | califax | (~califax@user/califx) |
| 2022-08-22 20:55:48 +0200 | zero | (~z@user/zero) (Ping timeout: 244 seconds) |
| 2022-08-22 20:55:49 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-22 20:55:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-22 20:55:49 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-22 20:55:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-08-22 20:55:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2022-08-22 20:55:49 +0200 | zzz | zero |
| 2022-08-22 20:56:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-22 20:56:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 20:56:39 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-22 20:57:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-22 20:57:32 +0200 | <tomsmeding> | sm: you don't use -Wall? Or do you mean that -Wall saved your back |
| 2022-08-22 20:58:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 21:00:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-22 21:01:26 +0200 | jocke-l | (jocke-l@a.x0.is) (Quit: WeeChat 3.0) |
| 2022-08-22 21:01:47 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-08-22 21:04:28 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-22 21:05:57 +0200 | zzz | (~z@user/zero) |
| 2022-08-22 21:09:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-22 21:09:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-22 21:09:37 +0200 | zero | (~z@user/zero) (Ping timeout: 256 seconds) |
| 2022-08-22 21:09:37 +0200 | zzz | zero |
| 2022-08-22 21:14:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 21:14:55 +0200 | <sm> | tomsmeding: I use it but always disabled a few "useless" warnings |
| 2022-08-22 21:15:05 +0200 | <tomsmeding> | hah |
| 2022-08-22 21:15:18 +0200 | <tomsmeding> | I'll grant you that sometimes name shadowing is precisely what you want |
| 2022-08-22 21:15:36 +0200 | <tomsmeding> | I find myself writing `foo = \x y -> go x y a b where go x y = ...` to avoid the name shadowing warning |
| 2022-08-22 21:15:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 21:16:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 21:16:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 21:16:30 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-22 21:16:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-22 21:16:30 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-22 21:16:55 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-22 21:16:59 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 256 seconds) |
| 2022-08-22 21:17:00 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-22 21:17:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-22 21:17:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 21:18:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 21:20:26 +0200 | <sm> | I shall mend my ways henceforth! |
| 2022-08-22 21:20:44 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-22 21:20:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:85eb:f533:abf8:a13b) |
| 2022-08-22 21:22:12 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-22 21:22:19 +0200 | <qrpnxz> | i'm so glad i have 128GiB of memory: https://a.uguu.se/rMWSmPnP.png |
| 2022-08-22 21:22:45 +0200 | <tomsmeding> | ._. |
| 2022-08-22 21:23:03 +0200 | <tomsmeding> | it would've fit in my 32 |
| 2022-08-22 21:23:17 +0200 | <qrpnxz> | not with my other processes :) |
| 2022-08-22 21:23:28 +0200 | <qrpnxz> | but yes 32 is rather comfortable |
| 2022-08-22 21:23:42 +0200 | <qrpnxz> | HLS is an absolute memory hog man |
| 2022-08-22 21:23:44 +0200 | <qrpnxz> | like wow |
| 2022-08-22 21:23:46 +0200 | <tomsmeding> | qrpnxz: for curiosity, how large are the projects you have open |
| 2022-08-22 21:23:50 +0200 | geekosaur | has only 16GB |
| 2022-08-22 21:23:59 +0200 | <tomsmeding> | geekosaur: you shouldn't need more |
| 2022-08-22 21:24:01 +0200 | <tomsmeding> | but then ghc |
| 2022-08-22 21:24:10 +0200 | <geekosaur> | still, considering that my first computer had 8KB… |
| 2022-08-22 21:24:51 +0200 | <geekosaur> | (and I got by for over a year with only 4GB on this one) |
| 2022-08-22 21:24:58 +0200 | <fgaz> | why is that gnome-shell using 2.7 gb?? |
| 2022-08-22 21:25:11 +0200 | <geekosaur> | because it's gnome-shell |
| 2022-08-22 21:25:11 +0200 | <qrpnxz> | i've got let's see... 5 project open. 2 rather significant ones, the other just little test ones |
| 2022-08-22 21:25:12 +0200 | <tomsmeding> | and 50% cpu, for that matter |
| 2022-08-22 21:25:25 +0200 | <tomsmeding> | qrpnxz: why three 5GB HLS processes then |
| 2022-08-22 21:25:28 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-22 21:25:42 +0200 | <janus> | fgaz: did you know that gnome has integrated web technologies ;) |
| 2022-08-22 21:25:43 +0200 | <qrpnxz> | i've no idea lol |
| 2022-08-22 21:25:46 +0200 | <geekosaur> | but if you're running wayland, it's the desktop manager + the compositor + window server + window manager |
| 2022-08-22 21:25:59 +0200 | <tomsmeding> | qrpnxz: mind if I use your screenshot (with your username scrubbed) at a talk in a while to illustrate why I'm not going to run a bunch of HLS processes on a server |
| 2022-08-22 21:26:08 +0200 | <geekosaur> | everything all in one scary big ball of crap |
| 2022-08-22 21:26:12 +0200 | <qrpnxz> | also one of the project i have two vs code windows open for it. Idk if they share the process since it's the same project |
| 2022-08-22 21:26:19 +0200 | chomwitt | (~chomwitt@2a02:587:dc09:3900:9994:71e5:52c9:ca3d) (Remote host closed the connection) |
| 2022-08-22 21:26:26 +0200 | <tomsmeding> | maybe not :D |
| 2022-08-22 21:26:27 +0200 | <qrpnxz> | tomsmeding: lol no problem |
| 2022-08-22 21:26:37 +0200 | <janus> | isn't a display manager supposed to handle login? i don't think wayland does that |
| 2022-08-22 21:26:59 +0200 | janus | is reminded of LightDM |
| 2022-08-22 21:27:04 +0200 | <geekosaur> | I didn't say display manager |
| 2022-08-22 21:27:17 +0200 | <janus> | oh |
| 2022-08-22 21:27:20 +0200 | <janus> | :P sorry |
| 2022-08-22 21:27:22 +0200 | <geekosaur> | but it is one in a different sense: it's the graphical system backend |
| 2022-08-22 21:27:32 +0200 | <janus> | what's a desktop manager? |
| 2022-08-22 21:27:45 +0200 | <geekosaur> | with X11 you have the X server. the compositor serves the same purpose in wayland |
| 2022-08-22 21:28:17 +0200 | <geekosaur> | with the all in one gnome mentality it's your file manager, taskbars, etc. |
| 2022-08-22 21:28:39 +0200 | <geekosaur> | and all the services in common between gnome components |
| 2022-08-22 21:28:47 +0200 | <qrpnxz> | as for gnome-shell, i've got 9 virtual desktops, each with like 2-5 windows, and a second monitor with a couple more windows |
| 2022-08-22 21:29:34 +0200 | <janus> | i switched from ubuntu to debian stable , so back to Xorg :P |
| 2022-08-22 21:29:35 +0200 | <qrpnxz> | gnome to me very productive. I like the arrangement of gnome 3.36 better, but oh well |
| 2022-08-22 21:29:50 +0200 | <qrpnxz> | (now using GNOME 41) |
| 2022-08-22 21:29:52 +0200 | janus | is becoming a curmudgeon :O |
| 2022-08-22 21:30:10 +0200 | <darkling> | janus: Welcome to the club! |
| 2022-08-22 21:31:32 +0200 | <janus> | but yeah, i guess the wayland model is a theoretical improvement, and probably a practical one too, for some :P |
| 2022-08-22 21:31:38 +0200 | waldo | (~waldo@user/waldo) (Quit: quit) |
| 2022-08-22 21:32:05 +0200 | <fgaz> | someday I should migrate from X... someday |
| 2022-08-22 21:32:06 +0200 | <qrpnxz> | the responsiveness usually good, but i get some serious stuttering lately that i'm working on these big haskell project. I'm still not totally sure if it's a thing the latest gnome or HLS or what to be fair though. I know that logging back in fixes it, but that also closes everything i have open haha so |
| 2022-08-22 21:33:20 +0200 | tomsmeding | can restart i3 without closing anything |
| 2022-08-22 21:33:43 +0200 | <qrpnxz> | i3 is not a session manager so that make sense :) |
| 2022-08-22 21:33:48 +0200 | <tomsmeding> | right :p |
| 2022-08-22 21:34:45 +0200 | <qrpnxz> | i tried dwm and such for a bit, but i really appreciate sliders and drag and drop and stuff. GNOME just require so little thought to use. |
| 2022-08-22 21:34:46 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2022-08-22 21:35:19 +0200 | geekosaur | uses xmonad as wm for mate, best of both worlds |
| 2022-08-22 21:35:22 +0200 | <tomsmeding> | I got used to dwm on a machine that really could not take much more |
| 2022-08-22 21:35:30 +0200 | <qrpnxz> | with graphical apps, i rarely want to tile much more than split right down the middle. For terminals i can use dvtm or tilix |
| 2022-08-22 21:35:32 +0200 | <geekosaur> | and mate is considerably smaller than gnome |
| 2022-08-22 21:35:38 +0200 | tomgus1 | (~tomgus1@176.254.19.153) |
| 2022-08-22 21:35:41 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 256 seconds) |
| 2022-08-22 21:35:48 +0200 | <qrpnxz> | GNOME runs fine on my crappy laptops for the record |
| 2022-08-22 21:36:36 +0200 | <qrpnxz> | if gnome didn't exist, i'd likely use xfce |
| 2022-08-22 21:36:45 +0200 | <fgaz> | looks like it's just making use of all that wasted ram then :-P |
| 2022-08-22 21:37:12 +0200 | <qrpnxz> | indeed i do think that apps pull more ram sometimes just because there is more ram |
| 2022-08-22 21:37:32 +0200 | <qrpnxz> | so if 64gib is all you have ever known, you might think 8gib is totally unusable, but not really so |
| 2022-08-22 21:37:49 +0200 | <tomsmeding> | for GC'd languages that may well be so |
| 2022-08-22 21:37:56 +0200 | <tomsmeding> | and with electron being a thing nowadays... |
| 2022-08-22 21:38:10 +0200 | <qrpnxz> | as an avid haskell user, can't complain much about GC :) |
| 2022-08-22 21:38:15 +0200 | fgaz | is on 8 gb... |
| 2022-08-22 21:38:22 +0200 | <geekosaur> | 4GB's plenty usable. 2GB, though |
| 2022-08-22 21:38:32 +0200 | <tomsmeding> | I mean, I would have said haskell instead of JS, but I don't have many haskell-based GUI apps yet :p |
| 2022-08-22 21:38:34 +0200 | <qrpnxz> | oh man, 2GB is a really hard ask |
| 2022-08-22 21:38:38 +0200 | <tomsmeding> | though I have 4 electron apps |
| 2022-08-22 21:38:42 +0200 | geekosaur | still has an ancient netbook he uses for a few things |
| 2022-08-22 21:38:49 +0200 | <geekosaur> | now try to run chrome on it 🙂 |
| 2022-08-22 21:39:01 +0200 | <tomsmeding> | I tried to run Xcode on a 2GB Mac Mini long ago |
| 2022-08-22 21:39:04 +0200 | <qrpnxz> | there was an interesting editor project in haskell called Xi for Mac, but i think it died? i don't remember |
| 2022-08-22 21:39:08 +0200 | <tomsmeding> | not very sucessful |
| 2022-08-22 21:39:10 +0200 | <qrpnxz> | i just use VS Code for everything pmuch now |
| 2022-08-22 21:39:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 21:39:29 +0200 | <qrpnxz> | (I bring Xi up as graphicall haskell app example) |
| 2022-08-22 21:39:39 +0200 | <geekosaur> | there's the yi project, which is currently dead but every so often someone picks it up and develops it a little more |
| 2022-08-22 21:39:46 +0200 | <geekosaur> | but it wasn't graphical |
| 2022-08-22 21:39:47 +0200 | <qrpnxz> | i might have meant Yi |
| 2022-08-22 21:39:47 +0200 | <tomsmeding> | yeah there _are_ graphical apps in haskell, they are just not _quite_ as widespread |
| 2022-08-22 21:39:58 +0200 | <tomsmeding> | wasn't Xi in Rust? |
| 2022-08-22 21:40:10 +0200 | <qrpnxz> | maybe lol |
| 2022-08-22 21:40:26 +0200 | <tomsmeding> | "same difference" |
| 2022-08-22 21:40:30 +0200 | <qrpnxz> | yi is haskell it looks like https://github.com/yi-editor/yi |
| 2022-08-22 21:40:34 +0200 | <qrpnxz> | tomsmeding: i kind of wish |
| 2022-08-22 21:40:36 +0200 | <geekosaur> | was intended to be a vi-alike with haskell extension language and specializing in haskell tooling |
| 2022-08-22 21:41:03 +0200 | <geekosaur> | every so often I wonder if mixing it with HLS would be interesting, or if HLS just killed it for good |
| 2022-08-22 21:41:03 +0200 | <qrpnxz> | yeah, and xi is rust https://xi-editor.io/ |
| 2022-08-22 21:41:05 +0200 | <qrpnxz> | lol |
| 2022-08-22 21:44:21 +0200 | alphabeta | (~kilolympu@90.203.82.22) |
| 2022-08-22 21:44:45 +0200 | kilolympus | (~kilolympu@90.203.82.22) (Ping timeout: 256 seconds) |
| 2022-08-22 21:44:47 +0200 | alphabeta | (~kilolympu@90.203.82.22) (Client Quit) |
| 2022-08-22 21:45:45 +0200 | benin0 | (~benin@183.82.206.27) |
| 2022-08-22 21:45:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-22 21:46:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-22 21:48:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 21:53:35 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-22 21:53:51 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-22 21:55:43 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-22 21:59:07 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-08-22 22:03:04 +0200 | raym | (~raym@user/raym) |
| 2022-08-22 22:12:48 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-22 22:12:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:85eb:f533:abf8:a13b) (Quit: WeeChat 2.8) |
| 2022-08-22 22:19:24 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-22 22:20:31 +0200 | econo | (uid147250@user/econo) |
| 2022-08-22 22:23:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 22:27:56 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-22 22:29:20 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-08-22 22:34:54 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
| 2022-08-22 22:37:07 +0200 | themc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-22 22:39:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-22 22:39:55 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 2022-08-22 22:40:45 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-22 22:41:04 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-22 22:45:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 22:46:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-08-22 22:48:48 +0200 | <carbolymer> | I think a year ago I was looking into build systems e.g. shake |
| 2022-08-22 22:49:05 +0200 | <carbolymer> | and someone here recommended me another one, also in haskell |
| 2022-08-22 22:49:25 +0200 | <carbolymer> | hosted on github |
| 2022-08-22 22:49:32 +0200 | <carbolymer> | but I forgot that name :| |
| 2022-08-22 22:53:31 +0200 | eikke | (~nicolas@88.126.78.98) |
| 2022-08-22 22:56:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-22 22:57:10 +0200 | <eikke> | Hello! I've been working on some somewhat tricky code to get the GHC RTS to work with libpsx. In order to do so, I need to expose a C symbol as part of the link process. I have a package with some `C-Sources`, and in the test-case coming with said package, I have the package itself as a `build-depends`, and things work just fine. However, if I add the package as a `build-depends` of a test-case of |
| 2022-08-22 22:57:16 +0200 | <eikke> | *another* package, it doesn't, and the linker bails out claiming the given symbol is not defined. |
| 2022-08-22 22:57:46 +0200 | <eikke> | Anyone have a clue why 1. there'd be a difference in linking between the test-case-in-the-package and test-case-in-another-package, and 2. why the symbol wouldn't be resolved in the first place? |
| 2022-08-22 22:57:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 22:58:27 +0200 | cioran3407 | (~mike@pool-100-37-85-190.nycmny.fios.verizon.net) |
| 2022-08-22 22:59:47 +0200 | themc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2022-08-22 23:03:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-22 23:03:30 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-22 23:04:20 +0200 | cioran3407 | (~mike@pool-100-37-85-190.nycmny.fios.verizon.net) (Quit: Konversation terminated!) |
| 2022-08-22 23:05:39 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-08-22 23:06:36 +0200 | zero | zzz |
| 2022-08-22 23:07:57 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-22 23:08:35 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:2f5e:d7ba:dfa9:c7a7) |
| 2022-08-22 23:11:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-22 23:14:20 +0200 | <_________> | carbolymer: stack maybe ? |
| 2022-08-22 23:15:11 +0200 | <carbolymer> | _________: nope, it was more closer to shake |
| 2022-08-22 23:16:20 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-22 23:16:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-22 23:17:06 +0200 | <geekosaur> | https://github.com/judah/pier ? |
| 2022-08-22 23:20:34 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-22 23:21:28 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-22 23:23:30 +0200 | sakura | (~sakura@cpc118064-lewi21-2-0-cust98.2-4.cable.virginm.net) |
| 2022-08-22 23:24:15 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-22 23:25:39 +0200 | <sakura> | I'm new to Haskell and am wondering what are the options for color in ghci? |
| 2022-08-22 23:25:40 +0200 | <sakura> | At the moment im using https://gist.githubusercontent.com/sorki/d59ddca8995ff8c2ec8e7d8490260de6/raw/e1b896a6420f3f13d174… as my ~/.ghci |
| 2022-08-22 23:25:40 +0200 | <sakura> | It does not syntax highlight type signatures, i.e when I do :t take and it does not syntax highlight as I type. |
| 2022-08-22 23:25:40 +0200 | <sakura> | Is there a wrapper or something which provides this functionality |
| 2022-08-22 23:26:23 +0200 | <sakura> | Im not used to irc either so apologies for the formatting of my message |
| 2022-08-22 23:29:07 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 248 seconds) |
| 2022-08-22 23:32:08 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-22 23:32:36 +0200 | <qrpnxz> | sorry i don't know, but maybe work from a file? |
| 2022-08-22 23:35:50 +0200 | <geekosaur> | I don't think a lot of work has been done on syntax highlighting recently. there's some ancient stuff on hackage but almost certainly bitrotted at this point |
| 2022-08-22 23:36:01 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2022-08-22 23:40:34 +0200 | <sakura> | Ah I see, I'm coming from Rust so don't normally work in an interpreter so it's probably not a big issue. For when I use python, I use bpython which is pretty nice. |
| 2022-08-22 23:40:55 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:8de4:5a65:418e:6f0b) (Ping timeout: 256 seconds) |
| 2022-08-22 23:43:07 +0200 | <geekosaur> | I come from the 80s so I don't really miss it 🙂 |
| 2022-08-22 23:43:48 +0200 | <geekosaur> | I've played with VS Code a bit but have worked for decades without such things |
| 2022-08-22 23:44:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-22 23:45:26 +0200 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2022-08-22 23:46:13 +0200 | <sakura> | Ah fair. I do like my colors. The default code completion settings for Haskell and VSCode was bonkers so I dropped using it and reverted back to good ol vim |
| 2022-08-22 23:46:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-22 23:46:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-22 23:47:04 +0200 | <carbolymer> | geekosaur: nah, it was something more abstract, not stack replacement |
| 2022-08-22 23:47:53 +0200 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-08-22 23:47:54 +0200 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 2022-08-22 23:47:54 +0200 | money | (~Gambino@user/polo) |
| 2022-08-22 23:48:35 +0200 | <[Leary]> | sakura: Try adding ghcid on the side. It gives you type errors and warnings, and can run snippets from your files (given a certain prefix). |
| 2022-08-22 23:48:36 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2022-08-22 23:49:37 +0200 | money | (~Gambino@user/polo) (Client Quit) |
| 2022-08-22 23:50:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-22 23:50:52 +0200 | <sakura> | Leary: Thanks for the tip |
| 2022-08-22 23:58:14 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-08-22 23:59:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
