| 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) |
