IRCBrowse

2025/12/08

2025-12-08 00:03:58 +0100Googulator49(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 00:04:05 +0100Googulator89(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 00:04:07 +0100merijn(~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 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-12-08 00:11:10 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-12-08 00:11:35 +0100baturhan(~baturhan@user/baturhan) baturhan
2025-12-08 00:13:26 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-08 00:14:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 00:14:57 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-08 00:15:41 +0100tromp(~textual@2001:1c00:3487:1b00:74c0:4869:e4e4:dbcf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-08 00:19:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-08 00:22:46 +0100Lord_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 +0100annamalai(~annamalai@157.33.227.191) (Ping timeout: 264 seconds)
2025-12-08 00:30:35 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-08 00:30:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 00:36:23 +0100mikess(~sam@user/mikess) (Ping timeout: 244 seconds)
2025-12-08 00:37:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 00:44:25 +0100Square(~Square4@user/square) (Ping timeout: 264 seconds)
2025-12-08 00:45:58 +0100pavonia(~user@user/siracusa) siracusa
2025-12-08 00:48:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 00:50:05 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-08 00:53:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 00:57:19 +0100td_(~td@i53870918.versanet.de) (Ping timeout: 250 seconds)
2025-12-08 01:04:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 01:09:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 01:18:10 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-12-08 01:19:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 01:22:26 +0100elarks(~yerri@user/yerrii) yerrii
2025-12-08 01:24:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 01:35:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 01:35:38 +0100Googulator26(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 01:35:40 +0100Googulator49(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 01:40:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 01:45:25 +0100xff0x(~xff0x@2405:6580:b080:900:ad3f:f420:2d20:b3b4) (Ping timeout: 250 seconds)
2025-12-08 01:51:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 01:51:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-08 01:56:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-08 01:56:56 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-08 01:58:09 +0100img(~img@user/img) img
2025-12-08 01:58:59 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-08 01:59:36 +0100trickard_trickard
2025-12-08 02:02:41 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 02:02:55 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-08 02:05:43 +0100Googulator9(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 02:06:14 +0100Googulator26(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 02:07:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 02:12:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 02:15:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-08 02:15:37 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-12-08 02:16:25 +0100ell(~ellie@user/ellie) (Remote host closed the connection)
2025-12-08 02:22:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 02:24:13 +0100jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-12-08 02:25:16 +0100jreicher(~user@user/jreicher) jreicher
2025-12-08 02:27:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 02:34:54 +0100baturhan(~baturhan@user/baturhan) (Quit: Client closed)
2025-12-08 02:37:53 +0100omidmash9(~omidmash@user/omidmash) omidmash
2025-12-08 02:38:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 02:39:52 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2025-12-08 02:39:52 +0100omidmash9omidmash
2025-12-08 02:40:57 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-12-08 02:41:48 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-12-08 02:43:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 02:49:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-08 02:52:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-08 02:54:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 02:56:02 +0100thalber(~thalber@user/kerosenewife) kerosenewife
2025-12-08 03:00:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 03:04:54 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 260 seconds)
2025-12-08 03:06:01 +0100Googulator18(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 03:06:17 +0100Googulator9(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 03:10:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 03:16:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 03:17:04 +0100trickard___(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 03:18:13 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-12-08 03:18:30 +0100weary-traveler(~user@user/user363627) user363627
2025-12-08 03:18:54 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-08 03:20:17 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-08 03:20:17 +0100jmcantrell_jmcantrell
2025-12-08 03:27:09 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2025-12-08 03:28:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 03:29:59 +0100weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-12-08 03:30:27 +0100weary-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 +0100FANTOM(~fantom@212.228.181.156) (Ping timeout: 240 seconds)
2025-12-08 03:33:37 +0100merijn(~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 +0100Googulator66(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 03:36:11 +0100Googulator18(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 03:38:30 +0100trickard___(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 03:38:44 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 03:39:22 +0100forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-12-08 03:40:17 +0100forell(~forell@user/forell) forell
2025-12-08 03:44:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 03:46:09 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-08 03:48:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 03:57:20 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-08 03:59:52 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-08 04:05:38 +0100Googulator66(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 04:05:42 +0100Googulator23(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 04:15:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 04:20:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 04:31:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 04:36:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 04:38:08 +0100iqubic(~sophia@2601:602:9203:1660:767a:e6b6:2f4b:e37e) iqubic
2025-12-08 04:38:40 +0100annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai
2025-12-08 04:47:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 04:48:48 +0100thalber(~thalber@user/kerosenewife) (WeeChat 4.7.1)
2025-12-08 04:53:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-08 04:56:22 +0100poscat0x04(~poscat@user/poscat) poscat
2025-12-08 04:58:10 +0100poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-12-08 05:05:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 05:06:45 +0100dmead(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 05:21:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 05:24:28 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-12-08 05:24:53 +0100weary-traveler(~user@user/user363627) user363627
2025-12-08 05:26:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-08 05:30:00 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-08 05:30:23 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-12-08 05:37:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 05:41:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 05:42:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 05:44:05 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-12-08 05:44:25 +0100EvanR(~EvanR@user/evanr) EvanR
2025-12-08 05:47:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-08 05:58:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 06:03:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 06:11:07 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 06:11:22 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 06:14:25 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-12-08 06:15:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 06:16:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-08 06:19:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 06:20:18 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-12-08 06:21:37 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-12-08 06:22:13 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-12-08 06:23:23 +0100deptype(~deptype@2406:b400:3a:9d2f:9b7c:331e:bc52:4fc0)
2025-12-08 06:28:44 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-12-08 06:28:56 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-08 06:29:28 +0100Googulator23(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 06:29:40 +0100Googulator23(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 06:30:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 06:35:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-08 06:36:16 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 06:36:29 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 06:40:43 +0100Googulator23(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 06:40:46 +0100Googulator49(~Googulato@85-238-68-117.pool.digikabel.hu)
2025-12-08 06:41:29 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-08 06:46:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 06:51:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 07:02:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 07:03:33 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-12-08 07:06:11 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-08 07:07:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 07:10:44 +0100michalz(~michalz@185.246.207.201)
2025-12-08 07:18:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 07:23:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 07:25:11 +0100trickard_trickard
2025-12-08 07:34:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 07:40:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-08 07:43:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 07:43:46 +0100jreicher(~user@user/jreicher) (Remote host closed the connection)
2025-12-08 07:44:28 +0100jreicher(~user@user/jreicher) jreicher
2025-12-08 07:48:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-08 07:54:13 +0100myxos(~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 260 seconds)
2025-12-08 07:59:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 08:04:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-08 08:06:18 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-12-08 08:10:33 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit)
2025-12-08 08:12:15 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-12-08 08:14:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 08:18:29 +0100myxos(~myxos@2001:579:8380:f20:a84e:a963:182a:8091) myxokephale
2025-12-08 08:19:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 08:20:28 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) ()
2025-12-08 08:20:46 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-12-08 08:24:51 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) (Client Quit)
2025-12-08 08:26:32 +0100fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-12-08 08:29:14 +0100annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) (Ping timeout: 260 seconds)
2025-12-08 08:29:25 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-12-08 08:30:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 08:35:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-08 08:40:36 +0100Googulator5(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 08:40:47 +0100Googulator49(~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed)
2025-12-08 08:44:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 08:46:09 +0100annamalai(~annamalai@157.33.214.170) annamalai
2025-12-08 08:49:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-08 08:52:17 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving)
2025-12-08 08:55:15 +0100annamalai(~annamalai@157.33.214.170) (Ping timeout: 240 seconds)
2025-12-08 09:00:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 09:00:56 +0100annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai
2025-12-08 09:02:26 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-08 09:04:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-08 09:07:19 +0100tromp(~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0)
2025-12-08 09:10:37 +0100Googulator5(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 09:10:39 +0100Googulator83(~Googulato@85-238-68-117.pool.digikabel.hu)
2025-12-08 09:15:07 +0100polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-12-08 09:33:11 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-12-08 09:44:30 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-12-08 09:45:40 +0100Googulator83(~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed)
2025-12-08 09:45:45 +0100Googulator88(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 09:45:54 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-12-08 09:47:53 +0100kuribas(~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) kuribas
2025-12-08 09:50:06 +0100Lord_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 +0100chele(~chele@user/chele) chele
2025-12-08 09:50:26 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 10:02:39 +0100tromp(~textual@2001:1c00:3487:1b00:8dfa:2450:8c32:ced0) (Ping timeout: 244 seconds)
2025-12-08 10:17:46 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2025-12-08 10:18:02 +0100Square(~Square4@user/square) Square
2025-12-08 10:18:55 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-12-08 10:19:25 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2025-12-08 10:19:45 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-12-08 10:22:26 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-08 10:27:31 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2025-12-08 10:27:56 +0100ec(~ec@gateway/tor-sasl/ec) ec
2025-12-08 10:31:43 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-08 10:32:34 +0100Googulator88Googulator
2025-12-08 10:36:41 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 250 seconds)
2025-12-08 10:42:26 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-12-08 10:45:34 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 10:45:36 +0100Googulator22(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 10:45:47 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 10:46:56 +0100Lord_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 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-08 10:56:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-08 10:57:28 +0100Square(~Square4@user/square) (Remote host closed the connection)
2025-12-08 10:58:03 +0100Square(~Square4@user/square) Square
2025-12-08 11:00:54 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-12-08 11:04:12 +0100Googulator22Googulator
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 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-12-08 11:10:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 11:12:44 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-12-08 11:13:05 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-12-08 11:14:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2025-12-08 11:15:19 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-12-08 11:21:13 +0100Beowulf(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 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 11:26:12 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-12-08 11:26:12 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-12-08 11:26:12 +0100haritz(~hrtz@user/haritz) haritz
2025-12-08 11:29:56 +0100Beowulf(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 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 11:43:26 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 11:45:43 +0100Googulator84(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 11:46:19 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 11:50:04 +0100Googulator84Googulator
2025-12-08 11:52:31 +0100haritz(~hrtz@user/haritz) (Ping timeout: 250 seconds)
2025-12-08 11:53:12 +0100haritz(~hrtz@140.228.70.141)
2025-12-08 11:53:13 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2025-12-08 11:53:13 +0100haritz(~hrtz@user/haritz) haritz
2025-12-08 12:03:57 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 12:04:09 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 12:06:15 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 240 seconds)
2025-12-08 12:17:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-12-08 12:19:49 +0100xff0x(~xff0x@2405:6580:b080:900:fe10:407:8fc1:7162)
2025-12-08 12:28:09 +0100tremon(~tremon@83.80.159.219) tremon
2025-12-08 12:30:21 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 12:35:25 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-12-08 12:35:34 +0100Googulator37(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 12:35:40 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 12:41:14 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 12:41:28 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 12:45:37 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-12-08 12:47:54 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 12:51:05 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-12-08 12:51:29 +0100weary-traveler(~user@user/user363627) user363627
2025-12-08 12:52:33 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-12-08 12:52:52 +0100trickard_trickard
2025-12-08 12:55:02 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-08 12:57:33 +0100Franciman(~Franciman@mx1.fracta.dev) (Ping timeout: 260 seconds)
2025-12-08 12:57:34 +0100lortabac(~lortabac@mx1.fracta.dev) (Read error: Connection reset by peer)
2025-12-08 12:59:19 +0100chromoblob(~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 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 13:08:18 +0100lortabac(~lortabac@mx1.fracta.dev) lortabac
2025-12-08 13:09:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-08 13:13:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds)
2025-12-08 13:13:45 +0100Franciman(~Franciman@mx1.fracta.dev) Franciman
2025-12-08 13:15:35 +0100Googulator37(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 13:15:41 +0100Googulator87(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 13:16:44 +0100ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-12-08 13:26:02 +0100hsw(~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving)
2025-12-08 13:26:21 +0100hsw(~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw
2025-12-08 13:34:42 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-08 13:39:48 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 13:40:02 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 13:42:47 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-12-08 13:45:47 +0100Googulator50(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 13:46:16 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-12-08 13:46:21 +0100Googulator87(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 13:47:05 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 13:50:59 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 13:54:08 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection)
2025-12-08 13:54:44 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-12-08 13:54:56 +0100turlando_(~turlando@user/turlando) turlando
2025-12-08 13:55:15 +0100turlando(~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 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-08 14:09:52 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2025-12-08 14:14:33 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-12-08 14:15:35 +0100Googulator50Googulator
2025-12-08 14:17:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 14:22:28 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-12-08 14:25:19 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-12-08 14:30:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-12-08 14:30:26 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 14:39:20 +0100L29Ah(~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 +0100DetourNetworkUK(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 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2025-12-08 14:45:47 +0100Googulator33(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 14:45:49 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 14:49:50 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 14:50:04 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 14:50:59 +0100Googulator33(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 14:51:10 +0100Googulator33(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 15:03:21 +0100sindu(~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 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-08 15:12:31 +0100notzmv(~umar@user/notzmv) (Ping timeout: 246 seconds)
2025-12-08 15:15:41 +0100Googulator33(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 15:15:50 +0100Googulator33(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 15:19:57 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 15:20:10 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 15:21:22 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-12-08 15:26:10 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-12-08 15:28:49 +0100chenjf(~chenjf@68.64.178.54)
2025-12-08 15:29:34 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-12-08 15:30:59 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-12-08 15:33:27 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection)
2025-12-08 15:35:21 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
2025-12-08 15:38:05 +0100Googulator33Googulator
2025-12-08 15:45:49 +0100Googulator80(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 15:46:08 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 15:48:07 +0100chenjf(~chenjf@68.64.178.54) (Ping timeout: 240 seconds)
2025-12-08 15:53:35 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-08 15:55:29 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-12-08 15:58:37 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 16:02:13 +0100Googulator80Googulator
2025-12-08 16:08:35 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Ping timeout: 272 seconds)
2025-12-08 16:12:24 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 260 seconds)
2025-12-08 16:18:55 +0100annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) (Remote host closed the connection)
2025-12-08 16:21:06 +0100myxos(~myxos@2001:579:8380:f20:a84e:a963:182a:8091) (Ping timeout: 265 seconds)
2025-12-08 16:21:33 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-12-08 16:24:43 +0100myxos(~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale
2025-12-08 16:24:55 +0100pebble(~pebble@37.63.35.63) pebble
2025-12-08 16:30:33 +0100wbooze(~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/)
2025-12-08 16:30:37 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-12-08 16:31:29 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 16:33:54 +0100wbooze(~wbooze@cgn-195-14-220-195.nc.de) Inline
2025-12-08 16:35:46 +0100chenjf(~chenjf@68.64.178.54)
2025-12-08 16:35:49 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-12-08 16:36:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 16:36:48 +0100chenjf(~chenjf@68.64.178.54) (Remote host closed the connection)
2025-12-08 16:37:38 +0100chenjf(~chenjf@68.64.178.54)
2025-12-08 16:45:45 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-12-08 16:46:17 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 16:53:25 +0100chenjf(~chenjf@68.64.178.54) (Ping timeout: 264 seconds)
2025-12-08 16:53:55 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds)
2025-12-08 16:55:08 +0100chenjf(~chenjf@68.64.178.54)
2025-12-08 17:00:58 +0100Googulator(~Googulato@185.199.28.81)
2025-12-08 17:04:05 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-12-08 17:08:07 +0100Googulator(~Googulato@185.199.28.81) (Ping timeout: 272 seconds)
2025-12-08 17:08:25 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 250 seconds)
2025-12-08 17:12:37 +0100chenjf(~chenjf@68.64.178.54) (Ping timeout: 264 seconds)
2025-12-08 17:26:34 +0100chenjf(~chenjf@68.64.178.54)
2025-12-08 17:31:49 +0100trickard_trickard
2025-12-08 17:35:11 +0100leah2(~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.)
2025-12-08 17:37:28 +0100leah2(~leah@vuxu.org) leah2
2025-12-08 17:41:50 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-12-08 17:43:35 +0100chenjf(~chenjf@68.64.178.54) (Ping timeout: 240 seconds)
2025-12-08 17:47:45 +0100annamalai(~annamalai@2409:4042:d37:b495::9e0a:ba05) annamalai
2025-12-08 17:52:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-12-08 18:06:11 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 18:06:57 +0100euphores(~SASL_euph@user/euphores) euphores
2025-12-08 18:08:16 +0100notzmv(~umar@user/notzmv) notzmv
2025-12-08 18:13:51 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 250 seconds)
2025-12-08 18:27:43 +0100raym(~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 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-12-08 18:37:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 18:37:49 +0100merijn(~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 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 18:40:46 +0100Googulator83(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 18:42:07 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 18:44:49 +0100FANTOM_(~fantom@212.228.181.156)
2025-12-08 18:48:28 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-08 18:48:48 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-12-08 18:52:37 +0100Googulator83Googulator
2025-12-08 18:58:25 +0100Square2(~Square@user/square) Square
2025-12-08 19:00:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-12-08 19:01:18 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-12-08 19:01:55 +0100Square(~Square4@user/square) (Ping timeout: 240 seconds)
2025-12-08 19:05:39 +0100itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-12-08 19:07:01 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-08 19:08:58 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-12-08 19:10:42 +0100Googulator89(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 19:10:47 +0100Googulator(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 19:12:44 +0100Guest6400(~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f)
2025-12-08 19:13:45 +0100Googulator89Googulator
2025-12-08 19:13:57 +0100Guest6400(~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (Remote host closed the connection)
2025-12-08 19:14:15 +0100Guest6400(~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f)
2025-12-08 19:14:36 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-12-08 19:18:23 +0100Guest6400filesUNDcatboxUN
2025-12-08 19:18:45 +0100filesUNDcatboxUNcatboxmoeonpw4tj
2025-12-08 19:20:04 +0100kuribas(~user@2a02-1810-2825-6000-f1ea-5a47-537d-8d09.ip6.access.telenet.be) (Remote host closed the connection)
2025-12-08 19:20:55 +0100merijn(~merijn@77.242.116.146) merijn
2025-12-08 19:21:28 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-12-08 19:21:44 +0100weary-traveler(~user@user/user363627) user363627
2025-12-08 19:21:49 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-08 19:25:10 +0100user47384(~Guest75@128.205.160.74)
2025-12-08 19:26:04 +0100mulk(~mulk@p5b1127bf.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in)
2025-12-08 19:26:18 +0100merijn(~merijn@77.242.116.146) (Read error: Connection reset by peer)
2025-12-08 19:34:41 +0100catboxmoeonpw4tj(~j@2600:6c5c:4e00:163:2bf4:9fab:3c73:9a6f) (K-Lined)
2025-12-08 19:34:49 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 264 seconds)
2025-12-08 19:35:59 +0100mulk(~mulk@p5b1127bf.dip0.t-ipconnect.de) mulk
2025-12-08 19:36:38 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-12-08 19:38:58 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 19:39:12 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 19:40:41 +0100Googulator71(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 19:40:48 +0100Googulator(~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 +0100ljdarj(~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 +0100user47384(~Guest75@128.205.160.74) (Quit: Client closed)
2025-12-08 19:55:49 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-12-08 19:59:52 +0100ljdarj(~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 +0100mulk(~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 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) ft
2025-12-08 20:06:52 +0100raeven(~raeven@user/raeven) raeven
2025-12-08 20:10:48 +0100Googulator71(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 20:10:50 +0100Googulator95(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu)
2025-12-08 20:14:53 +0100mulk(~mulk@p5b1127bf.dip0.t-ipconnect.de) mulk
2025-12-08 20:17:17 +0100mehbark(~mehbark@user/mehbark) (Quit: insert leave message here)
2025-12-08 20:17:35 +0100mehbark(~mehbark@joey.luug.ece.vt.edu)
2025-12-08 20:18:28 +0100mehbark(~mehbark@joey.luug.ece.vt.edu) (Changing host)
2025-12-08 20:18:28 +0100mehbark(~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 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-12-08 20:27:03 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-12-08 20:28:07 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-12-08 20:28:20 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-12-08 20:28:20 +0100ljdarj1ljdarj
2025-12-08 20:28:23 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-12-08 20:30:43 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-08 20:30:49 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-12-08 20:31:13 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 264 seconds)
2025-12-08 20:31:49 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-08 20:32:02 +0100Lord_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 +0100deptype(~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 +0100michalz_(~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 +0100michalz(~michalz@185.246.207.201) (Ping timeout: 244 seconds)
2025-12-08 20:43:57 +0100merijn(~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 +0100merijn(~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 +0100itaipu(~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 +0100machinedgod(~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 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-08 20:59:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 21:04:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-08 21:08:50 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-08 21:08:50 +0100jmcantrell_jmcantrell
2025-12-08 21:15:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 21:16:17 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-08 21:16:36 +0100trickard_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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-08 21:22:24 +0100spew(~spew@user/spew) spew
2025-12-08 21:26:24 +0100Square2(~Square@user/square) (Read error: Connection reset by peer)
2025-12-08 21:26:41 +0100Square2(~Square@user/square) Square
2025-12-08 21:27:03 +0100Square(~Square4@user/square) Square
2025-12-08 21:27:31 +0100trickard(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 21:27:45 +0100trickard_(~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 +0100Square2(~Square@user/square) (Ping timeout: 250 seconds)
2025-12-08 21:31:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 21:32:31 +0100michalz_(~michalz@185.246.207.217) (Remote host closed the connection)
2025-12-08 21:33:40 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds)
2025-12-08 21:36:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 21:38:51 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-12-08 21:40:35 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-12-08 21:40:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 21:41:13 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-08 21:45:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-08 21:48:26 +0100acarrico(~acarrico@pppoe-209-99-221-186.greenmountainaccess.net)
2025-12-08 21:50:17 +0100karenw(~karenw@user/karenw) karenw
2025-12-08 21:51:15 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-08 21:52:15 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-12-08 21:56:07 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-08 21:56:28 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 22:01:48 +0100milan(~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 +0100Googulator93(~Googulato@85-238-68-117.pool.digikabel.hu)
2025-12-08 22:07:48 +0100Googulator95(~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed)
2025-12-08 22:10:02 +0100pebble(~pebble@37.63.35.63) (Read error: Connection reset by peer)
2025-12-08 22:11:43 +0100Ikosit(~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 +0100Ikosit2(~Ikosit@user/ikosit) Ikosit
2025-12-08 22:12:16 +0100merijn(~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 +0100merijn(~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 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-08 22:29:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-12-08 22:30:20 +0100merijn(~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 +0100chenjf(~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 +0100merijn(~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 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-08 22:46:25 +0100spew(~spew@user/spew) (Quit: nyaa~)
2025-12-08 22:47:43 +0100wbooze(~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer)
2025-12-08 22:49:52 +0100chenjf(~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 +0100trickard_(~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 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-08 22:53:25 +0100trickard_(~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 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-12-08 22:57:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 23:01:05 +0100pavonia(~user@user/siracusa) siracusa
2025-12-08 23:01:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-08 23:01:49 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 264 seconds)
2025-12-08 23:12:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-08 23:14:28 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-12-08 23:15:09 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-08 23:15:30 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-08 23:15:44 +0100trickard_(~trickard@cpe-83-98-47-163.wireline.com.au)
2025-12-08 23:17:43 +0100merijn(~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 +0100elarks(~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!