Newest at the top
| 2025-12-25 07:40:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:31:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-25 07:29:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 07:25:37 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-25 07:25:31 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-25 07:22:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:17:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 07:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 07:07:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 07:01:37 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 07:00:02 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 2025-12-25 06:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 06:51:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:40:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 06:37:37 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-25 06:35:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:24:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 06:19:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 06:09:11 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 06:08:52 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 06:04:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 06:01:02 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 06:00:44 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2025-12-25 05:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 05:48:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 05:32:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:25:27 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-12-25 05:25:13 +0100 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-12-25 05:21:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 05:16:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 05:05:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 05:01:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:54:31 +0100 | <Leary> | Zemyla: RankNTypes also gives you Church encodings for arbitrary GADTs, the direct translation of `:~:` being `newtype a :~: b = WithRefl (forall r. (forall x. r x x) -> r a b)`. |
| 2025-12-25 04:50:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 04:49:48 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 2025-12-25 04:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:42:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 04:35:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:33:07 +0100 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 04:32:31 +0100 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-25 04:26:52 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 04:24:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 04:20:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 04:16:37 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 04:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 04:07:35 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 04:06:36 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 04:04:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |