Newest at the top
| 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) |
| 2026-04-23 21:08:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 21:03:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 20:59:04 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-23 20:56:48 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2026-04-23 20:52:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:47:02 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 265 seconds) |
| 2026-04-23 20:45:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 20:35:59 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-23 20:35:14 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-23 20:34:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 20:29:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 20:19:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:16:52 +0000 | accountant | (~accountan@2600:1702:5b61:8b40:955:b655:442f:e301) (Ping timeout: 245 seconds) |
| 2026-04-23 20:14:02 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |