Newest at the top
| 2025-10-27 07:08:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 07:08:25 +0100 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-27 07:07:59 +0100 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-27 07:04:46 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-27 07:04:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 07:04:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 06:58:21 +0100 | trickard_ | trickard |
| 2025-10-27 06:57:20 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-27 06:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-27 06:50:17 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-27 06:48:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:43:05 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-27 06:37:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 06:32:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:25:47 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 06:25:46 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:21:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 06:21:14 +0100 | irfan | (~irfan@user/irfan) (Client Quit) |
| 2025-10-27 06:21:05 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-27 06:20:49 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:20:37 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 06:17:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:15:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-27 06:12:10 +0100 | evee | (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 2025-10-27 06:11:31 +0100 | vulpix | evee |
| 2025-10-27 06:11:25 +0100 | flareon | vulpix |
| 2025-10-27 06:10:37 +0100 | irfan | flareon |
| 2025-10-27 06:07:51 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-10-27 06:06:46 +0100 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-27 06:06:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 06:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 06:01:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 06:00:48 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 05:59:10 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-27 05:56:50 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-27 05:56:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-27 05:56:06 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 05:55:51 +0100 | Googulator | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 05:51:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:50:46 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 05:50:04 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-27 05:41:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-27 05:40:00 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 05:39:47 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 05:39:11 +0100 | aforemny | (~aforemny@2001:9e8:6cd1:6c00:4f63:56d8:3d93:b87f) (Ping timeout: 244 seconds) |
| 2025-10-27 05:39:09 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf1:1000:4e89:d612:c448:7493) aforemny |
| 2025-10-27 05:35:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 05:32:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-27 05:32:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-27 05:32:16 +0100 | <hololeap> | so maybe that makes existential quantification behave like universal quantification in this example |