Newest at the top
| 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) |
| 2026-04-08 19:17:20 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-08 19:17:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-08 19:16:20 +0000 | sord937_ | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-04-08 19:14:42 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-08 19:09:37 +0000 | Square3 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2026-04-08 19:07:40 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-04-08 18:59:43 +0000 | divlamir_ | divlamir |
| 2026-04-08 18:59:43 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-04-08 18:56:55 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-08 18:55:31 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-08 18:45:04 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |