| 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. |
| 2025-11-19 12:50:35 +0100 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-11-19 12:50:46 +0100 | <jreicher> | yin: you might want to ask on #neovim. What you are seeing could be specific to the integration with treesitter, rather than treesitter itself, as treesitter doesn't actually do any highlighting; it just provides parsing information. |
| 2025-11-19 12:50:46 +0100 | <yin> | i'm checking other files and i think it has actually got much better than what i remember. but this specific bug is very noticeable on every file i'm checking. i can't find a pattern, it seems to randomly highlight some function names in signatures differently |
| 2025-11-19 12:51:38 +0100 | <jreicher> | It's possible there's a bug in the parse, but I think that would be less likely. I am guessing though. |
| 2025-11-19 12:52:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-19 12:52:27 +0100 | <yin> | jreicher: ok thanks |
| 2025-11-19 12:53:17 +0100 | <yin> | __monty__: is the definition of `pure` wrong? |
| 2025-11-19 12:53:59 +0100 | <yin> | i'm just starting out trying to understand the basics of FRP |
| 2025-11-19 12:54:44 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-19 12:55:46 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-11-19 12:57:45 +0100 | <__monty__> | No, just talking about the highlighting here. Identifiers are green in definitions but pure, speed and duration are white? The latter at least also have a signature but coloring identifiers a different color in signatures is also weird to me. For types and constructors the distinction makes sense but not for other identifiers. |
| 2025-11-19 13:04:29 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-11-19 13:04:35 +0100 | <yin> | ah, yes |
| 2025-11-19 13:07:13 +0100 | trickard_ | trickard |
| 2025-11-19 13:15:03 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 250 seconds) |
| 2025-11-19 13:17:37 +0100 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-11-19 13:18:21 +0100 | driib318 | (~driib@176.57.184.141) driib |
| 2025-11-19 13:19:59 +0100 | Guest73 | (~Guest73@60-249-14-96.hinet-ip.hinet.net) |
| 2025-11-19 13:20:04 +0100 | Guest73 | (~Guest73@60-249-14-96.hinet-ip.hinet.net) (Client Quit) |
| 2025-11-19 13:21:04 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2025-11-19 13:23:23 +0100 | <haskellbridge> | <Morj> Yeah, in general I find people go too crazy with syntax-based highlighting, I just rely on vim's regex-based, it's less shouty |
| 2025-11-19 13:23:38 +0100 | <haskellbridge> | <Morj> https://tonsky.me/blog/syntax-highlighting/ - was a good article about that recently |
| 2025-11-19 13:24:09 +0100 | driib318 | (~driib@176.57.184.141) (Ping timeout: 265 seconds) |
| 2025-11-19 13:24:25 +0100 | <haskellbridge> | <Morj> The biggest sillyness was zig, that on their official docs highlighted all identifiers in yellow. But everything is an identifier! So all the code was yellow on grey |
| 2025-11-19 13:24:40 +0100 | <haskellbridge> | <Morj> They changed it since then |
| 2025-11-19 13:31:44 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-19 13:32:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-19 13:33:04 +0100 | <probie> | tomsmeding: sorry, that wasn't really a question, that was meant to be in response to [exa]'s question (re: global state in wasm) |
| 2025-11-19 13:34:15 +0100 | <[exa]> | probie: oh whops I missed that, thanks! |
| 2025-11-19 13:34:28 +0100 | <[exa]> | so, well, let's see if that crashes the wasm runner. :D |
| 2025-11-19 13:35:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 13:36:33 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) |
| 2025-11-19 13:36:40 +0100 | leosha | (~leoshatru@58.164.30.38) |
| 2025-11-19 13:36:49 +0100 | <leosha> | @free x :: Int |
| 2025-11-19 13:36:49 +0100 | <lambdabot> | x = x |
| 2025-11-19 13:37:00 +0100 | <leosha> | @free forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:00 +0100 | <lambdabot> | Try `free <ident>` or `free <ident> :: <type>` |
| 2025-11-19 13:37:13 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:13 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:23 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:23 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:35 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:35 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:44 +0100 | <tomsmeding> | @free x :: Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:44 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:46 +0100 | <tomsmeding> | @help free |
| 2025-11-19 13:37:47 +0100 | <lambdabot> | free <ident>. Generate theorems for free |
| 2025-11-19 13:37:52 +0100 | <leosha> | @help free |
| 2025-11-19 13:37:52 +0100 | <lambdabot> | free <ident>. Generate theorems for free |
| 2025-11-19 13:37:59 +0100 | <tomsmeding> | @free x :: (a -> f b) -> s -> f t |
| 2025-11-19 13:37:59 +0100 | <lambdabot> | Plugin `free' failed with: src/Lambdabot/Plugin/Haskell/Free/Type.hs:(153,17)-(161,45): Non-exhaustive patterns in case |
| 2025-11-19 13:38:02 +0100 | <tomsmeding> | nice |
| 2025-11-19 13:38:06 +0100 | <leosha> | lol |
| 2025-11-19 13:38:19 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-19 13:38:51 +0100 | <[exa]> | yin: I found this to be a pretty common tree-sitter issue, many language parsers are "supported" but completely underrepresented there, and their error recovery is shaky at best (and error recovery is VERY required for things their parsers don't manage to do, which in the very specific case of haskell is many things) |
| 2025-11-19 13:40:08 +0100 | <chromoblob> | has vim's haskell highlighter been fixed to allow space between ` and the identifier between `'s? |
| 2025-11-19 13:40:24 +0100 | <[exa]> | yin: btw after seeing what some of their parses look internally I decided to simply avoid tree-sitter :) |
| 2025-11-19 13:40:24 +0100 | <Leary> | @free x :: (a -> F b) -> s -> F t |
| 2025-11-19 13:40:24 +0100 | <lambdabot> | $map_F g . p = q . f => $map_F k . x p = x q . h |
| 2025-11-19 13:40:43 +0100 | <[exa]> | chromoblob: oh whew let me check :D |
| 2025-11-19 13:41:15 +0100 | <[exa]> | chromoblob: well, no :D |
| 2025-11-19 13:41:24 +0100 | <chromoblob> | heh. |
| 2025-11-19 13:41:25 +0100 | <[exa]> | who puts spaces in there? |
| 2025-11-19 13:41:38 +0100 | <chromoblob> | it's allowed!!! |
| 2025-11-19 13:42:07 +0100 | [exa] | . o O ( unsafePutSpacesIntoBackticks ) |
| 2025-11-19 13:43:24 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds) |
| 2025-11-19 13:46:05 +0100 | <[exa]> | chromoblob: ok so I just added ' *' to the 2 lines that match that in /usr/share/vim/.../syntax/haskell.vim and it seems to just work |
| 2025-11-19 13:46:24 +0100 | fp | (~Thunderbi@130.233.70.198) fp |
| 2025-11-19 13:46:26 +0100 | <[exa]> | lines 49 and 50, rules hsVarSym and hsConSym |
| 2025-11-19 13:46:41 +0100 | <[exa]> | wonder what it breaks |
| 2025-11-19 13:46:54 +0100 | fp | (~Thunderbi@130.233.70.198) (Client Quit) |
| 2025-11-19 13:47:16 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-19 13:49:07 +0100 | AlexNoo | (~AlexNoo@178.34.162.20) |
| 2025-11-19 13:49:53 +0100 | <[exa]> | let's ask the devs I guess, we have a pull request day today anyway |
| 2025-11-19 13:50:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-19 13:54:19 +0100 | vardhan | (~vardhan@122.172.81.68) (Ping timeout: 264 seconds) |
| 2025-11-19 13:54:41 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-11-19 13:57:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 14:00:57 +0100 | <[exa]> | chromoblob: https://github.com/vim/vim/pull/18776 |
| 2025-11-19 14:02:05 +0100 | <chromoblob> | [exa]: thank you!!! i waited for this |
| 2025-11-19 14:02:14 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 14:02:30 +0100 | <[exa]> | chromoblob: how long tho |
| 2025-11-19 14:03:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 14:03:38 +0100 | <chromoblob> | years (but i haven't been writing much haskell that time) |
| 2025-11-19 14:05:18 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 14:05:25 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 14:06:33 +0100 | <[exa]> | oh great we improved on a long-awaited feature today |
| 2025-11-19 14:06:42 +0100 | <[exa]> | beverages! |
| 2025-11-19 14:09:49 +0100 | leosha | (~leoshatru@58.164.30.38) (Quit: leaving) |
| 2025-11-19 14:13:45 +0100 | trickard__ | trickard |
| 2025-11-19 14:19:43 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-19 14:22:22 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 14:22:45 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 14:25:00 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 14:25:54 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-11-19 14:34:56 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-19 14:37:48 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-19 14:38:54 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 14:39:19 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-19 14:44:09 +0100 | qqe | (~qqq@185.54.21.140) |
| 2025-11-19 14:53:53 +0100 | <merijn> | [exa]: Haskell's treesitter parser is also horrifically confusing. I tried looking at it for inspiration for writing my own tree-sitter parsers |
| 2025-11-19 14:54:04 +0100 | qqe | (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-19 14:56:00 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-19 15:03:39 +0100 | <[exa]> | merijn: man, I opened that |
| 2025-11-19 15:03:41 +0100 | <[exa]> | my eyes |
| 2025-11-19 15:04:35 +0100 | <merijn> | [exa]: It's a nightmare |
| 2025-11-19 15:05:33 +0100 | <[exa]> | it's like if flex&yacc never happened |
| 2025-11-19 15:06:19 +0100 | <merijn> | It's like they looked at the tree-sitter documentation of keeping parse trees simple and small and being like...naah, fuck that |
| 2025-11-19 15:06:47 +0100 | <merijn> | Maybe if I'm ever done writing my SQLite tree-sitter parser I will just write a Haskell parser from scratch |
| 2025-11-19 15:14:12 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-19 15:14:53 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-19 15:18:59 +0100 | <[exa]> | merijn: why'd you do a sqlite one |
| 2025-11-19 15:29:03 +0100 | <merijn> | I started a new project using SQLite, I didn't like the neovim syntax highlighting of SQL (it's a terrible "every dialect half-assed together" tree-sitter parser) breaking on every query, got side-tracked into yak-shaving by writing my own SQLite parser since no one made one for me |
| 2025-11-19 15:29:35 +0100 | <merijn> | Everyone implements syntax highlighting for SELECT, create table, etc. but as soon as you do anything serious they're all like "lol, didn't implement that" |
| 2025-11-19 15:29:54 +0100 | <merijn> | It breaks on parameter substitutions, window functions, all kinds of other tiny things |
| 2025-11-19 15:35:51 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-19 15:38:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 15:39:40 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Ping timeout: 264 seconds) |
| 2025-11-19 15:39:50 +0100 | spew | (~spew@user/spew) (Ping timeout: 256 seconds) |
| 2025-11-19 15:41:31 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-19 15:44:16 +0100 | <tomsmeding> | chromoblob: why do you put spaces inside backticks |
| 2025-11-19 15:44:36 +0100 | <tomsmeding> | that's the big question here |
| 2025-11-19 15:45:13 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 15:45:25 +0100 | <chromoblob> | in normal usage, i don't |
| 2025-11-19 15:45:37 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 15:46:10 +0100 | <chromoblob> | but it's irritating to have the highlighter disregard this possibility |
| 2025-11-19 15:46:34 +0100 | <tomsmeding> | vim's haskell highlighter also disregards the possibility of separating type signatures from the definition |
| 2025-11-19 15:47:24 +0100 | <int-e> | > id ` id ` id ` id ` id ` id ` 42 |
| 2025-11-19 15:47:25 +0100 | <lambdabot> | 42 |
| 2025-11-19 15:47:26 +0100 | <tomsmeding> | or having no spaces around :: |
| 2025-11-19 15:47:37 +0100 | <int-e> | (TIL, and eww) |
| 2025-11-19 15:47:51 +0100 | <tomsmeding> | > id`id`id`id`id`id`42 |
| 2025-11-19 15:47:53 +0100 | <lambdabot> | 42 |
| 2025-11-19 15:48:07 +0100 | tomsmeding | . o O ( https://en.wikipedia.org/wiki/Unlambda ) |
| 2025-11-19 15:48:24 +0100 | <int-e> | tomsmeding: ``ci`ci |
| 2025-11-19 15:48:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-11-19 15:49:06 +0100 | <int-e> | (weird non-constant memory infinite loop with continuations) |
| 2025-11-19 15:49:41 +0100 | tomsmeding | was halfway through deciphering what that means and gave up |
| 2025-11-19 15:50:18 +0100 | <tomsmeding> | I've been trying to decide what the stronger-than lattice is between starvation-free, deadlock-free, non-blocking, obstruction-free, lock-free, wait-free is for a lecture I'm giving tomorrow |
| 2025-11-19 15:50:22 +0100 | <tomsmeding> | I think I'm just going to give up |
| 2025-11-19 15:50:30 +0100 | <tomsmeding> | noone in the class is going to understand it anyway |
| 2025-11-19 15:50:38 +0100 | <tomsmeding> | my brain is too fried |
| 2025-11-19 15:51:17 +0100 | <int-e> | How did the weird counter work... *twiddle*, ah, this: ``ci`.*`cr (prints lines with 0 stars, 1 stars, 2 stars etc.) |
| 2025-11-19 15:51:18 +0100 | <tomsmeding> | getting precise enough definitions that you can even reason about them properly is hard enough, and I'm not even sure I have the proper ones |
| 2025-11-19 15:51:29 +0100 | <lucabtz> | i was reading on the wikipedia page about Yoneda's lemma it is related to continuation style programming. someone has a resource on this |
| 2025-11-19 15:52:12 +0100 | <int-e> | (I misspoke, that's just what the code looks like; I'm not reconstructing why that works) |
| 2025-11-19 16:01:40 +0100 | bggd | (~bgg@2a01:e0a:819:1510:5811:6b25:6842:9300) |
| 2025-11-19 16:08:53 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-19 16:16:39 +0100 | pr1sm | (~pr1sm@2600:1000:b16f:9264:f8ae:817d:7595:2bb4) |
| 2025-11-19 16:17:04 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-19 16:18:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 16:27:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 16:28:20 +0100 | pr1sm | (~pr1sm@2600:1000:b16f:9264:f8ae:817d:7595:2bb4) (Remote host closed the connection) |
| 2025-11-19 16:28:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-11-19 16:29:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-11-19 16:34:31 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-11-19 16:46:54 +0100 | X-Scale | (~ARM@6.67.114.89.rev.vodafone.pt) X-Scale |
| 2025-11-19 16:47:12 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-19 16:49:19 +0100 | Catty | CatGPT |
| 2025-11-19 16:52:10 +0100 | CatGPT | Catty |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-19 16:56:58 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-19 16:57:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-19 16:57:40 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 16:59:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 2025-11-19 17:01:46 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 17:05:11 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-19 17:06:07 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-19 17:07:50 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer) |
| 2025-11-19 17:09:03 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) synchromesh |
| 2025-11-19 17:14:57 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-19 17:21:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-19 17:28:57 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-19 17:29:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 17:30:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-19 17:30:19 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-19 17:31:30 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-19 17:38:57 +0100 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) |
| 2025-11-19 17:39:49 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-11-19 17:42:40 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 17:48:02 +0100 | <pie_> | meanwhile im sitting here intimidated by basic locking |
| 2025-11-19 17:50:34 +0100 | <EvanR> | instead of basic locking, consider holding the exclusive resource in an MVar or TVar and accessing it using an appropriate bracket |
| 2025-11-19 17:50:57 +0100 | <EvanR> | which will return the resource to the MVar in case of the thread fails |
| 2025-11-19 17:51:13 +0100 | <EvanR> | MVar or TMVar* |
| 2025-11-19 17:52:36 +0100 | EvanR | (~EvanR@2600:1700:ba69:10:40ed:456a:b2ec:28ad) (Quit: Leaving) |
| 2025-11-19 17:52:56 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-11-19 17:57:57 +0100 | _bo | (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Leaving) |
| 2025-11-19 17:59:53 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-19 18:03:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-19 18:06:38 +0100 | spew | (~spew@user/spew) spew |
| 2025-11-19 18:14:38 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-19 18:14:43 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-19 18:43:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 18:47:12 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-19 18:51:43 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-19 18:53:04 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-11-19 18:56:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-19 19:14:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 19:14:50 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-19 19:18:27 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-19 19:19:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-19 19:29:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 19:30:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) |
| 2025-11-19 19:30:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-19 19:39:38 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-19 19:40:08 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-19 19:42:00 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-11-19 19:42:23 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-19 19:42:46 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-19 19:43:04 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-11-19 19:43:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-19 19:46:39 +0100 | Digitteknohippie | Digit |
| 2025-11-19 19:47:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-19 19:48:28 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-19 19:48:42 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 19:48:49 +0100 | metabulation | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-11-19 19:54:35 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-19 19:59:50 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2025-11-19 20:01:42 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-11-19 20:05:29 +0100 | <[exa]> | merijn: can you re-use the postgresql one? |
| 2025-11-19 20:06:52 +0100 | <[exa]> | int-e tomsmeding: to solve the backtick situation I propose -XFronTicks that gives a proper ` id ´ |
| 2025-11-19 20:10:26 +0100 | <tomsmeding> | EvanR: and then you have two exclusive resources and you don't take the locks in the right order and you deadlock |
| 2025-11-19 20:13:40 +0100 | <[exa]> | tomsmeding: at least the deadlocks are usually solvable&preemptable if the locks are properly bracketed |
| 2025-11-19 20:17:43 +0100 | <tomsmeding> | [exa]: what do you mean with properly bracketed? Do you mean that the runtime would throw a "blocked indefinitely on MVar" exception and kill one of the threads? |
| 2025-11-19 20:18:46 +0100 | <tomsmeding> | because relying on that sounds like asking for trouble |
| 2025-11-19 20:19:19 +0100 | Inline | (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline |
| 2025-11-19 20:20:01 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-19 20:20:26 +0100 | <[exa]> | "properly bracketed" = acquire all locks in predictable order ideally before any work starts, release them in reverse order. If you manage to have a global predictable order, there's no deadlocks. If there's still a deadlock, at least you get an exception which doesn't interrupt any actual work and retrying is cheap&safe |
| 2025-11-19 20:20:51 +0100 | <[exa]> | (it's got a name in DBMSes but I don't remember that name) |
| 2025-11-19 20:21:24 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-11-19 20:21:29 +0100 | <tomsmeding> | [exa]: if you take the locks in a globally consistent order there are no deadlocks |
| 2025-11-19 20:21:50 +0100 | <tomsmeding> | not due to those locks in any case |
| 2025-11-19 20:23:16 +0100 | <[exa]> | yap |
| 2025-11-19 20:25:09 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-19 20:25:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-19 20:25:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 20:27:27 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-19 20:29:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-19 20:34:34 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-19 20:34:59 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-19 20:35:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-19 20:44:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-19 20:44:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 20:49:13 +0100 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1) |
| 2025-11-19 20:52:05 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-19 20:55:16 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 20:55:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-19 20:55:32 +0100 | ljdarj1 | ljdarj |
| 2025-11-19 21:05:40 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-19 21:14:15 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 21:15:36 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-19 21:15:44 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-19 21:16:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-11-19 21:16:16 +0100 | ljdarj1 | ljdarj |
| 2025-11-19 21:20:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-11-19 21:23:41 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-11-19 21:27:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-19 21:32:18 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-11-19 21:34:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-19 21:34:21 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-19 21:34:22 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-19 21:35:14 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-19 21:36:06 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-19 21:39:06 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-19 21:39:06 +0100 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-11-19 21:42:07 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-19 21:43:41 +0100 | Googulator98 | Googulator |
| 2025-11-19 21:53:27 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-19 21:55:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
