Newest at the top
| 2026-04-08 21:36:41 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-08 21:32:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-08 21:29:29 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-04-08 21:27:14 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2026-04-08 21:26:06 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-08 21:25:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 21:20:17 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-08 21:17:42 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-08 21:17:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-08 21:16:15 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 244 seconds) |
| 2026-04-08 21:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-08 21:10:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 20:59:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-08 20:54:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 20:44:44 +0000 | emmanuelux_ | (~em@2a02-8440-2506-0788-32cb-9733-4bb5-4804.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2026-04-08 20:43:57 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-04-08 20:43:30 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-04-08 20:38:53 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-08 20:38:10 +0000 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-04-08 20:37:50 +0000 | emmanuelux_ | (~em@2a02-8440-2506-0788-32cb-9733-4bb5-4804.rev.sfr.net) |
| 2026-04-08 20:33:49 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-04-08 20:32:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-08 20:28:17 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-04-08 20:27:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-08 20:22:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 20:21:38 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2026-04-08 20:18:31 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-08 20:13:38 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Quit: Chai-T-Rex) |
| 2026-04-08 20:11:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-08 20:06:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 20:03:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-08 19:59:45 +0000 | <EvanR> | gentauro, nice framework, very powerful (and so universal decidability of equivalences is out the window) |
| 2026-04-08 19:59:09 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-08 19:56:16 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-08 19:56:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-08 19:55:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-08 19:48:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 19:40:58 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) synchromesh |
| 2026-04-08 19:39:46 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:8174:9ae9:efe0:c152) (Read error: Connection reset by peer) |
| 2026-04-08 19:38:06 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-08 19:38:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-08 19:33:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 19:27:11 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-04-08 19:25:42 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-08 19:24:27 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 246 seconds) |
| 2026-04-08 19:22:15 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-08 19:22:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-08 19:20:23 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-08 19:17:51 +0000 | divlamir_ | divlamir |
| 2026-04-08 19:17:51 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |