Newest at the top
| 2026-04-23 23:19:20 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-23 23:16:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 23:11:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 23:10:58 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-23 23:10:58 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b192:7d6d:2547:30d4) (Changing host) |
| 2026-04-23 23:10:58 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b192:7d6d:2547:30d4) |
| 2026-04-23 23:04:23 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-23 23:00:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-23 22:55:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 22:52:05 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-23 22:52:02 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-23 22:52:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:3480:d5d:7dfc:8fb4) (Changing host) |
| 2026-04-23 22:52:02 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:3480:d5d:7dfc:8fb4) |
| 2026-04-23 22:44:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 22:40:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 22:38:11 +0000 | williu5 | (~williu5@user/williu5) williu5 |
| 2026-04-23 22:37:31 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-04-23 22:34:36 +0000 | asd | (~asd@2a02:587:4550:b400:874e:c79f:8e8f:2a67) (Quit: Client closed) |
| 2026-04-23 22:33:34 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2026-04-23 22:31:50 +0000 | <monochrom> | hahaha "The Next 700 Syntactical Models of Type Theory" |
| 2026-04-23 22:28:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 22:24:19 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 2026-04-23 22:22:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 22:14:15 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2026-04-23 22:10:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 22:06:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 22:04:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-23 22:04:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-23 21:55:42 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-23 21:55:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-23 21:51:11 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-23 21:50:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 21:42:40 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-23 21:41:08 +0000 | <dolio> | monochrom: You might enjoy this guy: https://www.pédrot.fr/publications.html |
| 2026-04-23 21:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 21:34:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 21:34:44 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-23 21:34:22 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-23 21:29:40 +0000 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2026-04-23 21:29:04 +0000 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Quit: Later) |
| 2026-04-23 21:27:35 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-23 21:24:39 +0000 | <monochrom> | "natural numbers retain all of the positive aspects of the integers" hahaha they really had a field day didn't they |
| 2026-04-23 21:24:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 21:23:39 +0000 | <monochrom> | "we find ourselves in need of a successor" hahaha |
| 2026-04-23 21:22:29 +0000 | Pixi` | Pixi |
| 2026-04-23 21:20:20 +0000 | <haskellbridge> | <yin> i'm always reminded of this https://www.youtube.com/watch?v=jFk1qpr1ytk |
| 2026-04-23 21:19:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 21:18:43 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-23 21:11:53 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 21:09:25 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |