| 2026-02-07 00:01:13 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2026-02-07 00:03:55 +0100 | oskarw` | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-07 00:04:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 00:13:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-07 00:13:26 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-07 00:13:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-07 00:15:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-07 00:15:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 00:16:35 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-02-07 00:18:59 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-02-07 00:20:23 +0100 | FANTOM | (~fantom@87.75.185.177) |
| 2026-02-07 00:21:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 00:26:31 +0100 | _JusSx_ | (~jussx@37.163.122.53) (Ping timeout: 246 seconds) |
| 2026-02-07 00:28:36 +0100 | _JusSx_ | (~jussx@78.210.148.66) |
| 2026-02-07 00:28:42 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-07 00:31:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 00:35:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 2026-02-07 00:36:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 00:43:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 00:45:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-07 00:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 00:51:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-07 00:58:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 01:04:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 01:14:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 01:21:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 01:29:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-07 01:30:05 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-07 01:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 01:36:10 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-07 01:37:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 01:48:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 01:53:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 01:59:17 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-07 02:04:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 02:05:55 +0100 | otto_s | (~user@p5de2f5d3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-02-07 02:07:56 +0100 | otto_s | (~user@p4ff2781c.dip0.t-ipconnect.de) |
| 2026-02-07 02:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 02:15:49 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-02-07 02:18:56 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-07 02:20:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 02:25:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 02:26:44 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2026-02-07 02:28:48 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 252 seconds) |
| 2026-02-07 02:28:48 +0100 | omidmash5 | omidmash |
| 2026-02-07 02:33:09 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 02:33:24 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 02:36:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 02:41:14 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-07 02:41:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 02:49:31 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Ping timeout: 264 seconds) |
| 2026-02-07 02:52:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 02:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 03:02:58 +0100 | otto_s | (~user@p4ff2781c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-02-07 03:03:40 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-07 03:03:52 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-07 03:04:12 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-07 03:04:52 +0100 | otto_s | (~user@p4ff27c45.dip0.t-ipconnect.de) |
| 2026-02-07 03:06:01 +0100 | DetourNe- | DetourNetworkUK |
| 2026-02-07 03:10:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 03:10:26 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-02-07 03:10:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-07 03:15:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 03:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 03:27:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2026-02-07 03:28:07 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 03:28:08 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-07 03:28:20 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 03:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 03:41:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 03:43:03 +0100 | CryptLab | (~NSA@146.70.45.234) (Ping timeout: 252 seconds) |
| 2026-02-07 03:46:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 03:49:03 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e53558ec37d0ab0c0527.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-02-07 03:54:55 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Ping timeout: 245 seconds) |
| 2026-02-07 03:55:11 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-07 03:56:08 +0100 | wickedjargon | (~user@2605:8d80:5430:47f5:ff7a:a2e4:faa6:fd33) wickedjargon |
| 2026-02-07 03:57:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 03:59:02 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-07 04:00:00 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-07 04:01:26 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-07 04:02:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 04:12:56 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-07 04:13:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 04:18:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 04:29:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 04:30:17 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 2026-02-07 04:31:15 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-02-07 04:32:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-07 04:32:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-07 04:37:16 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-07 04:38:54 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-07 04:39:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 04:48:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-07 04:51:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 04:55:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 05:06:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 05:07:07 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) () |
| 2026-02-07 05:11:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-07 05:15:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-02-07 05:22:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 05:27:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 05:35:42 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-07 05:36:27 +0100 | trickard_ | trickard |
| 2026-02-07 05:38:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 05:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 05:54:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 05:58:11 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 05:58:25 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 05:59:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 06:10:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 06:14:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-02-07 06:16:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 06:17:54 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Write error: error:80000068:system library::Connection reset by peer) |
| 2026-02-07 06:17:58 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-07 06:20:14 +0100 | DetourNe- | DetourNetworkUK |
| 2026-02-07 06:22:42 +0100 | sp1ff | (~user@2601:1c2:4701:7850::1844) sp1ff |
| 2026-02-07 06:28:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 06:28:48 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-02-07 06:33:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 06:34:18 +0100 | jreicher | (~joelr@user/jreicher) (Quit: Beer) |
| 2026-02-07 06:35:02 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 06:36:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 06:36:27 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-07 06:37:35 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2026-02-07 06:39:38 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Ping timeout: 260 seconds) |
| 2026-02-07 06:41:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 06:41:19 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-07 06:42:23 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 2026-02-07 06:50:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7c22:9ec1:997b:ecff) (Ping timeout: 256 seconds) |
| 2026-02-07 06:52:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 06:53:30 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-07 06:56:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 07:07:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 07:12:21 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-02-07 07:12:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 07:13:02 +0100 | xff0x | (~xff0x@2405:6580:b080:900:831e:127e:d5c1:2052) |
| 2026-02-07 07:18:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-07 07:23:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 07:28:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-07 07:37:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 07:40:18 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-07 07:42:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 07:42:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-07 07:45:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-07 07:47:01 +0100 | wickedjargon | (~user@2605:8d80:5430:47f5:ff7a:a2e4:faa6:fd33) (Remote host closed the connection) |
| 2026-02-07 07:48:42 +0100 | wickedjargon | (~user@72.143.232.86) wickedjargon |
| 2026-02-07 07:53:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 07:55:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-07 08:00:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 08:06:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-07 08:11:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 08:15:39 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-02-07 08:16:06 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 08:16:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-07 08:17:47 +0100 | trickard_ | trickard |
| 2026-02-07 08:23:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-07 08:27:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 08:28:40 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2026-02-07 08:29:00 +0100 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2026-02-07 08:31:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 08:38:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 08:42:34 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-07 08:43:01 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2026-02-07 08:43:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 08:49:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-07 08:51:10 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-07 08:53:49 +0100 | divlamir | (~divlamir@user/divlamir) (Write error: error:80000068:system library::Connection reset by peer) |
| 2026-02-07 08:54:00 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-07 08:54:36 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 08:54:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 08:56:32 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) |
| 2026-02-07 09:01:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 09:02:44 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-02-07 09:04:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-07 09:06:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-07 09:11:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:16:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 09:20:55 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-07 09:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:30:59 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 09:31:13 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 09:32:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 09:39:15 +0100 | trickard_ | trickard |
| 2026-02-07 09:39:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 09:39:38 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-02-07 09:40:27 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-07 09:41:45 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-07 09:46:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 09:48:26 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-07 09:48:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-07 09:57:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:02:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 10:10:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:c00:6505:d2bc:8c64) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-07 10:12:25 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:12:39 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:13:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:14:46 +0100 | wickedjargon | (~user@72.143.232.86) (Ping timeout: 265 seconds) |
| 2026-02-07 10:17:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 10:25:01 +0100 | hsw | (~hsw@106.104.102.45) (Quit: Leaving) |
| 2026-02-07 10:26:13 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-07 10:28:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:29:30 +0100 | hsw | (~hsw@106.104.102.45) hsw |
| 2026-02-07 10:33:15 +0100 | Inline | (~User@2a02:908:1246:26e0:807:305f:2053:3810) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2026-02-07 10:34:44 +0100 | Inline | (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) Inline |
| 2026-02-07 10:34:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 10:35:02 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:35:15 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:40:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:43:19 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) Enrico63 |
| 2026-02-07 10:45:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-07 10:56:00 +0100 | <gentauro> | I'm wondering how this (very Lisp'y) https://en.wikipedia.org/wiki/Z3_Theorem_Prover#Examples become like this https://github.com/IagoAbal/haskell-z3?tab=readme-ov-file#example |
| 2026-02-07 10:56:09 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 10:56:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 10:56:21 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 10:57:40 +0100 | <jreicher> | What do you mean? Lisp is not great for stuff like this. |
| 2026-02-07 11:01:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 11:02:33 +0100 | <probie> | gentauro: There's very little lispy-ness in the SMTLIB2 format. It might as well be JSON, YAML or something entirely bespoke |
| 2026-02-07 11:03:12 +0100 | <probie> | They just chose S-expressions, because "everyone" in AI at the time was familiar with them |
| 2026-02-07 11:03:52 +0100 | <probie> | The Z3 monad is really just a codegen monad |
| 2026-02-07 11:04:53 +0100 | <jreicher> | Yes I think that's probably my point too. sexpr != lisp despite what everyone thinks |
| 2026-02-07 11:05:58 +0100 | <jreicher> | I think the defining characteristic of Lisp is "no code, everything is data" which is why it gets confused with the presentation of sexprs |
| 2026-02-07 11:07:33 +0100 | <jreicher> | Codegen helps muddy the waters even further. |
| 2026-02-07 11:09:04 +0100 | trickard_ | trickard |
| 2026-02-07 11:12:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 11:12:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-02-07 11:16:42 +0100 | <gentauro> | `mkFreshIntVar` <- Hungarian notation for the win? Nah |
| 2026-02-07 11:17:59 +0100 | gentauro | feels like: `AbstractAnimalThatLivesInWaterAndHasGillsAndFins.class` |
| 2026-02-07 11:18:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 11:19:55 +0100 | AlexNoo_ | (~AlexNoo@85.174.182.86) |
| 2026-02-07 11:20:41 +0100 | AlexNoo__ | (~AlexNoo@85.174.182.86) |
| 2026-02-07 11:21:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-07 11:22:46 +0100 | <probie> | gentauro: What's wrong with it? |
| 2026-02-07 11:22:50 +0100 | AlexZenon | (~alzenon@85.174.181.199) (Ping timeout: 245 seconds) |
| 2026-02-07 11:23:22 +0100 | <probie> | `Fresh` promises no name collisions, `Int` tells you the type, and `Var` tells you that it's a variable |
| 2026-02-07 11:23:28 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 246 seconds) |
| 2026-02-07 11:23:38 +0100 | Alex_delenda_est | (~al_test@85.174.181.199) (Ping timeout: 256 seconds) |
| 2026-02-07 11:24:19 +0100 | AlexNoo_ | (~AlexNoo@85.174.182.86) (Ping timeout: 260 seconds) |
| 2026-02-07 11:24:42 +0100 | AlexNoo | (~AlexNoo@85.174.182.86) |
| 2026-02-07 11:25:03 +0100 | <gentauro> | probie: to verbose (at least for me) |
| 2026-02-07 11:25:06 +0100 | <jreicher> | gentauro: "Hungarian notation"? |
| 2026-02-07 11:25:20 +0100 | <jreicher> | Oh, I think I know what you mean |
| 2026-02-07 11:25:29 +0100 | AlexNoo__ | (~AlexNoo@85.174.182.86) (Ping timeout: 260 seconds) |
| 2026-02-07 11:26:27 +0100 | <probie> | gentauro: how would you shrink it, short of abbreviating things. You need to convey 4 things; "it's new", "the name can't be anything already generated", "it's an int" and "it's a var"? |
| 2026-02-07 11:27:06 +0100 | <probie> | I guess you could have have a `make` function which takes various kinds of records as arguments, but in practice that's not ergonomic, and it also deviates heavily from the C API, which is why most of the documentation you'll find online is |
| 2026-02-07 11:28:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-07 11:28:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 11:30:21 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-07 11:30:48 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-07 11:31:17 +0100 | <probie> | I mean you certainly could do something like `do { name <- freshName "q1"; mkVar intType name }`, but I don't think you really gain much |
| 2026-02-07 11:31:40 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2026-02-07 11:33:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2026-02-07 11:33:57 +0100 | AlexZenon | (~alzenon@85.174.182.86) |
| 2026-02-07 11:35:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-07 11:37:00 +0100 | <int-e> | probie: Well, in the Z3 API, generating fresh names is tied to function declarations, https://z3prover.github.io/api/html/group__capi.html#ga76d673b3b3f53c1044fd59621b1b8b68 (nice anchor I'm sure it's very stable) |
| 2026-02-07 11:37:24 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 11:37:35 +0100 | <gentauro> | probie: I tried to use Code Quotations and Computation Expressions in F# and I end up with this -> https://paste.tomsmeding.com/bi5MGjco |
| 2026-02-07 11:37:37 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 11:37:45 +0100 | <int-e> | (managing your own names is probably suboptimal) |
| 2026-02-07 11:37:54 +0100 | <gentauro> | very succint |
| 2026-02-07 11:38:07 +0100 | AlexZenon | (~alzenon@85.174.182.86) (Ping timeout: 240 seconds) |
| 2026-02-07 11:38:50 +0100 | gentauro | I want to remove the string variables and just rely on the languages value binding |
| 2026-02-07 11:40:09 +0100 | <gentauro> | but I guess if we can do something like that in OCaml for .NET, we should probably be able to mimic that in Haskell right? |
| 2026-02-07 11:40:14 +0100 | gentauro | less is more |
| 2026-02-07 11:41:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 11:42:00 +0100 | qqq | (~qqq@185.54.22.56) (Quit: Lost terminal) |
| 2026-02-07 11:42:27 +0100 | <jreicher> | int-e: I'm not familiar with Z3, but is the generation of fresh names a crappy implementation of capture-avoiding substitution? |
| 2026-02-07 11:42:51 +0100 | AlexZenon | (~alzenon@85.174.182.86) |
| 2026-02-07 11:45:22 +0100 | <int-e> | No, there's no substitution taking place. There's a global namespace. But users may want to generate auxiliary variables without clashing with other auxiliary variables, so as a convenience, fresh name generation is provided by the SMT solver. (At no real cost; the SMT solver will need that functionality internally anyway.) |