Newest at the top
| 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 |
| 2026-02-18 09:36:18 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-02-18 09:32:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-18 09:30:51 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-18 09:26:48 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-18 09:22:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-18 09:22:18 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-18 09:16:16 +0100 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-02-18 09:16:01 +0100 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Ping timeout: 246 seconds) |
| 2026-02-18 09:15:58 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-18 09:13:14 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2026-02-18 09:12:25 +0100 | monochrom | (trebla@216.138.220.146) (Server closed connection) |
| 2026-02-18 09:09:13 +0100 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2026-02-18 09:08:59 +0100 | omnifunctor | (~omnifunct@user/semifunctor) (Server closed connection) |