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