| 2025-11-19 00:01:17 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-19 00:04:50 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-19 00:05:17 +0100 | Fischmie- | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-11-19 00:05:50 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 2025-11-19 00:06:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 00:08:31 +0100 | CiaoSen | (~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2025-11-19 00:09:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 00:12:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-19 00:18:41 +0100 | Guest55 | (~Guest55@2600:480a:2930:b500:15d4:3bba:ce3f:970) |
| 2025-11-19 00:18:45 +0100 | <Guest55> | hi |
| 2025-11-19 00:19:58 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-19 00:23:18 +0100 | geekosaur | waves |
| 2025-11-19 00:23:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 00:28:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 00:30:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 00:31:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-11-19 00:32:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-19 00:33:05 +0100 | sindu | (~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 264 seconds) |
| 2025-11-19 00:34:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 00:35:02 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-19 00:38:30 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-19 00:38:51 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-19 00:45:20 +0100 | Guest55 | (~Guest55@2600:480a:2930:b500:15d4:3bba:ce3f:970) (Quit: Client closed) |
| 2025-11-19 00:45:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 00:46:39 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-19 00:50:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-19 00:53:20 +0100 | EvanR | particles |
| 2025-11-19 00:56:29 +0100 | <Inline> | ABC particle soup ? |
| 2025-11-19 00:57:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 01:04:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-19 01:18:04 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-19 01:27:35 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-11-19 01:32:06 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-19 01:35:44 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-19 01:35:44 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-19 01:35:44 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-19 01:39:11 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-19 01:39:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 01:43:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 01:44:08 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-11-19 01:47:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-19 01:48:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b) (Ping timeout: 256 seconds) |
| 2025-11-19 01:50:36 +0100 | acidjnk | (~acidjnk@p200300d6e7171905155abf32f6b4a29d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-11-19 01:58:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 02:00:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-19 02:00:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-19 02:00:42 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-19 02:03:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 02:04:57 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-11-19 02:08:34 +0100 | metabulation | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-19 02:08:39 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-19 02:08:54 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-11-19 02:09:06 +0100 | AlexNoo | (~AlexNoo@178.34.162.20) (Read error: Connection reset by peer) |
| 2025-11-19 02:09:55 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-11-19 02:10:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 02:10:56 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 256 seconds) |
| 2025-11-19 02:10:56 +0100 | omidmash1 | omidmash |
| 2025-11-19 02:13:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 02:15:07 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-19 02:15:36 +0100 | <yin> | any reason tree-sitter highlight in haskell is still awful? |
| 2025-11-19 02:18:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-19 02:23:26 +0100 | acidjnk | (~acidjnk@p200300d6e7171905155abf32f6b4a29d.dip0.t-ipconnect.de) acidjnk |
| 2025-11-19 02:23:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-19 02:27:27 +0100 | bggd | (~bgg@2a01:e0a:819:1510:3dbd:4461:e226:b31) |
| 2025-11-19 02:29:16 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-19 02:32:15 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-19 02:33:40 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-11-19 02:34:27 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-19 02:37:15 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-19 02:38:13 +0100 | acidjnk | (~acidjnk@p200300d6e7171905155abf32f6b4a29d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-19 02:38:28 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 255 seconds) |
| 2025-11-19 02:39:47 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-19 02:42:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 02:44:39 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-19 02:47:59 +0100 | <jreicher> | What's awful about it? |
| 2025-11-19 02:48:53 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 250 seconds) |
| 2025-11-19 02:55:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-19 02:55:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-11-19 02:59:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-19 03:00:09 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-11-19 03:04:52 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-11-19 03:07:35 +0100 | myxokephale | (~myxos@2001:579:8380:f20:a23e:fff0:9e97:fbf) myxokephale |
| 2025-11-19 03:10:18 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-19 03:10:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 03:10:21 +0100 | myxos | (~myxos@2001:579:8380:f20:acd1:e89a:db86:2b9b) (Ping timeout: 252 seconds) |
| 2025-11-19 03:12:04 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 2025-11-19 03:13:17 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-19 03:14:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-19 03:15:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 03:15:10 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-19 03:18:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 03:20:36 +0100 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2025-11-19 03:20:48 +0100 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-11-19 03:24:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-19 03:25:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 03:30:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-19 03:39:05 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-19 03:39:40 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-19 03:41:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 03:41:38 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-19 03:45:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 03:55:52 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds) |
| 2025-11-19 03:56:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 03:57:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 04:00:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-11-19 04:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 04:11:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 04:14:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-19 04:18:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-19 04:19:06 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-19 04:22:06 +0100 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-19 04:23:24 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 04:23:38 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 04:29:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 04:34:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-19 04:36:30 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 04:36:44 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 04:42:29 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 04:42:29 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (Read error: Connection reset by peer) |
| 2025-11-19 04:43:40 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) synchromesh |
| 2025-11-19 04:45:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 04:48:25 +0100 | trickard_ | trickard |
| 2025-11-19 04:49:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 04:50:23 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-19 04:53:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-11-19 04:54:12 +0100 | rata2 | (~ohomecham@user/rata2) (Quit: WeeChat 4.7.1) |
| 2025-11-19 05:00:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 05:05:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-19 05:11:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-19 05:13:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 05:16:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 05:18:04 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-11-19 05:20:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 05:31:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 05:36:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 05:36:57 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-19 05:46:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 05:54:04 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) matsurago |
| 2025-11-19 05:54:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 05:58:45 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7795:6db7:78d5:d082) |
| 2025-11-19 06:05:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 06:06:04 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-19 06:06:23 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-19 06:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 06:20:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 06:25:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 06:35:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 06:36:28 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-19 06:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 06:49:27 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-19 06:51:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 06:53:49 +0100 | michalz | (~michalz@185.246.207.205) |
| 2025-11-19 06:54:28 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-11-19 06:55:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 07:06:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 07:10:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 07:10:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-19 07:14:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-11-19 07:14:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-11-19 07:15:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-19 07:17:50 +0100 | Square3 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-11-19 07:21:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 07:25:44 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-11-19 07:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-19 07:26:37 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.1) |
| 2025-11-19 07:28:21 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-11-19 07:37:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 07:44:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 07:45:40 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-19 07:46:40 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-19 07:47:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-19 07:51:48 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-19 07:55:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 08:00:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 08:02:01 +0100 | qqe | (~qqq@185.54.21.140) |
| 2025-11-19 08:09:34 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:7795:6db7:78d5:d082) (Remote host closed the connection) |
| 2025-11-19 08:09:52 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6bf2:9ba5:5c81:4a78) |
| 2025-11-19 08:10:20 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-19 08:23:25 +0100 | annamalai | (~annamalai@157.33.250.15) (Ping timeout: 250 seconds) |
| 2025-11-19 08:25:16 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-19 08:25:29 +0100 | annamalai | (~annamalai@2405:204:949d:93b7::2a9a:f0a4) annamalai |
| 2025-11-19 08:26:09 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-19 08:26:19 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-19 08:30:27 +0100 | annamalai | (~annamalai@2405:204:949d:93b7::2a9a:f0a4) (Ping timeout: 252 seconds) |
| 2025-11-19 08:39:07 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-19 08:40:19 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 244 seconds) |
| 2025-11-19 08:41:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 08:41:48 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) fp |
| 2025-11-19 08:43:22 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-19 08:46:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-19 08:46:00 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-19 08:46:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-11-19 08:46:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-11-19 08:46:13 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-19 08:46:19 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-19 08:46:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-19 08:47:08 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-11-19 08:47:18 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-19 08:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-19 08:48:26 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-11-19 08:50:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-11-19 08:51:16 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |
| 2025-11-19 08:52:24 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) synchromesh |
| 2025-11-19 08:58:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 09:02:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-19 09:07:10 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-19 09:13:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-19 09:13:42 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 09:13:49 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 09:14:36 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:6bf2:9ba5:5c81:4a78) (Remote host closed the connection) |
| 2025-11-19 09:14:51 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bc3f:db4e:595e:ce22) |
| 2025-11-19 09:18:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-19 09:20:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) |
| 2025-11-19 09:20:28 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-19 09:20:47 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-19 09:25:47 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) fp |
| 2025-11-19 09:27:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-19 09:35:39 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-19 09:36:39 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-19 09:37:11 +0100 | annamalai | (~annamalai@2405:204:949d:93b7::2a9a:f0a4) annamalai |
| 2025-11-19 09:40:06 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-19 09:43:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-19 09:46:43 +0100 | acidjnk | (~acidjnk@p200300d6e7171905a0f67e02758d7dec.dip0.t-ipconnect.de) acidjnk |
| 2025-11-19 09:47:29 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-11-19 09:52:55 +0100 | annamalai | (~annamalai@2405:204:949d:93b7::2a9a:f0a4) (Remote host closed the connection) |
| 2025-11-19 09:53:14 +0100 | annamalai | (~annamalai@157.33.241.221) annamalai |
| 2025-11-19 09:53:38 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bc3f:db4e:595e:ce22) (Remote host closed the connection) |
| 2025-11-19 09:54:03 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:51eb:3f10:3160:250) |
| 2025-11-19 10:07:16 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) (Ping timeout: 264 seconds) |
| 2025-11-19 10:09:30 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-19 10:19:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 10:23:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-19 10:29:58 +0100 | <[exa]> | WASM backend question: are there any good options for storing a "global state" in the WASM app? I see 2 possibilities, 1] serializing it out into wasm/js types, 2] having a hs/wasm function running permanently (thus holding the state), only communicating with the outside world via some kind of events (choice of "some" is unclear now). |
| 2025-11-19 10:30:13 +0100 | <[exa]> | (Ideas/pointers very welcome. :) ) |
| 2025-11-19 10:36:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 10:37:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:51eb:3f10:3160:250) (Remote host closed the connection) |
| 2025-11-19 10:37:54 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ce0:1bdf:f2e5:d62b) |
| 2025-11-19 10:41:39 +0100 | trickard_ | trickard |
| 2025-11-19 10:42:59 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) fp |
| 2025-11-19 10:47:24 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-11-19 10:47:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 10:50:29 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) fp |
| 2025-11-19 10:50:54 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-19 10:54:40 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 10:57:45 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:1ce0:1bdf:f2e5:d62b) (Remote host closed the connection) |
| 2025-11-19 10:58:04 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bc62:5450:375:9b3f) |
| 2025-11-19 11:06:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 11:10:06 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-11-19 11:10:45 +0100 | myxokephale | (~myxos@2001:579:8380:f20:a23e:fff0:9e97:fbf) (Ping timeout: 265 seconds) |
| 2025-11-19 11:14:32 +0100 | myxos | (~myxos@wsip-70-166-126-146.ph.ph.cox.net) myxokephale |
| 2025-11-19 11:17:06 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 11:17:20 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 11:19:17 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:bc62:5450:375:9b3f) (Remote host closed the connection) |
| 2025-11-19 11:19:31 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a44b:c20f:51e9:62bc) |
| 2025-11-19 11:29:33 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-19 11:31:02 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 11:31:15 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 11:35:47 +0100 | <probie> | can you get away with a top level IORef (with the NOINLINE unsafePerformIO shenangians)? |
| 2025-11-19 11:39:23 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a44b:c20f:51e9:62bc) (Remote host closed the connection) |
| 2025-11-19 11:39:42 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a8bf:8a15:2c9c:d5b2) |
| 2025-11-19 11:41:07 +0100 | <haskellbridge> | <Morj> I believe this is a common pattern in some situations, like for logging |
| 2025-11-19 11:42:07 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 240 seconds) |
| 2025-11-19 11:44:10 +0100 | fp1 | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-11-19 11:44:17 +0100 | fp | (~Thunderbi@wireless-86-50-140-28.open.aalto.fi) (Quit: fp) |
| 2025-11-19 11:44:17 +0100 | fp1 | fp |
| 2025-11-19 11:45:10 +0100 | ubert1 | (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) ubert |
| 2025-11-19 11:45:15 +0100 | qqe | (~qqq@185.54.21.140) (Remote host closed the connection) |
| 2025-11-19 11:47:14 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-19 11:58:35 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-19 11:59:09 +0100 | <tomsmeding> | probie: yes, if the only thing in unsafePerformIO is the creation of the IORef and the usages are in normal IO, that's fine |
| 2025-11-19 11:59:24 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:a8bf:8a15:2c9c:d5b2) (Remote host closed the connection) |
| 2025-11-19 11:59:41 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:445f:7a99:cca5:e330) |
| 2025-11-19 11:59:45 +0100 | <tomsmeding> | if you do mutations to the IORef also in unsafePerformIO, if I'm not mistaken it is prudent to add {-# OPTIONS -fno-cse -fno-full-laziness #-}, but this may be cargo-culting |
| 2025-11-19 11:59:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 12:04:24 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-11-19 12:08:10 +0100 | bggd | (~bgg@2a01:e0a:819:1510:3dbd:4461:e226:b31) (Remote host closed the connection) |
| 2025-11-19 12:08:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-19 12:12:24 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-11-19 12:13:15 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-19 12:13:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a3f:66bc:6216:f05b) |
| 2025-11-19 12:16:40 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-19 12:19:56 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:445f:7a99:cca5:e330) (Remote host closed the connection) |
| 2025-11-19 12:20:13 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:75a6:1ebe:81f5:e9d6) |
| 2025-11-19 12:22:13 +0100 | vardhan | (~vardhan@122.172.80.248) (Ping timeout: 264 seconds) |
| 2025-11-19 12:23:55 +0100 | vardhan | (~vardhan@122.172.85.143) |
| 2025-11-19 12:32:43 +0100 | <yin> | jreicher: tree-sitter highlight enabled: https://shot.jrvieira.com/1763551807.png vs disabled: https://shot.jrvieira.com/1763551862.png |
| 2025-11-19 12:33:13 +0100 | <yin> | former is very inconsistent, even for trivial syntax like this |
| 2025-11-19 12:33:30 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2025-11-19 12:33:55 +0100 | vardhan | (~vardhan@122.172.85.143) (Ping timeout: 264 seconds) |
| 2025-11-19 12:34:38 +0100 | <jreicher> | Why do you think it's inconsistent? It's giving you more grammatical information, which is why it looks different. You can set it to give less if you want. |
| 2025-11-19 12:34:39 +0100 | deptype_ | (~deptype@124.123.133.153) |
| 2025-11-19 12:35:06 +0100 | <jreicher> | Set `treesit-font-lock-level' to a smaller number |
| 2025-11-19 12:35:16 +0100 | vardhan | (~vardhan@122.172.81.68) |
| 2025-11-19 12:36:53 +0100 | <jreicher> | There's also even more fine grained control if you want. |
| 2025-11-19 12:37:16 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:75a6:1ebe:81f5:e9d6) (Ping timeout: 264 seconds) |
| 2025-11-19 12:37:39 +0100 | <yin> | it gets worse on more complex syntax. this was what i had in front of me. how do we explain the highlighting of `constant` in the signature? |
| 2025-11-19 12:39:56 +0100 | <jreicher> | Oh I think I see what you mean. Hmm. That might be a bug. What version of the treesitter grammar are you using? And also what version of Emacs? |
| 2025-11-19 12:45:01 +0100 | <yin> | it's nvim v0.11.5. not sure how to check the grammar version |
| 2025-11-19 12:45:39 +0100 | <jreicher> | Oh! I'm so sorry, I shouldn't have assumed you were using Emacs. |
| 2025-11-19 12:48:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-19 12:49:01 +0100 | <__monty__> | I'm actually more confused about the different coloring for identifiers in the other signatures. |
| 2025-11-19 12:49:17 +0100 | <__monty__> | Also the definition of `pure` though. |
| 2025-11-19 12:49:25 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-19 12:49:36 +0100 | <__monty__> | And speed and duration. |
