Newest at the top
| 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 |
| 2026-04-08 18:44:12 +0000 | st_aldini | (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Quit: st_aldini) |
| 2026-04-08 18:43:15 +0000 | Dirk48 | (~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c) (Quit: Client closed) |
| 2026-04-08 18:31:21 +0000 | qqq | (~qqq@185.54.23.237) |
| 2026-04-08 18:29:43 +0000 | qqq | (~qqq@194.124.210.29) (Ping timeout: 264 seconds) |
| 2026-04-08 18:14:51 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2026-04-08 18:12:52 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-04-08 18:11:59 +0000 | juri_ | (~juri@212.86.60.92) (Ping timeout: 272 seconds) |
| 2026-04-08 18:09:17 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-04-08 18:08:06 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-08 18:06:24 +0000 | juri_ | (~juri@212.86.60.92) juri_ |
| 2026-04-08 18:05:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-08 18:04:55 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2026-04-08 18:04:38 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 265 seconds) |
| 2026-04-08 18:01:39 +0000 | Dirk48 | (~Dirk48@2a02:3100:89f6:c400:ee84:4a50:9d4c:364c) |