Newest at the top
| 2025-01-22 03:21:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-22 03:19:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 03:18:00 +0100 | ft | (~ft@p4fc2a1c1.dip0.t-ipconnect.de) ft |
| 2025-01-22 03:16:56 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 03:14:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:04:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 03:00:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-22 02:59:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:50:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 02:48:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 02:45:41 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2025-01-22 02:45:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-22 02:43:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:43:13 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-01-22 02:41:54 +0100 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2025-01-22 02:41:54 +0100 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2025-01-22 02:40:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 02:32:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 02:29:48 +0100 | otto_s | (~user@p5de2f486.dip0.t-ipconnect.de) |
| 2025-01-22 02:29:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 02:28:48 +0100 | otto_s | (~user@p5de2f474.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 02:25:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:24:34 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-22 02:24:23 +0100 | mange | (~user@user/mange) mange |
| 2025-01-22 02:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 02:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 02:10:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:01:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 01:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 01:55:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-22 01:55:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 01:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:54:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5) (Ping timeout: 264 seconds) |
| 2025-01-22 01:52:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 01:51:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:44:15 +0100 | <zero> | i wonder about the efficiency of tuple trees vs idiomatic trees in haskell |
| 2025-01-22 01:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-22 01:42:29 +0100 | <zero> | there we go |
| 2025-01-22 01:42:25 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:23 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (car (cdr (cdr (0,(1,(2,3)))))) |
| 2025-01-22 01:42:14 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:12 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:41:30 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:41:28 +0100 | <zero> | > (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:40:53 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:40:51 +0100 | <zero> | > (fst . snd . snd) (0,(1,(2,3))) |
| 2025-01-22 01:40:00 +0100 | <zero> | reiventing lisp |
| 2025-01-22 01:39:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 01:39:39 +0100 | <geekosaur> | in some sense, at least |
| 2025-01-22 01:39:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |