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)
2024-04-20 11:26:03 +0200divya(~user@202.170.201.110)
2024-04-20 11:27:21 +0200Guest94(~Guest85@209.38.140.204)
2024-04-20 11:29:25 +0200 <Guest94> hello everyone . when i write haskell in vscode . the HLS tell me
2024-04-20 11:29:25 +0200 <Guest94> Could not load module ‘Diagrams.Prelude’
2024-04-20 11:29:26 +0200 <Guest94> It is a member of the hidden package ‘diagrams-lib-1.4.6.1’.
2024-04-20 11:29:26 +0200 <Guest94> You can run ‘:set -package diagrams-lib’ to expose it.
2024-04-20 11:29:27 +0200 <Guest94> at import Diagrams.Prelude
2024-04-20 11:29:27 +0200 <Guest94> please how can i solve this
2024-04-20 11:29:55 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 245 seconds)
2024-04-20 11:33:35 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 264 seconds)
2024-04-20 11:33:50 +0200elbear(~lucian@79.118.150.93)
2024-04-20 11:36:11 +0200 <SteelBlueSilk> Guest94, define it as a dependency using stack or just cabal. i think ive noticed if you go the only-cabal route you want an hie.yaml file.
2024-04-20 11:37:30 +0200 <SteelBlueSilk> Guest94, it's hidden because while it is installed in your maybe site-wide cabal setup (or whatever), it is not available for your project
2024-04-20 11:38:45 +0200 <Guest94> oh . i exactly use it in only-cabal route
2024-04-20 11:38:59 +0200 <Guest94> i well learn how to use .yaml file
2024-04-20 11:39:03 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-04-20 11:39:12 +0200 <Guest94> will
2024-04-20 11:39:17 +0200 <Guest94> thank you!
2024-04-20 11:46:49 +0200driib(~driib@vmi931078.contaboserver.net)
2024-04-20 11:52:15 +0200 <divya> How do y'all feel about the tooling in Haskell, compared to that of Rust? I recently have been playing around Rust and its error management and tooling in general seems pretty good.
2024-04-20 11:55:32 +0200 <Rembane> Rust has generally better tooling than Haskell in my experience.
2024-04-20 11:56:28 +0200 <divya> But, how can we improve? I think it should be improved.
2024-04-20 11:58:45 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-04-20 11:58:58 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
2024-04-20 11:59:37 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-04-20 12:02:20 +0200 <Rembane> I would love for Brittany to still be maintained and for the HLS to work a bit better with my editor than it does, but I don't do Haskell-programming on a level where I really use that kind of tooling at the moment, so I'm not target audience.
2024-04-20 12:02:54 +0200 <divya> What editor do you use? On Emacs I've never had any issues.
2024-04-20 12:03:41 +0200tv(~tv@user/tv) (Ping timeout: 252 seconds)
2024-04-20 12:05:03 +0200 <Rembane> Neovim, but I think it's more about finding the right version of HLS
2024-04-20 12:05:23 +0200zetef(~quassel@109.166.183.50) (Ping timeout: 260 seconds)
2024-04-20 12:05:28 +0200 <damax> On vs code, weirdly enough I now have that problem I wrote above about hls not loading hlint suggestions
2024-04-20 12:14:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-04-20 12:14:50 +0200 <dminuoso> 09:56:29 divya │ But, how can we improve? I think it should be improved.
2024-04-20 12:15:11 +0200 <dminuoso> Improve adoption. The only reason rust has better tooling is because it has far more users and industry usage, so it receives more attention by community and industry alike.
2024-04-20 12:15:35 +0200 <dminuoso> Of course this is a chicken-and-egg type of problem.
2024-04-20 12:16:07 +0200 <dminuoso> Better adoption drives development of better tools. Better tools drive adoption.
2024-04-20 12:16:23 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-04-20 12:16:33 +0200 <dminuoso> The only question is whether we have a positive or negative rate of development.
2024-04-20 12:17:01 +0200tv(~tv@user/tv)
2024-04-20 12:18:17 +0200euleritian(~euleritia@dynamic-176-006-188-053.176.6.pool.telefonica.de)
2024-04-20 12:24:32 +0200sawilagar(~sawilagar@user/sawilagar)
2024-04-20 12:26:47 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 252 seconds)
2024-04-20 12:29:42 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 268 seconds)
2024-04-20 12:37:44 +0200elbear(~lucian@79.118.150.93)
2024-04-20 12:42:56 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 260 seconds)
2024-04-20 12:43:28 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-04-20 12:44:24 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-04-20 12:46:24 +0200Lord_of_Life_Lord_of_Life
2024-04-20 12:47:15 +0200akegalj(~akegalj@95.168.107.42)
2024-04-20 12:47:29 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it)
2024-04-20 12:51:03 +0200alexherbo2(~alexherbo@2a02-8440-3418-6d75-9cce-1cc6-2bc4-3240.rev.sfr.net)
2024-04-20 12:52:49 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
2024-04-20 12:53:09 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it)
2024-04-20 12:54:59 +0200elbear(~lucian@79.118.150.93)
2024-04-20 12:59:55 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 268 seconds)
2024-04-20 13:01:40 +0200euleritian(~euleritia@dynamic-176-006-188-053.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-20 13:01:57 +0200euleritian(~euleritia@77.22.252.56)
2024-04-20 13:03:12 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
2024-04-20 13:03:43 +0200titibandit(~titibandi@user/titibandit)
2024-04-20 13:04:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-20 13:05:10 +0200zetef(~quassel@109.166.183.50)
2024-04-20 13:12:23 +0200 <duncan> There is something abstract that I would call 'momentum', which it has in the way that the previous semi-fad-language doesn't (go)
2024-04-20 13:13:03 +0200 <duncan> I think it's related to good documentation (which they seemed to pursue from the start) and community building (which is quite abstract)
2024-04-20 13:13:24 +0200 <duncan> and because it was new, there were fewer pre-conceived notions about what it would be
2024-04-20 13:27:07 +0200elbear(~lucian@79.118.150.93)
2024-04-20 13:30:27 +0200CiaoSen(~Jura@2a05:5800:2a0:7b00:e6b9:7aff:fe80:3d03)
2024-04-20 13:31:08 +0200Guest13(~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net)
2024-04-20 13:31:54 +0200 <Guest13> can I get some help with a beginner Haskell question
2024-04-20 13:32:46 +0200 <ncf> https://dontasktoask.com/
2024-04-20 13:34:05 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 13:36:10 +0200 <Guest13> I am trying to complete aoc2023, and am on day 3. I am not sure why this isn't working how I think it should:
2024-04-20 13:36:11 +0200 <Guest13> "part2 input = foldr go initialCards (zip [1..1] wins)
2024-04-20 13:36:11 +0200 <Guest13>   where wins = parseInput input
2024-04-20 13:36:12 +0200 <Guest13>         initialCards = zip [1..] . take (length wins) $ (repeat 1)
2024-04-20 13:36:12 +0200 <Guest13>         go (i,win) acc = map (\(i',copies) -> if i' `elem` [i+1 .. i+win] then (i', copies+multiplier) else (i', copies)) acc
2024-04-20 13:36:13 +0200 <Guest13>           where multiplier = snd $ acc!!(i-1)
2024-04-20 13:36:13 +0200 <Guest13> "
2024-04-20 13:36:14 +0200 <Guest13> at the top I set zip [1..] to get my solution, but am working step by step through the fold. as far as I can tell, multiplier is set to 1 for each entry and never updated as I want it to get this number from acc at each step.
2024-04-20 13:37:05 +0200 <Guest13> wins is [Int], and the accumulator is [(index, #copies)]
2024-04-20 13:37:24 +0200 <ski> > [1..1]
2024-04-20 13:37:25 +0200 <lambdabot> [1]
2024-04-20 13:37:49 +0200ncf. o O ( 2023 day 3 isn't about cards )
2024-04-20 13:37:55 +0200 <Guest13> day 4 sorry
2024-04-20 13:38:27 +0200 <Guest13> I've looked at an example solution but can't see why this doesn't work
2024-04-20 13:38:58 +0200 <Guest13> it correctly updates the right number of cards, but instead of copies+multipler it is copies+1
2024-04-20 13:39:27 +0200 <Guest13> when I have 5 of a card, I want to create 5 copies for each win
2024-04-20 13:39:27 +0200 <ski> take (length wins) (repeat 1) = replicate (length wins) 1
2024-04-20 13:42:07 +0200 <Guest13> initial cards should be [(1,1)] for each card, representing its (index, number of copies). at each step, for each copy of the current card I want to add a copy to the next (win) cards
2024-04-20 13:42:09 +0200 <ski> i' `elem` [i+1 .. i+win] = inRange (i+1,i+win) i'
2024-04-20 13:43:37 +0200internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1)
2024-04-20 13:44:13 +0200Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2024-04-20 13:44:23 +0200 <ski> you could use `splitAt' in `go', instead of mucking around with `!!' and `elem' (or `inRange')
2024-04-20 13:46:42 +0200 <Guest13> probably, but I still don't know why it doesn't work
2024-04-20 13:46:56 +0200 <ski> did you check the first thing i said ?
2024-04-20 13:47:15 +0200 <Guest13> [1..1]?
2024-04-20 13:47:18 +0200 <ski> yes
2024-04-20 13:47:32 +0200 <Guest13> this is to step through the fold 1 step at a time while I was debugging
2024-04-20 13:47:38 +0200 <ski> > zip [1..1] [2,3,5,7,11,13,17,19]
2024-04-20 13:47:39 +0200 <lambdabot> [(1,2)]
2024-04-20 13:48:05 +0200elbear(~lucian@79.118.150.93)
2024-04-20 13:48:14 +0200Ranhir(~Ranhir@157.97.53.139)
2024-04-20 13:48:33 +0200skiwaits for the needle to drop
2024-04-20 13:48:36 +0200 <Guest13> I process each win in each step of the fold and was checking the first step, then 1..2 then etc
2024-04-20 13:48:47 +0200 <Guest13> when I change it to 1.. it doesn't fix my code
2024-04-20 13:48:58 +0200 <ski> presumably there are multiple issues
2024-04-20 13:49:02 +0200 <Guest13> definitely
2024-04-20 13:49:28 +0200 <Guest13> I am just using the [1..] to see the result of 1 step of the folder go
2024-04-20 13:49:38 +0200 <Guest13> and the first step is correct
2024-04-20 13:49:41 +0200 <Guest13> the second step is wrong
2024-04-20 13:50:37 +0200 <Guest13> first step: [(1,1),(2,2),(3,2),(4,2),(5,2),(6,1)]
2024-04-20 13:50:37 +0200 <Guest13> second step: [(1,1),(2,2),(3,3),(4,3),(5,2),(6,1)]
2024-04-20 13:50:38 +0200 <Guest13> third step: [(1,1),(2,2),(3,3),(4,4),(5,3),(6,1)]
2024-04-20 13:51:28 +0200 <ncf> did you forget to multiply the multiplier?
2024-04-20 13:51:54 +0200 <Guest13> the second step should see that there are two copies of the second card (which has 2 wins) and add +2 to the 3rd and 4th element
2024-04-20 13:52:25 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 13:52:26 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-20 13:52:27 +0200 <Guest13> uhh multiplier is a bad name I think. multiplier is the number of copies of the card at each step
2024-04-20 13:52:37 +0200 <Guest13> and I want to add 1*multipler
2024-04-20 13:52:47 +0200 <Guest13> so for each card, add 1
2024-04-20 13:53:37 +0200 <ncf> oh i think your i-1 should be i
2024-04-20 13:53:58 +0200 <Guest13> is the list in Haskell 0 index?
2024-04-20 13:54:02 +0200 <ski> "never updated" -- not too sure about this, yet
2024-04-20 13:54:04 +0200 <ncf> yes
2024-04-20 13:54:07 +0200 <ski> > [2,3,5,7] !! 0
2024-04-20 13:54:08 +0200 <lambdabot> 2
2024-04-20 13:54:41 +0200 <ncf> your code mentions i+1 and i-1 but never i; surely that smells like an off-by-one
2024-04-20 13:55:57 +0200 <Guest13> funnily enough changing it to I produces the same result
2024-04-20 13:56:01 +0200 <Guest13> which it shouldnt
2024-04-20 13:56:31 +0200 <Guest13> I feel like multiplier is set to 1 at the start and not updated in each step of the fold like I would want
2024-04-20 13:57:20 +0200 <ncf> you don't update things in haskell
2024-04-20 13:58:18 +0200 <Guest13> is multiplier set to the value at each step of fold?
2024-04-20 13:58:29 +0200 <Guest13> or before the fold starts it is set
2024-04-20 13:58:42 +0200 <ski> or, differently said, you update by making a new version, which differs in the way you wanted the "update"
2024-04-20 13:59:14 +0200 <ncf> it's defined in a where clause local to `go`, so you get a new value for each step of the fold
2024-04-20 13:59:32 +0200 <Guest13> this is what I would want
2024-04-20 13:59:40 +0200 <ski> "is multiplier set to the value at each step of fold?" -- yes. each step gets a new `acc', and `multiplier' depends on this particular `acc'
2024-04-20 14:00:50 +0200 <Guest13> first step: [(1,1),(2,2),(3,2),(4,2),(5,2),(6,1)]
2024-04-20 14:00:50 +0200 <Guest13> second step: [(1,1),(2,2),(3,3),(4,3),(5,2),(6,1)]
2024-04-20 14:00:51 +0200 <Guest13> third step: [(1,1),(2,2),(3,3),(4,4),(5,3),(6,1)]
2024-04-20 14:00:51 +0200 <Guest13> the correct second step should be [(1,1),(2,2),(3,4),(5,4),(6,1)]
2024-04-20 14:01:15 +0200 <Guest13> sorry, the correct second step should be [(1,1),(2,2),(3,4),(4,4),(5,2),(6,1)]
2024-04-20 14:01:52 +0200 <Guest13> it updates the correct values but it should be a +2 because multiplier = snd(2,2)
2024-04-20 14:03:21 +0200 <ncf> can you post a reproducer on https://play.haskell.org/ ?
2024-04-20 14:04:44 +0200 <Guest13> https://play.haskell.org/saved/Fw88Z29V
2024-04-20 14:06:01 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-04-20 14:06:23 +0200 <ncf> Main: input/04.txt: openFile: does not exist (No such file or directory)
2024-04-20 14:06:30 +0200 <Guest13> sorry let me put the test in string
2024-04-20 14:06:37 +0200 <Guest13> https://play.haskell.org/saved/pPbc3Jm5
2024-04-20 14:08:12 +0200 <Guest13> the desired output of the fold is [(1,1),(2,2),(3,4),(4,8),(5,14),(6,1)]
2024-04-20 14:09:53 +0200 <Guest13> not sure if it helps, but what I am trying to do is something like what I did in Rust:
2024-04-20 14:09:53 +0200 <Guest13> let mut cards_vec = vec![1; wins_vec.len()];
2024-04-20 14:09:54 +0200 <Guest13>     for (i, &win) in wins_vec.iter().enumerate() {
2024-04-20 14:09:54 +0200 <Guest13>         for j in 1..=win {
2024-04-20 14:09:55 +0200 <Guest13>             if (i + j as usize) < cards_vec.len() {
2024-04-20 14:09:55 +0200 <Guest13>                 cards_vec[i+j as usize] += 1 * cards_vec[I];
2024-04-20 14:09:56 +0200 <Guest13>             }
2024-04-20 14:09:56 +0200 <Guest13>         }
2024-04-20 14:09:57 +0200 <Guest13>     }
2024-04-20 14:10:43 +0200 <ncf> i think you want to traverse wins left-to-right, so use foldl instead of foldr
2024-04-20 14:11:05 +0200 <ncf> then i get [(1,1),(2,2),(3,4),(4,8),(5,12),(6,1)], a bit off from what you expect
2024-04-20 14:12:22 +0200 <Guest13> I think this is it yes
2024-04-20 14:12:29 +0200 <Guest13> I do want it to go from left to right
2024-04-20 14:12:57 +0200 <ncf> btw you can replace fold with scan to see the intermediate results
2024-04-20 14:13:11 +0200 <Guest13> scan?
2024-04-20 14:13:15 +0200 <Guest13> scanL?
2024-04-20 14:14:26 +0200 <Guest13> yes I've got the correct answer now thank you! I changed it to acc!!(I-1) also as well as using foldl
2024-04-20 14:14:54 +0200ph88(~ph88@91.64.63.48)
2024-04-20 14:15:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-04-20 14:15:16 +0200 <ph88> does the compiler optimize this function by short circuiting on Left? https://bpa.st/RNTQ
2024-04-20 14:15:20 +0200divya(~user@202.170.201.110) (Ping timeout: 245 seconds)
2024-04-20 14:15:36 +0200 <ncf> oh i see you already have an off-by-one since you're zipping with [1..] instead of [0..]
2024-04-20 14:15:40 +0200 <ncf> you should zip with [0..]
2024-04-20 14:15:51 +0200 <ph88> https://bpa.st/FXRA
2024-04-20 14:16:27 +0200 <Guest13> yes this would be better
2024-04-20 14:16:32 +0200 <Guest13> I think a map would be good also
2024-04-20 14:17:07 +0200 <Guest13> I understand that this works now I just need to understand foldl vs foldr
2024-04-20 14:17:24 +0200 <Guest13> thank you for the help!
2024-04-20 14:18:05 +0200elbear(~lucian@79.118.150.93)
2024-04-20 14:18:21 +0200 <ncf> fwiw there are simpler ways of solving this problem: instead of translating an imperative solution to haskell, you might try to compute the solution with a single fold
2024-04-20 14:18:41 +0200 <ncf> see glguy's solution for example: https://github.com/glguy/advent/blob/main/solutions/src/2023/04.hs#L55
2024-04-20 14:20:02 +0200 <ncf> ph88: what do you mean by short-circuiting here?
2024-04-20 14:20:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-20 14:20:58 +0200divya(~user@202.170.201.110)
2024-04-20 14:22:39 +0200 <Guest13> this solution looks really good, ill need to stare at it for a while though XD
2024-04-20 14:22:50 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 14:22:50 +0200 <Guest13> im not very good at Haskell yet
2024-04-20 14:24:19 +0200 <ph88> ncf, that if Left is found that it doesn't try the next value in the functor but stops immediately
2024-04-20 14:25:17 +0200Guest13(~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed)
2024-04-20 14:25:22 +0200alexherbo2(~alexherbo@2a02-8440-3418-6d75-9cce-1cc6-2bc4-3240.rev.sfr.net) (Remote host closed the connection)
2024-04-20 14:25:40 +0200 <ncf> that would yield different results if you had an infinite list (it would stop instead of diverging)
2024-04-20 14:27:26 +0200 <ncf> (and optimisation cannot change the meaning of a program, so the answer is no)
2024-04-20 14:27:35 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-04-20 14:28:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-04-20 14:28:31 +0200 <ph88> how can i make it to short?
2024-04-20 14:28:57 +0200 <ph88> shortEither :: Traversable t => (a -> Either e b) -> t a -> Either e (t b) shortEither = traverse this does short but is not a fold where i can pass an accumulator
2024-04-20 14:29:47 +0200akegalj(~akegalj@95.168.107.42) (Quit: leaving)
2024-04-20 14:29:49 +0200notzmv(~daniel@user/notzmv)
2024-04-20 14:32:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-04-20 14:34:17 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-04-20 14:34:24 +0200 <ncf> use foldlM or foldrM in the Either monad, presumably
2024-04-20 14:35:48 +0200 <ncf> foldlShortEither = foldlM
2024-04-20 14:36:39 +0200masaeedu(~masaeedu@user/masaeedu) (Read error: Connection reset by peer)
2024-04-20 14:42:24 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-04-20 14:42:36 +0200masaeedu(~masaeedu@user/masaeedu)
2024-04-20 14:45:34 +0200CiaoSen(~Jura@2a05:5800:2a0:7b00:e6b9:7aff:fe80:3d03) (Quit: CiaoSen)
2024-04-20 14:46:01 +0200elbear(~lucian@79.118.150.93)
2024-04-20 14:55:30 +0200Lears(~Leary]@user/Leary/x-0910699)
2024-04-20 14:55:56 +0200alexherbo2(~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net)
2024-04-20 14:57:48 +0200[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 260 seconds)
2024-04-20 15:05:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-04-20 15:06:57 +0200aljazmc(~aljazmc@user/aljazmc) (Remote host closed the connection)
2024-04-20 15:12:38 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2024-04-20 15:16:55 +0200myxokephale(~myxos@65.28.251.121)
2024-04-20 15:19:17 +0200myxos(~myxos@172.93.132.84) (Ping timeout: 272 seconds)
2024-04-20 15:20:15 +0200pukeGuest7257
2024-04-20 15:20:15 +0200pyooque(~puke@user/puke)
2024-04-20 15:20:15 +0200Guest7257(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2024-04-20 15:20:15 +0200pyooquepuke
2024-04-20 15:21:30 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-04-20 15:21:59 +0200puke(~puke@user/puke)
2024-04-20 15:23:31 +0200tremon(~tremon@83.80.159.219)
2024-04-20 15:24:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-20 15:28:31 +0200 <ph88> does anyone know of a script that generates pattern matching code based on a given value? Example, given: Just (Left "hello") code: case a of; Nothing -> undefined Just b -> case b of; Left c -> undefined; Right d -> undefined
2024-04-20 15:38:04 +0200danza(~francesco@151.43.8.9)
2024-04-20 15:40:54 +0200sukbeom(~sukbeom@121.172.255.83) (Quit: The Lounge - https://thelounge.chat)
2024-04-20 15:44:18 +0200puke(~puke@user/puke) (Quit: puke)
2024-04-20 15:45:36 +0200 <mauke> did you mean: ... Left c -> case c of { [] -> ...; '\0' : [] -> ...; '\1' : [] -> ...
2024-04-20 15:46:38 +0200sukbeom(~sukbeom@121.172.255.83)
2024-04-20 15:52:33 +0200 <ncf> :t (== Just (Left "hello"))
2024-04-20 15:52:34 +0200 <lambdabot> Eq b => Maybe (Either [Char] b) -> Bool
2024-04-20 15:54:55 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 15:58:48 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1)
2024-04-20 15:59:05 +0200danza(~francesco@151.43.8.9) (Ping timeout: 245 seconds)
2024-04-20 16:02:59 +0200zetef(~quassel@109.166.183.50) (Ping timeout: 272 seconds)
2024-04-20 16:11:31 +0200Guest94(~Guest85@209.38.140.204) (Quit: Client closed)
2024-04-20 16:14:16 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-04-20 16:16:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-20 16:19:04 +0200 <ph88> mauke, what's that ?
2024-04-20 16:19:06 +0200elbear(~lucian@79.118.150.93)
2024-04-20 16:20:36 +0200 <mauke> trying to unpack [] and Char (as a sum type) as well
2024-04-20 16:21:01 +0200 <ph88> I meant to generate pattern matching boilerplate based on a type. Like this example https://bpa.st/JWGA
2024-04-20 16:22:37 +0200 <mauke> Just (Left "hello") is really: Just (Left ((:) 'h' ((:) 'e' ((:) 'l' ((:) 'l' ((:) 'o' []))))))
2024-04-20 16:23:37 +0200 <ncf> i think haskell-language-server has a case split feature, similar to agda's
2024-04-20 16:24:54 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds)
2024-04-20 16:25:10 +0200 <ncf> or at least had one at some point https://github.com/haskell/haskell-language-server/pull/391
2024-04-20 16:28:53 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 240 seconds)
2024-04-20 16:30:53 +0200elbear(~lucian@79.118.150.93)
2024-04-20 16:32:54 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-04-20 16:35:41 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 240 seconds)
2024-04-20 16:48:31 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-04-20 16:49:43 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it)
2024-04-20 16:50:14 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-20 16:52:21 +0200sable(~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
2024-04-20 17:02:39 +0200elbear(~lucian@79.118.150.93)
2024-04-20 17:04:44 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
2024-04-20 17:08:57 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 252 seconds)
2024-04-20 17:09:30 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2024-04-20 17:18:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-20 17:18:45 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 256 seconds)
2024-04-20 17:20:14 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-04-20 17:22:16 +0200elbear(~lucian@79.118.150.93)
2024-04-20 17:23:49 +0200euleritian(~euleritia@dynamic-176-006-185-005.176.6.pool.telefonica.de)
2024-04-20 17:27:01 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 255 seconds)
2024-04-20 17:27:21 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-04-20 17:34:33 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2024-04-20 17:35:50 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Read error: Connection reset by peer)
2024-04-20 17:38:14 +0200elbear(~lucian@79.118.150.93)
2024-04-20 17:39:24 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-04-20 17:43:00 +0200hueso(~root@user/hueso) (Ping timeout: 260 seconds)
2024-04-20 17:43:41 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 272 seconds)
2024-04-20 17:43:44 +0200hueso(~root@user/hueso)
2024-04-20 17:45:08 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2024-04-20 17:46:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-20 17:54:51 +0200elbear(~lucian@79.118.150.93)
2024-04-20 18:00:45 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 245 seconds)
2024-04-20 18:01:03 +0200billchenchina(~billchenc@58.20.40.49)
2024-04-20 18:03:21 +0200billchenchina-(~billchenc@103.118.42.229)
2024-04-20 18:06:29 +0200billchenchina(~billchenc@58.20.40.49) (Ping timeout: 256 seconds)
2024-04-20 18:14:54 +0200elbear(~lucian@79.118.150.93)
2024-04-20 18:19:24 +0200elbear(~lucian@79.118.150.93) (Ping timeout: 260 seconds)
2024-04-20 18:35:59 +0200divya(~user@202.170.201.110) (Ping timeout: 264 seconds)
2024-04-20 18:36:09 +0200internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
2024-04-20 18:40:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-20 18:41:45 +0200Piedro(~Piedro@85.254.75.48)
2024-04-20 18:42:02 +0200 <Piedro> Hi, guys!
2024-04-20 18:42:42 +0200 <Piedro> I'm trying to pandoc-cli-3.1.13/setup --verbose=3 build
2024-04-20 18:42:51 +0200 <Piedro> But getting this error:
2024-04-20 18:43:01 +0200 <Piedro> <command line>: cannot satisfy -package-id pandoc-3.1.13-LrJCHeHIiEWDW6n9PXTgaH
2024-04-20 18:43:12 +0200 <Piedro> (use -v for more information)
2024-04-20 18:43:21 +0200 <Piedro> /usr/bin/ghc returned ExitFailure 1
2024-04-20 18:43:29 +0200 <Piedro> What is that? 🪓╰(‵□′)╯
2024-04-20 18:49:55 +0200haritzondo(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2024-04-20 18:51:15 +0200haritz(~hrtz@user/haritz) (Ping timeout: 256 seconds)
2024-04-20 18:52:24 +0200akshar(~user@209.94.142.169)
2024-04-20 18:54:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-20 18:55:38 +0200 <Piedro> Ok, https://github.com/gentoo-haskell/gentoo-haskell/issues/1469 ( ╹ -╹)?
2024-04-20 18:56:58 +0200billchenchina-(~billchenc@103.118.42.229) (Remote host closed the connection)
2024-04-20 18:57:06 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-04-20 18:58:09 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-04-20 19:02:00 +0200haritzondoharitz
2024-04-20 19:02:01 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2024-04-20 19:02:01 +0200haritz(~hrtz@user/haritz)
2024-04-20 19:12:10 +0200xdminsy(~xdminsy@117.147.70.233) (Quit: Konversation terminated!)
2024-04-20 19:12:36 +0200xdminsy(~xdminsy@117.147.70.233)
2024-04-20 19:14:14 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-04-20 19:14:50 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-04-20 19:15:58 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-04-20 19:16:50 +0200erty(~user@user/aeroplane)
2024-04-20 19:31:57 +0200__monty__(~toonn@user/toonn)
2024-04-20 19:35:02 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-04-20 19:42:14 +0200titibandit(~titibandi@user/titibandit)
2024-04-20 19:42:32 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2024-04-20 19:57:11 +0200Sgeo(~Sgeo@user/sgeo)
2024-04-20 20:02:51 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-04-20 20:05:05 +0200califax(~califax@user/califx)
2024-04-20 20:05:46 +0200target_i(~target_i@user/target-i/x-6023099)
2024-04-20 20:07:09 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-04-20 20:16:10 +0200internatetional_(~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 245 seconds)
2024-04-20 20:16:20 +0200internatetional_(~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20)
2024-04-20 20:23:05 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-04-20 20:23:16 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-04-20 20:23:16 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-04-20 20:24:15 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-04-20 20:24:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-04-20 20:25:19 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-04-20 20:31:32 +0200euleritian(~euleritia@dynamic-176-006-185-005.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-20 20:31:50 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-04-20 20:45:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-04-20 20:45:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-04-20 20:46:44 +0200z0e(~z0e@pool-173-61-230-85.cmdnnj.fios.verizon.net)
2024-04-20 20:48:54 +0200n8n(n8n@user/n8n) (Quit: WeeChat 4.2.2)
2024-04-20 20:54:44 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2024-04-20 20:55:24 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-04-20 20:55:36 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Client Quit)
2024-04-20 20:57:25 +0200philopsos(~caecilius@user/philopsos)
2024-04-20 21:11:49 +0200xdminsy(~xdminsy@117.147.70.233) (Read error: Connection reset by peer)
2024-04-20 21:21:24 +0200yin(~yin@user/zero) (Ping timeout: 260 seconds)
2024-04-20 21:24:10 +0200n8n(n8n@user/n8n)
2024-04-20 21:24:18 +0200n8n(n8n@user/n8n) (Client Quit)
2024-04-20 21:24:44 +0200n8n(n8n@user/n8n)
2024-04-20 21:25:24 +0200mima(~mmh@aftr-62-216-211-106.dynamic.mnet-online.de)
2024-04-20 21:26:06 +0200notzmv(~daniel@user/notzmv) (Read error: Connection reset by peer)
2024-04-20 21:30:02 +0200damax(~damax@gateway/tor-sasl/damax) ()
2024-04-20 21:30:45 +0200erty(~user@user/aeroplane) (Ping timeout: 245 seconds)
2024-04-20 21:33:57 +0200n8n(n8n@user/n8n) (Quit: WeeChat 4.2.2)
2024-04-20 21:35:26 +0200yin(~yin@user/zero)
2024-04-20 21:37:55 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-04-20 21:38:24 +0200rvalue(~rvalue@user/rvalue)
2024-04-20 21:39:51 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-20 21:41:24 +0200n8n(n8n@user/n8n)
2024-04-20 21:41:46 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 21:53:18 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-20 21:59:18 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-04-20 22:00:16 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-20 22:04:16 +0200pastly(~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
2024-04-20 22:04:59 +0200pastly(~pastly@gateway/tor-sasl/pastly)
2024-04-20 22:05:12 +0200alexherbo2(~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net) (Remote host closed the connection)
2024-04-20 22:05:40 +0200peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds)
2024-04-20 22:05:46 +0200alexherbo2(~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net)
2024-04-20 22:13:29 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-04-20 22:13:32 +0200puke(~puke@user/puke)
2024-04-20 22:18:56 +0200internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1)
2024-04-20 22:19:41 +0200n8n(n8n@user/n8n) (Quit: WeeChat 4.2.2)
2024-04-20 22:25:13 +0200sawilagar(~sawilagar@user/sawilagar)
2024-04-20 22:25:45 +0200yin(~yin@user/zero) (Ping timeout: 245 seconds)
2024-04-20 22:28:27 +0200yin(~yin@user/zero)
2024-04-20 22:44:45 +0200TonyStone(~TonyStone@user/TonyStone)
2024-04-20 23:03:29 +0200Piedro(~Piedro@85.254.75.48) (Remote host closed the connection)
2024-04-20 23:11:39 +0200pastly(~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
2024-04-20 23:12:11 +0200pastly(~pastly@gateway/tor-sasl/pastly)
2024-04-20 23:12:25 +0200mima(~mmh@aftr-62-216-211-106.dynamic.mnet-online.de) (Ping timeout: 245 seconds)
2024-04-20 23:19:36 +0200michalz(~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
2024-04-20 23:25:02 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-20 23:26:23 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-04-20 23:30:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-20 23:32:58 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-04-20 23:33:51 +0200Square(~Square@user/square)
2024-04-20 23:41:47 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-04-20 23:43:15 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 245 seconds)
2024-04-20 23:51:07 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-04-20 23:52:36 +0200ph88(~ph88@91.64.63.48) (Quit: Leaving)
2024-04-20 23:54:27 +0200titibandit(~titibandi@user/titibandit) (Read error: Connection reset by peer)
2024-04-20 23:58:37 +0200_________(~nobody@user/noodly) (Ping timeout: 272 seconds)
2024-04-20 23:59:02 +0200_________(~nobody@user/noodly)