| 2024-04-17 00:02:21 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-04-17 00:06:42 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 00:08:31 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 00:15:21 +0000 | vglfr | (~vglfr@139.47.115.46) (Ping timeout: 256 seconds) |
| 2024-04-17 00:20:34 +0000 | <cheater> | i need haskell to get a first-class FSM type |
| 2024-04-17 00:42:25 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 2024-04-17 00:43:12 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 00:47:47 +0000 | caubert_ | (~caubert@user/caubert) |
| 2024-04-17 00:49:03 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 2024-04-17 00:55:35 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-04-17 00:56:07 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-17 01:00:04 +0000 | Core4575 | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) |
| 2024-04-17 01:02:15 +0000 | rosco | (~rosco@aq028228.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 2024-04-17 01:03:41 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 240 seconds) |
| 2024-04-17 01:05:14 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-17 01:08:32 +0000 | kotrcka | (~user@ip-94-112-194-228.bb.vodafone.cz) |
| 2024-04-17 01:10:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-17 01:10:26 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 01:12:22 +0000 | mei | (~mei@user/mei) |
| 2024-04-17 01:14:44 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:15:16 +0000 | mima | (~mmh@aftr-62-216-211-171.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2024-04-17 01:16:47 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:16:51 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 01:18:43 +0000 | mei | (~mei@user/mei) |
| 2024-04-17 01:23:34 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:23:36 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:28:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:64dd:977c:c397:439c) (Ping timeout: 256 seconds) |
| 2024-04-17 01:33:21 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:42:30 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 01:43:43 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 01:45:54 +0000 | otto_s | (~user@p4ff2776b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-17 01:47:22 +0000 | otto_s | (~user@p4ff27d2e.dip0.t-ipconnect.de) |
| 2024-04-17 01:49:36 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-04-17 01:51:44 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-04-17 01:52:27 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 01:53:14 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 02:01:25 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 02:06:56 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 02:12:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-17 02:16:37 +0000 | beka | (~beka@2607:f598:bd4a:80:30ba:2fe6:f77e:af55) (Ping timeout: 268 seconds) |
| 2024-04-17 02:26:08 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-04-17 02:30:29 +0000 | myxos | (~myxos@65.28.251.121) (Remote host closed the connection) |
| 2024-04-17 02:31:43 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-04-17 02:38:23 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-17 02:40:51 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-17 02:43:52 +0000 | phma | (phma@2001:5b0:211f:3948:fcc0:5fe2:5111:f5f6) (Read error: Connection reset by peer) |
| 2024-04-17 02:44:04 +0000 | beka | (~beka@207.53.253.162) |
| 2024-04-17 02:44:22 +0000 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 268 seconds) |
| 2024-04-17 02:44:50 +0000 | phma | (phma@2001:5b0:210f:3f8:8fc8:ef37:29ba:76ce) |
| 2024-04-17 02:46:05 +0000 | td_ | (~td@i53870905.versanet.de) |
| 2024-04-17 02:51:38 +0000 | myxos | (~myxos@65.28.251.121) |
| 2024-04-17 02:54:07 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-04-17 02:55:51 +0000 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 02:57:36 +0000 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Client Quit) |
| 2024-04-17 02:57:59 +0000 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 02:59:17 +0000 | internatetional | (~Nate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Client Quit) |
| 2024-04-17 02:59:35 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 03:10:57 +0000 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-17 03:11:09 +0000 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-17 03:11:17 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 03:14:09 +0000 | internatetional | internatetional_ |
| 2024-04-17 03:17:55 +0000 | internatetional_ | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 03:19:26 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 03:25:47 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-17 03:42:47 +0000 | causal | (~eric@50.35.88.207) |
| 2024-04-17 03:50:31 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 03:52:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-17 03:56:45 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 03:57:47 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-04-17 03:58:26 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce7:3b00:8038:4ef8:85b4:e05b) |
| 2024-04-17 04:00:05 +0000 | aforemny | (~aforemny@i59F516ED.versanet.de) (Ping timeout: 272 seconds) |
| 2024-04-17 04:03:45 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2024-04-17 04:03:55 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-04-17 04:04:17 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-04-17 04:11:29 +0000 | mei | (~mei@user/mei) (Ping timeout: 272 seconds) |
| 2024-04-17 04:11:57 +0000 | mei | (~mei@user/mei) |
| 2024-04-17 04:33:10 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-04-17 04:33:49 +0000 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-04-17 04:58:18 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-17 04:58:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 04:58:31 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 05:03:14 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-04-17 05:03:41 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 05:07:16 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-04-17 05:08:40 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 268 seconds) |
| 2024-04-17 05:09:34 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 05:11:08 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-04-17 05:11:22 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 05:11:34 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-04-17 05:12:55 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-17 05:17:00 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-04-17 05:17:33 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 05:19:11 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 05:19:33 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 05:22:25 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-17 05:23:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-17 05:25:56 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-04-17 05:26:21 +0000 | euleritian | (~euleritia@dynamic-176-006-197-014.176.6.pool.telefonica.de) |
| 2024-04-17 05:29:30 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-17 05:30:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-17 05:33:35 +0000 | trev | (~trev@user/trev) (Ping timeout: 264 seconds) |
| 2024-04-17 05:43:12 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-17 05:45:53 +0000 | trev | (~trev@user/trev) |
| 2024-04-17 05:53:00 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-04-17 05:54:18 +0000 | beka | (~beka@207.53.253.162) (Ping timeout: 268 seconds) |
| 2024-04-17 06:01:49 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 06:09:40 +0000 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 06:18:35 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-17 06:21:01 +0000 | hsw_ | (~hsw@112-104-87-22.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2024-04-17 06:22:18 +0000 | Core4575 | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) (Read error: Connection reset by peer) |
| 2024-04-17 06:22:31 +0000 | rosco | (~rosco@p8546056-ipngn42801marunouchi.tokyo.ocn.ne.jp) |
| 2024-04-17 06:22:47 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-17 06:23:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 06:29:08 +0000 | mima | (~mmh@aftr-62-216-211-212.dynamic.mnet-online.de) |
| 2024-04-17 06:29:16 +0000 | rosco | (~rosco@p8546056-ipngn42801marunouchi.tokyo.ocn.ne.jp) (Ping timeout: 255 seconds) |
| 2024-04-17 06:30:35 +0000 | rosco | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) |
| 2024-04-17 06:36:38 +0000 | anon8697 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 256 seconds) |
| 2024-04-17 06:44:43 +0000 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Remote host closed the connection) |
| 2024-04-17 06:45:35 +0000 | danza | (~francesco@151.57.95.127) |
| 2024-04-17 06:47:28 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 06:48:43 +0000 | gnu-user | axioms |
| 2024-04-17 06:49:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 06:49:31 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 255 seconds) |
| 2024-04-17 06:50:41 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 06:50:47 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-04-17 06:57:10 +0000 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: axioms) |
| 2024-04-17 07:02:22 +0000 | tok | (~user@user/tok) |
| 2024-04-17 07:02:30 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-17 07:04:30 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 07:04:30 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-04-17 07:04:30 +0000 | finn_elija | FinnElija |
| 2024-04-17 07:05:08 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-04-17 07:05:47 +0000 | Athas_ | Athas |
| 2024-04-17 07:06:51 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 07:07:11 +0000 | zetef | (~quassel@5.2.182.99) (Ping timeout: 264 seconds) |
| 2024-04-17 07:08:05 +0000 | gnu-user_ | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 07:08:19 +0000 | gnu-user | axioms |
| 2024-04-17 07:09:09 +0000 | yeitrafferin | (~user@2a04:4540:7213:900:c613:abe2:afaf:9841) |
| 2024-04-17 07:09:09 +0000 | gnu-user_ | gnu-user |
| 2024-04-17 07:12:31 +0000 | rawles | (sid630849@user/rawles) () |
| 2024-04-17 07:14:07 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-04-17 07:18:14 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: gnu-user) |
| 2024-04-17 07:21:52 +0000 | rosco | (~rosco@2001:240:242f:d6eb:ca19:e23f:936a:839f) (Ping timeout: 268 seconds) |
| 2024-04-17 07:24:46 +0000 | acidjnk | (~acidjnk@p200300d6e714dc694defcfab5eaaea04.dip0.t-ipconnect.de) |
| 2024-04-17 07:26:53 +0000 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 240 seconds) |
| 2024-04-17 07:29:28 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 07:29:47 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 07:31:10 +0000 | danza | (~francesco@151.57.95.127) (Remote host closed the connection) |
| 2024-04-17 07:31:33 +0000 | danza | (~francesco@151.57.95.127) |
| 2024-04-17 07:37:33 +0000 | euleritian | (~euleritia@dynamic-176-006-197-014.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 07:37:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 07:37:54 +0000 | danza | (~francesco@151.57.95.127) (Ping timeout: 268 seconds) |
| 2024-04-17 07:45:00 +0000 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-17 07:48:11 +0000 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 07:51:46 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-17 07:53:07 +0000 | chele | (~chele@user/chele) |
| 2024-04-17 07:55:50 +0000 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
| 2024-04-17 07:56:31 +0000 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 08:02:43 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 08:03:01 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 08:13:54 +0000 | <carbolymer> | there was an alternative to HLS somewhere on github, but I can't find it |
| 2024-04-17 08:13:58 +0000 | <carbolymer> | anyone remembers the name? |
| 2024-04-17 08:15:15 +0000 | <probie> | ghcid? |
| 2024-04-17 08:16:46 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.237) |
| 2024-04-17 08:18:18 +0000 | AlexNoo | (~AlexNoo@178.34.161.66) (Ping timeout: 268 seconds) |
| 2024-04-17 08:18:35 +0000 | AlexZenon | (~alzenon@178.34.161.66) (Ping timeout: 256 seconds) |
| 2024-04-17 08:20:29 +0000 | <[Leary]> | carbolymer: perhaps https://github.com/josephsumabat/static-ls |
| 2024-04-17 08:21:02 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-17 08:21:03 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 08:22:05 +0000 | <carbolymer> | [Leary]: I think it was this one, thanks |
| 2024-04-17 08:22:39 +0000 | <carbolymer> | nice, it has hover, definition and references |
| 2024-04-17 08:22:47 +0000 | AlexZenon | (~alzenon@178.34.161.237) |
| 2024-04-17 08:23:07 +0000 | <carbolymer> | I was kinda hoping for some kind of imports management support |
| 2024-04-17 08:23:13 +0000 | <carbolymer> | I'm wasting too much time on that these days |
| 2024-04-17 08:24:25 +0000 | <jackdk> | I don't know why this bothers me so much less than it seems to bother everyone else, but Taylor Fausak released https://hackage.haskell.org/package/imp the other day |
| 2024-04-17 08:25:01 +0000 | <carbolymer> | nice |
| 2024-04-17 08:25:33 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 08:25:44 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-17 08:25:52 +0000 | <[Leary]> | IIRC there's a lot you can do for that with GHC alone; someone (DigitalKiwi?) had some helpful scripts on their website, but I can't find the URL. |
| 2024-04-17 08:28:35 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-17 08:28:47 +0000 | <carbolymer> | [Leary]: wdym? My main problem is that I'm making code changes, HLS get's puzzled by them, starts computing something for a minute or two and in the meantime I'm finishing my code chunk without HLS support and I have only imports left to fix: import new modules, remove redundant imports |
| 2024-04-17 08:29:02 +0000 | <carbolymer> | so I'm usually going to get some water or brush my teeth |
| 2024-04-17 08:29:06 +0000 | <carbolymer> | and hey, HLS is back! |
| 2024-04-17 08:29:26 +0000 | <carbolymer> | but how many times a day can you brush your teeth.... |
| 2024-04-17 08:29:46 +0000 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.1) |
| 2024-04-17 08:30:02 +0000 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 08:31:48 +0000 | <carbolymer> | jackdk: that's an interesting plugin, I'm wondering if HLS hover supports that if you use this plugin |
| 2024-04-17 08:33:12 +0000 | <[Leary]> | You can convince GHC to tell you what the minimal imports are with -ddump-minimal-imports. Someone wrote a script that used this to clean up the source file. |
| 2024-04-17 08:33:39 +0000 | <tomsmeding> | right, if you don't care about redundant imports while coding, note that HLS has a code action to import things |
| 2024-04-17 08:34:11 +0000 | <tomsmeding> | if you put your cursor on an undefined reference, you'll get a code action (depends on your editor how that shows up) giving you a choice of modules to import that thing from |
| 2024-04-17 08:34:28 +0000 | <tomsmeding> | the import will end up at the bottom of your imports list, but that's also something you can fix later if you want |
| 2024-04-17 08:34:38 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-17 08:36:34 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-17 08:37:09 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-17 08:38:04 +0000 | lol_ | (~lol@2603:3016:1e01:b940:bc60:e296:86fe:18c4) |
| 2024-04-17 08:38:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-17 08:40:33 +0000 | danse-nr3 | (~danse-nr3@151.57.95.127) |
| 2024-04-17 08:42:33 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b940:3051:a3eb:ad4f:f66) (Ping timeout: 272 seconds) |
| 2024-04-17 08:43:22 +0000 | <carbolymer> | tomsmeding: I know, but my main problem is that HLS is not catching up with my code changes :/ |
| 2024-04-17 08:43:39 +0000 | <carbolymer> | 80% of the time |
| 2024-04-17 08:43:41 +0000 | <tomsmeding> | that sounds like a completely separate problem concerning HLS' performance :p |
| 2024-04-17 08:43:54 +0000 | <jackdk> | I personally use a ghcid driver like dante to avoid HLS. |
| 2024-04-17 08:44:21 +0000 | <tomsmeding> | carbolymer: are you alternately making changes in modules that are very far apart in your module hierarchy, making HLS recompile a whole bunch of modules in between in order to catch up? |
| 2024-04-17 08:45:42 +0000 | <tomsmeding> | monochrom: one could say that DataKinds is, in fact, a quality-of-lift extension |
| 2024-04-17 08:45:43 +0000 | <carbolymer> | jackdk: can you link to dante? I'm only finding the dante from devil my cry in my search x_x |
| 2024-04-17 08:45:57 +0000 | <tomsmeding> | search for "emacs dante" |
| 2024-04-17 08:46:10 +0000 | <carbolymer> | tomsmeding: nope, but it's a big project so HLS gets stuck quite often; I haven't tried to reproduce it because it's a non-deterministic issue |
| 2024-04-17 08:46:22 +0000 | <tomsmeding> | carbolymer: what HLS version are you on? |
| 2024-04-17 08:46:22 +0000 | <carbolymer> | thx |
| 2024-04-17 08:46:46 +0000 | <carbolymer> | ah it's a frontend to ghci |
| 2024-04-17 08:48:11 +0000 | yeitrafferin | (~user@2a04:4540:7213:900:c613:abe2:afaf:9841) (Quit: Leaving) |
| 2024-04-17 08:58:02 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-17 09:01:23 +0000 | ACuriousMoose9 | (~ACuriousM@142.68.181.38) |
| 2024-04-17 09:01:46 +0000 | ACuriousMoose | (~ACuriousM@142.68.181.38) (Ping timeout: 268 seconds) |
| 2024-04-17 09:01:46 +0000 | ACuriousMoose9 | ACuriousMoose |
| 2024-04-17 09:09:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-17 09:12:13 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-04-17 09:12:43 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-17 09:20:38 +0000 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-17 09:26:53 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 09:27:12 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 09:28:05 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 09:28:20 +0000 | danse-nr3 | (~danse-nr3@151.57.95.127) (Ping timeout: 260 seconds) |
| 2024-04-17 09:28:43 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 09:28:54 +0000 | notzmv | (~daniel@user/notzmv) (Quit: salaam and see you on the other side) |
| 2024-04-17 09:29:00 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 09:29:12 +0000 | danse-nr3 | (~danse-nr3@151.37.229.249) |
| 2024-04-17 09:36:28 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-17 09:48:21 +0000 | gdd | (~gdd@82-65-118-1.subs.proxad.net) |
| 2024-04-17 09:50:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 09:53:13 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2024-04-17 09:53:40 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-17 09:54:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 09:54:38 +0000 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-04-17 10:03:07 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Remote host closed the connection) |
| 2024-04-17 10:03:21 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 10:05:38 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-04-17 10:15:22 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-17 10:16:56 +0000 | califax | (~califax@user/califx) |
| 2024-04-17 10:17:03 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-17 10:23:48 +0000 | son0p | (~ff@186.115.71.112) |
| 2024-04-17 10:26:38 +0000 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-17 10:26:40 +0000 | califax | (~califax@user/califx) |
| 2024-04-17 10:32:51 +0000 | omegatron | (~some@user/omegatron) |
| 2024-04-17 10:37:57 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-17 10:41:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-04-17 10:41:44 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-17 10:42:12 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-04-17 10:48:09 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-17 10:48:27 +0000 | danse-nr3 | (~danse-nr3@151.37.229.249) (Ping timeout: 255 seconds) |
| 2024-04-17 10:52:31 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 10:53:55 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-17 10:57:48 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) |
| 2024-04-17 10:58:19 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 11:04:09 +0000 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 11:04:26 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 11:05:44 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Client Quit) |
| 2024-04-17 11:05:59 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 11:07:47 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 11:08:28 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 11:08:50 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 11:09:52 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Client Quit) |
| 2024-04-17 11:10:06 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 11:10:08 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 11:13:10 +0000 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 11:13:13 +0000 | haffstache | (~jonathanr@2600:8804:40d:5800:c09f:7fb3:677c:ea2a) |
| 2024-04-17 11:13:27 +0000 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 11:14:12 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7a5b:fae6:85e7:e330) |
| 2024-04-17 11:14:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 11:14:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 11:15:27 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 11:15:45 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
| 2024-04-17 11:17:20 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 11:19:43 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-04-17 11:20:46 +0000 | gnu-user | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Quit: Konversation terminated!) |
| 2024-04-17 11:22:45 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 11:23:55 +0000 | haffstache | (~jonathanr@2600:8804:40d:5800:c09f:7fb3:677c:ea2a) (Quit: WeeChat 4.2.2) |
| 2024-04-17 11:24:24 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 11:28:29 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) (Quit: Leaving) |
| 2024-04-17 11:28:47 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:392b:2a6e:99c2:a9fb) |
| 2024-04-17 11:31:23 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 11:38:00 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 11:50:09 +0000 | pagnol | (~user@2a02:a210:a40:c80:e5ec:1b95:47c1:103a) |
| 2024-04-17 11:51:06 +0000 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 11:51:31 +0000 | danza | (~francesco@151.35.202.13) |
| 2024-04-17 11:51:40 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 11:51:40 +0000 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 11:56:03 +0000 | Core6637 | (~rosco@210.170.118.131) |
| 2024-04-17 11:56:42 +0000 | rosco | (~rosco@210.170.118.131) (Read error: Connection reset by peer) |
| 2024-04-17 11:58:47 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Read error: Connection reset by peer) |
| 2024-04-17 12:01:25 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-17 12:01:45 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) |
| 2024-04-17 12:03:10 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-17 12:11:36 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 12:20:19 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:c311:4915:89b:c1ed:49d3) (Ping timeout: 260 seconds) |
| 2024-04-17 12:22:25 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 12:24:59 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 12:25:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 12:27:50 +0000 | myxos | (~myxos@65.28.251.121) (Remote host closed the connection) |
| 2024-04-17 12:28:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 12:28:33 +0000 | myxos | (~myxos@65.28.251.121) |
| 2024-04-17 12:33:09 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 12:37:31 +0000 | kotrcka | (~user@ip-94-112-194-228.bb.vodafone.cz) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-17 12:44:54 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 12:45:35 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 12:49:06 +0000 | rosco | (~rosco@210.170.118.131) |
| 2024-04-17 12:50:26 +0000 | pnoumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-04-17 12:52:03 +0000 | Core6637 | (~rosco@210.170.118.131) (Ping timeout: 260 seconds) |
| 2024-04-17 12:52:54 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 256 seconds) |
| 2024-04-17 12:53:57 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-04-17 12:55:12 +0000 | pnoumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Client Quit) |
| 2024-04-17 12:56:37 +0000 | Eoco | (~ian@128.101.131.218) |
| 2024-04-17 12:57:37 +0000 | CiaoSen | (~Jura@2a05:5800:2a2:dd00:e6b9:7aff:fe80:3d03) |
| 2024-04-17 13:00:00 +0000 | mima | (~mmh@aftr-62-216-211-212.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2024-04-17 13:01:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:03:01 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:04:03 +0000 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-04-17 13:04:45 +0000 | Eoco | (~ian@128.101.131.218) |
| 2024-04-17 13:05:24 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-17 13:09:41 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:10:55 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-17 13:11:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 13:12:39 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:13:56 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:19:33 +0000 | yeitrafferin | (~user@2a04:4540:7213:900:c50a:a8df:11e4:9c01) |
| 2024-04-17 13:19:40 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:22:59 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:23:56 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:25:34 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 13:27:01 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:30:11 +0000 | pagnol | (~user@2a02:a210:a40:c80:e5ec:1b95:47c1:103a) (Remote host closed the connection) |
| 2024-04-17 13:30:15 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 13:39:30 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:39:46 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:42:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-17 13:43:10 +0000 | califax | (~califax@user/califx) |
| 2024-04-17 13:43:17 +0000 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 256 seconds) |
| 2024-04-17 13:44:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-04-17 13:44:39 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:44:46 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-17 13:47:00 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 13:47:15 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 13:47:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 13:48:27 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 13:55:04 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 13:56:58 +0000 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-17 13:57:29 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:09:36 +0000 | mima | (~mmh@dhcp-138-246-3-109.dynamic.eduroam.mwn.de) |
| 2024-04-17 14:12:45 +0000 | rosco | (~rosco@210.170.118.131) (Ping timeout: 256 seconds) |
| 2024-04-17 14:17:21 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) (Remote host closed the connection) |
| 2024-04-17 14:17:39 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) |
| 2024-04-17 14:20:36 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-04-17 14:23:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:25:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:40:04 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-04-17 14:46:10 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 14:46:27 +0000 | tok | (~user@user/tok) |
| 2024-04-17 14:49:17 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 14:55:53 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:56:10 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 14:56:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 14:58:41 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 14:59:29 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 14:59:37 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2024-04-17 14:59:37 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2024-04-17 14:59:37 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-17 15:00:27 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |
| 2024-04-17 15:00:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-04-17 15:02:59 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 15:03:03 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 15:04:49 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 15:05:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 15:06:15 +0000 | pavonia | (~user@user/siracusa) |
| 2024-04-17 15:07:51 +0000 | HasKellyLearnedH | (~HasKellyL@2400:1a00:bd11:2905:2e0:4cff:fefc:a34d) () |
| 2024-04-17 15:09:21 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-17 15:09:22 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 15:09:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-17 15:10:36 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 15:19:18 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-17 15:19:42 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 15:23:46 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 15:23:53 +0000 | <masaeedu> | is there a way to add a breakpoint in IO-based code? |
| 2024-04-17 15:24:34 +0000 | destituion | (~destituio@2a02:2121:107:22da:1c7e:2fe4:5685:6f67) |
| 2024-04-17 15:25:40 +0000 | <masaeedu> | My main requirement are: 1) being able to inspect the value of `Show`-able things in scope at the breakpoint, and 2) stepping over a line of code repeatedly |
| 2024-04-17 15:26:02 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 15:27:09 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 15:28:37 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 15:32:26 +0000 | <masaeedu> | the answer looks to be "no" |
| 2024-04-17 15:32:59 +0000 | <c_wraith> | ghci has some debugger-like facilities, but no one has ever used them |
| 2024-04-17 15:33:06 +0000 | <c_wraith> | (or so it seems) |
| 2024-04-17 15:33:29 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 15:33:32 +0000 | <masaeedu> | i thought there might be a cool TH hack or something, but i forgot it only supplies semantic information about preceding declaration groups |
| 2024-04-17 15:34:51 +0000 | <c_wraith> | there's also https://github.com/CrystalSplitter/ghcitui/blob/main/MANUAL.rst, which is a recent project that aims to give a friendlier front-end to ghci's debugger |
| 2024-04-17 15:34:58 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 15:35:07 +0000 | <masaeedu> | neat |
| 2024-04-17 15:35:23 +0000 | danza | (~francesco@151.35.202.13) (Ping timeout: 260 seconds) |
| 2024-04-17 15:36:22 +0000 | <masaeedu> | that is really cool |
| 2024-04-17 15:37:18 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-04-17 15:38:38 +0000 | wroathe_ | (~wroathe@50.205.197.50) |
| 2024-04-17 15:40:03 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2024-04-17 15:40:07 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 15:40:53 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
| 2024-04-17 15:41:45 +0000 | <masaeedu> | i wish it was easier to traverse build system abstractions when using this kind of tool |
| 2024-04-17 15:42:07 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2024-04-17 15:43:02 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-17 15:45:04 +0000 | markasoftware_ | (~quassel@107.161.26.124) (Ping timeout: 268 seconds) |
| 2024-04-17 15:45:28 +0000 | mei | (~mei@user/mei) |
| 2024-04-17 15:46:57 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 15:48:18 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 15:48:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 15:50:24 +0000 | danse-nr3 | (~danse-nr3@151.35.194.251) |
| 2024-04-17 15:50:46 +0000 | markasoftware | (~quassel@107.161.26.124) |
| 2024-04-17 15:58:43 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-04-17 15:59:44 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-17 16:12:06 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:14:12 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:17:39 +0000 | <lyxia> | masaeedu: https://github.com/aaronallen8455/breakpoint |
| 2024-04-17 16:18:05 +0000 | xdminsy | (~xdminsy@117.147.70.203) (Read error: Connection reset by peer) |
| 2024-04-17 16:18:36 +0000 | wroathe_ | (~wroathe@50.205.197.50) (Changing host) |
| 2024-04-17 16:18:36 +0000 | wroathe_ | (~wroathe@user/wroathe) |
| 2024-04-17 16:18:37 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:19:37 +0000 | wroathe_ | wroathe |
| 2024-04-17 16:22:30 +0000 | <masaeedu> | amazing, thank you |
| 2024-04-17 16:22:41 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-04-17 16:23:00 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:23:38 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:26:04 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 16:26:13 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 16:26:24 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1996:3c8e:f64b:a77b) (Remote host closed the connection) |
| 2024-04-17 16:26:43 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-17 16:28:15 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 16:28:20 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-17 16:29:34 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 16:30:12 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2024-04-17 16:30:39 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 16:35:25 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-04-17 16:36:56 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 16:41:40 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-17 16:48:29 +0000 | danse-nr3 | (~danse-nr3@151.35.194.251) (Ping timeout: 240 seconds) |
| 2024-04-17 16:51:16 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 16:54:22 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-17 16:56:45 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-17 16:56:45 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 16:57:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 16:57:22 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 16:58:25 +0000 | beka | (~beka@2607:f598:bd4a:6e0:c0ad:38f8:7650:7d75) |
| 2024-04-17 17:02:32 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 17:03:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-17 17:06:27 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-17 17:07:05 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) |
| 2024-04-17 17:07:51 +0000 | euleritian | (~euleritia@dynamic-176-006-180-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 17:08:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 17:12:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 17:13:34 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-17 17:15:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 17:15:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 17:16:12 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-17 17:16:45 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 17:20:23 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 17:24:37 +0000 | danse-nr3 | (~danse-nr3@151.35.194.251) |
| 2024-04-17 17:24:46 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 17:26:23 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 17:30:36 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-17 17:32:29 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 17:32:59 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 268 seconds) |
| 2024-04-17 17:39:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-17 17:39:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 17:39:57 +0000 | danse-nr3 | (~danse-nr3@151.35.194.251) (Ping timeout: 252 seconds) |
| 2024-04-17 17:39:58 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 17:41:59 +0000 | Square | (~Square@user/square) |
| 2024-04-17 17:44:04 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) |
| 2024-04-17 17:46:02 +0000 | joshua | (~joshua@75.109.221.62) |
| 2024-04-17 17:46:02 +0000 | joshua | (~joshua@75.109.221.62) (Client Quit) |
| 2024-04-17 17:46:35 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-04-17 17:51:43 +0000 | CiaoSen | (~Jura@2a05:5800:2a2:dd00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-04-17 17:52:50 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-17 17:52:56 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-17 17:59:02 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-17 17:59:04 +0000 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:606:5449:a083:e5f8:48e5) (Read error: Connection reset by peer) |
| 2024-04-17 17:59:10 +0000 | Guest28 | (~Guest28@2601:5c0:c300:48cf:95b4:36ed:a95f:3e62) |
| 2024-04-17 18:00:45 +0000 | Guest28 | (~Guest28@2601:5c0:c300:48cf:95b4:36ed:a95f:3e62) () |
| 2024-04-17 18:03:10 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-17 18:07:50 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-17 18:16:27 +0000 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-17 18:17:41 +0000 | <reki> | Hi there! I've made a small new project |
| 2024-04-17 18:17:42 +0000 | <reki> | https://github.com/ibaryshnikov/future-hs |
| 2024-04-17 18:17:50 +0000 | JeremyB99 | (~JeremyB99@208.64.173.20) |
| 2024-04-17 18:19:21 +0000 | <reki> | Future Monad around Rust futures. It implements MonadIO, allowing to mix futures with IO |
| 2024-04-17 18:20:28 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-17 18:21:35 +0000 | mima | (~mmh@dhcp-138-246-3-109.dynamic.eduroam.mwn.de) (Ping timeout: 264 seconds) |
| 2024-04-17 18:24:33 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-04-17 18:24:33 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-04-17 18:24:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-17 18:26:32 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 18:31:33 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-17 18:32:57 +0000 | AlexNoo_ | AlexNoo |
| 2024-04-17 18:33:52 +0000 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-04-17 18:34:53 +0000 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-17 18:37:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 18:37:45 +0000 | <EvanR> | what is a rust future |
| 2024-04-17 18:38:25 +0000 | <dolio> | It's a contract to buy rust at a specified future price and date. |
| 2024-04-17 18:38:27 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-17 18:39:43 +0000 | <EvanR> | 🤑 |
| 2024-04-17 18:42:15 +0000 | <c_wraith> | I hope they're going for negative prices. |
| 2024-04-17 18:42:56 +0000 | <Rembane> | Negative rust... flux? |
| 2024-04-17 18:47:44 +0000 | <c_wraith> | EvanR: a future in rust is sort of a continuation. Not exactly right, but... close enough. |
| 2024-04-17 18:49:02 +0000 | <EvanR> | so more like -> IO b than an IO a? |
| 2024-04-17 18:49:33 +0000 | <EvanR> | the right argument to >>= instead of the left |
| 2024-04-17 18:51:41 +0000 | <c_wraith> | Not really. It's more like IO a, I suppose. Still not right, but close. The big thing it has in common is that a future is not automatically executed just because it exists. |
| 2024-04-17 18:55:44 +0000 | <mauke> | so like IO a? |
| 2024-04-17 18:55:50 +0000 | <mauke> | er |
| 2024-04-17 18:55:58 +0000 | <mauke> | sorry, that's exactly what you said. I misread |
| 2024-04-17 18:56:19 +0000 | <geekosaur> | I'm trying to figure out if it's just "a monad considered as a callback mechanism" |
| 2024-04-17 18:56:37 +0000 | <geekosaur> | so it's `>>= f` |
| 2024-04-17 18:58:13 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 19:02:35 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-17 19:02:53 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-17 19:03:20 +0000 | <reki> | I like the part about a contract to buy rust |
| 2024-04-17 19:07:25 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-17 19:12:58 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-17 19:13:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 19:16:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-17 19:19:36 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-04-17 19:25:02 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-17 19:30:53 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 19:31:39 +0000 | mima | (~mmh@aftr-62-216-211-54.dynamic.mnet-online.de) |
| 2024-04-17 19:32:27 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-17 19:35:03 +0000 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 2024-04-17 19:35:11 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-17 19:35:26 +0000 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2024-04-17 19:38:07 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-17 19:47:54 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-17 19:52:53 +0000 | <haskellbridge> | <maralorn> What’s an efficient data structure to collect log lines in memory? (For an application which captures a log, categorizes the lines and shows them to the user filtered by certain criteria |
| 2024-04-17 19:53:11 +0000 | <mauke> | a string |
| 2024-04-17 19:53:33 +0000 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-17 19:53:35 +0000 | <haskellbridge> | <maralorn> As in "String"? |
| 2024-04-17 19:53:43 +0000 | <haskellbridge> | <maralorn> Seems unlikely. |
| 2024-04-17 19:54:27 +0000 | <mauke> | no, String is a list |
| 2024-04-17 19:54:36 +0000 | <mauke> | you'd need something like Text or ByteString |
| 2024-04-17 19:54:58 +0000 | <dolio> | You probably still want something better. |
| 2024-04-17 19:55:09 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-17 19:55:29 +0000 | <int-e> | Vector Text? |
| 2024-04-17 19:56:17 +0000 | <haskellbridge> | <maralorn> It’s a live log. So I will append to it, again and again. Thus Vector seems suboptimal as well. |
| 2024-04-17 19:56:50 +0000 | <haskellbridge> | <maralorn> I was thinking maybe "Seq Text"? |
| 2024-04-17 19:57:25 +0000 | <int-e> | Sure, why not. |
| 2024-04-17 19:58:36 +0000 | <haskellbridge> | <maralorn> I mean if I primarily want to append then "[Text]" where I stack the last line on top would actually be kinda efficient. |
| 2024-04-17 19:58:57 +0000 | <int-e> | Maybe write a helper module that encapsulates this with the operations you actually need so that you can possibly swap it out later. |
| 2024-04-17 19:59:10 +0000 | <haskellbridge> | <maralorn> Good idea! |
| 2024-04-17 19:59:15 +0000 | <haskellbridge> | <maralorn> thx |
| 2024-04-17 20:01:43 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-17 20:02:37 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-17 20:04:18 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 20:07:17 +0000 | <monochrom> | Hot Take: "Future" is just a thread. |
| 2024-04-17 20:08:23 +0000 | <EvanR> | thread as fundamental |
| 2024-04-17 20:11:25 +0000 | <monochrom> | I also have a meta-level hot take: This is why training in reading and writing precise semantics is valuable. You cannot convey the true meaning of "Future" with fairy tales, broken analogies, and misleading names like "Future". |
| 2024-04-17 20:11:56 +0000 | <dolio> | It's not just a thread. It's like a thread + an IVar or something. |
| 2024-04-17 20:13:20 +0000 | <int-e> | IVar = Future - Promise |
| 2024-04-17 20:14:02 +0000 | <EvanR> | lol |
| 2024-04-17 20:14:06 +0000 | <dolio> | Isn't the promise the ivar part? |
| 2024-04-17 20:14:48 +0000 | <EvanR> | I can't wait until 10 more programming languages are made each one attempting to define one of these words "the right way" |
| 2024-04-17 20:14:59 +0000 | <EvanR> | and ignoring what anyone else did |
| 2024-04-17 20:16:12 +0000 | <int-e> | dolio: I guess, but an IVar doesn't promise to be ever filled. :-P |
| 2024-04-17 20:16:21 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-17 20:16:42 +0000 | int-e | Yoda blames word order for. |
| 2024-04-17 20:17:15 +0000 | JeremyB99 | (~JeremyB99@208.64.173.20) (Ping timeout: 256 seconds) |
| 2024-04-17 20:17:55 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 20:17:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-17 20:18:36 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Read error: Connection reset by peer) |
| 2024-04-17 20:19:58 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 20:22:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 20:22:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 20:24:50 +0000 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-04-17 20:25:18 +0000 | caubert | (~caubert@user/caubert) |
| 2024-04-17 20:26:20 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 20:26:28 +0000 | euleritian | (~euleritia@dynamic-176-006-185-039.176.6.pool.telefonica.de) |
| 2024-04-17 20:26:47 +0000 | euleritian | (~euleritia@dynamic-176-006-185-039.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-17 20:26:50 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 20:27:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-17 20:28:39 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-17 20:29:19 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-17 20:29:32 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-17 20:31:12 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-17 20:34:05 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 20:34:10 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Read error: Connection reset by peer) |
| 2024-04-17 20:39:27 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) |
| 2024-04-17 20:40:13 +0000 | haffstache | (haffstache@user/haffstache) |
| 2024-04-17 20:43:37 +0000 | <cheater> | i have a stack project that has a cabal file that doesn't specify any versions bounds for the dependencies. i don't understand how it makes decisions on what versions to choose. how does it work? |
| 2024-04-17 20:43:54 +0000 | <cheater> | also, if i want to set a lower bound for one of the packages, where do i do that? in the .cabal ? in stack.yaml ? |
| 2024-04-17 20:45:48 +0000 | <mauke> | I thought stack had a fixed set of package versions |
| 2024-04-17 20:46:30 +0000 | <geekosaur> | yes, stack's resolver/snapshot will set versions for you |
| 2024-04-17 20:46:34 +0000 | <mauke> | https://www.stackage.org/lts-22.17 |
| 2024-04-17 20:46:36 +0000 | <glguy> | cheater: the .cabal file lists the versions you support. The stack.yaml defines a local set of versions for your current workspace to build with now |
| 2024-04-17 20:46:42 +0000 | <geekosaur> | if you do want to constrain a version, you do it in the cabal file |
| 2024-04-17 20:47:01 +0000 | <cheater> | glguy: there's no "support". it's a personal project only used by two people |
| 2024-04-17 20:47:06 +0000 | <cheater> | geekosaur: OK |
| 2024-04-17 20:49:36 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-17 20:51:19 +0000 | <cheater> | so, i'm following the logic of this code base, which was written > 4 years ago |
| 2024-04-17 20:51:44 +0000 | <cheater> | so in that, the .cabal has multiple copies of the same very long dependency list. i guess that's from before reusable dependency lists were a thing |
| 2024-04-17 20:52:02 +0000 | <glguy> | cheater: you can often factor that out now with a common section |
| 2024-04-17 20:52:05 +0000 | <cheater> | and there are no constraints in the cabal at all, instead stack.yaml specifies specific package versions |
| 2024-04-17 20:52:28 +0000 | JeremyB99 | (~JeremyB99@2607:fb90:d3e2:403e:55fc:c15e:9b13:fda) (Ping timeout: 260 seconds) |
| 2024-04-17 20:52:45 +0000 | <cheater> | can i safely say that this was done in order to save on having to synchronize package constraints across 10 depends lists |
| 2024-04-17 20:52:46 +0000 | <cheater> | ? |
| 2024-04-17 20:52:58 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-17 20:53:26 +0000 | <geekosaur> | stack users often just don't bother adding versioning at all in their cabal files. |
| 2024-04-17 20:53:28 +0000 | <glguy> | it was probably done that way because that's an easy way to do it and as long as you're making an executable and not a library that another executable will need it won't bite too hard |
| 2024-04-17 20:53:39 +0000 | <cheater> | oh wait |
| 2024-04-17 20:53:45 +0000 | <cheater> | i just saw this at the top of the .cabal |
| 2024-04-17 20:53:47 +0000 | <geekosaur> | (this does make it difficult to distribute projects to non-stack users, but you probably don't care) |
| 2024-04-17 20:53:57 +0000 | <cheater> | -- This file has been generated from package.yaml by hpack version 0.36.0 |
| 2024-04-17 20:54:07 +0000 | <cheater> | yeah all the constraints i entered were deleted lmao |
| 2024-04-17 20:54:08 +0000 | <glguy> | it makes it difficult to distribute to other stack users in the future when versions move, too |
| 2024-04-17 20:54:37 +0000 | <cheater> | so is the hpack workflow just "put constraints in stack.yaml" |
| 2024-04-17 20:54:43 +0000 | <glguy> | no |
| 2024-04-17 20:54:48 +0000 | <geekosaur> | if you're using package.yaml you'll want to add the versioning there instead |
| 2024-04-17 20:56:57 +0000 | <cheater> | oh right yeah package.yaml |
| 2024-04-17 20:57:09 +0000 | <cheater> | right here goes nothing |
| 2024-04-17 20:57:52 +0000 | <monochrom> | If you are working on 4-year-old unupdated code, my understanding of the stack philosophy: unless you plan to spend time updating the code, just tell stack you need a past GHC version and past libraries, i.e., old "resolver". |
| 2024-04-17 20:58:07 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 20:58:18 +0000 | <monochrom> | Perhaps s/working on/trying to compile/ |
| 2024-04-17 21:00:41 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-17 21:01:11 +0000 | haffstache | (haffstache@user/haffstache) (Quit: WeeChat 4.2.2) |
| 2024-04-17 21:01:51 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 21:02:42 +0000 | <cheater> | Warning: Ignoring mypkg's bounds on time (>=1.9.3) and using time-1.8.0.2. |
| 2024-04-17 21:02:43 +0000 | <cheater> | Reason: allow-newer enabled. |
| 2024-04-17 21:02:48 +0000 | <cheater> | uhh... how does that make sense, stack? |
| 2024-04-17 21:03:00 +0000 | <cheater> | how is 1.8 newer than 1.9?? |
| 2024-04-17 21:03:03 +0000 | <c_wraith> | newer, older... what's the difference? |
| 2024-04-17 21:03:17 +0000 | <cheater> | this fucking software. i swear to god |
| 2024-04-17 21:03:34 +0000 | <monochrom> | I have no evidence but I bet it was just miswording. |
| 2024-04-17 21:03:35 +0000 | <geekosaur> | weird. in cabal you need --allow-older for that |
| 2024-04-17 21:04:23 +0000 | <cheater> | and that's what we get when a contractor bodyshop tries to make a political landgrab |
| 2024-04-17 21:04:33 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-04-17 21:05:46 +0000 | <monochrom> | Oh if you didn't detect how I tried to stay focused and hide my cynicism against stack's philosophy of reproducible-builds-just-means-turning-back-the-clock, let me add it now: |
| 2024-04-17 21:06:12 +0000 | <cheater> | go for it |
| 2024-04-17 21:06:47 +0000 | <monochrom> | In the MSDOS days we have nagware: software free of charge for say the 1st 30 days, after that it starts nagging you to pay. |
| 2024-04-17 21:07:01 +0000 | <cheater> | well, no |
| 2024-04-17 21:07:03 +0000 | <sm> | cheater: you could read the fine manual once and save a lot of headaches |
| 2024-04-17 21:07:08 +0000 | <cheater> | because in msdos, you didn't have RTC |
| 2024-04-17 21:07:10 +0000 | <cheater> | :) |
| 2024-04-17 21:07:18 +0000 | <monochrom> | People suppressed the nagging by just setting their system clocks back in time. |
| 2024-04-17 21:07:24 +0000 | <cheater> | hehe |
| 2024-04-17 21:07:31 +0000 | <cheater> | yeah... |
| 2024-04-17 21:07:36 +0000 | <cheater> | eternal 1992... |
| 2024-04-17 21:07:44 +0000 | <monochrom> | Reproducible execution by turning back the clock. Stack. |
| 2024-04-17 21:08:01 +0000 | <cheater> | sm: idk what that would help with error messages like the above... |
| 2024-04-17 21:08:13 +0000 | <sm> | if you'd like to paste the full output, I'll have a go |
| 2024-04-17 21:08:23 +0000 | <sm> | it certainly wouldn't hurt |
| 2024-04-17 21:09:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 21:09:20 +0000 | <cheater> | that's pretty much the whole output. |
| 2024-04-17 21:09:29 +0000 | <cheater> | repeated 20x |
| 2024-04-17 21:10:05 +0000 | <tomsmeding> | the "pretty much" is sometimes key |
| 2024-04-17 21:10:08 +0000 | <sm> | @where paste |
| 2024-04-17 21:10:08 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-04-17 21:10:12 +0000 | <cheater> | "Whether to ignore version bounds in Cabal files. This also ignores lower bounds. The name allow-newer is chosen to match the commonly-used Cabal option." |
| 2024-04-17 21:10:14 +0000 | yeitrafferin | (~user@2a04:4540:7213:900:c50a:a8df:11e4:9c01) (Quit: Leaving) |
| 2024-04-17 21:10:21 +0000 | <cheater> | lovely, stack |
| 2024-04-17 21:11:38 +0000 | <cheater> | sm: there's no other output. it's me doing "stack test --fast", then this sort of thing 20x, then it continues onto the build. |
| 2024-04-17 21:11:41 +0000 | <cheater> | but, yeah |
| 2024-04-17 21:11:52 +0000 | <cheater> | the manual explains this stupid message actually |
| 2024-04-17 21:12:03 +0000 | <cheater> | i can just shake my head |
| 2024-04-17 21:12:24 +0000 | <EvanR> | turning back the clock and resetting everything else on the computer to the original state still leaves the different in system entropy gained since the original run |
| 2024-04-17 21:12:38 +0000 | <EvanR> | if the program depends on entropy, you're hosed |
| 2024-04-17 21:12:54 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-17 21:13:15 +0000 | <cheater> | is "stack configuration" the same thing as "resolver"? |
| 2024-04-17 21:13:25 +0000 | <cheater> | EvanR: lol.. |
| 2024-04-17 21:13:31 +0000 | <cheater> | EvanR: we're not even getting that deep... |
| 2024-04-17 21:13:56 +0000 | califax | (~califax@user/califx) |
| 2024-04-17 21:14:01 +0000 | <monochrom> | Did I tell you that I would like Data.List.nubBy to randomize its internal algorithm so as to defeat people who try to abuse it by giving it a non-equivalence relation trying to be cute? |
| 2024-04-17 21:14:49 +0000 | <cheater> | you should finish every sentence with "referential transparency btw" |
| 2024-04-17 21:17:18 +0000 | <int-e> | > nubBy (\x y -> y `mod` x == 0) [2,3..] |
| 2024-04-17 21:17:20 +0000 | <lambdabot> | [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... |
| 2024-04-17 21:17:30 +0000 | <int-e> | > take 10 $ nubBy (\x y -> y `mod` x /= 0) [2,3..] |
| 2024-04-17 21:17:31 +0000 | <lambdabot> | [2,4,8,16,32,64,128,256,512,1024] |
| 2024-04-17 21:19:06 +0000 | <EvanR> | randomized algorithm still has a chance of working |
| 2024-04-17 21:19:12 +0000 | <EvanR> | better do round robin |
| 2024-04-17 21:19:55 +0000 | <monochrom> | Oh I think "sometimes it works" is more frustrating than "it never works" :) |
| 2024-04-17 21:20:45 +0000 | <monochrom> | You need to first give people beginner's luck and a false sense of security before you inflict Murphy's Law on them for maximum impact. |
| 2024-04-17 21:20:48 +0000 | <EvanR> | sometimes it works is already the situation we're in! |
| 2024-04-17 21:22:04 +0000 | <monochrom> | Give them hope, then dash it. Both 1984 and The Matrix taught us that. >:) |
| 2024-04-17 21:22:54 +0000 | <cheater> | this reminds me of that blog post i read a while ago where the author posits that programs and libraries often don't do what programmers would find most beneficial to use because programmers hate other programmers |
| 2024-04-17 21:23:04 +0000 | <mauke> | sewer mermaid strats |
| 2024-04-17 21:23:34 +0000 | <cheater> | monochrom: The Matrix taught me that anyone could be an agent |
| 2024-04-17 21:24:45 +0000 | <monochrom> | I don't think I buy that programmers-hate-other-programmers theory. |
| 2024-04-17 21:25:35 +0000 | <haskellbridge> | <maralorn> Who came up with whole "MVar, TVar, IVar, LVar, TMVar" distinction? |
| 2024-04-17 21:25:38 +0000 | <cheater> | oh yeah? what happens if you start python, and then type exit? |
| 2024-04-17 21:25:41 +0000 | <haskellbridge> | <maralorn> Its a zoo. |
| 2024-04-17 21:25:48 +0000 | <monochrom> | But I can buy: People hate other people's opinions. |
| 2024-04-17 21:26:05 +0000 | <cheater> | maralorn: the only one you really need to be afraid of is IVar. |
| 2024-04-17 21:26:10 +0000 | <cheater> | the boneless. |
| 2024-04-17 21:26:13 +0000 | <monochrom> | I am actually unfamiliar with Python. |
| 2024-04-17 21:26:25 +0000 | <cheater> | type "python3" |
| 2024-04-17 21:26:28 +0000 | <cheater> | then type "exit" |
| 2024-04-17 21:26:38 +0000 | <cheater> | see what happens |
| 2024-04-17 21:26:43 +0000 | <cheater> | (nothing dangerous) |
| 2024-04-17 21:26:54 +0000 | <haskellbridge> | <maralorn> cheater: Why?^^ You mean that’s the one that I definitely shouldn’t use? |
| 2024-04-17 21:27:00 +0000 | <monochrom> | But I actually highly respect that "exit" != "exit()" from the typed lambda calculus POV. |
| 2024-04-17 21:27:08 +0000 | <cheater> | maralorn: just making a reference to the Vikings tv series. |
| 2024-04-17 21:27:23 +0000 | <haskellbridge> | <maralorn> Ooooh |
| 2024-04-17 21:27:25 +0000 | <haskellbridge> | <maralorn> Nice one. |
| 2024-04-17 21:27:39 +0000 | <EvanR> | IVar is the coolest |
| 2024-04-17 21:27:45 +0000 | <haskellbridge> | <maralorn> Yeah, my first search result was the IKEA cupboard. |
| 2024-04-17 21:27:47 +0000 | <monochrom> | I would totally do the same if I wrote an intepreter for a functional language. Hell, I would even skip the helpful error message. |
| 2024-04-17 21:28:10 +0000 | <EvanR> | spookyButSafe :: IVar a -> a -- no IO |
| 2024-04-17 21:28:16 +0000 | <monochrom> | My interpreter would just reply "exit :: () -> ()". |
| 2024-04-17 21:28:20 +0000 | <mauke> | if you wanted exit to work, you'd use perl |
| 2024-04-17 21:29:05 +0000 | <int-e> | maralorn it's less of a distinction and more of a "variables with additional capabilities" thing. I believe M = mutable?, T = transactional, I = immutable?, L = listening, TM = transactional (STM-based) implementation of M |
| 2024-04-17 21:29:47 +0000 | <mauke> | I wouldn't be surprised if M were related to mutex or something |
| 2024-04-17 21:31:15 +0000 | <monochrom> | M may be "message". |
| 2024-04-17 21:32:00 +0000 | <monochrom> | The semantics of MVar is that of a message box, especially what with its "empty" state. |
| 2024-04-17 21:32:13 +0000 | <haskellbridge> | <maralorn> If I where to draw a square with the corners, TVar, MVar, TMVar, am I correct that the forth corner would be IORef? |
| 2024-04-17 21:33:47 +0000 | <mauke> | where is STRef? |
| 2024-04-17 21:34:00 +0000 | <haskellbridge> | <maralorn> Phew. |
| 2024-04-17 21:34:03 +0000 | <EvanR> | M in MVar could also mean multi-threaded, though they other ones are also, MVar came first |
| 2024-04-17 21:34:22 +0000 | <monochrom> | Yeah I is immutable. Or rather, "final" in Java. Initialize then never change. |
| 2024-04-17 21:34:50 +0000 | <haskellbridge> | <maralorn> I kinda assumend the M stands for maybe because it is basically a TVar (Maybe a) |
| 2024-04-17 21:35:13 +0000 | <haskellbridge> | <maralorn> But that’s probably also not true.^^ |
| 2024-04-17 21:35:22 +0000 | <monochrom> | But the 4 corners reminds me of a Chinese noodle place. It's mathematically beautiful, the menu. |
| 2024-04-17 21:35:22 +0000 | <EvanR> | having a bunch of differently named things be different is great |
| 2024-04-17 21:36:01 +0000 | <EvanR> | maralorn: that's a good retroactive definition for MVar |
| 2024-04-17 21:36:47 +0000 | <EvanR> | multi-meaning var |
| 2024-04-17 21:37:41 +0000 | <monochrom> | On the front side it has all 8 of: noodle with powerset{beef balls, dumplings, wontons} |
| 2024-04-17 21:38:09 +0000 | <monochrom> | Then on the back side it has all 7 of: powerset{beef balls, dumplings, wontons} minus the empty set. |
| 2024-04-17 21:38:39 +0000 | <monochrom> | All 15 non-empty combinations are covered! |
| 2024-04-17 21:38:41 +0000 | zetef | (~quassel@5.2.182.98) |
| 2024-04-17 21:39:02 +0000 | <monochrom> | One might say: The Noodle Hypercube. |
| 2024-04-17 21:40:35 +0000 | <monochrom> | OK I'm tracking down The Awkward Squad paper to see what it says about the M! |
| 2024-04-17 21:41:34 +0000 | <EvanR> | at least two explanations are given |
| 2024-04-17 21:41:52 +0000 | <EvanR> | which is appropriate |
| 2024-04-17 21:42:37 +0000 | <monochrom> | Hrm it doesn't say. |
| 2024-04-17 21:44:53 +0000 | <EvanR> | I'm thinking ot the Concurrent Haskell paper |
| 2024-04-17 21:45:03 +0000 | <cheater> | monochrom: see that's because you hate programmers |
| 2024-04-17 21:46:23 +0000 | <EvanR> | wth that paper also doesn't say |
| 2024-04-17 21:47:20 +0000 | <monochrom> | I am not sure whether it is programmers or it is illogical "intuitive" people that I hate. |
| 2024-04-17 21:47:50 +0000 | <probie> | Save energy on classification and just hate "people" |
| 2024-04-17 21:48:44 +0000 | <monochrom> | Well today is my nice day. I will do that tomorrow. >:) |
| 2024-04-17 21:50:57 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-17 21:53:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 21:53:36 +0000 | <monochrom> | You know, I never ran into that exit "problem" because I never bothered to type out "exit" in any enviornment. I just pressed ctrl-d. |
| 2024-04-17 21:55:26 +0000 | <monochrom> | In a shell I just press ctrl-d. In ghci I just press ctrl-d. In smlnj I just press ctrl-d. In racket console mode I just press ctrl-d. In swi-prolog I just press ctrl-d. The few times I'm at a python prompt I just press ctrl-d. |
| 2024-04-17 21:56:03 +0000 | <monochrom> | Why would anyone type out "e" "x" "i" "t" <enter>? Do they hate themselves? |
| 2024-04-17 21:56:23 +0000 | CATS | (apic@brezn3.muc.ccc.de) (Ping timeout: 264 seconds) |
| 2024-04-17 21:56:34 +0000 | <monochrom> | In nslookup I also just press ctrl-d. And not even need to remember whether it's "quit" or "exit". |
| 2024-04-17 21:56:59 +0000 | <monochrom> | OK I know why. Because they're on Windows where ctrl-d doesn't work. |
| 2024-04-17 21:57:18 +0000 | <monochrom> | OK then why would programmers use Windows? Do they hate themselves? |
| 2024-04-17 21:57:30 +0000 | <monochrom> | OK I'll stop. |
| 2024-04-17 21:58:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-17 21:58:14 +0000 | <probie> | The two big reasons are because they get issued the corporate standard laptop, or because their target environment is windows |
| 2024-04-17 21:58:17 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 21:58:36 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-04-17 21:59:25 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-17 22:03:22 +0000 | <monochrom> | My students are smarter than all of the above. They just click the close-window button. :) |
| 2024-04-17 22:07:33 +0000 | Square2 | (~Square4@user/square) |
| 2024-04-17 22:08:18 +0000 | <int-e> | monochrom: Why would anyone type out '"' 'e' '"' ' ' '"' 'x' '"' ' ' '"' 'i' '"' ' ' '"' 't' '"'? Do they hate themselves? |
| 2024-04-17 22:08:21 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-17 22:08:28 +0000 | CATS | (apic@brezn3.muc.ccc.de) |
| 2024-04-17 22:08:33 +0000 | <monochrom> | haha |
| 2024-04-17 22:08:54 +0000 | <dolio> | monochrom probably wrote a Haskell program to generate the text. |
| 2024-04-17 22:09:19 +0000 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2024-04-17 22:09:35 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2024-04-17 22:09:45 +0000 | malte | (~malte@mal.tc) (Ping timeout: 255 seconds) |
| 2024-04-17 22:10:13 +0000 | <ncf> | > fix (unwords . map show) |
| 2024-04-17 22:10:15 +0000 | <lambdabot> | "*Exception: <<loop>> |
| 2024-04-17 22:10:39 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-04-17 22:11:05 +0000 | <int-e> | > text . unwords . map show . unwords . map (show . (:[])) $ "exit" |
| 2024-04-17 22:11:06 +0000 | <lambdabot> | '"' 'e' '"' ' ' '"' 'x' '"' ' ' '"' 'i' '"' ' ' '"' 't' '"' |
| 2024-04-17 22:11:33 +0000 | <ncf> | :t text |
| 2024-04-17 22:11:34 +0000 | <lambdabot> | String -> Doc |
| 2024-04-17 22:12:13 +0000 | <monochrom> | It means using the fact that the Show instance of Doc does not add quoting or escaping. |
| 2024-04-17 22:12:29 +0000 | malte | (~malte@mal.tc) |
| 2024-04-17 22:12:33 +0000 | <monochrom> | putStrLn : ghci :: text : lambdabot |
| 2024-04-17 22:12:53 +0000 | <int-e> | > var "silly fancy version" |
| 2024-04-17 22:12:54 +0000 | <lambdabot> | silly fancy version |
| 2024-04-17 22:13:16 +0000 | <monochrom> | Ugh now that's fancy and silly, yeah :) |
| 2024-04-17 22:13:36 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-17 22:15:05 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 22:15:23 +0000 | <ncf> | sometimes i wonder about like, "fixed points with initial value" |
| 2024-04-17 22:15:48 +0000 | <ncf> | it feels like i should be able to apply that function to "exit" repeatedly and take some sort of colimit to get an infinite string instead of a <<loop>> |
| 2024-04-17 22:16:05 +0000 | <monochrom> | Does that mean "iterate f x0" and hope that something stabilizes down the road? |
| 2024-04-17 22:16:15 +0000 | <ncf> | would have to somehow add the information that the input string is a substring of the output string |
| 2024-04-17 22:16:19 +0000 | <ncf> | as in subsequence |
| 2024-04-17 22:17:17 +0000 | <ncf> | i guess one way would be to say "the nth character of the fixed point only depends on the first m applications" |
| 2024-04-17 22:17:37 +0000 | <int-e> | > fix (('\'' :) . tail . unwords . map show) |
| 2024-04-17 22:17:38 +0000 | <lambdabot> | "'\\'' '\\\\' '\\'' '\\'' ' ' '\\'' '\\\\' '\\\\' '\\'' ' ' '\\'' '\\\\' '\\... |
| 2024-04-17 22:17:54 +0000 | <monochrom> | iterate show "exit" may get you started. |
| 2024-04-17 22:18:00 +0000 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2024-04-17 22:21:01 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 22:21:12 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-17 22:21:20 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 22:24:33 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 22:24:55 +0000 | <ncf> | so like formally the space of strings on a given alphabet has the structure of a category for the "is subsequence of" relation, and if your quoting function is nice enough there is a ω-diagram that starts at "exit" and then repeatedly applies quoting; what kind of strings do we need to add for this diagram to have a sequential colimit? |
| 2024-04-17 22:24:58 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-17 22:26:14 +0000 | <EvanR> | so you want to exit the program immediately, first let me introduce you to some category theory |
| 2024-04-17 22:27:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-17 22:27:04 +0000 | <ncf> | i guess the colimit would look like "^ωe"^ω"^ωx"^ω... |
| 2024-04-17 22:28:25 +0000 | acidjnk | (~acidjnk@p200300d6e714dc694defcfab5eaaea04.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-04-17 22:28:46 +0000 | redcedar0 | (~redcedar@97-113-208-43.tukw.qwest.net) |
| 2024-04-17 22:29:30 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 22:29:38 +0000 | <ncf> | https://en.wikipedia.org/wiki/Omega_language 👀 |
| 2024-04-17 22:30:12 +0000 | <ncf> | hm those are just functions from ℕ, so that wouldn't work |
| 2024-04-17 22:30:26 +0000 | <ncf> | i seem to recall there was a notion of infinite words based on trees or something |
| 2024-04-17 22:31:25 +0000 | <Inst> | hummm, i'm trying to reach the maintainer of hackage's TinyFileDialogs wrapper on Github |
| 2024-04-17 22:31:38 +0000 | <Inst> | if he doesn't respond, do I have justification to fork it and upload a derivative? |
| 2024-04-17 22:31:46 +0000 | <EvanR> | is it called omega language because as soon as you speak an infinite word it's the last word you'll ever say |
| 2024-04-17 22:31:49 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 22:31:50 +0000 | <Inst> | Not sure if anyone else uses the package, since tfd imo is pretty fundamental as a capability |
| 2024-04-17 22:32:15 +0000 | <ncf> | you could supertask your way out of it |
| 2024-04-17 22:32:24 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 22:32:35 +0000 | <Inst> | *attempt to say |
| 2024-04-17 22:34:14 +0000 | itscaleb | (~itscaleb@user/itscaleb) |
| 2024-04-17 22:40:07 +0000 | <ncf> | (ah, i was thinking of "generalised words" in "Isomorphism of regular trees and words") |
| 2024-04-17 22:40:15 +0000 | redcedar0 | rdcdr |
| 2024-04-17 22:40:33 +0000 | rdcdr | walker |
| 2024-04-17 22:40:56 +0000 | walker | rdcdr |
| 2024-04-17 22:41:22 +0000 | <ncf> | (and "An algorithm for the solution of fixed-point equations for infinite words") |
| 2024-04-17 22:41:32 +0000 | dunj3 | (~dunj3@kingdread.de) (Read error: Connection reset by peer) |
| 2024-04-17 22:43:54 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 22:43:56 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 22:44:19 +0000 | <geekosaur> | Inst, you always have approval to upload a derivative. you need approval to take over a package |
| 2024-04-17 22:45:09 +0000 | <Inst> | no, but courtesy |
| 2024-04-17 22:45:24 +0000 | <Inst> | i'm actually unsure when TFD developed security holes, it was something that came up like 2 years ago |
| 2024-04-17 22:45:37 +0000 | <Inst> | or even if it did |
| 2024-04-17 22:45:38 +0000 | <Inst> | :( |
| 2024-04-17 22:45:39 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
| 2024-04-17 22:46:21 +0000 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-17 22:48:03 +0000 | malte | (~malte@mal.tc) (Ping timeout: 272 seconds) |
| 2024-04-17 22:48:37 +0000 | malte | (~malte@mal.tc) |
| 2024-04-17 22:49:22 +0000 | rdcdr | (~redcedar@97-113-208-43.tukw.qwest.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-17 22:50:50 +0000 | <Inst> | thanks :) |
| 2024-04-17 22:56:51 +0000 | Batzy_ | Batzy |
| 2024-04-17 23:00:44 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
| 2024-04-17 23:02:16 +0000 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
| 2024-04-17 23:02:49 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 23:09:21 +0000 | ncf | . o O ( quoting is a well-pointed endofunctor ) |
| 2024-04-17 23:13:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-04-17 23:23:39 +0000 | <masaeedu> | maralorn: it might be worth considering not keeping the log in memory at all (the term "log" suggests you're not reading it to decide what to do subsequently) |
| 2024-04-17 23:25:37 +0000 | <haskellbridge> | <maralorn> Well I want to display the log or parts of it. |
| 2024-04-17 23:26:44 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-17 23:27:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-17 23:27:58 +0000 | mud | (~mud@user/kadoban) |
| 2024-04-17 23:29:49 +0000 | <masaeedu> | I see. I imagined you don't access the log within whatever computation is logging: instead something else reads the log after the computation is complete. |
| 2024-04-17 23:31:35 +0000 | mima | (~mmh@aftr-62-216-211-54.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-04-17 23:51:10 +0000 | <monochrom> | ncf: What is the well-pointed part? Does it just mean I have both fmap and pure? |