| 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.) |
| 2026-02-07 11:46:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 11:46:35 +0100 | <int-e> | Oh also I think terms are first-order, so there are no binders that could capture variables. |
| 2026-02-07 11:48:33 +0100 | <int-e> | jreicher: So basically, it's a different flavor of name clashes than variable capture. |
| 2026-02-07 11:57:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 11:58:24 +0100 | <ski> | i suppose sometimes you'd like to generate fresh variables (perhaps in a loop, or in a recursive computation) .. |
| 2026-02-07 11:58:53 +0100 | <ski> | .. presumable that F# binding can do that, as well ? |
| 2026-02-07 12:02:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 12:03:07 +0100 | <ski> | (depending on what one'd want to do ?) i think one could possibly do that kind of thing, in MetaML or MetaOCaml, with their quasiquoted code expressions. one'd need to introduce local (quoted) binders for them, though. and, i guess, might need to either resort to dynamically typed code expressions (which at least MetaML provides, i forget about MetaOcaml), or else to dependent typing (which neither of them |
| 2026-02-07 12:03:13 +0100 | <ski> | provides) |
| 2026-02-07 12:04:22 +0100 | <ski> | (.. in some cases, one might be able to get away with generating something like `\[a,b,c,...,z] -> ...' for an indefinite number of elements in the list pattern, but still keep the simple static types) |
| 2026-02-07 12:09:26 +0100 | ski | was reading, recently, about a (rather restricted, in various ways) dependently typed functional language (Delphin, meant as a different approach to the logic programming approach Twelf to LF terms) for doing computation over LF (Logical Framework) terms, typically used to represent HOAS (that you can *pattern-match* on !) |
| 2026-02-07 12:12:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 12:13:30 +0100 | <ski> | if you match on and do recursion on an LF term like `app (lam x\ lam f\ f x) (lam f\ lam x\ f x x)' (representing `(\x. \f. f x) (\f. \x. f x x)', where `app : expr (A -> B) -> (expr A -> expr B)' and `lam : (expr A -> expr B) -> expr (A -> B)'), you'll need to step inside the binders, traversing open terms |
| 2026-02-07 12:16:07 +0100 | <ski> | so, `x',`f',`f',`x' (four different variables, the language automatically ensures no clashes, capture-free substitution) here will, in the local contexts, act as new temporary data constructors for the expression data type (with `app' and `lam' as the *only* global data constructors, in this example of pure lambda calculus) |
| 2026-02-07 12:17:32 +0100 | <ski> | in the case of logic programming (Twelf), you'll be dynamically (similar to dynamic scope, being the operational interpretation of implicational logic programming goals here) adding clauses to your recursive traversal predicates, as you step under the binders |
| 2026-02-07 12:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 12:19:19 +0100 | <ski> | in the case of the functional programming (Delphin), they choose to instead allow you to add patterns for "parameters" of (LF) types, in your `case'-`of' expressions (and then you'd often also pass some kind of accumulating substitution function, or similar, to the traversal function, initializing it to the empty function at the top call) |
| 2026-02-07 12:19:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-07 12:22:25 +0100 | _JusSx_ | (~jussx@78.210.148.66) (Ping timeout: 245 seconds) |
| 2026-02-07 12:23:24 +0100 | <ski> | (ooc, they also had effectively a monad, in the language, for computations which will result in a value term of an LF type. the type `<T>' is short for `T * unit', which is short for `exists _ : T. unit'. in `T * U', `U' is not allowed to be an LF type, but `T' is. the reason is that they want all expressions of LF type to not have any computational (Delphin-level) subexpressions, only an LF-term, with some |
| 2026-02-07 12:23:30 +0100 | <ski> | schematic variables to fill in with other LF terms) |
| 2026-02-07 12:24:11 +0100 | _JusSx_ | (~jussx@78.211.193.248) |
| 2026-02-07 12:28:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 12:32:37 +0100 | <ski> | one of the interesting things you can do in Twelf, is to encode a proof as a relation. to actually check that the proof is valid, you then need to check that for each possible input for some designated input parameters to the relation/predicate, there is a related output asssigned to the output parameter(s), such that the (dependently typed) relation holds. from a logic programming standpoint, this is a |
| 2026-02-07 12:32:43 +0100 | <ski> | mode&determinism declaration on the predicate (if you will, ensuring that the relation is functional) |
| 2026-02-07 12:33:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 12:34:27 +0100 | <ski> | so, the system has facilities to do this (meta-proof) checking of modes, in order to ensure that the predicate whose definition encodes your proof actually proves the intended thing (e.g. that if an (object-language) term has some type, and you reduce the term one step, then it still has that type) |
| 2026-02-07 12:35:26 +0100 | <ski> | it also has facilities to be able to state such theorems, and let a theorem-prover (in the language implementation) search for a proof (and realize it as a recursive predicate) |
| 2026-02-07 12:42:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 12:44:18 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-02-07 12:46:32 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2026-02-07 12:47:06 +0100 | <ski> | one of the reasons they stated for developing Delphin (rather than Twelf), was a claim of having trouble with some kinda of higher-order programming. afaict, what they mean by this is not lack of support for higher-order predicates, per se, but rather lack of adequate support for the static mode&determinism *checking* (which is optional (from a computational standpoint), but essential for when you want to do |
| 2026-02-07 12:47:13 +0100 | <ski> | said above (meta-)proof checking) |
| 2026-02-07 12:47:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 12:49:25 +0100 | <ski> | the issue being limitations in reasoning about local parameters (data constructors), and local assumptions, for the mode-checking. and, perhaps, also some limitations in doing (effectively) anonymous predicates, e.g. extending an accumulator predicate parameter -- and associated reasoning about mode for such higher-order predicates |
| 2026-02-07 12:50:36 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2026-02-07 12:50:53 +0100 | <ski> | .. i can't keep from feeling like there ought to be a way to address those concerns more directly .. rather than resorting to going to a different (functional) computational model. Twelf is the only dependently typed logic programming language i'm aware of, and it would seem to be a shame to not further develop that |
| 2026-02-07 12:53:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-07 12:55:07 +0100 | <ski> | (i was recently starting to formulate (optimized) CPS-transformation, first in lambdaProlog (which also has matching on HOAS, but not dependent types), then trying to do it in Twelf, for comparision .. ran out of steam, after a while, fighting with it to accept some parts, though) |
| 2026-02-07 12:58:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 13:00:30 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-07 13:05:22 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-07 13:06:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 13:06:07 +0100 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-02-07 13:06:59 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-07 13:17:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 13:23:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 13:26:10 +0100 | comonad | (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-02-07 13:30:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-07 13:31:41 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-02-07 13:32:25 +0100 | comonad | (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 2026-02-07 13:32:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-07 13:35:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 13:37:14 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-07 13:40:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 13:43:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 13:44:23 +0100 | <mesaoptimizer> | jreicher: I am on #emacs but never read it |
| 2026-02-07 13:45:19 +0100 | comonad | (~comonad@pd9e072e5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-02-07 13:46:17 +0100 | <mesaoptimizer> | gentauro: I'm trying to patch microhs / mcabal using Gemini 3 Pro to be able to build `http-conduit`, and I must say, I'm not impressed |
| 2026-02-07 13:47:55 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-07 13:48:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 13:48:39 +0100 | <mesaoptimizer> | int-e: recommended reading to understand SMT solvers? |
| 2026-02-07 13:56:14 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-07 13:59:08 +0100 | trickard_ | trickard |
| 2026-02-07 13:59:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:00:58 +0100 | comonad | (~comonad@pd9e072e5.dip0.t-ipconnect.de) |
| 2026-02-07 14:03:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 14:11:45 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-07 14:14:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:15:14 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2026-02-07 14:15:39 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-02-07 14:18:31 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-07 14:19:04 +0100 | <[exa]> | mesaoptimizer: might be way easier to just fix the error than try to explain it to a mechanical parrot |
| 2026-02-07 14:20:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-07 14:20:39 +0100 | yin | (~zero@user/zero) (Read error: Connection reset by peer) |
| 2026-02-07 14:20:49 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-07 14:27:48 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2026-02-07 14:30:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:32:23 +0100 | qqq | (~qqq@185.54.22.56) |
| 2026-02-07 14:35:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-07 14:37:52 +0100 | <mesaoptimizer> | [exa]: no, its a test. I'd write Haskell code by hand if I was doing something I cared about. microhs is... I think its an uphill battle to build a compiler and package manager that serves as a minimal GHC replacement |
| 2026-02-07 14:39:03 +0100 | <mesaoptimizer> | I mean, it is great for teaching people! easy to set up on any OS, very tiny |
| 2026-02-07 14:39:38 +0100 | juri_ | (~juri@84.19.175.187) juri_ |
| 2026-02-07 14:40:16 +0100 | <mesaoptimizer> | But I am pessimistic of an ecosystem of packages that makes it viable otherwise. |
| 2026-02-07 14:41:44 +0100 | <mesaoptimizer> | on that note, koka is very interesting, even if it seems like development has frozen for it. |
| 2026-02-07 14:42:57 +0100 | <mesaoptimizer> | algebraic effects is what we'd ideally have had in Haskell since the beginning (yes, one can use libs like bluefin now, I'm aware) |
| 2026-02-07 14:44:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 14:49:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-07 14:54:31 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-02-07 14:58:14 +0100 | juri_ | (~juri@84.19.175.187) (Ping timeout: 244 seconds) |
| 2026-02-07 14:58:53 +0100 | <[exa]> | mesaoptimizer: I have microhs in production :) |
| 2026-02-07 14:59:27 +0100 | <[exa]> | it's not supposed to be a replacement |
| 2026-02-07 14:59:53 +0100 | juri_ | (~juri@212.86.45.136) juri_ |
| 2026-02-07 14:59:53 +0100 | juri_ | (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 2026-02-07 15:00:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 15:01:57 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 15:02:22 +0100 | <__monty__> | For what sort of use case? |
| 2026-02-07 15:04:47 +0100 | <[exa]> | mesaoptimizer: a commandline tool on a mildly embedded system; turned out compiling for it by ghc was just overkill |
| 2026-02-07 15:04:55 +0100 | <[exa]> | oh __monty__ ^^ |
| 2026-02-07 15:05:03 +0100 | <[exa]> | (mis-highlight, sorry) |
| 2026-02-07 15:05:20 +0100 | <__monty__> | Mildly like embedded Linux? |
| 2026-02-07 15:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-07 15:06:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-07 15:07:32 +0100 | <[exa]> | not embedded per se, just a small linux on a mips board |
| 2026-02-07 15:08:01 +0100 | <__monty__> | And compiled locally to avoid cross complications? |
| 2026-02-07 15:08:01 +0100 | <[exa]> | needed a few tweaks to the compiler too but it just kinda works |
| 2026-02-07 15:08:41 +0100 | <[exa]> | nah I essentially produce the microhs' combinator blob on a normal computer and then cross-gcc it for mipsbe |
| 2026-02-07 15:09:56 +0100 | <[exa]> | spoiler: many manual tweaks :D |
| 2026-02-07 15:10:59 +0100 | <__monty__> | Oh, is it about the size of the GHC runtime then? |
| 2026-02-07 15:12:11 +0100 | <[exa]> | the board is mikrotik rb433... I guess I could force ghc to cross-compile for it but I don't even know how to start |
| 2026-02-07 15:12:43 +0100 | <[exa]> | with microhs you can just hammer it because it's simple... which is the main microhs point I guess |
| 2026-02-07 15:17:10 +0100 | <davean> | [exa]: Why that board? |
| 2026-02-07 15:17:35 +0100 | <[exa]> | I had it here from ye olden times |
| 2026-02-07 15:17:48 +0100 | <davean> | That is quite the olden times |
| 2026-02-07 15:17:51 +0100 | <[exa]> | yeah |
| 2026-02-07 15:17:55 +0100 | <[exa]> | 2012? |
| 2026-02-07 15:18:10 +0100 | <davean> | That recent? |
| 2026-02-07 15:18:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 15:18:14 +0100 | <[exa]> | I was with a local ISP back then |
| 2026-02-07 15:18:51 +0100 | <davean> | I'm pretty sure that went EoL before 2010 ... |
| 2026-02-07 15:19:24 +0100 | <davean> | Either way, impressively old HW |
| 2026-02-07 15:19:54 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-07 15:20:12 +0100 | <davean> | What are you using it for? |
| 2026-02-07 15:20:26 +0100 | <[exa]> | wifi at home :D |
| 2026-02-07 15:20:44 +0100 | <davean> | ... you are murdering your wifi |
| 2026-02-07 15:21:37 +0100 | <davean> | If thats fast enough for you! I mean I'm sorry for any neigbors you have :-p |
| 2026-02-07 15:22:24 +0100 | <davean> | Man, you're really ok with 100Mbps peak? |
| 2026-02-07 15:22:52 +0100 | <[exa]> | yeah |
| 2026-02-07 15:23:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 15:23:17 +0100 | <davean> | Well as long as you don't have too many neigbors :) |
| 2026-02-07 15:23:32 +0100 | <davean> | so much stuff I do doesn't even work at that speed |
| 2026-02-07 15:25:17 +0100 | <[exa]> | it's a pretty much normal wifi, you have to limit the transmit power as with other routers |
| 2026-02-07 15:27:25 +0100 | <davean> | Partially depends on what card you have in it, but not really? Most wifi has actually data rates massively faster than the HW limits of that. If you're also using an old wifi card its not normal in how much of the spectrum it occupies (hence the neigbor comment_ |
| 2026-02-07 15:27:46 +0100 | <davean> | (since an old wifi card will slow down everything within a decently large radius_ |
| 2026-02-07 15:29:09 +0100 | <davean> | even 2009 era wifi moves more than 100Mbps |
| 2026-02-07 15:29:14 +0100 | <davean> | in real world conditions |
| 2026-02-07 15:29:50 +0100 | <[exa]> | yeah like, the 802.11n is from 2010-ish no? |
| 2026-02-07 15:30:00 +0100 | <davean> | 2009 |
| 2026-02-07 15:30:06 +0100 | juri_ | (~juri@212.86.45.136) juri_ |
| 2026-02-07 15:30:16 +0100 | juri_ | (~juri@212.86.45.136) (Read error: Connection reset by peer) |
| 2026-02-07 15:30:28 +0100 | <davean> | So like the 100Mbps ethernet on that would probably be 1/4th of what the wifi its self can handle. |
| 2026-02-07 15:30:40 +0100 | <davean> | Which is fine if the radio spectrum is free, and you don't want more |
| 2026-02-07 15:31:37 +0100 | <davean> | Wifi 6E is where things get a lot better |
| 2026-02-07 15:32:00 +0100 | <davean> | Before that its mostly just faster means less time talking, means less collisions |
| 2026-02-07 15:33:26 +0100 | <davean> | Back when you were getting your device I was moving everything to 10GbE though! |
| 2026-02-07 15:33:48 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:9ee1:e472:fae2:1b2f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-02-07 15:33:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-07 15:34:06 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2026-02-07 15:37:38 +0100 | <davean> | I'm glad you were able to get haskell to run on it - what are you using haskell for on it? |
| 2026-02-07 15:38:39 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2026-02-07 15:39:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 15:41:49 +0100 | <[exa]> | davean: commandline thingy for generating scripts that then manage some other stuff |
| 2026-02-07 15:41:54 +0100 | aha-engine | (~aha-engin@85-220-13-76.dsl.dynamic.simnet.is) (Quit: aha-engine) |