Newest at the top
| 2026-02-18 13:14:56 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2026-02-18 13:10:44 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 245 seconds) |
| 2026-02-18 13:06:36 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-18 12:57:23 +0100 | myme | (~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) myme |
| 2026-02-18 12:56:59 +0100 | myme | (~myme@2a01:799:d5e:5f00:1efd:1fab:dfd5:7518) (Server closed connection) |
| 2026-02-18 12:53:21 +0100 | krei-se | (~krei-se@p200300f1cfff3e88000000000000c8c6.dip0.t-ipconnect.de) krei-se |
| 2026-02-18 12:52:59 +0100 | krei-se | (~krei-se@p5dea1d59.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-18 12:48:46 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-18 12:44:23 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-18 12:41:44 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2026-02-18 12:41:05 +0100 | Flow | (~none@gentoo/developer/flow) (Server closed connection) |
| 2026-02-18 12:36:43 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-18 12:36:25 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Server closed connection) |
| 2026-02-18 12:31:55 +0100 | cjay | (~cjay@nerdbox.nerd2nerd.org) cjay |
| 2026-02-18 12:31:45 +0100 | cjay | (~cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 2026-02-18 12:24:35 +0100 | int-e | (~noone@int-e.eu) int-e |
| 2026-02-18 12:24:25 +0100 | int-e | (~noone@int-e.eu) (Server closed connection) |
| 2026-02-18 12:19:47 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-18 12:06:02 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-18 12:05:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae) |
| 2026-02-18 12:04:48 +0100 | <gentauro> | hadronized: which proof tool are you using? |
| 2026-02-18 11:39:32 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-18 11:33:13 +0100 | uowou | (~u0_a160@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-18 11:26:58 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-18 11:26:48 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-18 11:18:56 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-02-18 11:06:41 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2026-02-18 11:04:47 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-02-18 11:02:19 +0100 | dolio | (~dolio@130.44.140.168) (Server closed connection) |
| 2026-02-18 10:47:07 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-18 10:33:08 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-18 10:31:00 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-18 10:26:52 +0100 | Alex_delenda_est | (~al_test@85.174.181.228) |
| 2026-02-18 10:24:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-18 10:24:13 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-18 10:24:11 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-18 10:23:53 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-18 10:23:53 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-18 10:23:53 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-18 10:23:31 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-02-18 10:23:05 +0100 | Pixi | (~Pixi@user/pixi) (Server closed connection) |
| 2026-02-18 10:22:48 +0100 | NixClaw | (~NixClaw@user/NixClaw) (Remote host closed the connection) |
| 2026-02-18 10:13:29 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-18 10:05:00 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-18 09:47:03 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-18 09:42:32 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2026-02-18 09:42:19 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Server closed connection) |
| 2026-02-18 09:41:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |