2025/11/17

Newest at the top

2025-11-17 06:18:58 +0100mange(~mange@user/mange) (Remote host closed the connection)
2025-11-17 06:18:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 06:13:13 +0100trickard__trickard
2025-11-17 06:12:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 06:03:07 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-17 06:02:42 +0100bggd(~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1)
2025-11-17 06:02:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-17 05:59:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-17 05:57:25 +0100qqe(~qqq@185.54.21.140)
2025-11-17 05:57:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 05:56:48 +0100rekahsoft(~rekahsoft@70.51.99.245) rekahsoft
2025-11-17 05:51:46 +0100qqe(~qqq@185.54.21.140) (Quit: Lost terminal)
2025-11-17 05:45:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-17 05:39:35 +0100sansk(~sansk@user/sansk) (Quit: WeeChat 4.7.1)
2025-11-17 05:39:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 05:31:28 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-11-17 05:31:10 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 256 seconds)
2025-11-17 05:28:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-17 05:26:55 +0100sansk(~sansk@user/sansk) sansk
2025-11-17 05:26:14 +0100vardhan(~vardhan@122.172.80.68)
2025-11-17 05:24:21 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-11-17 05:23:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 05:22:10 +0100mange(~mange@user/mange) mange
2025-11-17 05:12:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-17 05:10:40 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-17 05:07:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 04:56:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 04:56:00 +0100 <geekosaur> they left some time ago, that's why I used @tell
2025-11-17 04:52:54 +0100 <haskellbridge> <slack1256> Imaginaos si jaskell usarĂ¡ clase en vez de class o si usarĂ¡ lambdala en vez de lambda jajaa
2025-11-17 04:51:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 04:51:30 +0100 <haskellbridge> <slack1256> Los teoremas de punto fijo
2025-11-17 04:51:01 +0100 <haskellbridge> <slack1256> Computaciones monadicas con estructura aplicativo
2025-11-17 04:40:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 04:36:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 04:32:45 +0100mange(~mange@user/mange) (Remote host closed the connection)
2025-11-17 04:29:20 +0100Square3(~Square@user/square) (Ping timeout: 240 seconds)
2025-11-17 04:26:28 +0100td_(~td@i53870917.versanet.de) td_
2025-11-17 04:25:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-17 04:24:34 +0100td_(~td@i5387093F.versanet.de) (Ping timeout: 256 seconds)
2025-11-17 04:20:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 04:15:40 +0100bggd(~bgg@2a01:e0a:819:1510:c9b2:3583:8eb1:f3ee) (Remote host closed the connection)
2025-11-17 04:11:32 +0100looking(~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed)
2025-11-17 04:09:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 04:04:49 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-17 04:02:57 +0100trickard__(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-17 04:02:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 03:57:40 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 255 seconds)
2025-11-17 03:51:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-17 03:46:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 03:38:08 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)