2024/04/20

2024-04-20 00:01:46 +0200Lycurgus(~georg@user/Lycurgus)
2024-04-20 00:02:30 +0200 <Lycurgus> daniel dennett died
2024-04-20 00:03:32 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-20 00:05:58 +0200mei(~mei@user/mei)
2024-04-20 00:08:49 +0200akshar(~user@209.94.142.169) (Killed buffer)
2024-04-20 00:12:55 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-04-20 00:16:22 +0200pavonia(~user@user/siracusa)
2024-04-20 00:17:12 +0200haffstache(haffstache@user/haffstache)
2024-04-20 00:25:02 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 256 seconds)
2024-04-20 00:30:03 +0200sudden(~cat@user/sudden) (Ping timeout: 268 seconds)
2024-04-20 00:34:08 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-04-20 00:38:41 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-04-20 00:41:25 +0200sudden(~cat@user/sudden)
2024-04-20 00:41:51 +0200elbear(~lucian@79.118.150.93)
2024-04-20 00:46:42 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 268 seconds)
2024-04-20 00:54:19 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds)
2024-04-20 01:01:47 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-04-20 01:10:01 +0200destituion(~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) (Read error: Connection reset by peer)
2024-04-20 01:10:18 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d)
2024-04-20 01:13:54 +0200bilegeek(~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e)
2024-04-20 01:22:53 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-04-20 01:25:16 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 01:33:46 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-04-20 01:47:20 +0200haffstache(haffstache@user/haffstache) (Quit: WeeChat 4.2.2)
2024-04-20 01:52:24 +0200mima(~mmh@aftr-62-216-211-176.dynamic.mnet-online.de) (Ping timeout: 260 seconds)
2024-04-20 01:57:55 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 256 seconds)
2024-04-20 01:58:35 +0200destituion(~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541)
2024-04-20 01:59:45 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-20 02:00:42 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-04-20 02:00:44 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-04-20 02:01:11 +0200ec(~ec@gateway/tor-sasl/ec)
2024-04-20 02:06:14 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
2024-04-20 02:06:50 +0200driib(~driib@vmi931078.contaboserver.net)
2024-04-20 02:08:03 +0200V(~v@ircpuzzles/2022/april/winner/V)
2024-04-20 02:14:48 +0200destituion(~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) (Ping timeout: 260 seconds)
2024-04-20 02:15:09 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1)
2024-04-20 02:17:00 +0200V(~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 245 seconds)
2024-04-20 02:28:06 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-20 02:28:16 +0200r5c4571lh01987(rscastilho@179.221.142.8)
2024-04-20 02:28:26 +0200r5c4571lh01987(rscastilho@179.221.142.8) (Remote host closed the connection)
2024-04-20 02:29:10 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-04-20 02:29:24 +0200[Leary](~Leary]@user/Leary/x-0910699)
2024-04-20 02:30:32 +0200mei(~mei@user/mei)
2024-04-20 02:31:32 +0200sudden(~cat@user/sudden) (Ping timeout: 268 seconds)
2024-04-20 02:31:51 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-04-20 02:35:02 +0200V(~v@ircpuzzles/2022/april/winner/V)
2024-04-20 02:46:12 +0200sudden(~cat@user/sudden)
2024-04-20 02:54:28 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-04-20 02:58:56 +0200Annabissa17(~Annabissa@105.155.179.248)
2024-04-20 03:01:07 +0200sabrinsaa14(~sabrinsaa@105.155.179.248)
2024-04-20 03:01:07 +0200 <sabrinsaa14> HIzzzzzzzzz
2024-04-20 03:01:10 +0200 <sabrinsaa14> HIzzzzzzzzz
2024-04-20 03:01:15 +0200sabrinsaa14(~sabrinsaa@105.155.179.248) (Remote host closed the connection)
2024-04-20 03:07:47 +0200V(~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 272 seconds)
2024-04-20 03:22:43 +0200Annabissa17(~Annabissa@105.155.179.248) (Ping timeout: 268 seconds)
2024-04-20 03:25:50 +0200TonyStone(~TonyStone@user/TonyStone) (Quit: Leaving)
2024-04-20 03:27:04 +0200V(~v@ircpuzzles/2022/april/winner/V)
2024-04-20 03:27:52 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 03:32:00 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-04-20 03:41:59 +0200otto_s(~user@p5de2fb1c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-04-20 03:43:30 +0200otto_s(~user@p4ff27c3b.dip0.t-ipconnect.de)
2024-04-20 04:04:03 +0200myxokephale(~myxos@172.93.132.84)
2024-04-20 04:05:44 +0200myxos(~myxos@65.28.251.121) (Ping timeout: 252 seconds)
2024-04-20 04:21:28 +0200myxos(~myxos@65.28.251.121)
2024-04-20 04:21:55 +0200myxokephale(~myxos@172.93.132.84) (Ping timeout: 268 seconds)
2024-04-20 04:23:09 +0200shaghomey(~shaghomey@user/shaghomey)
2024-04-20 04:29:55 +0200myxos(~myxos@65.28.251.121) (Ping timeout: 245 seconds)
2024-04-20 04:29:58 +0200myxokephale(~myxos@172.93.132.84)
2024-04-20 04:32:51 +0200internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
2024-04-20 04:33:31 +0200philopsos(~caecilius@user/philopsos)
2024-04-20 04:34:51 +0200myxokephale(~myxos@172.93.132.84) (Remote host closed the connection)
2024-04-20 04:40:57 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-04-20 04:41:02 +0200td_(~td@i53870920.versanet.de) (Ping timeout: 268 seconds)
2024-04-20 04:42:15 +0200td_(~td@i5387091E.versanet.de)
2024-04-20 04:44:46 +0200califax_(~califax@user/califx)
2024-04-20 04:44:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-04-20 04:46:05 +0200califax_califax
2024-04-20 04:48:37 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-04-20 04:54:09 +0200Xe(~cadey@perl/impostor/xe) (Ping timeout: 256 seconds)
2024-04-20 05:01:00 +0200shaghomey(~shaghomey@user/shaghomey) ()
2024-04-20 05:04:02 +0200myxos(~myxos@172.93.132.84)
2024-04-20 05:07:16 +0200Xe(~cadey@perl/impostor/xe)
2024-04-20 05:17:25 +0200ridcully(~ridcully@pd951f456.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-04-20 05:17:53 +0200ridcully(~ridcully@p508ac8f2.dip0.t-ipconnect.de)
2024-04-20 05:18:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds)
2024-04-20 05:20:08 +0200Inst(~Inst@user/Inst)
2024-04-20 05:21:00 +0200 <Inst> Curious, does it matter at all that both ReaderT and the ((->) r) monad have (const id <$ a) <*> b as an instance for then?
2024-04-20 05:21:23 +0200 <Inst> I might have that code wrong, but in degrades into _ <*> b = b
2024-04-20 05:21:29 +0200 <Inst> I'm wondering if Hasklel optimizes this properly
2024-04-20 05:22:17 +0200 <Inst> also, does the reader / function monad have any implications for laziness? And is there much loss if you resort to using ( (->) r ) in lieu of closures?
2024-04-20 05:24:51 +0200trev(~trev@user/trev)
2024-04-20 05:36:50 +0200bilegeek(~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving)
2024-04-20 05:36:52 +0200aforemny_(~aforemny@2001:9e8:6cd6:500:e763:a78e:e89e:9c7f)
2024-04-20 05:38:16 +0200aforemny(~aforemny@i59F516F6.versanet.de) (Ping timeout: 260 seconds)
2024-04-20 05:40:33 +0200bilegeek(~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e)
2024-04-20 05:46:35 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 245 seconds)
2024-04-20 05:51:38 +0200notzmv(~daniel@user/notzmv)
2024-04-20 05:56:34 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 06:01:09 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-04-20 06:02:48 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-20 06:03:15 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-20 06:03:27 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 06:05:14 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-04-20 06:08:36 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 268 seconds)
2024-04-20 06:09:04 +0200Eoco(~ian@128.101.131.218)
2024-04-20 06:12:24 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-04-20 06:14:23 +0200peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds)
2024-04-20 06:16:51 +0200Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-04-20 06:17:30 +0200Eoco(~ian@128.101.131.218)
2024-04-20 06:19:38 +0200michalz(~michalz@185.246.207.197)
2024-04-20 06:25:27 +0200Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-04-20 06:27:15 +0200Eoco(~ian@128.101.131.218)
2024-04-20 06:35:07 +0200Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-04-20 06:35:29 +0200Eoco(~ian@128.101.131.218)
2024-04-20 06:40:29 +0200danza(~francesco@151.35.109.129)
2024-04-20 06:44:23 +0200Eoco(~ian@128.101.131.218) (Remote host closed the connection)
2024-04-20 06:53:06 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-04-20 06:53:35 +0200rvalue(~rvalue@user/rvalue)
2024-04-20 06:53:45 +0200Eoco(~ian@128.101.131.218)
2024-04-20 06:56:22 +0200Eoco(~ian@128.101.131.218) (Client Quit)
2024-04-20 06:58:59 +0200elbear(~lucian@79.118.150.93)
2024-04-20 07:02:39 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-20 07:20:53 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-04-20 07:34:22 +0200lol_jcarpenter2
2024-04-20 07:39:00 +0200monochrom(trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-04-20 07:50:21 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-04-20 07:53:26 +0200monochrom(~trebla@216.138.220.146)
2024-04-20 08:03:43 +0200zetef(~quassel@109.166.183.50)
2024-04-20 08:05:14 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2024-04-20 08:06:34 +0200echoreply(~echoreply@45.32.163.16)
2024-04-20 08:07:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-04-20 08:10:33 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-04-20 08:15:57 +0200monochrom(~trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-04-20 08:16:13 +0200monochrom(trebla@216.138.220.146)
2024-04-20 08:24:15 +0200zetef(~quassel@109.166.183.50) (Remote host closed the connection)
2024-04-20 08:24:37 +0200zetef(~quassel@109.166.183.50)
2024-04-20 08:28:04 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-04-20 08:29:30 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds)
2024-04-20 08:34:05 +0200zetef(~quassel@109.166.183.50) (Ping timeout: 245 seconds)
2024-04-20 08:37:13 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 268 seconds)
2024-04-20 08:39:47 +0200philopsos(~caecilius@user/philopsos)
2024-04-20 08:40:18 +0200danza(~francesco@151.35.109.129) (Ping timeout: 268 seconds)
2024-04-20 08:44:25 +0200euphores(~SASL_euph@user/euphores)
2024-04-20 08:53:04 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-04-20 08:59:49 +0200bilegeek(~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving)
2024-04-20 09:02:44 +0200zetef(~quassel@109.166.183.50)
2024-04-20 09:04:43 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-04-20 09:06:19 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 256 seconds)
2024-04-20 09:08:51 +0200internatetional_(~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20)
2024-04-20 09:09:41 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9)
2024-04-20 09:09:44 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-04-20 09:11:45 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 268 seconds)
2024-04-20 09:13:55 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-04-20 09:16:10 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 245 seconds)
2024-04-20 09:22:00 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 245 seconds)
2024-04-20 09:24:23 +0200tv(~tv@user/tv) (Ping timeout: 260 seconds)
2024-04-20 09:24:55 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 09:36:55 +0200Eoco(~ian@128.101.131.218)
2024-04-20 09:38:15 +0200zetef(~quassel@109.166.183.50) (Quit: No Ping reply in 180 seconds.)
2024-04-20 09:38:26 +0200tv(~tv@user/tv)
2024-04-20 09:38:49 +0200elbear(~lucian@79.118.150.93)
2024-04-20 09:40:48 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-04-20 09:41:00 +0200zetef(~quassel@86.124.190.220)
2024-04-20 09:43:05 +0200gmg(~user@user/gehmehgeh)
2024-04-20 09:43:16 +0200aljazmc(~aljazmc@user/aljazmc)
2024-04-20 09:43:40 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 09:46:22 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-04-20 09:55:25 +0200elbear(~lucian@79.118.150.93)
2024-04-20 10:05:20 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 10:05:31 +0200zetef(~quassel@86.124.190.220) (Ping timeout: 246 seconds)
2024-04-20 10:06:05 +0200zetef(~quassel@109.166.183.50)
2024-04-20 10:17:05 +0200AlexNoo_(~AlexNoo@178.34.161.189)
2024-04-20 10:17:31 +0200elbear(~lucian@79.118.150.93)
2024-04-20 10:20:23 +0200AlexZenon(~alzenon@178.34.161.237) (Ping timeout: 264 seconds)
2024-04-20 10:20:59 +0200AlexNoo(~AlexNoo@178.34.161.237) (Ping timeout: 264 seconds)
2024-04-20 10:23:51 +0200AlexZenon(~alzenon@178.34.161.189)
2024-04-20 10:36:17 +0200damax(~damax@gateway/tor-sasl/damax)
2024-04-20 10:37:28 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-04-20 10:44:59 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 264 seconds)
2024-04-20 10:46:04 +0200AlexNoo_AlexNoo
2024-04-20 10:47:09 +0200 <damax> Hello everyone, I'm having some problems making HLS work properly on VS Code with the Haskell extension. It had been working quite well for the longest time, up until yesterday, when I came back after not being able to code with it for a couple months. I upgraded to the latest versions of everything (I now use ghcup 0.1.22.0, stack 2.15.5, hls 2.7.0.0, cabal 3.10.3.0 and ghc 9.8.2), and now for some reason
2024-04-20 10:47:16 +0200 <damax> it seems like hls does not load hlint specifically (and potentially other plugins, I didn't check), and that's bothering me. I'm on arch linux with kernel 6.8.7-zen1-1-zen, visual-studio-code-bin 1.88.1-1, Haskell extension v2.4.3 (with Haskell Syntax Highlighting by Justus Adam v3.6.0. This is the output of my workspace and the user settings for the haskell extension https://paste.tomsmeding.com/tBPn3Zg7
2024-04-20 10:48:20 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-04-20 10:52:53 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds)
2024-04-20 10:57:15 +0200elbear(~lucian@79.118.150.93)
2024-04-20 11:00:11 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 11:02:03 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 256 seconds)
2024-04-20 11:03:53 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-04-20 11:04:53 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-04-20 11:15:38 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-04-20 11:15:49 +0200elbear(~lucian@79.118.150.93)
2024-04-20 11:18:31 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-04-20 11:20:16 +0200euphores(~SASL_euph@user/euphores)
2024-04-20 11:20:59 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 264 seconds)