2025/11/17

Newest at the top

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)
2025-11-17 03:37:50 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-11-17 03:35:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-17 03:30:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 03:19:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-17 03:15:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 03:09:27 +0100myxos(~myxos@2001:579:8380:f20:abb:2847:db49:d417) (Ping timeout: 252 seconds)
2025-11-17 03:09:20 +0100karenw(~karenw@user/karenw) (Ping timeout: 244 seconds)
2025-11-17 03:06:24 +0100myxokephale(~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) myxokephale
2025-11-17 03:06:18 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-17 03:05:55 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-17 03:04:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-17 03:01:10 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-11-17 03:00:57 +0100trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-17 02:59:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-17 02:57:18 +0100looking(~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252)
2025-11-17 02:57:05 +0100synchromesh(~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) synchromesh
2025-11-17 02:55:57 +0100otto_s(~user@p5de2f6bf.dip0.t-ipconnect.de)
2025-11-17 02:55:38 +0100synchromesh(~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) (Read error: Connection reset by peer)
2025-11-17 02:55:37 +0100 <geekosaur> …my Spanish isn't quite up to that, sadly
2025-11-17 02:55:17 +0100 <lambdabot> Consider it noted.