| 2025-11-10 00:03:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 00:08:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 00:09:26 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-10 00:10:06 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-10 00:11:32 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 00:17:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 00:19:07 +0100 | hololeap_ | hololeap |
| 2025-11-10 00:21:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-11-10 00:22:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-10 00:22:30 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-10 00:33:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 00:39:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 00:40:52 +0100 | trickard_ | trickard |
| 2025-11-10 00:51:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 00:55:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 00:56:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-10 00:58:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-10 01:05:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-10 01:06:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 01:12:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 01:18:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 01:23:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 01:25:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-10 01:27:52 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-10 01:36:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-11-10 01:50:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 01:55:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-10 01:59:34 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 01:59:47 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 02:05:00 +0100 | otto_s | (~user@p4ff27028.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-10 02:05:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 02:06:57 +0100 | otto_s | (~user@p4ff2757b.dip0.t-ipconnect.de) |
| 2025-11-10 02:07:18 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-10 02:09:35 +0100 | Apaho | (~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6) |
| 2025-11-10 02:09:41 +0100 | Apaho | (~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6) (Client Quit) |
| 2025-11-10 02:10:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 02:10:58 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) (Ping timeout: 246 seconds) |
| 2025-11-10 02:19:18 +0100 | inline__ | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline |
| 2025-11-10 02:21:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 02:21:49 +0100 | Inline | (~inlinE@dynamic-176-006-058-078.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2025-11-10 02:28:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-10 02:35:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-10 02:35:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-10 02:39:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 02:41:56 +0100 | Starving_Drummer | (~berke@user/Starving-Drummer:76786) (Remote host closed the connection) |
| 2025-11-10 02:44:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 02:52:39 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-10 02:55:00 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 02:55:14 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 02:55:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 02:58:56 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 03:00:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 03:00:28 +0100 | mange | (~mange@user/mange) mange |
| 2025-11-10 03:02:55 +0100 | otto_s | (~user@p4ff2757b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-11-10 03:03:15 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-10 03:03:33 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-10 03:04:55 +0100 | otto_s | (~user@p4ff2712e.dip0.t-ipconnect.de) |
| 2025-11-10 03:05:44 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 03:09:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-10 03:11:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 03:12:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-11-10 03:13:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-10 03:16:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-10 03:16:48 +0100 | trickard_ | trickard |
| 2025-11-10 03:22:21 +0100 | tccq | (~tccq@user/tccq) (Remote host closed the connection) |
| 2025-11-10 03:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 03:31:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 03:37:26 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-10 03:37:52 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-10 03:39:49 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-10 03:42:16 +0100 | <jreicher> | Another way of looking at two's complement that I quite like is that it's an offset number line with the top bit missing. So say you have an 8 bit representation. Imagine your number line in 9 bits with 0 being represented as 1 0000 0000 and arithmetic working as usual. Strip the top bit and you get two's complement. |
| 2025-11-10 03:42:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 03:47:23 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) () |
| 2025-11-10 03:47:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-10 03:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 03:58:44 +0100 | collide2954 | (~collide29@user/collide2954) collide2954 |
| 2025-11-10 04:02:17 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-10 04:03:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-10 04:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 04:04:07 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-10 04:09:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-11-10 04:11:10 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 04:11:23 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 04:12:51 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2025-11-10 04:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 04:14:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-10 04:17:53 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-11-10 04:19:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 04:22:29 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 04:22:43 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 04:27:22 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-10 04:29:52 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-10 04:30:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 04:31:27 +0100 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 250 seconds) |
| 2025-11-10 04:33:29 +0100 | td_ | (~td@i5387093B.versanet.de) |
| 2025-11-10 04:34:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 04:35:57 +0100 | anderson | (anderson@user/anderson) (Ping timeout: 252 seconds) |
| 2025-11-10 04:38:07 +0100 | annamalai | (~annamalai@157.33.211.168) (Ping timeout: 264 seconds) |
| 2025-11-10 04:39:06 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-10 04:40:32 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 04:41:06 +0100 | anderson | (anderson@user/anderson) anderson |
| 2025-11-10 04:45:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 04:47:53 +0100 | annamalai | (~annamalai@157.33.194.148) annamalai |
| 2025-11-10 04:49:50 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 04:50:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 04:51:25 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 04:53:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-10 04:59:10 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 05:01:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 05:07:17 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-10 05:07:37 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-10 05:08:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 05:19:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 05:21:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-10 05:24:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 05:29:20 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-85-123.dedicated.static.sonic.net) (Remote host closed the connection) |
| 2025-11-10 05:30:06 +0100 | orenty7 | (~orenty7@37.63.18.88) |
| 2025-11-10 05:31:57 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 05:32:32 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 05:36:43 +0100 | orenty7 | (~orenty7@37.63.18.88) (Quit: Konversation terminated!) |
| 2025-11-10 05:36:52 +0100 | orenty7 | (~orenty7@37.63.18.88) |
| 2025-11-10 05:43:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-10 05:44:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-10 05:53:47 +0100 | inline__ | Inline |
| 2025-11-10 06:01:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 06:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-10 06:09:16 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-10 06:17:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 06:20:08 +0100 | einsamkeit | (~bows@2803:9800:9900:7565:3ea0:67ff:fea2:c273) |
| 2025-11-10 06:21:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-10 06:22:56 +0100 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-11-10 06:26:11 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 2025-11-10 06:26:38 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-10 06:32:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 06:37:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 06:38:26 +0100 | einsamkeit | (~bows@2803:9800:9900:7565:3ea0:67ff:fea2:c273) (Quit: Leaving) |
| 2025-11-10 06:41:44 +0100 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-10 06:44:23 +0100 | trickard__ | trickard |
| 2025-11-10 06:48:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 06:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 06:55:48 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-10 06:58:28 +0100 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-10 07:03:13 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-10 07:03:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 07:09:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 07:10:18 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-10 07:14:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 07:18:10 +0100 | michalz | (~michalz@185.246.207.218) |
| 2025-11-10 07:18:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-10 07:23:24 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-11-10 07:29:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 07:34:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 07:45:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 07:47:27 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 07:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 07:54:19 +0100 | gf3 | (~gf3@user/gf3) (Ping timeout: 264 seconds) |
| 2025-11-10 07:56:57 +0100 | Inline | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 244 seconds) |
| 2025-11-10 07:57:24 +0100 | Inline | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline |
| 2025-11-10 08:01:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 08:01:51 +0100 | gf3 | (~gf3@user/gf3) gf3 |
| 2025-11-10 08:05:03 +0100 | Inline | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds) |
| 2025-11-10 08:05:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 08:09:11 +0100 | Inline | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline |
| 2025-11-10 08:10:31 +0100 | annamalai | (~annamalai@157.33.194.148) (Ping timeout: 264 seconds) |
| 2025-11-10 08:10:39 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-10 08:14:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-10 08:16:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 08:20:22 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-11-10 08:20:55 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-10 08:21:12 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 08:23:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 08:24:06 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-10 08:24:47 +0100 | trickard_ | trickard |
| 2025-11-10 08:30:55 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-10 08:32:20 +0100 | annamalai | (~annamalai@157.33.225.191) annamalai |
| 2025-11-10 08:34:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 08:36:35 +0100 | annamalai | (~annamalai@157.33.225.191) (Ping timeout: 245 seconds) |
| 2025-11-10 08:39:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-10 08:50:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 08:50:43 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-10 08:54:20 +0100 | annamalai | (~annamalai@157.33.195.239) annamalai |
| 2025-11-10 08:55:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 09:02:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 09:05:02 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-10 09:06:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 09:21:14 +0100 | inline__ | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline |
| 2025-11-10 09:22:29 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-10 09:22:32 +0100 | Inline | Guest3075 |
| 2025-11-10 09:22:32 +0100 | inline__ | Inline |
| 2025-11-10 09:23:50 +0100 | Guest3075 | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds) |
| 2025-11-10 09:38:30 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-10 09:41:57 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-10 09:43:27 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-11-10 09:43:42 +0100 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-10 09:43:42 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-11-10 09:56:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 10:01:00 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-10 10:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 10:03:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 10:03:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-11-10 10:08:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 10:09:13 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 10:09:27 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 10:11:57 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-10 10:14:53 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-11-10 10:14:58 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-11-10 10:15:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 10:16:25 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-10 10:17:33 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c5a6:321c:259:76f2) synchromesh |
| 2025-11-10 10:20:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 10:45:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 10:50:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 11:01:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 11:07:05 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-11-10 11:09:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 11:10:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-10 11:17:43 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-10 11:18:07 +0100 | Starving_Drummer | (~berke@user/Starving-Drummer:76786) Starving_Drummer |
| 2025-11-10 11:20:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 11:23:18 +0100 | trickard_ | trickard |
| 2025-11-10 11:25:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 11:38:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 11:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 11:43:49 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-10 11:44:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 11:49:18 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-10 11:55:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 12:00:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-10 12:00:46 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 12:00:58 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 12:00:58 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-10 12:05:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 12:09:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 12:18:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2473:b259:8788:143a) |
| 2025-11-10 12:19:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-11-10 12:21:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 12:26:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-10 12:40:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 12:42:02 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-10 13:02:30 +0100 | fp | (~Thunderbi@87-94-143-85.rev.dnainternet.fi) fp |
| 2025-11-10 13:06:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 13:12:13 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 13:12:26 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 13:13:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 13:18:56 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh |
| 2025-11-10 13:28:08 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 13:28:37 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 13:40:26 +0100 | trickard_ | trickard |
| 2025-11-10 13:45:47 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 13:45:47 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 13:51:10 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 13:52:37 +0100 | <haskellbridge> | <Morj> Found a silly bug in neovim+hls: when using LSP to rename the constructor of a record, it also renames all fields. So like "data Foo = Foo { a :: Int, b :: Int }" becomes "data Foo = Bar { Bar :: Int, Bar :: Int }" |
| 2025-11-10 13:53:18 +0100 | <haskellbridge> | <Morj> For how basic it is, I'm sure this is already known, so I'm more surprised I've only just encountered it |
| 2025-11-10 13:55:00 +0100 | michalz | (~michalz@185.246.207.218) (Read error: Connection reset by peer) |
| 2025-11-10 13:56:26 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-11-10 13:57:43 +0100 | gehmehgeh | gmg |
| 2025-11-10 14:05:54 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 14:07:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 14:10:38 +0100 | fp | (~Thunderbi@87-94-143-85.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-11-10 14:11:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 14:16:45 +0100 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-11-10 14:25:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 14:25:47 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 14:25:49 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 14:29:12 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-10 14:29:28 +0100 | orenty7 | (~orenty7@37.63.18.88) (Remote host closed the connection) |
| 2025-11-10 14:29:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-10 14:29:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-10 14:32:12 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-10 14:36:07 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 14:36:29 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 14:40:49 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 14:41:16 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 14:41:52 +0100 | gf3 | (~gf3@user/gf3) (Ping timeout: 265 seconds) |
| 2025-11-10 14:42:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 14:43:21 +0100 | bggd | (~bgg@2a01:e0a:819:1510:285c:2d19:95b6:2c5) |
| 2025-11-10 14:45:16 +0100 | gf3 | (~gf3@user/gf3) gf3 |
| 2025-11-10 14:46:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 14:52:30 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2025-11-10 14:54:18 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-10 14:58:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 15:02:03 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 15:02:17 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 15:03:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 15:05:37 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 15:05:45 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 15:08:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 15:08:28 +0100 | <lucabtz> | hello im new in here (and quite new to haskell too) |
| 2025-11-10 15:08:33 +0100 | <lucabtz> | i love haskell though |
| 2025-11-10 15:09:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 15:09:38 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-10 15:10:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 15:13:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 15:13:21 +0100 | <haskellbridge> | <sm> welcome lucabtz |
| 2025-11-10 15:14:14 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-11-10 15:14:19 +0100 | <haskellbridge> | <Morj> Welcome lucabtz , are you working on a project or just playing around? I like to do both |
| 2025-11-10 15:14:39 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-10 15:14:48 +0100 | <lucabtz> | im kinda looking for a project to work on |
| 2025-11-10 15:14:55 +0100 | <lucabtz> | i dont have a lot a free time though |
| 2025-11-10 15:15:29 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-10 15:16:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 15:16:16 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-10 15:16:36 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 15:20:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-10 15:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 15:27:49 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-10 15:29:48 +0100 | <tomsmeding> | Morj: renaming identifiers is not particularly well supported in HLS overall, I don't think it supports renaming across modules, for example |
| 2025-11-10 15:30:07 +0100 | <tomsmeding> | so I suspect people just don't use it much |
| 2025-11-10 15:30:21 +0100 | <tomsmeding> | because within a single file, doing the rename functionality is not _that_ much less effort than just a search-replace |
| 2025-11-10 15:31:37 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 15:31:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 15:35:48 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 15:35:51 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 15:38:09 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-11-10 15:38:25 +0100 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-10 15:39:23 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 265 seconds) |
| 2025-11-10 15:40:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-10 15:49:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 15:49:52 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-10 15:51:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 15:55:44 +0100 | Googulator6 | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 15:55:45 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 16:02:55 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 16:06:39 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-11-10 16:07:31 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-11-10 16:07:47 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-11-10 16:09:13 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-11-10 16:09:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 16:10:16 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 16:10:48 +0100 | Googulator6 | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 16:10:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-10 16:11:08 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 16:14:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-10 16:16:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 16:17:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-10 16:17:05 +0100 | Inline | (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds) |
| 2025-11-10 16:21:34 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-10 16:28:00 +0100 | Inline | (~inlinE@2a02:3035:673:88a7:64a3:d94e:b8fb:c889) Inline |
| 2025-11-10 16:36:16 +0100 | annamalai | (~annamalai@157.33.195.239) (Ping timeout: 256 seconds) |
| 2025-11-10 16:53:19 +0100 | Googulator6 | Googulator |
| 2025-11-10 17:00:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 17:10:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 17:14:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 17:15:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 17:15:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 17:20:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-10 17:20:10 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 17:22:35 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-10 17:27:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 17:27:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-10 17:28:52 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-10 17:29:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 17:29:08 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-10 17:31:31 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-10 17:31:43 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-10 17:33:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 17:35:45 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 17:36:23 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-10 17:37:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-11-10 17:37:31 +0100 | ljdarj1 | ljdarj |
| 2025-11-10 17:38:53 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-10 17:40:19 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-11-10 17:41:31 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-11-10 17:45:28 +0100 | jrm | (~jrm@user/jrm) (Client Quit) |
| 2025-11-10 17:45:31 +0100 | <haskellbridge> | <Morj> tomsmeding: I thought it supported cross-module renames when the import lists are present? Why would I need an in-module rename when I have :s |
| 2025-11-10 17:46:43 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-11-10 17:47:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 17:51:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 18:04:21 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-11-10 18:04:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 18:06:32 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-10 18:08:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 18:13:27 +0100 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2025-11-10 18:14:51 +0100 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-11-10 18:15:37 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:15:40 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:20:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 18:20:54 +0100 | Googulator2 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:20:54 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:22:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-10 18:22:47 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-10 18:23:30 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-11-10 18:25:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 18:30:58 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-10 18:33:47 +0100 | annamalai | (~annamalai@157.33.216.97) annamalai |
| 2025-11-10 18:34:19 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-11-10 18:35:52 +0100 | <tomsmeding> | Morj: "rename: Internal Error: Renaming of an exported name is unsupported" |
| 2025-11-10 18:36:06 +0100 | <tomsmeding> | or is that my client lol |
| 2025-11-10 18:36:39 +0100 | <geekosaur> | tbh I think that's a sane constraint: what else that HLS can't know about might be using it? |
| 2025-11-10 18:37:01 +0100 | <tomsmeding> | well HLS knows about this component, at the very least, and one might expect it to rename inside that |
| 2025-11-10 18:37:17 +0100 | <tomsmeding> | I haven't used that kind of IDE for a language like Java, but I think there this behaviour is considered standard |
| 2025-11-10 18:37:50 +0100 | <tomsmeding> | yeah checked the HLS source and this is explicitly unsupported |
| 2025-11-10 18:37:52 +0100 | Googulator2 | Googulator |
| 2025-11-10 18:38:42 +0100 | <tomsmeding> | Morj: a within-module rename can still be more powerful than :s if the name is a normal english word that also appears in comments |
| 2025-11-10 18:40:26 +0100 | <haskellbridge> | <Morj> You're right, I get the same error. Am I getting mandela syndrome right now. I was very sure there was some limitation on modules without export lists |
| 2025-11-10 18:40:50 +0100 | <tomsmeding> | yes, a module without an export list exports everything so HLS categorically rejects renaming anything in such a module |
| 2025-11-10 18:40:59 +0100 | <geekosaur> | keep in mind that that might have been true for older HLS versions; it is under active development |
| 2025-11-10 18:41:35 +0100 | <geekosaur> | it's also possible that multi-component rename is on a WIP branch somewhere, since multi-component support is still fairly new |
| 2025-11-10 18:41:39 +0100 | <haskellbridge> | <Morj> Ohh right. Without an export list I can't even rename local bindings like function arguments |
| 2025-11-10 18:41:46 +0100 | <haskellbridge> | <Morj> That's a silly restriction |
| 2025-11-10 18:41:59 +0100 | <tomsmeding> | https://github.com/haskell/haskell-language-server/blob/39519d60f868b618ca5c2f07c97a60ddd0e6c2af/p… |
| 2025-11-10 18:42:21 +0100 | <tomsmeding> | tbh V}:s |
| 2025-11-10 18:42:38 +0100 | trickard_ | trickard |
| 2025-11-10 18:42:40 +0100 | <tomsmeding> | (if we're in vim lingo anyway) |
| 2025-11-10 18:43:47 +0100 | <haskellbridge> | <Morj> I have empty lines in my functions ;-) But true |
| 2025-11-10 18:43:57 +0100 | <tomsmeding> | V}}}:s |
| 2025-11-10 18:44:19 +0100 | <haskellbridge> | <Morj> V/^\k<CR>:s |
| 2025-11-10 18:44:24 +0100 | <tomsmeding> | but yeah it sounds like it should be perfectly fine to support that |
| 2025-11-10 18:44:46 +0100 | <tomsmeding> | \k? |
| 2025-11-10 18:45:15 +0100 | <haskellbridge> | <Morj> :help /\k - a keyword character |
| 2025-11-10 18:45:26 +0100 | <haskellbridge> | <Morj> Like a smarter \w |
| 2025-11-10 18:45:29 +0100 | <tomsmeding> | right I found that |
| 2025-11-10 18:45:50 +0100 | <tomsmeding> | oh it matches essentially everything |
| 2025-11-10 18:46:07 +0100 | <tomsmeding> | at least in haskell for me |
| 2025-11-10 18:46:17 +0100 | <tomsmeding> | seems identical to \w |
| 2025-11-10 18:46:46 +0100 | <haskellbridge> | <Morj> It doesn't match operator symbols, but it matches "'" |
| 2025-11-10 18:47:05 +0100 | <haskellbridge> | <Morj> Which an identifier can't start with so \w would still work... Whatever |
| 2025-11-10 18:47:36 +0100 | <tomsmeding> | oh I see |
| 2025-11-10 18:49:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:49:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 18:49:19 +0100 | Googulator | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 18:58:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-10 19:00:40 +0100 | Googulator | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 19:00:42 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 19:10:56 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds) |
| 2025-11-10 19:13:43 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-10 19:18:28 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-10 19:20:49 +0100 | Googulator24 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 19:20:49 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 19:24:00 +0100 | Googulator24 | Googulator |
| 2025-11-10 19:30:35 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 19:30:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 19:32:18 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-10 19:33:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 19:34:34 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-10 19:35:45 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-10 19:37:03 +0100 | img | (~img@user/img) img |
| 2025-11-10 19:38:24 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-10 19:42:03 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-10 19:42:20 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) nschoe |
| 2025-11-10 19:47:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 19:48:47 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-10 19:50:44 +0100 | Googulator64 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 19:50:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 19:53:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 2025-11-10 19:54:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 20:05:27 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-10 20:10:31 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |