| 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 |
| 2025-12-08 21:15:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 21:16:17 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-08 21:16:36 +0100 | trickard_ | trickard |
| 2025-12-08 21:19:18 +0100 | <[exa]> | iqubic: unboxed (or ideally primitive) mutable vectors + straightforward ST code usually gives a pretty C-like performance for me. You also want stuff like -fspecialise-aggressively -fexpose-all-unfoldings or a lot of manual INLINE if the cost-centre is spread over more functions |
| 2025-12-08 21:20:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-08 21:22:24 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-08 21:26:24 +0100 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
| 2025-12-08 21:26:41 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-08 21:27:03 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-08 21:27:31 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 21:27:45 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 21:29:01 +0100 | <yin> | monochrom: I know about IntSet and that's what you want to use virtually everytime for performance, but what I want to know is if and when is Set Int useful |
| 2025-12-08 21:31:01 +0100 | Square2 | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-12-08 21:31:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 21:32:31 +0100 | michalz_ | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-12-08 21:33:40 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 2025-12-08 21:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 21:38:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-08 21:40:35 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-12-08 21:40:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 21:41:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-08 21:45:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 21:48:26 +0100 | acarrico | (~acarrico@pppoe-209-99-221-186.greenmountainaccess.net) |
| 2025-12-08 21:50:17 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-08 21:51:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-08 21:52:15 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-08 21:56:07 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-08 21:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 21:58:20 +0100 | <__monty__> | It seems almost just as useful as IntMap () and signals your intent more clearly. |
| 2025-12-08 22:01:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 22:01:48 +0100 | milan | (~milan@88.212.61.169) |
| 2025-12-08 22:02:27 +0100 | <milan> | Guyz do you use -XSafe? |
| 2025-12-08 22:03:08 +0100 | <milan> | I am trying simple app but I can't even use haskell-say package in my cabal with -XSafe |
| 2025-12-08 22:06:05 +0100 | Googulator93 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-08 22:07:48 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-08 22:10:02 +0100 | pebble | (~pebble@37.63.35.63) (Read error: Connection reset by peer) |
| 2025-12-08 22:11:43 +0100 | Ikosit | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-08 22:11:54 +0100 | <davean> | milan: -XSafe is complicated. You can't use random packages in it. |
| 2025-12-08 22:11:59 +0100 | Ikosit2 | (~Ikosit@user/ikosit) Ikosit |
| 2025-12-08 22:12:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 22:13:52 +0100 | <milan> | davean: Yeah but https://hackage.haskell.org/package/haskell-say-1.0.0.0/docs/HaskellSay.html is marked safe? But I get app/Main.hs:3:1: error: [-Winferred-safe-imports, -Werror=inferred-safe-imports] |
| 2025-12-08 22:13:54 +0100 | <milan> | Importing Safe-Inferred module HaskellSay from explicitly Safe module |
| 2025-12-08 22:17:32 +0100 | <milan> | Is there a way how to get rid of this warning without just silencing it? |
| 2025-12-08 22:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 22:21:48 +0100 | <[exa]> | yin: there's some nice tree-ish properties of plain Set Int that you get (but I'm not sure they are exposed). Mainly since the trees are bb-α you can get stuff like k-th smallest element very fast. Not sure if that carries to the intmap representation (radix tree essentially) |
| 2025-12-08 22:22:25 +0100 | <yin> | ah, yes. sets are ordered |
| 2025-12-08 22:22:48 +0100 | <yin> | good point |
| 2025-12-08 22:24:26 +0100 | <[exa]> | IntSet is kinda ordered too, right? although more implicitly |
| 2025-12-08 22:27:50 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-08 22:29:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-08 22:30:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 22:30:33 +0100 | <yin> | seems like the radix tree implementation handles negative ints so that correct order is maintained |
| 2025-12-08 22:30:46 +0100 | <yin> | cool |
| 2025-12-08 22:31:24 +0100 | <EvanR> | maintained...... during what process |
| 2025-12-08 22:32:40 +0100 | chenjf | (~chenjf@68.64.178.54) |
| 2025-12-08 22:33:39 +0100 | <yin> | for what i understand, it's structured so that traversing naturally happens from minBound to maxBound |
| 2025-12-08 22:34:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-08 22:35:53 +0100 | <yin> | (in that expected direction) |
| 2025-12-08 22:36:18 +0100 | <yin> | my english may be failing me here |
| 2025-12-08 22:37:49 +0100 | <EvanR> | well toList isn't really a process from IntSets to IntSets so you wouldn't be able to notice a change in ordering if there was one, because it's apples to oranges |
| 2025-12-08 22:38:29 +0100 | <EvanR> | e.g. I figured you were asking if e.g. filtering out a particular value from the set leaves the remainder in the same relative order (observed when you do toList) |
| 2025-12-08 22:38:48 +0100 | <EvanR> | or inserting a new value |
| 2025-12-08 22:41:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 22:41:57 +0100 | <yin> | yes i'm also not sure in what measure those properties are exposed |
| 2025-12-08 22:42:17 +0100 | <[exa]> | yin: anyway in the radix tree you still can't reach for k-th element in O(log(n)), I don't see they'd store weights there. So that's faster for the normal Set. OTOH the okasaki paper measured that tree merging is way faster for the radix trees (which makes sense). |
| 2025-12-08 22:42:56 +0100 | <[exa]> | so e.g. if you need quick quantiles, go for Set Int |
| 2025-12-08 22:44:19 +0100 | <[exa]> | (kinda sad the k-th smallest element operation is not exposed in API though.) |
| 2025-12-08 22:46:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-08 22:46:25 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-08 22:47:43 +0100 | wbooze | (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-08 22:49:52 +0100 | chenjf | (~chenjf@68.64.178.54) (Ping timeout: 255 seconds) |
| 2025-12-08 22:50:20 +0100 | <yin> | splitRoot is interesting |
| 2025-12-08 22:50:44 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 22:50:46 +0100 | <yin> | oh, there's elemAt |
| 2025-12-08 22:51:05 +0100 | <yin> | for Set |
| 2025-12-08 22:51:46 +0100 | <yin> | how did i not know that |
| 2025-12-08 22:51:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-08 22:53:25 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 22:53:34 +0100 | <[exa]> | oh wait coooooooooooool |
| 2025-12-08 22:53:56 +0100 | <[exa]> | yin: tbh I didn't notice it until now |
| 2025-12-08 22:54:24 +0100 | <[exa]> | ok so my complaints above can now be safely slashed |
| 2025-12-08 22:54:45 +0100 | <yin> | they're still valid for IntSet |
| 2025-12-08 22:55:59 +0100 | <[exa]> | yeah but there that's expected |
| 2025-12-08 22:56:08 +0100 | <yin> | right |
| 2025-12-08 22:56:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-08 22:57:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 23:01:05 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-08 23:01:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 23:01:49 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 264 seconds) |
| 2025-12-08 23:12:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 23:14:28 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-08 23:15:09 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-08 23:15:30 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-08 23:15:44 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 23:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 23:18:00 +0100 | <monochrom> | yin: I would choose Set Int if I believe that one day I may have to change Int to something else. |
| 2025-12-08 23:20:04 +0100 | <yin> | I maintain a personal library which abstracts the most common operations on containers so that I can have type Whatever = SomeContainer |
| 2025-12-08 23:21:16 +0100 | <yin> | but it's both very incomplete and i feel not the most elegant solution |
| 2025-12-08 23:22:19 +0100 | <monochrom> | Oh, the road to overthinking the best abstraction never ends. :) |
| 2025-12-08 23:22:19 +0100 | <EvanR> | ah the Container class |
| 2025-12-08 23:22:53 +0100 | <EvanR> | sounds like it is likely to be unable to implement some of the operations for most use cases |
| 2025-12-08 23:23:15 +0100 | elarks | (~yerri@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-08 23:23:42 +0100 | <EvanR> | java style would include "isOperationXImplemented :: Proxy a -> Bool" xD |
| 2025-12-08 23:24:48 +0100 | <yin> | yeah this is not what we should be using classes for |
| 2025-12-08 23:26:28 +0100 | <davean> | Type families with runtime type dispatch! |
| 2025-12-08 23:28:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 23:29:27 +0100 | elarks | (~yerri@user/yerrii) yerrii |
| 2025-12-08 23:31:44 +0100 | trickard_ | trickard |
| 2025-12-08 23:33:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-08 23:34:11 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-08 23:37:42 +0100 | <yin> | another insane option is to go the "one class per function" route and have a module which is just a list of sins like `class Lookupable a where lookup ...` |
| 2025-12-08 23:39:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-12-08 23:39:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-08 23:40:01 +0100 | trickard | (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-08 23:40:19 +0100 | trickard_ | (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-08 23:41:32 +0100 | <davean> | I'm only in if you have that be via reflection |
| 2025-12-08 23:43:05 +0100 | <monochrom> | GHC.Exts.withDict may help, but it is not an ergonomic interface. |
| 2025-12-08 23:44:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-08 23:44:34 +0100 | <monochrom> | And I haven't looked into whether it still works for MPTC, FunDep, type families... |
| 2025-12-08 23:44:43 +0100 | <yin> | at that point we would need some kind of type system! |
| 2025-12-08 23:47:50 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-08 23:48:18 +0100 | Inline | (~inlinE@2001-4dd3-7fc8-0-f57-6413-8f27-9a87.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-12-08 23:49:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-08 23:50:13 +0100 | ven4tor | (~halloy594@host-128-227-1-55.xlate.ufl.edu) |
| 2025-12-08 23:50:28 +0100 | <yin> | haskell's runtime compiler |
| 2025-12-08 23:50:59 +0100 | ven4tor | (~halloy594@host-128-227-1-55.xlate.ufl.edu) () |
| 2025-12-08 23:51:56 +0100 | trickard_ | trickard |
| 2025-12-08 23:56:10 +0100 | raeven | (~raeven@user/raeven) (Ping timeout: 245 seconds) |