| 2025-12-08 00:03:58 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 00:04:05 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 00:04:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-08 00:08:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-08 00:10:49 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-12-08 00:11:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-08 00:11:35 +0100 | baturhan | (~baturhan@user/baturhan) baturhan |
| 2025-12-08 00:13:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-08 00:14:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:14:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-08 00:15:41 +0100 | tromp | (~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-08 00:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 00:22:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 00:24:37 +0100 | annamalai | (~annamalai@157.33.227.191) (Ping timeout: 264 seconds) |
| 2025-12-08 00:30:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 00:30:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:36:23 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 244 seconds) |
| 2025-12-08 00:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 00:44:25 +0100 | Square | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-12-08 00:45:58 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-08 00:48:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 00:50:05 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-08 00:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 00:57:19 +0100 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 250 seconds) |
| 2025-12-08 01:04:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 01:18:10 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-08 01:19:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:22:26 +0100 | elarks | (~yerri@user/yerrii) yerrii |
| 2025-12-08 01:24:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 01:35:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:35:38 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 01:35:40 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 01:40:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 01:45:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ad3f:f420:2d20:b3b4) (Ping timeout: 250 seconds) |
| 2025-12-08 01:51:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 01:51:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-08 01:56:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 01:56:56 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-08 01:58:09 +0100 | img | (~img@user/img) img |
| 2025-12-08 01:58:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 01:59:36 +0100 | trickard_ | trickard |
| 2025-12-08 02:02:41 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 02:02:55 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-08 02:05:43 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 02:06:14 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 02:07:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:15:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-08 02:15:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-08 02:16:25 +0100 | ell | (~ellie@user/ellie) (Remote host closed the connection) |
| 2025-12-08 02:22:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:24:13 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-12-08 02:25:16 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-08 02:27:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 02:34:54 +0100 | baturhan | (~baturhan@user/baturhan) (Quit: Client closed) |
| 2025-12-08 02:37:53 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-08 02:38:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:39:52 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-08 02:39:52 +0100 | omidmash9 | omidmash |
| 2025-12-08 02:40:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-08 02:41:48 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-08 02:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 02:49:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-08 02:52:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-08 02:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 02:56:02 +0100 | thalber | (~thalber@user/kerosenewife) kerosenewife |
| 2025-12-08 03:00:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 03:04:54 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 260 seconds) |
| 2025-12-08 03:06:01 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 03:06:17 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 03:10:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:16:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 03:17:04 +0100 | trickard___ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 03:18:13 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 03:18:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 03:18:54 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-08 03:20:17 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 03:20:17 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-08 03:27:09 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2025-12-08 03:28:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:29:59 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-12-08 03:30:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 03:30:38 +0100 | <haskellbridge> | <Zemyla> Is there an ST-like monad that's a MonadPlus, where assignments done in one alternative branch don't propagate to others? |
| 2025-12-08 03:32:16 +0100 | <geekosaur> | I would expect that to be difficult without having each be its own separate ST |
| 2025-12-08 03:32:40 +0100 | <Leary> | Zemyla: That's an interesting idea. `STM` already has such semantics, so you could write it as a layer on top. |
| 2025-12-08 03:32:55 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-12-08 03:33:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 03:34:11 +0100 | <haskellbridge> | <Zemyla> The other Alternative is to make it be like StateT (IntMap Any) [] and have a bunch of unsafeCoerces under the hood. |
| 2025-12-08 03:35:36 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 03:36:11 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 03:38:30 +0100 | trickard___ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 03:38:44 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 03:39:22 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-12-08 03:40:17 +0100 | forell | (~forell@user/forell) forell |
| 2025-12-08 03:44:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 03:46:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 03:48:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 03:57:20 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-08 03:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:04:03 +0100 | <c_wraith> | There's a secret downside to that approach.. you don't get garbage collection. |
| 2025-12-08 04:04:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 04:05:38 +0100 | Googulator66 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 04:05:42 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 04:15:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:20:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 04:31:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:36:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 04:38:08 +0100 | iqubic | (~sophia@2601:602:9203:1660:767a:e6b6:2f4b:e37e) iqubic |
| 2025-12-08 04:38:40 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-08 04:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 04:48:48 +0100 | thalber | (~thalber@user/kerosenewife) (WeeChat 4.7.1) |
| 2025-12-08 04:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 04:56:22 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-12-08 04:58:10 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-12-08 05:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:06:45 +0100 | dmead | (~halloy975@2601:41:c300:ae80:354a:bc86:483c:6ece) |
| 2025-12-08 05:06:54 +0100 | <dmead> | ?yow |
| 2025-12-08 05:06:55 +0100 | <lambdabot> | Now that I have my "APPLE", I comprehend COST ACCOUNTING!! |
| 2025-12-08 05:07:02 +0100 | <dmead> | i missed you, lambdabot |
| 2025-12-08 05:10:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 05:21:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:24:28 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 05:24:53 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 05:26:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-08 05:30:00 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-08 05:30:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-08 05:37:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 05:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 05:44:05 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-08 05:44:25 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-08 05:47:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 05:58:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:11:07 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 06:11:22 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 06:14:25 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-08 06:15:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:16:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 06:19:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 06:20:18 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-08 06:21:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-08 06:22:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-12-08 06:23:23 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:9b7c:331e:bc52:4fc0) |
| 2025-12-08 06:28:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-08 06:28:56 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-08 06:29:28 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 06:29:40 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 06:30:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:35:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 06:36:16 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 06:36:29 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 06:40:43 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 06:40:46 +0100 | Googulator49 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 06:41:29 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-08 06:46:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 06:51:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:02:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:03:33 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-08 07:06:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-08 07:07:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:10:44 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-12-08 07:18:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 07:25:11 +0100 | trickard_ | trickard |
| 2025-12-08 07:34:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:40:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-08 07:43:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 07:43:46 +0100 | jreicher | (~user@user/jreicher) (Remote host closed the connection) |
| 2025-12-08 07:44:28 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-08 07:48:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 07:54:13 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 2025-12-08 07:59:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:04:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-08 08:06:18 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:10:33 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 08:12:15 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:14:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:18:29 +0100 | myxos | (~myxos@2001:579:8380:f20:a84e:a963:182a:8091) myxokephale |
| 2025-12-08 08:19:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 08:20:28 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) () |
| 2025-12-08 08:20:46 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:24:51 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit) |
| 2025-12-08 08:26:32 +0100 | fun-safe-math | (~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math |
| 2025-12-08 08:29:14 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) (Ping timeout: 260 seconds) |
| 2025-12-08 08:29:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-08 08:30:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:35:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 08:40:36 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 08:40:47 +0100 | Googulator49 | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 08:44:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 08:46:09 +0100 | annamalai | (~annamalai@157.33.214.170) annamalai |
| 2025-12-08 08:49:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-08 08:52:17 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-08 08:55:15 +0100 | annamalai | (~annamalai@157.33.214.170) (Ping timeout: 240 seconds) |
| 2025-12-08 09:00:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 09:00:56 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-08 09:02:26 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-08 09:04:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 09:07:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) |
| 2025-12-08 09:10:37 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 09:10:39 +0100 | Googulator83 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 09:15:07 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-12-08 09:33:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-08 09:44:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-08 09:45:40 +0100 | Googulator83 | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 09:45:45 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 09:45:54 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-08 09:47:53 +0100 | kuribas | (~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) kuribas |
| 2025-12-08 09:50:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 09:50:16 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-08 09:50:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 10:02:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) (Ping timeout: 244 seconds) |
| 2025-12-08 10:17:46 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 10:18:02 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-08 10:18:55 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-08 10:19:25 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-08 10:19:45 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-08 10:22:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-08 10:27:31 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2025-12-08 10:27:56 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-12-08 10:31:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 10:32:34 +0100 | Googulator88 | Googulator |
| 2025-12-08 10:36:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-08 10:42:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-12-08 10:45:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 10:45:36 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 10:45:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 10:46:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-08 10:48:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 10:56:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 10:57:28 +0100 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2025-12-08 10:58:03 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-08 11:00:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-08 11:04:12 +0100 | Googulator22 | Googulator |
| 2025-12-08 11:09:36 +0100 | <Square> | I'm trying to get HLS to work with IntelliJ, which seems to work. But I don't seem to be able to navigate to 3rd party libs (especially the one that I've been developing myself). I just get type definitions interspersed for say classes I implement. Is there some general gotcha to this? |
| 2025-12-08 11:09:39 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-08 11:10:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 11:12:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-12-08 11:13:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-08 11:14:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-12-08 11:15:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 11:21:13 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-12-08 11:22:42 +0100 | <tomsmeding> | Square: go-to-definition across libraries is very sparsely implemented in HLS if at all |
| 2025-12-08 11:23:20 +0100 | <tomsmeding> | if the dependency you want to jump to is in the same project then it might work, but cabal-installed dependencies definitely do not work |
| 2025-12-08 11:23:53 +0100 | <Square> | tomsmeding, Ok, good to know. Well then I guess I won't need to bother. |
| 2025-12-08 11:24:32 +0100 | <Square> | But you should be able to get haddock from cabal installed dependencies though right? |
| 2025-12-08 11:25:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-08 11:26:12 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-08 11:29:56 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-12-08 11:35:47 +0100 | <tomsmeding> | Square: only if you built those with documentation enabled -- haddock doesn't run by default on all built packages |
| 2025-12-08 11:36:03 +0100 | <tomsmeding> | if you want to always run haddock whenever you build a dependency, set the 'documentation:' key to True in ~/.cabal/config |
| 2025-12-08 11:36:13 +0100 | <tomsmeding> | (or ~/.config/cabal/config, I guess, if you have XDG dir layout) |
| 2025-12-08 11:36:55 +0100 | <tomsmeding> | you should get automatic haddocks for modules inside the component you're working on, though, even without that option set |
| 2025-12-08 11:37:05 +0100 | <Square> | tomsmeding, I build the dependency with Nix, but I do have haddock enabled. |
| 2025-12-08 11:37:31 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-08 11:37:33 +0100 | <Square> | ..for it. |
| 2025-12-08 11:38:05 +0100 | <tomsmeding> | I don't know where HLS tries to find the documentation, so I'll leave that question to others :) |
| 2025-12-08 11:43:13 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 11:43:26 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 11:45:43 +0100 | Googulator84 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 11:46:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 11:50:04 +0100 | Googulator84 | Googulator |
| 2025-12-08 11:52:31 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 250 seconds) |
| 2025-12-08 11:53:12 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-08 11:53:13 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-08 11:53:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-08 12:03:57 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 12:04:09 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 12:06:15 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-08 12:17:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-12-08 12:19:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fe10:407:8fc1:7162) |
| 2025-12-08 12:28:09 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-08 12:30:21 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 12:35:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-08 12:35:34 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 12:35:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 12:41:14 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 12:41:28 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 12:45:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-08 12:47:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 12:51:05 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 12:51:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 12:52:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-08 12:52:52 +0100 | trickard_ | trickard |
| 2025-12-08 12:55:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-08 12:57:33 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Ping timeout: 260 seconds) |
| 2025-12-08 12:57:34 +0100 | lortabac | (~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer) |
| 2025-12-08 12:59:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-08 13:02:12 +0100 | <yin> | when would it be advantageous to use Set Int instead of IntMap () ? |
| 2025-12-08 13:05:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 13:08:18 +0100 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2025-12-08 13:09:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 13:13:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-12-08 13:13:45 +0100 | Franciman | (~Franciman@mx1.fracta.dev) Franciman |
| 2025-12-08 13:15:35 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 13:15:41 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 13:16:44 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-08 13:26:02 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-08 13:26:21 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw |
| 2025-12-08 13:34:42 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-08 13:39:48 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 13:40:02 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 13:42:47 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-08 13:45:47 +0100 | Googulator50 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 13:46:16 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-08 13:46:21 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 13:47:05 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 13:50:59 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 13:54:08 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-12-08 13:54:44 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-08 13:54:56 +0100 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-12-08 13:55:15 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2025-12-08 14:00:10 +0100 | <bwe> | How do I configure cabal to make specific default imports? In other words: Is there really no better way than https://discourse.haskell.org/t/define-custom-command-for-a-cabal-repl-session/12088 ? |
| 2025-12-08 14:05:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 14:09:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-08 14:14:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-08 14:15:35 +0100 | Googulator50 | Googulator |
| 2025-12-08 14:17:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 14:22:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-08 14:25:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-08 14:30:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-08 14:30:26 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 14:39:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-08 14:42:25 +0100 | <merijn> | bwe: You can't until GHC can handle that (not sure if that issue was addressed yet in the most recent GHCs?) |
| 2025-12-08 14:42:31 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Ping timeout: 240 seconds) |
| 2025-12-08 14:43:55 +0100 | <merijn> | looks like 9.14 supports it, not sure if cabal repl can use that yet, though |
| 2025-12-08 14:44:15 +0100 | <merijn> | https://www.well-typed.com/blog/2025/06/ghci-multiple-home-units/ |
| 2025-12-08 14:45:34 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-08 14:45:47 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 14:45:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 14:49:50 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 14:50:04 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 14:50:59 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 14:51:10 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 15:03:21 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-08 15:10:30 +0100 | <bwe> | merijn: That sounds promising! |
| 2025-12-08 15:10:59 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-08 15:12:31 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 246 seconds) |
| 2025-12-08 15:15:41 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 15:15:50 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 15:19:57 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 15:20:10 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 15:21:22 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-08 15:26:10 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-08 15:28:49 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 15:29:34 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-08 15:30:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-08 15:33:27 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-12-08 15:35:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 2025-12-08 15:38:05 +0100 | Googulator33 | Googulator |
| 2025-12-08 15:45:49 +0100 | Googulator80 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 15:46:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 15:48:07 +0100 | chenjf | (~chenjf@68.64.178.54) (Ping timeout: 240 seconds) |
| 2025-12-08 15:53:35 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-08 15:55:29 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-12-08 15:58:37 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 16:02:13 +0100 | Googulator80 | Googulator |
| 2025-12-08 16:08:35 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-08 16:12:24 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 2025-12-08 16:18:55 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) (Remote host closed the connection) |
| 2025-12-08 16:21:06 +0100 | myxos | (~myxos@2001:579:8380:f20:a84e:a963:182a:8091) (Ping timeout: 265 seconds) |
| 2025-12-08 16:21:33 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-08 16:24:43 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale |
| 2025-12-08 16:24:55 +0100 | pebble | (~pebble@37.63.35.63) pebble |
| 2025-12-08 16:30:33 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-08 16:30:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-08 16:31:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 16:33:54 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) Inline |
| 2025-12-08 16:35:46 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 16:35:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-08 16:36:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 16:36:48 +0100 | chenjf | (~chenjf@68.64.178.54) (Remote host closed the connection) |
| 2025-12-08 16:37:38 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 16:45:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-08 16:46:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 16:53:25 +0100 | chenjf | (~chenjf@68.64.178.54) (Ping timeout: 264 seconds) |
| 2025-12-08 16:53:55 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-12-08 16:55:08 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 17:00:58 +0100 | Googulator | (~Googulato@185.199.28.81) |
| 2025-12-08 17:04:05 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-08 17:08:07 +0100 | Googulator | (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2025-12-08 17:08:25 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 250 seconds) |
| 2025-12-08 17:12:37 +0100 | chenjf | (~chenjf@68.64.178.54) (Ping timeout: 264 seconds) |
| 2025-12-08 17:26:34 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 17:31:49 +0100 | trickard_ | trickard |
| 2025-12-08 17:35:11 +0100 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2025-12-08 17:37:28 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-12-08 17:41:50 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-08 17:43:35 +0100 | chenjf | (~chenjf@68.64.178.54) (Ping timeout: 240 seconds) |
| 2025-12-08 17:47:45 +0100 | annamalai | (~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai |
| 2025-12-08 17:52:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 18:06:11 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 18:06:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-08 18:08:16 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-12-08 18:13:51 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 250 seconds) |
| 2025-12-08 18:27:43 +0100 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2025-12-08 18:30:44 +0100 | <yin> | the description of `alter` is scrambled with `unions` https://hackage.haskell.org/package/containers-0.1.0.1/docs/Data-IntMap.html |
| 2025-12-08 18:34:09 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-08 18:37:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 18:37:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-12-08 18:39:22 +0100 | <yin> | not sure why, the source looks correct |
| 2025-12-08 18:40:46 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 18:40:46 +0100 | Googulator83 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 18:42:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 18:44:49 +0100 | FANTOM_ | (~fantom@212.228.181.156) |
| 2025-12-08 18:48:28 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-08 18:48:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-08 18:52:37 +0100 | Googulator83 | Googulator |
| 2025-12-08 18:58:25 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-08 19:00:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-08 19:01:18 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-08 19:01:55 +0100 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-08 19:05:39 +0100 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-12-08 19:07:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-08 19:08:58 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-08 19:10:42 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 19:10:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 19:12:44 +0100 | Guest6400 | (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) |
| 2025-12-08 19:13:45 +0100 | Googulator89 | Googulator |
| 2025-12-08 19:13:57 +0100 | Guest6400 | (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (Remote host closed the connection) |
| 2025-12-08 19:14:15 +0100 | Guest6400 | (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) |
| 2025-12-08 19:14:36 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-08 19:18:23 +0100 | Guest6400 | filesUNDcatboxUN |
| 2025-12-08 19:18:45 +0100 | filesUNDcatboxUN | catboxmoeonpw4tj |
| 2025-12-08 19:20:04 +0100 | kuribas | (~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-12-08 19:20:55 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-08 19:21:28 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-08 19:21:44 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-08 19:21:49 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-08 19:25:10 +0100 | user47384 | (~Guest75@128.205.160.74) |
| 2025-12-08 19:26:04 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2025-12-08 19:26:18 +0100 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2025-12-08 19:34:41 +0100 | catboxmoeonpw4tj | (~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (K-Lined) |
| 2025-12-08 19:34:49 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds) |
| 2025-12-08 19:35:59 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) mulk |
| 2025-12-08 19:36:38 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-08 19:38:58 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 19:39:12 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 19:40:41 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 19:40:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 19:48:34 +0100 | <yin> | updateLookupWothKey's also doesn't make sense |
| 2025-12-08 19:49:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-08 19:52:58 +0100 | <monochrom> | About Set Int vs IntMap (): There is also IntSet to make your choice harder! :) |
| 2025-12-08 19:53:06 +0100 | user47384 | (~Guest75@128.205.160.74) (Quit: Client closed) |
| 2025-12-08 19:55:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-08 19:59:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-08 20:01:01 +0100 | <EvanR> | is IntSet not just IntMap () |
| 2025-12-08 20:01:26 +0100 | <tomsmeding> | semantically yes, implementation is specialised |
| 2025-12-08 20:01:34 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2025-12-08 20:01:35 +0100 | <EvanR> | nice |
| 2025-12-08 20:04:14 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-12-08 20:06:52 +0100 | raeven | (~raeven@user/raeven) raeven |
| 2025-12-08 20:10:48 +0100 | Googulator71 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 20:10:50 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-08 20:14:53 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) mulk |
| 2025-12-08 20:17:17 +0100 | mehbark | (~mehbark@user/mehbark) (Quit: insert leave message here) |
| 2025-12-08 20:17:35 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-08 20:18:28 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-08 20:18:28 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2025-12-08 20:20:09 +0100 | <iqubic> | Is there a good guide to working with STArrays and the ST monad. I wrote some code for Advent of Code last night, and it's really slow because I'm making many small changes to a large data structure and recreating the whole thing each time is slow. |
| 2025-12-08 20:20:40 +0100 | <iqubic> | Or would it be better to work with an IOArray? |
| 2025-12-08 20:21:49 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-08 20:27:03 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-08 20:28:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-08 20:28:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-08 20:28:20 +0100 | ljdarj1 | ljdarj |
| 2025-12-08 20:28:23 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-08 20:30:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-08 20:30:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-12-08 20:31:13 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-08 20:31:49 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-08 20:32:02 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-08 20:32:04 +0100 | <haskellbridge> | <Morj> iqubic "newtype IOArray i e = IOArray (STArray RealWorld i e)" - so there won't be gains to switching at least |
| 2025-12-08 20:35:43 +0100 | <haskellbridge> | <Morj> Usually the biggest performance problems are laziness and boxed types. STArray only has boxed combinators, so if you're using it, your only chance is to set -XStrict and pray to the optimizer |
| 2025-12-08 20:35:50 +0100 | <iqubic> | I'm not sure what you mean there. |
| 2025-12-08 20:36:43 +0100 | <haskellbridge> | <Morj> Sorry, I'm slow to type it out |
| 2025-12-08 20:37:24 +0100 | <haskellbridge> | <Morj> I wanted to say that there are alternatives using unboxed values, but I was verifying which package it was |
| 2025-12-08 20:37:39 +0100 | <monochrom> | Oh, that would be vector. |
| 2025-12-08 20:37:48 +0100 | <haskellbridge> | <Morj> Or array? |
| 2025-12-08 20:38:28 +0100 | <monochrom> | OK that too. |
| 2025-12-08 20:38:34 +0100 | <haskellbridge> | <Morj> Also, iqubic it just occurred to me, how good is your understanding of haskell? Are you just learning it for AOC or using this AOC to improve your high-perf skills? |
| 2025-12-08 20:39:15 +0100 | <iqubic> | I know Haskell very well, but I've never learned how to properly work with mutable data in Haskell. |
| 2025-12-08 20:39:37 +0100 | <haskellbridge> | <Morj> Good! |
| 2025-12-08 20:39:44 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:9b7c:331e:bc52:4fc0) (Remote host closed the connection) |
| 2025-12-08 20:40:01 +0100 | <iqubic> | This is my 6th year doing Advent of Code and I've used Haskell for a wide number of other projects too. |
| 2025-12-08 20:40:01 +0100 | <haskellbridge> | <Morj> I don't know any guides, but you can use this blog for inspiration: https://0xd34df00d.me/posts/2024/09/naive-nfas.html#good-ol-st |
| 2025-12-08 20:41:17 +0100 | <haskellbridge> | <Morj> It's been 5 years since I've written any high-perf myself >_> |
| 2025-12-08 20:41:21 +0100 | michalz_ | (~michalz@185.246.207.217) |
| 2025-12-08 20:41:32 +0100 | <haskellbridge> | <Morj> I'm hearing ghc 9 made some things better |
| 2025-12-08 20:42:42 +0100 | michalz | (~michalz@185.246.207.201) (Ping timeout: 244 seconds) |
| 2025-12-08 20:43:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 20:47:51 +0100 | <haskellbridge> | <Morj> I don't think I ever used 'array' because I don't recognize the api at all. So the simple options is to take https://hackage-content.haskell.org/package/vector-0.13.2.0/docs/Data-Vector-Unboxed-Mutable.html - and use only functions beginning with 'unsafe'. You should also set {-# LANGUAGE Strict #-}, and compile with llvm backend |
| 2025-12-08 20:49:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 20:49:42 +0100 | <haskellbridge> | <Morj> You won't be able to use structures easily, so all your types will be turned into tuples (tuples can turn into unboxed tuples). And no easy way to get sum types, sadly |
| 2025-12-08 20:51:14 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-12-08 20:51:22 +0100 | <haskellbridge> | <Morj> Hope my bunch of unstructured advice helped a bit |
| 2025-12-08 20:54:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-12-08 20:54:37 +0100 | <monochrom> | Unboxed sums are available in very new versions of GHC. |
| 2025-12-08 20:55:18 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-08 20:59:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 21:04:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 21:08:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 21:08:50 +0100 | jmcantrell_ | jmcantrell |