2024-04-20 00:01:46 +0200 | Lycurgus | (~georg@user/Lycurgus) |
2024-04-20 00:02:30 +0200 | <Lycurgus> | daniel dennett died |
2024-04-20 00:03:32 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-20 00:05:58 +0200 | mei | (~mei@user/mei) |
2024-04-20 00:08:49 +0200 | akshar | (~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 +0200 | pavonia | (~user@user/siracusa) |
2024-04-20 00:17:12 +0200 | haffstache | (haffstache@user/haffstache) |
2024-04-20 00:25:02 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 256 seconds) |
2024-04-20 00:30:03 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 268 seconds) |
2024-04-20 00:34:08 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2024-04-20 00:38:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-20 00:41:25 +0200 | sudden | (~cat@user/sudden) |
2024-04-20 00:41:51 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 00:46:42 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 268 seconds) |
2024-04-20 00:54:19 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
2024-04-20 01:01:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-04-20 01:10:01 +0200 | destituion | (~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) (Read error: Connection reset by peer) |
2024-04-20 01:10:18 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
2024-04-20 01:13:54 +0200 | bilegeek | (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) |
2024-04-20 01:22:53 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-04-20 01:25:16 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-20 01:33:46 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-20 01:47:20 +0200 | haffstache | (haffstache@user/haffstache) (Quit: WeeChat 4.2.2) |
2024-04-20 01:52:24 +0200 | mima | (~mmh@aftr-62-216-211-176.dynamic.mnet-online.de) (Ping timeout: 260 seconds) |
2024-04-20 01:57:55 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 256 seconds) |
2024-04-20 01:58:35 +0200 | destituion | (~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) |
2024-04-20 01:59:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-20 02:00:42 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-04-20 02:00:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-04-20 02:01:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-04-20 02:06:14 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
2024-04-20 02:06:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2024-04-20 02:08:03 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
2024-04-20 02:14:48 +0200 | destituion | (~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) (Ping timeout: 260 seconds) |
2024-04-20 02:15:09 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
2024-04-20 02:17:00 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 245 seconds) |
2024-04-20 02:28:06 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-04-20 02:28:16 +0200 | r5c4571lh01987 | (rscastilho@179.221.142.8) |
2024-04-20 02:28:26 +0200 | r5c4571lh01987 | (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 +0200 | mei | (~mei@user/mei) |
2024-04-20 02:31:32 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 268 seconds) |
2024-04-20 02:31:51 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2024-04-20 02:35:02 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
2024-04-20 02:46:12 +0200 | sudden | (~cat@user/sudden) |
2024-04-20 02:54:28 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-04-20 02:58:56 +0200 | Annabissa17 | (~Annabissa@105.155.179.248) |
2024-04-20 03:01:07 +0200 | sabrinsaa14 | (~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 +0200 | sabrinsaa14 | (~sabrinsaa@105.155.179.248) (Remote host closed the connection) |
2024-04-20 03:07:47 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 272 seconds) |
2024-04-20 03:22:43 +0200 | Annabissa17 | (~Annabissa@105.155.179.248) (Ping timeout: 268 seconds) |
2024-04-20 03:25:50 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Quit: Leaving) |
2024-04-20 03:27:04 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
2024-04-20 03:27:52 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-20 03:32:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds) |
2024-04-20 03:41:59 +0200 | otto_s | (~user@p5de2fb1c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-04-20 03:43:30 +0200 | otto_s | (~user@p4ff27c3b.dip0.t-ipconnect.de) |
2024-04-20 04:04:03 +0200 | myxokephale | (~myxos@172.93.132.84) |
2024-04-20 04:05:44 +0200 | myxos | (~myxos@65.28.251.121) (Ping timeout: 252 seconds) |
2024-04-20 04:21:28 +0200 | myxos | (~myxos@65.28.251.121) |
2024-04-20 04:21:55 +0200 | myxokephale | (~myxos@172.93.132.84) (Ping timeout: 268 seconds) |
2024-04-20 04:23:09 +0200 | shaghomey | (~shaghomey@user/shaghomey) |
2024-04-20 04:29:55 +0200 | myxos | (~myxos@65.28.251.121) (Ping timeout: 245 seconds) |
2024-04-20 04:29:58 +0200 | myxokephale | (~myxos@172.93.132.84) |
2024-04-20 04:32:51 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2024-04-20 04:33:31 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-20 04:34:51 +0200 | myxokephale | (~myxos@172.93.132.84) (Remote host closed the connection) |
2024-04-20 04:40:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-04-20 04:41:02 +0200 | td_ | (~td@i53870920.versanet.de) (Ping timeout: 268 seconds) |
2024-04-20 04:42:15 +0200 | td_ | (~td@i5387091E.versanet.de) |
2024-04-20 04:44:46 +0200 | califax_ | (~califax@user/califx) |
2024-04-20 04:44:55 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-04-20 04:46:05 +0200 | califax_ | califax |
2024-04-20 04:48:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-04-20 04:54:09 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 256 seconds) |
2024-04-20 05:01:00 +0200 | shaghomey | (~shaghomey@user/shaghomey) () |
2024-04-20 05:04:02 +0200 | myxos | (~myxos@172.93.132.84) |
2024-04-20 05:07:16 +0200 | Xe | (~cadey@perl/impostor/xe) |
2024-04-20 05:17:25 +0200 | ridcully | (~ridcully@pd951f456.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-04-20 05:17:53 +0200 | ridcully | (~ridcully@p508ac8f2.dip0.t-ipconnect.de) |
2024-04-20 05:18:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
2024-04-20 05:20:08 +0200 | Inst | (~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 +0200 | trev | (~trev@user/trev) |
2024-04-20 05:36:50 +0200 | bilegeek | (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving) |
2024-04-20 05:36:52 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd6:500:e763:a78e:e89e:9c7f) |
2024-04-20 05:38:16 +0200 | aforemny | (~aforemny@i59F516F6.versanet.de) (Ping timeout: 260 seconds) |
2024-04-20 05:40:33 +0200 | bilegeek | (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) |
2024-04-20 05:46:35 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 245 seconds) |
2024-04-20 05:51:38 +0200 | notzmv | (~daniel@user/notzmv) |
2024-04-20 05:56:34 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-20 06:01:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-20 06:02:48 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-20 06:03:15 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-20 06:03:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-20 06:05:14 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-04-20 06:08:36 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
2024-04-20 06:09:04 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 06:12:24 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-20 06:14:23 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
2024-04-20 06:16:51 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-20 06:17:30 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 06:19:38 +0200 | michalz | (~michalz@185.246.207.197) |
2024-04-20 06:25:27 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-20 06:27:15 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 06:35:07 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-20 06:35:29 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 06:40:29 +0200 | danza | (~francesco@151.35.109.129) |
2024-04-20 06:44:23 +0200 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
2024-04-20 06:53:06 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-04-20 06:53:35 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-04-20 06:53:45 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 06:56:22 +0200 | Eoco | (~ian@128.101.131.218) (Client Quit) |
2024-04-20 06:58:59 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 07:02:39 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-04-20 07:20:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
2024-04-20 07:34:22 +0200 | lol_ | jcarpenter2 |
2024-04-20 07:39:00 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-04-20 07:50:21 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
2024-04-20 07:53:26 +0200 | monochrom | (~trebla@216.138.220.146) |
2024-04-20 08:03:43 +0200 | zetef | (~quassel@109.166.183.50) |
2024-04-20 08:05:14 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
2024-04-20 08:06:34 +0200 | echoreply | (~echoreply@45.32.163.16) |
2024-04-20 08:07:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-04-20 08:10:33 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-04-20 08:15:57 +0200 | monochrom | (~trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2024-04-20 08:16:13 +0200 | monochrom | (trebla@216.138.220.146) |
2024-04-20 08:24:15 +0200 | zetef | (~quassel@109.166.183.50) (Remote host closed the connection) |
2024-04-20 08:24:37 +0200 | zetef | (~quassel@109.166.183.50) |
2024-04-20 08:28:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-04-20 08:29:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
2024-04-20 08:34:05 +0200 | zetef | (~quassel@109.166.183.50) (Ping timeout: 245 seconds) |
2024-04-20 08:37:13 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
2024-04-20 08:39:47 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-04-20 08:40:18 +0200 | danza | (~francesco@151.35.109.129) (Ping timeout: 268 seconds) |
2024-04-20 08:44:25 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-20 08:53:04 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-20 08:59:49 +0200 | bilegeek | (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving) |
2024-04-20 09:02:44 +0200 | zetef | (~quassel@109.166.183.50) |
2024-04-20 09:04:43 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
2024-04-20 09:06:19 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 256 seconds) |
2024-04-20 09:08:51 +0200 | internatetional_ | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) |
2024-04-20 09:09:41 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) |
2024-04-20 09:09:44 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-04-20 09:11:45 +0200 | hgolden_ | (~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 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 245 seconds) |
2024-04-20 09:22:00 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
2024-04-20 09:24:23 +0200 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
2024-04-20 09:24:55 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 245 seconds) |
2024-04-20 09:36:55 +0200 | Eoco | (~ian@128.101.131.218) |
2024-04-20 09:38:15 +0200 | zetef | (~quassel@109.166.183.50) (Quit: No Ping reply in 180 seconds.) |
2024-04-20 09:38:26 +0200 | tv | (~tv@user/tv) |
2024-04-20 09:38:49 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 09:40:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-20 09:41:00 +0200 | zetef | (~quassel@86.124.190.220) |
2024-04-20 09:43:05 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-20 09:43:16 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
2024-04-20 09:43:40 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 245 seconds) |
2024-04-20 09:46:22 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
2024-04-20 09:55:25 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 10:05:20 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 245 seconds) |
2024-04-20 10:05:31 +0200 | zetef | (~quassel@86.124.190.220) (Ping timeout: 246 seconds) |
2024-04-20 10:06:05 +0200 | zetef | (~quassel@109.166.183.50) |
2024-04-20 10:17:05 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.189) |
2024-04-20 10:17:31 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 10:20:23 +0200 | AlexZenon | (~alzenon@178.34.161.237) (Ping timeout: 264 seconds) |
2024-04-20 10:20:59 +0200 | AlexNoo | (~AlexNoo@178.34.161.237) (Ping timeout: 264 seconds) |
2024-04-20 10:23:51 +0200 | AlexZenon | (~alzenon@178.34.161.189) |
2024-04-20 10:36:17 +0200 | damax | (~damax@gateway/tor-sasl/damax) |
2024-04-20 10:37:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-04-20 10:44:59 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 264 seconds) |
2024-04-20 10:46:04 +0200 | AlexNoo_ | 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 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-04-20 10:52:53 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-04-20 10:57:15 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 11:00:11 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-20 11:02:03 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 256 seconds) |
2024-04-20 11:03:53 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-04-20 11:04:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-04-20 11:15:38 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-04-20 11:15:49 +0200 | elbear | (~lucian@79.118.150.93) |
2024-04-20 11:18:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-04-20 11:20:16 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-04-20 11:20:59 +0200 | elbear | (~lucian@79.118.150.93) (Ping timeout: 264 seconds) |