2026/01/03

Newest at the top

2026-01-03 16:11:19 +0100 <haskellbridge> <Liamzee> the goal is velocity
2026-01-03 16:11:16 +0100 <haskellbridge> <Liamzee> interesting question: can free monads be used to specify a program via types as an eDSL?
2026-01-03 16:10:43 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 16:09:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 16:05:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-03 16:00:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 15:54:05 +0100wennefer0(~wennefer0@user/wennefer0) (Client Quit)
2026-01-03 15:52:54 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 15:51:19 +0100crazazy(~crazazy@tilde.town) (Ping timeout: 264 seconds)
2026-01-03 15:50:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-01-03 15:49:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-03 15:47:53 +0100wennefer0(~wennefer0@user/wennefer0) (Client Quit)
2026-01-03 15:46:39 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 15:44:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 15:40:41 +0100crazazy(~crazazy@tilde.town) crazazy
2026-01-03 15:40:10 +0100wennefer0(~wennefer0@user/wennefer0) (Client Quit)
2026-01-03 15:39:18 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 15:33:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-03 15:32:31 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-03 15:29:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 15:28:54 +0100wennefer0(~wennefer0@user/wennefer0) (Client Quit)
2026-01-03 15:28:13 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 15:18:47 +0100wennefer0(~wennefer0@user/wennefer0) (Client Quit)
2026-01-03 15:18:05 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 15:15:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-03 15:13:04 +0100wennefer0(~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
2026-01-03 15:11:39 +0100Miroboru(~myrvoll@188.113.115.67) Miroboru
2026-01-03 15:09:15 +0100CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 240 seconds)
2026-01-03 15:09:13 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-01-03 15:08:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 15:01:36 +0100Motok(~moto@user/Motok) Motok
2026-01-03 15:00:48 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-01-03 14:59:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-03 14:55:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 14:44:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-03 14:42:44 +0100aetepe(~aetepe@188.119.58.52) aetepe
2026-01-03 14:41:37 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-03 14:39:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 14:34:22 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2026-01-03 14:33:15 +0100aetepe(~aetepe@188.119.58.52) (Ping timeout: 240 seconds)
2026-01-03 14:29:18 +0100aetepe(~aetepe@188.119.58.52) aetepe
2026-01-03 14:28:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-03 14:23:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 14:12:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-03 14:07:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-03 14:05:17 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2026-01-03 14:02:35 +0100aetepe(~aetepe@188.119.58.52) (Ping timeout: 240 seconds)
2026-01-03 14:01:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-03 13:59:25 +0100mmohammadi9812(~mohammad@85.185.35.42) (Ping timeout: 264 seconds)
2026-01-03 13:59:15 +0100Square3(~Square@user/square) Square