2025/11/10

2025-11-10 00:05:32 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-10 00:06:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 00:12:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 00:18:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 00:23:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 00:25:54 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-10 00:27:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-10 00:36:55 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2025-11-10 00:50:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 00:55:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-10 00:59:34 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 00:59:47 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 01:05:00 +0000otto_s(~user@p4ff27028.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-11-10 01:05:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 01:06:57 +0000otto_s(~user@p4ff2757b.dip0.t-ipconnect.de)
2025-11-10 01:07:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-11-10 01:09:35 +0000Apaho(~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6)
2025-11-10 01:09:41 +0000Apaho(~Apaho@2601:152:5001:2790:4cb8:420c:5aa5:e9a6) (Client Quit)
2025-11-10 01:10:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 01:10:58 +0000xff0x_(~xff0x@2405:6580:b080:900:2f53:a1ab:6a96:bd23) (Ping timeout: 246 seconds)
2025-11-10 01:19:18 +0000inline__(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline
2025-11-10 01:21:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 01:21:49 +0000Inline(~inlinE@dynamic-176-006-058-078.176.6.pool.telefonica.de) (Ping timeout: 255 seconds)
2025-11-10 01:28:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-10 01:35:16 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-10 01:35:37 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-10 01:39:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 01:41:56 +0000Starving_Drummer(~berke@user/Starving-Drummer:76786) (Remote host closed the connection)
2025-11-10 01:44:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-10 01:52:39 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds)
2025-11-10 01:55:00 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 01:55:14 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 01:55:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 01:58:56 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 02:00:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-10 02:00:28 +0000mange(~mange@user/mange) mange
2025-11-10 02:02:55 +0000otto_s(~user@p4ff2757b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2025-11-10 02:03:15 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-11-10 02:03:33 +0000weary-traveler(~user@user/user363627) user363627
2025-11-10 02:04:55 +0000otto_s(~user@p4ff2712e.dip0.t-ipconnect.de)
2025-11-10 02:05:44 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 02:09:24 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-10 02:11:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 02:12:35 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-11-10 02:13:59 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-10 02:16:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-10 02:16:48 +0000trickard_trickard
2025-11-10 02:22:21 +0000tccq(~tccq@user/tccq) (Remote host closed the connection)
2025-11-10 02:27:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 02:31:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 02:37:26 +0000DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-10 02:37:52 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-10 02:39:49 +0000DetourNe-DetourNetworkUK
2025-11-10 02:42:16 +0000 <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 02:42:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 02:47:23 +0000bradparker(sid262931@id-262931.uxbridge.irccloud.com) ()
2025-11-10 02:47:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-10 02:58:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 02:58:44 +0000collide2954(~collide29@user/collide2954) collide2954
2025-11-10 03:02:17 +0000pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-11-10 03:03:03 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-10 03:03:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 03:04:07 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-11-10 03:09:37 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-11-10 03:11:10 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 03:11:23 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 03:12:51 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds)
2025-11-10 03:14:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 03:14:26 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-10 03:17:53 +0000Pozyomka(~pyon@user/pyon) (Ping timeout: 244 seconds)
2025-11-10 03:19:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 03:22:29 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 03:22:43 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 03:27:22 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-11-10 03:29:52 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-10 03:30:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 03:31:27 +0000td_(~td@i53870919.versanet.de) (Ping timeout: 250 seconds)
2025-11-10 03:33:29 +0000td_(~td@i5387093B.versanet.de)
2025-11-10 03:34:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 03:35:57 +0000anderson(anderson@user/anderson) (Ping timeout: 252 seconds)
2025-11-10 03:38:07 +0000annamalai(~annamalai@157.33.211.168) (Ping timeout: 264 seconds)
2025-11-10 03:39:06 +0000Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-10 03:40:32 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 03:41:06 +0000anderson(anderson@user/anderson) anderson
2025-11-10 03:45:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 03:47:53 +0000annamalai(~annamalai@157.33.194.148) annamalai
2025-11-10 03:49:50 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 03:50:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 03:51:25 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 03:53:47 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-10 03:59:10 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-10 04:01:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 04:07:17 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-11-10 04:07:37 +0000weary-traveler(~user@user/user363627) user363627
2025-11-10 04:08:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 04:19:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 04:21:48 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-10 04:24:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 04:29:20 +0000segfaultfizzbuzz(~segfaultf@23-93-85-123.dedicated.static.sonic.net) (Remote host closed the connection)
2025-11-10 04:30:06 +0000orenty7(~orenty7@37.63.18.88)
2025-11-10 04:31:57 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 04:32:32 +0000trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 04:36:43 +0000orenty7(~orenty7@37.63.18.88) (Quit: Konversation terminated!)
2025-11-10 04:36:52 +0000orenty7(~orenty7@37.63.18.88)
2025-11-10 04:43:13 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-11-10 04:44:54 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-10 04:53:47 +0000inline__Inline
2025-11-10 05:01:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 05:06:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-10 05:09:16 +0000jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-11-10 05:17:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 05:20:08 +0000einsamkeit(~bows@2803:9800:9900:7565:3ea0:67ff:fea2:c273)
2025-11-10 05:21:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-10 05:22:56 +0000jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-11-10 05:26:11 +0000monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
2025-11-10 05:26:38 +0000jreicher(~user@user/jreicher) jreicher
2025-11-10 05:32:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 05:37:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 05:38:26 +0000einsamkeit(~bows@2803:9800:9900:7565:3ea0:67ff:fea2:c273) (Quit: Leaving)
2025-11-10 05:41:44 +0000mange(~mange@user/mange) (Remote host closed the connection)
2025-11-10 05:44:23 +0000trickard__trickard
2025-11-10 05:48:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 05:53:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 05:55:48 +0000Square2(~Square4@user/square) Square
2025-11-10 05:58:28 +0000Square3(~Square@user/square) (Ping timeout: 244 seconds)
2025-11-10 06:03:13 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-10 06:03:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 06:09:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-10 06:10:18 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-10 06:14:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 06:18:10 +0000michalz(~michalz@185.246.207.218)
2025-11-10 06:18:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-10 06:23:24 +0000monochrom(trebla@216.138.220.146)
2025-11-10 06:29:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 06:34:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 06:45:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 06:47:27 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-10 06:50:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 06:54:19 +0000gf3(~gf3@user/gf3) (Ping timeout: 264 seconds)
2025-11-10 06:56:57 +0000Inline(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 244 seconds)
2025-11-10 06:57:24 +0000Inline(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline
2025-11-10 07:01:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 07:01:51 +0000gf3(~gf3@user/gf3) gf3
2025-11-10 07:05:03 +0000Inline(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds)
2025-11-10 07:05:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 07:09:11 +0000Inline(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline
2025-11-10 07:10:31 +0000annamalai(~annamalai@157.33.194.148) (Ping timeout: 264 seconds)
2025-11-10 07:10:39 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-10 07:14:43 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-10 07:16:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 07:20:22 +0000jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-11-10 07:20:55 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-11-10 07:21:12 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 07:23:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 07:24:06 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-10 07:24:47 +0000trickard_trickard
2025-11-10 07:30:55 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-10 07:32:20 +0000annamalai(~annamalai@157.33.225.191) annamalai
2025-11-10 07:34:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 07:36:35 +0000annamalai(~annamalai@157.33.225.191) (Ping timeout: 245 seconds)
2025-11-10 07:39:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-10 07:50:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 07:50:43 +0000ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-10 07:54:20 +0000annamalai(~annamalai@157.33.195.239) annamalai
2025-11-10 07:55:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-10 08:02:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 08:05:02 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-10 08:06:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 08:21:14 +0000inline__(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) Inline
2025-11-10 08:22:29 +0000karenw(~karenw@user/karenw) karenw
2025-11-10 08:22:32 +0000InlineGuest3075
2025-11-10 08:22:32 +0000inline__Inline
2025-11-10 08:23:50 +0000Guest3075(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds)
2025-11-10 08:38:30 +0000tromp(~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029)
2025-11-10 08:41:57 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-10 08:43:27 +0000gustrb(~gustrb@191.243.134.87)
2025-11-10 08:43:42 +0000gustrb(~gustrb@191.243.134.87) (Changing host)
2025-11-10 08:43:42 +0000gustrb(~gustrb@user/gustrb) gustrb
2025-11-10 08:56:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 09:01:00 +0000gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-11-10 09:02:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 09:03:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 09:03:26 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-11-10 09:08:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-10 09:09:13 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 09:09:27 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 09:11:57 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-10 09:14:53 +0000gentauro(~gentauro@user/gentauro) gentauro
2025-11-10 09:14:58 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-11-10 09:15:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 09:16:25 +0000synchromesh(~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer)
2025-11-10 09:17:33 +0000synchromesh(~john@2406:5a00:2412:2c00:c5a6:321c:259:76f2) synchromesh
2025-11-10 09:20:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 09:45:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 09:50:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 10:01:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 10:07:05 +0000karenw(~karenw@user/karenw) (Ping timeout: 244 seconds)
2025-11-10 10:09:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 10:10:53 +0000lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-10 10:17:43 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2025-11-10 10:18:07 +0000Starving_Drummer(~berke@user/Starving-Drummer:76786) Starving_Drummer
2025-11-10 10:20:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 10:23:18 +0000trickard_trickard
2025-11-10 10:25:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-10 10:38:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 10:42:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 10:43:49 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-11-10 10:44:59 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 10:49:18 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2025-11-10 10:55:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 11:00:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-10 11:00:46 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 11:00:58 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 11:00:58 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-10 11:05:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 11:09:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 11:18:16 +0000xff0x(~xff0x@2405:6580:b080:900:2473:b259:8788:143a)
2025-11-10 11:19:20 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-11-10 11:21:22 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 11:26:04 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2025-11-10 11:40:09 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 11:42:02 +0000Nachtgespenst(~user@user/siracusa) siracusa
2025-11-10 12:02:30 +0000fp(~Thunderbi@87-94-143-85.rev.dnainternet.fi) fp
2025-11-10 12:06:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 12:12:13 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 12:12:26 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 12:13:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-10 12:18:56 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh
2025-11-10 12:28:08 +0000Googulator37(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 12:28:37 +0000Googulator37(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 12:40:26 +0000trickard_trickard
2025-11-10 12:45:47 +0000Googulator88(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 12:45:47 +0000Googulator37(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 12:51:10 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-10 12:52:37 +0000 <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 12:53:18 +0000 <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 12:55:00 +0000michalz(~michalz@185.246.207.218) (Read error: Connection reset by peer)
2025-11-10 12:56:26 +0000michalz(~michalz@185.246.207.215)
2025-11-10 12:57:43 +0000gehmehgehgmg
2025-11-10 13:05:54 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-10 13:07:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 13:10:38 +0000fp(~Thunderbi@87-94-143-85.rev.dnainternet.fi) (Ping timeout: 256 seconds)
2025-11-10 13:11:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 13:16:45 +0000m1dnight_(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 252 seconds)
2025-11-10 13:25:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 13:25:47 +0000Googulator22(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 13:25:49 +0000Googulator88(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 13:29:12 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-11-10 13:29:28 +0000orenty7(~orenty7@37.63.18.88) (Remote host closed the connection)
2025-11-10 13:29:31 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-10 13:29:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-10 13:32:12 +0000poscat(~poscat@user/poscat) poscat
2025-11-10 13:36:07 +0000Googulator75(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 13:36:29 +0000Googulator22(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 13:40:49 +0000Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 13:41:16 +0000Googulator75(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 13:41:52 +0000gf3(~gf3@user/gf3) (Ping timeout: 265 seconds)
2025-11-10 13:42:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 13:43:21 +0000bggd(~bgg@2a01:e0a:819:1510:285c:2d19:95b6:2c5)
2025-11-10 13:45:16 +0000gf3(~gf3@user/gf3) gf3
2025-11-10 13:46:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 13:52:30 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds)
2025-11-10 13:54:18 +0000Pozyomka(~pyon@user/pyon) pyon
2025-11-10 13:58:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 14:02:03 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-10 14:02:17 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 14:03:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 14:05:37 +0000Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 14:05:45 +0000Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 14:08:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 14:08:28 +0000 <lucabtz> hello im new in here (and quite new to haskell too)
2025-11-10 14:08:33 +0000 <lucabtz> i love haskell though
2025-11-10 14:09:27 +0000tromp(~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-10 14:09:38 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-10 14:10:43 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 14:13:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 14:13:21 +0000 <haskellbridge> <sm> welcome lucabtz
2025-11-10 14:14:14 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-11-10 14:14:19 +0000 <haskellbridge> <Morj> Welcome lucabtz , are you working on a project or just playing around? I like to do both
2025-11-10 14:14:39 +0000__monty__(~toonn@user/toonn) toonn
2025-11-10 14:14:48 +0000 <lucabtz> im kinda looking for a project to work on
2025-11-10 14:14:55 +0000 <lucabtz> i dont have a lot a free time though
2025-11-10 14:15:29 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-10 14:16:10 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 14:16:16 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-11-10 14:16:36 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-10 14:20:08 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-11-10 14:27:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 14:27:49 +0000ystael(~ystael@user/ystael) ystael
2025-11-10 14:29:48 +0000 <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 14:30:07 +0000 <tomsmeding> so I suspect people just don't use it much
2025-11-10 14:30:21 +0000 <tomsmeding> because within a single file, doing the rename functionality is not _that_ much less effort than just a search-replace
2025-11-10 14:31:37 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-10 14:31:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 14:35:48 +0000Googulator90(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 14:35:51 +0000Googulator59(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 14:38:09 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-11-10 14:38:25 +0000itaipu(~itaipu@168.121.97.28) (Read error: Connection reset by peer)
2025-11-10 14:39:23 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 265 seconds)
2025-11-10 14:40:17 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-11-10 14:49:48 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade)
2025-11-10 14:49:52 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-10 14:51:55 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 14:55:44 +0000Googulator6(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-10 14:55:45 +0000Googulator90(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 15:02:55 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-10 15:06:39 +0000michalz(~michalz@185.246.207.215) (Remote host closed the connection)
2025-11-10 15:07:31 +0000olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-11-10 15:07:47 +0000olivial(~benjaminl@user/benjaminl) benjaminl
2025-11-10 15:09:13 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2025-11-10 15:09:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 15:10:16 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 15:10:48 +0000Googulator6(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-10 15:10:58 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-10 15:11:08 +0000Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 15:14:32 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-11-10 15:16:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 15:17:00 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-11-10 15:17:05 +0000Inline(~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds)
2025-11-10 15:21:34 +0000fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-11-10 15:28:00 +0000Inline(~inlinE@2a02:3035:673:88a7:64a3:d94e:b8fb:c889) Inline
2025-11-10 15:36:16 +0000annamalai(~annamalai@157.33.195.239) (Ping timeout: 256 seconds)
2025-11-10 15:53:19 +0000Googulator6Googulator
2025-11-10 16:00:10 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-10 16:10:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 16:14:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 16:15:36 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 16:15:44 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 16:20:08 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-10 16:20:10 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-10 16:22:35 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-10 16:27:17 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade)
2025-11-10 16:27:43 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-11-10 16:28:52 +0000euphores(~SASL_euph@user/euphores) euphores
2025-11-10 16:29:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 16:29:08 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-10 16:31:31 +0000lucabtz(~lucabtz@user/lucabtz) (Remote host closed the connection)
2025-11-10 16:31:43 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-10 16:33:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-10 16:35:45 +0000Googulator7(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 16:36:23 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-11-10 16:37:30 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-11-10 16:37:31 +0000ljdarj1ljdarj
2025-11-10 16:38:53 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-10 16:40:19 +0000jrm(~jrm@user/jrm) (Quit: ciao)
2025-11-10 16:41:31 +0000jrm(~jrm@user/jrm) jrm
2025-11-10 16:45:28 +0000jrm(~jrm@user/jrm) (Client Quit)
2025-11-10 16:45:31 +0000 <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 16:46:43 +0000jrm(~jrm@user/jrm) jrm
2025-11-10 16:47:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 16:51:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-10 17:04:21 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-11-10 17:04:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 17:06:32 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-11-10 17:08:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 17:13:27 +0000gentauro(~gentauro@user/gentauro) (Quit: leaving)
2025-11-10 17:14:51 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-11-10 17:15:37 +0000Googulator7(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 17:15:40 +0000Googulator16(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 17:20:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 17:20:54 +0000Googulator2(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 17:20:54 +0000Googulator16(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 17:22:13 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-11-10 17:22:47 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-10 17:23:30 +0000gentauro(~gentauro@user/gentauro) gentauro
2025-11-10 17:25:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-10 17:30:58 +0000petrichor(~jez@user/petrichor) petrichor
2025-11-10 17:33:47 +0000annamalai(~annamalai@157.33.216.97) annamalai
2025-11-10 17:34:19 +0000fp(~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer)
2025-11-10 17:35:52 +0000 <tomsmeding> Morj: "rename: Internal Error: Renaming of an exported name is unsupported"
2025-11-10 17:36:06 +0000 <tomsmeding> or is that my client lol
2025-11-10 17:36:39 +0000 <geekosaur> tbh I think that's a sane constraint: what else that HLS can't know about might be using it?
2025-11-10 17:37:01 +0000 <tomsmeding> well HLS knows about this component, at the very least, and one might expect it to rename inside that
2025-11-10 17:37:17 +0000 <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 17:37:50 +0000 <tomsmeding> yeah checked the HLS source and this is explicitly unsupported
2025-11-10 17:37:52 +0000Googulator2Googulator
2025-11-10 17:38:42 +0000 <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 17:40:26 +0000 <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 17:40:50 +0000 <tomsmeding> yes, a module without an export list exports everything so HLS categorically rejects renaming anything in such a module
2025-11-10 17:40:59 +0000 <geekosaur> keep in mind that that might have been true for older HLS versions; it is under active development
2025-11-10 17:41:35 +0000 <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 17:41:39 +0000 <haskellbridge> <Morj> Ohh right. Without an export list I can't even rename local bindings like function arguments
2025-11-10 17:41:46 +0000 <haskellbridge> <Morj> That's a silly restriction
2025-11-10 17:41:59 +0000 <tomsmeding> https://github.com/haskell/haskell-language-server/blob/39519d60f868b618ca5c2f07c97a60ddd0e6c2af/p…
2025-11-10 17:42:21 +0000 <tomsmeding> tbh V}:s
2025-11-10 17:42:38 +0000trickard_trickard
2025-11-10 17:42:40 +0000 <tomsmeding> (if we're in vim lingo anyway)
2025-11-10 17:43:47 +0000 <haskellbridge> <Morj> I have empty lines in my functions ;-) But true
2025-11-10 17:43:57 +0000 <tomsmeding> V}}}:s
2025-11-10 17:44:19 +0000 <haskellbridge> <Morj> V/^\k<CR>:s
2025-11-10 17:44:24 +0000 <tomsmeding> but yeah it sounds like it should be perfectly fine to support that
2025-11-10 17:44:46 +0000 <tomsmeding> \k?
2025-11-10 17:45:15 +0000 <haskellbridge> <Morj> :help /\k - a keyword character
2025-11-10 17:45:26 +0000 <haskellbridge> <Morj> Like a smarter \w
2025-11-10 17:45:29 +0000 <tomsmeding> right I found that
2025-11-10 17:45:50 +0000 <tomsmeding> oh it matches essentially everything
2025-11-10 17:46:07 +0000 <tomsmeding> at least in haskell for me
2025-11-10 17:46:17 +0000 <tomsmeding> seems identical to \w
2025-11-10 17:46:46 +0000 <haskellbridge> <Morj> It doesn't match operator symbols, but it matches "'"
2025-11-10 17:47:05 +0000 <haskellbridge> <Morj> Which an identifier can't start with so \w would still work... Whatever
2025-11-10 17:47:36 +0000 <tomsmeding> oh I see
2025-11-10 17:49:00 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 17:49:08 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-10 17:49:19 +0000Googulator(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-10 17:58:37 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-11-10 18:00:40 +0000Googulator(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-10 18:00:42 +0000Googulator16(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 18:10:56 +0000edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds)
2025-11-10 18:13:43 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 250 seconds)
2025-11-10 18:18:28 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-10 18:20:49 +0000Googulator24(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 18:20:49 +0000Googulator16(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 18:24:00 +0000Googulator24Googulator
2025-11-10 18:30:35 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 18:30:42 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 18:32:18 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-11-10 18:33:36 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade)
2025-11-10 18:34:34 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-11-10 18:35:45 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-11-10 18:37:03 +0000img(~img@user/img) img
2025-11-10 18:38:24 +0000ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-10 18:42:03 +0000nschoe(~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) (Quit: ZNC 1.8.2 - https://znc.in)
2025-11-10 18:42:20 +0000nschoe(~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) nschoe
2025-11-10 18:47:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 18:48:47 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-10 18:50:44 +0000Googulator64(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 18:50:49 +0000Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 18:53:37 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds)
2025-11-10 18:54:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 19:05:27 +0000comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-11-10 19:10:31 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2025-11-10 19:20:05 +0000haritz(~hrtz@140.228.70.141)
2025-11-10 19:20:05 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2025-11-10 19:20:05 +0000haritz(~hrtz@user/haritz) haritz
2025-11-10 19:20:54 +0000weary-traveler(~user@user/user363627) user363627
2025-11-10 19:32:17 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-10 19:33:35 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-11-10 19:35:04 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-10 19:39:59 +0000itaipu(~itaipu@168.121.97.28) itaipu
2025-11-10 19:49:10 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-11-10 19:50:16 +0000califax(~califax@user/califx) califx
2025-11-10 19:50:45 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-10 19:58:12 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-11-10 19:59:12 +0000califax(~califax@user/califx) califx
2025-11-10 20:05:57 +0000Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-11-10 20:07:47 +0000edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2025-11-10 20:07:49 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 264 seconds)
2025-11-10 20:12:41 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-10 20:15:39 +0000Googulator78(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-10 20:17:50 +0000Googulator64(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 20:18:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 20:23:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 20:31:55 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2025-11-10 20:34:05 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2025-11-10 20:35:35 +0000Googulator78(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-10 20:35:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 20:35:42 +0000Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 20:40:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 20:50:42 +0000Googulator62(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 20:50:48 +0000Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 20:51:55 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds)
2025-11-10 20:53:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 20:53:37 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds)
2025-11-10 20:53:55 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-11-10 20:57:38 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-10 20:57:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 21:07:14 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-10 21:10:00 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit)
2025-11-10 21:10:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 21:10:29 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-10 21:10:41 +0000Googulator5(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:10:46 +0000Googulator62(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 21:14:38 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-11-10 21:14:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-10 21:25:40 +0000Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:25:47 +0000Googulator5(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 21:27:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 21:32:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-10 21:33:59 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-11-10 21:34:27 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-10 21:36:16 +0000Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:36:28 +0000Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 21:37:18 +0000Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-10 21:37:24 +0000Googulator13(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:40:06 +0000Googulator13(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-10 21:40:30 +0000Googulator13(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:43:26 +0000synchromesh(~john@2406:5a00:2412:2c00:c5a6:321c:259:76f2) (Read error: Connection reset by peer)
2025-11-10 21:44:13 +0000synchromesh(~john@2406:5a00:2412:2c00:c5a6:321c:259:76f2) synchromesh
2025-11-10 21:50:48 +0000Googulator13(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 21:50:49 +0000Googulator73(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 21:51:24 +0000sprout(~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds)
2025-11-10 21:56:30 +0000Zemy(~Zemy@72.178.108.235) (Remote host closed the connection)
2025-11-10 21:56:44 +0000Zemy(~Zemy@72.178.108.235)
2025-11-10 21:56:53 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-11-10 21:57:52 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-10 22:01:37 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-10 22:01:52 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-11-10 22:02:48 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-10 22:15:47 +0000Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-10 22:15:50 +0000Googulator73(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-10 22:20:58 +0000gf3(~gf3@user/gf3) (Ping timeout: 265 seconds)
2025-11-10 22:27:07 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-10 22:27:24 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-10 22:28:32 +0000gf3(~gf3@user/gf3) gf3
2025-11-10 22:28:43 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 260 seconds)
2025-11-10 22:30:32 +0000mange(~mange@user/mange) mange
2025-11-10 22:33:32 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection)
2025-11-10 22:38:44 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-11-10 22:39:03 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-11-10 22:40:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 22:40:21 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-10 22:46:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-10 22:49:16 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2025-11-10 22:49:53 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade)
2025-11-10 22:53:57 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-10 23:00:58 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-10 23:01:04 +0000tromp(~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-10 23:01:25 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 240 seconds)
2025-11-10 23:06:27 +0000bggd(~bgg@2a01:e0a:819:1510:285c:2d19:95b6:2c5) (Quit: std::move)
2025-11-10 23:16:01 +0000anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2025-11-10 23:18:37 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds)
2025-11-10 23:23:38 +0000shr\ke(~shrike@user/shrke:31298) (Remote host closed the connection)
2025-11-10 23:29:31 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-10 23:31:14 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-11-10 23:31:14 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-11-10 23:31:46 +0000Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2025-11-10 23:31:47 +0000ec(~ec@gateway/tor-sasl/ec) ec
2025-11-10 23:31:55 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-11-10 23:32:28 +0000Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-11-10 23:32:33 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2025-11-10 23:42:53 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-10 23:50:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-10 23:55:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-10 23:55:25 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-10 23:57:53 +0000Square3(~Square@user/square) Square
2025-11-10 23:58:19 +0000malte(~malte@mal.tc) (Remote host closed the connection)