2025/10/04

Newest at the top

2025-10-04 02:54:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 02:51:56 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-04 02:51:42 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-04 02:50:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:48:08 +0200 <dcpagan> Does [Oleg Kiselyov](https://okmij.org/ftp/) have a GitHub?
2025-10-04 02:39:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 02:39:14 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-04 02:33:59 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-04 02:32:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:21:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-04 02:16:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 02:09:08 +0200EvanR(~EvanR@user/evanr) EvanR
2025-10-04 02:09:08 +0200acidjnk(~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-10-04 02:07:46 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-10-04 02:05:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 02:01:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:50:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-10-04 01:46:27 +0200sprotte24(~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving)
2025-10-04 01:46:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:34:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-04 01:32:10 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-04 01:30:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:30:19 +0200 <dcpagan> Codensity does not have callCC.
2025-10-04 01:29:52 +0200 <dcpagan> With regard to [Control.Monad.Trans.Cont.ContT](https://hackage-content.haskell.org/package/transformers-0.6.2.0/docs/Control-Monad-Trans-Cont.html), is there a difference between using callCC and using delimited continuations via reset and shift?
2025-10-04 01:21:38 +0200craunts79(~craunts@136.158.7.194)
2025-10-04 01:20:33 +0200craunts79(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-04 01:20:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 01:15:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 01:07:49 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2025-10-04 01:04:27 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 01:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 00:57:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:53:08 +0200Inline_Inline
2025-10-04 00:53:01 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-04 00:52:31 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-10-04 00:46:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-04 00:45:04 +0200ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2025-10-04 00:44:54 +0200ZLima12(~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
2025-10-04 00:44:07 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 00:43:42 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-04 00:41:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:41:35 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-04 00:38:15 +0200Inline(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-10-04 00:36:31 +0200weary-traveler(~user@user/user363627) user363627
2025-10-04 00:36:08 +0200Inline_(~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-04 00:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-04 00:30:54 +0200Pixi__Pixi
2025-10-04 00:27:37 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-10-04 00:26:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-04 00:23:33 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla