2024/03/03

2024-03-03 00:04:15 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 00:04:54 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 00:16:44 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-03-03 00:20:23 +0100bilegeek(~bilegeek@2600:1008:b06d:18b5:b337:e995:b2ae:876)
2024-03-03 00:24:44 +0100difl^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-03-03 00:27:05 +0100falafel(~falafel@2607:fb91:850:82c5:99d2:8c86:37c2:8611)
2024-03-03 00:46:12 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 00:46:40 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 00:47:45 +0100glguy(g@libera/staff/glguy)
2024-03-03 00:50:13 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-03 00:50:13 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-03 00:50:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 01:00:05 +0100acidjnk_new3(~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-03-03 01:11:16 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 255 seconds)
2024-03-03 01:17:33 +0100falafel(~falafel@2607:fb91:850:82c5:99d2:8c86:37c2:8611) (Ping timeout: 255 seconds)
2024-03-03 01:49:48 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 01:50:23 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 01:55:53 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 01:56:12 +0100mud(~mud@user/kadoban)
2024-03-03 02:02:32 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-03-03 02:04:17 +0100califax(~califax@user/califx)
2024-03-03 02:05:10 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-03-03 02:05:28 +0100califax(~califax@user/califx)
2024-03-03 02:09:15 +0100dtman34(~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-03-03 02:09:36 +0100dtman34(~dtman34@2601:447:d001:ed50:6848:2021:a4eb:5671)
2024-03-03 02:13:42 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-03-03 02:16:28 +0100Inst(~Inst@120.244.192.75) (Read error: Connection reset by peer)
2024-03-03 02:18:48 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-03-03 02:19:12 +0100califax(~califax@user/califx)
2024-03-03 02:26:01 +0100ystael(~ystael@user/ystael) (Ping timeout: 256 seconds)
2024-03-03 02:27:39 +0100bilegeek__(~bilegeek@2600:1008:b056:88ea:ad5b:f877:d940:d64a)
2024-03-03 02:28:38 +0100__jmcantrell__(~weechat@user/jmcantrell)
2024-03-03 02:28:43 +0100jmcantrellGuest4304
2024-03-03 02:28:43 +0100Guest4304(644f1bed9a@user/jmcantrell) (Killed (tungsten.libera.chat (Nickname regained by services)))
2024-03-03 02:28:43 +0100__jmcantrell__jmcantrell
2024-03-03 02:28:51 +0100bilegeek(~bilegeek@2600:1008:b06d:18b5:b337:e995:b2ae:876) (Ping timeout: 256 seconds)
2024-03-03 02:28:52 +0100jmcantrell_(644f1bed9a@user/jmcantrell)
2024-03-03 02:30:06 +0100jmcantrell(~weechat@user/jmcantrell) (Client Quit)
2024-03-03 02:30:13 +0100jmcantrell_jmcantrell
2024-03-03 02:30:33 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-03-03 02:34:31 +0100bilegeek__(~bilegeek@2600:1008:b056:88ea:ad5b:f877:d940:d64a) (Ping timeout: 260 seconds)
2024-03-03 02:38:40 +0100vuk(~vuk@cable-94-189-153-242.dynamic.sbb.rs) (Ping timeout: 246 seconds)
2024-03-03 02:40:03 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-03 02:40:12 +0100euleritian(~euleritia@dynamic-176-006-180-049.176.6.pool.telefonica.de)
2024-03-03 02:40:33 +0100euleritian(~euleritia@dynamic-176-006-180-049.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-03 02:40:50 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 02:48:02 +0100__jmcantrell__(~weechat@user/jmcantrell)
2024-03-03 02:48:12 +0100bilegeek__(~bilegeek@2600:1008:b028:27aa:9625:12f3:770c:638)
2024-03-03 02:48:13 +0100jmcantrellGuest7754
2024-03-03 02:48:13 +0100Guest7754(644f1bed9a@user/jmcantrell) (Killed (silver.libera.chat (Nickname regained by services)))
2024-03-03 02:48:13 +0100__jmcantrell__jmcantrell
2024-03-03 02:48:23 +0100jmcantrell_(644f1bed9a@user/jmcantrell)
2024-03-03 02:57:25 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 02:57:35 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-03-03 02:58:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-03-03 02:58:58 +0100Lord_of_Life_Lord_of_Life
2024-03-03 03:10:09 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-03-03 03:13:08 +0100harveypwca(~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821)
2024-03-03 03:15:07 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1)
2024-03-03 03:20:43 +0100notzmv(~daniel@user/notzmv)
2024-03-03 03:48:15 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: snooze button)
2024-03-03 03:51:16 +0100otto_s(~user@p5b044715.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-03-03 03:52:45 +0100otto_s(~user@p4ff27a8e.dip0.t-ipconnect.de)
2024-03-03 03:54:05 +0100aforemny(~aforemny@i59F516DA.versanet.de) (Ping timeout: 240 seconds)
2024-03-03 03:54:38 +0100aforemny(~aforemny@i59F516CF.versanet.de)
2024-03-03 04:05:03 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-03-03 04:05:33 +0100op_4(~tslil@user/op-4/x-9116473)
2024-03-03 04:09:25 +0100td_(~td@i5387092B.versanet.de) (Ping timeout: 264 seconds)
2024-03-03 04:10:53 +0100td_(~td@i5387093F.versanet.de)
2024-03-03 04:18:49 +0100jargon(~jargon@208.sub-174-238-228.myvzw.com) (Remote host closed the connection)
2024-03-03 04:29:26 +0100Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-03-03 04:34:57 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-03-03 04:35:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-03 04:44:12 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-03-03 04:46:07 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-03-03 04:52:22 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-03-03 05:11:52 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 05:15:30 +0100xff0x(~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 256 seconds)
2024-03-03 05:18:35 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 05:24:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 05:31:04 +0100aforemny_(~aforemny@2001:9e8:6ceb:b600:1da1:3566:9a7d:5011)
2024-03-03 05:32:16 +0100aforemny(~aforemny@i59F516CF.versanet.de) (Ping timeout: 255 seconds)
2024-03-03 05:38:48 +0100bilegeek__(~bilegeek@2600:1008:b028:27aa:9625:12f3:770c:638) (Quit: Leaving)
2024-03-03 05:46:26 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-03-03 06:12:22 +0100mud(~mud@user/kadoban) (Quit: quit)
2024-03-03 06:15:03 +0100rosco(~rosco@yp-151-178.tm.net.my)
2024-03-03 06:15:52 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-03 06:22:38 +0100DaniRybe(~DaniRybe@185.63.198.49)
2024-03-03 06:26:38 +0100 <DaniRybe> Hello everyone, I wrote a CLI tool in haskell: https://github.com/DanRyba253/smh, could somebody who's an uploader on hackage endorse me, so I can upload it there? https://hackage.haskell.org/user/danirybe/endorse Thanks!
2024-03-03 06:33:17 +0100rosco(~rosco@yp-151-178.tm.net.my) (Read error: Connection reset by peer)
2024-03-03 06:35:57 +0100rosco(rosco@gateway/vpn/airvpn/rosco)
2024-03-03 06:46:44 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 06:47:55 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-03-03 06:49:58 +0100xff0x(~xff0x@om126166150142.28.openmobile.ne.jp)
2024-03-03 06:50:11 +0100harveypwca(~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) (Quit: Leaving)
2024-03-03 06:50:34 +0100igemnace(~ian@user/igemnace)
2024-03-03 07:09:47 +0100rosco(rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 252 seconds)
2024-03-03 07:17:33 +0100DaniRybe(~DaniRybe@185.63.198.49) (Quit: Client closed)
2024-03-03 07:17:44 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-03-03 07:18:02 +0100DaniRybe(~DaniRybe@185.63.198.49)
2024-03-03 07:23:33 +0100kenran(~user@user/kenran)
2024-03-03 07:26:08 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 07:26:43 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 07:27:27 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-03-03 07:27:47 +0100DaniRybe(~DaniRybe@185.63.198.49) (Quit: Client closed)
2024-03-03 07:31:28 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 07:31:42 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 07:32:42 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-03 07:33:42 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 07:36:55 +0100Enviosity(~Enviosity@176.254.244.83) (Ping timeout: 260 seconds)
2024-03-03 07:38:05 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds)
2024-03-03 07:47:49 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-03-03 07:49:42 +0100versatile(~versatile@176.254.244.83)
2024-03-03 07:58:06 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 08:02:48 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 08:15:06 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 08:15:51 +0100Guest99(~textual@5.36.161.35)
2024-03-03 08:28:24 +0100Guest99(~textual@5.36.161.35) (Quit: Textual IRC Client: www.textualapp.com)
2024-03-03 08:30:55 +0100xff0x(~xff0x@om126166150142.28.openmobile.ne.jp) (Read error: Connection reset by peer)
2024-03-03 08:32:42 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 08:38:16 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 08:39:43 +0100destituion(~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Ping timeout: 272 seconds)
2024-03-03 08:46:05 +0100euphores(~SASL_euph@user/euphores)
2024-03-03 08:52:28 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 08:58:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 09:00:07 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat)
2024-03-03 09:01:02 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds)
2024-03-03 09:02:03 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-03-03 09:18:43 +0100acidjnk_new3(~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de)
2024-03-03 09:21:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 09:22:32 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-03 09:27:37 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-03-03 09:30:49 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 09:31:05 +0100agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805)
2024-03-03 09:36:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-03-03 09:42:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 09:42:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-03 09:42:54 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 09:47:55 +0100agander_m(agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection)
2024-03-03 09:58:06 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 09:59:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2024-03-03 09:59:57 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 10:04:54 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 10:06:32 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-03 10:07:16 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 10:09:29 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-03-03 10:14:11 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 260 seconds)
2024-03-03 10:14:19 +0100ht_(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-03-03 10:16:36 +0100ht__ht
2024-03-03 10:22:35 +0100gmg(~user@user/gehmehgeh)
2024-03-03 10:24:21 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-03-03 10:29:34 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 10:34:44 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 10:40:22 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 10:41:37 +0100misterfish(~misterfis@84.53.85.146)
2024-03-03 10:43:50 +0100xff0x(~xff0x@2405:6580:b080:900:a7b7:6317:3de7:961a)
2024-03-03 10:58:43 +0100raoul^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-03-03 11:03:45 +0100rosco(~rosco@175.136.155.53)
2024-03-03 11:07:12 +0100vuk(~vuk@cable-94-189-153-242.dynamic.sbb.rs)
2024-03-03 11:07:41 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-03 11:10:17 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 11:24:36 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2024-03-03 11:26:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 11:30:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 11:32:34 +0100dminuoso(~dminuoso@user/dminuoso) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-03 11:33:26 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-03-03 11:34:01 +0100dminuoso(~dminuoso@user/dminuoso)
2024-03-03 11:34:06 +0100dminuoso(~dminuoso@user/dminuoso) (Client Quit)
2024-03-03 11:35:12 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-03-03 11:35:46 +0100dminuoso(~dminuoso@user/dminuoso)
2024-03-03 11:37:40 +0100dminuoso(~dminuoso@user/dminuoso) (Client Quit)
2024-03-03 11:40:41 +0100internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
2024-03-03 11:40:56 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-03-03 12:00:58 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-03-03 12:01:45 +0100internatetional(~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1)
2024-03-03 12:02:24 +0100remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 255 seconds)
2024-03-03 12:07:00 +0100remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz)
2024-03-03 12:13:37 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 12:16:26 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-03-03 12:16:30 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:17:13 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 12:19:20 +0100xff0x(~xff0x@2405:6580:b080:900:a7b7:6317:3de7:961a) (Ping timeout: 268 seconds)
2024-03-03 12:21:08 +0100xff0x(~xff0x@ai082039.d.east.v6connect.net)
2024-03-03 12:24:04 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:24:51 +0100Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
2024-03-03 12:24:58 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 12:27:29 +0100Inst(~Inst@120.244.192.75)
2024-03-03 12:28:01 +0100 <Inst> contra tapas, there is still like a 10-20% chance I could get the money I want, all depends on how much the local government hates me right now
2024-03-03 12:28:14 +0100 <Inst> but for $10 million, do you think it's possible to redo GHC in Rust?
2024-03-03 12:28:23 +0100 <Inst> Say, do GHC2023 extension support only
2024-03-03 12:28:30 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-03 12:28:42 +0100 <Inst> The key features would be:
2024-03-03 12:29:25 +0100 <Inst> change the import system to be network based (i.e, not strict GHC2023 or Haskell2010), so it'd go download libraries or binaries from a centralized server
2024-03-03 12:29:59 +0100 <Inst> allow uploading of functions etc and data dependencies to a centralized repo
2024-03-03 12:30:17 +0100 <Inst> and the monetization mechanism would be via opt-in data collection
2024-03-03 12:32:00 +0100 <Inst> or rather opt-out data collection
2024-03-03 12:33:40 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
2024-03-03 12:35:49 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:36:26 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 12:39:09 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:39:56 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 12:41:34 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 12:45:52 +0100 <[exa]> Inst: like, I assume that people capable of this kind of thing would just plain out refuse to do so, simply for the good manners
2024-03-03 12:46:15 +0100 <[exa]> so you have $10M that you can throw to the community? :D
2024-03-03 12:48:03 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:48:16 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-03-03 12:48:35 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-03 12:50:06 +0100 <haskellbridge> <s​m> Still, thought experiments are fun. DenoHs ?
2024-03-03 12:51:27 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-03-03 12:52:10 +0100 <haskellbridge> <s​m> sounds like a mashup of Deno, Unison and Haskell. I'm not sure if rust would be all that useful. Haskell is more expressive, and you can do the fast bits in C (possibly generated from rust.. or from haskell..)
2024-03-03 12:52:52 +0100 <haskellbridge> <s​m> I don't think sticking with rust for the whole thing would be effective.. but what do I know
2024-03-03 12:53:04 +0100 <haskellbridge> <s​m> I don't think sticking with rust for the whole thing would be cost-effective.. but what do I know
2024-03-03 12:55:38 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-03-03 13:01:38 +0100mrmr155334(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-03-03 13:06:12 +0100mrmr155334(~mrmr@user/mrmr)
2024-03-03 13:07:21 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-03 13:11:59 +0100img(~img@user/img)
2024-03-03 13:13:39 +0100igemnace(~ian@user/igemnace)
2024-03-03 13:19:29 +0100rosco(~rosco@175.136.155.53) (Quit: Lost terminal)
2024-03-03 13:19:29 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 13:23:08 +0100random-jellyfish(~developer@user/random-jellyfish)
2024-03-03 13:24:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 13:27:54 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-03-03 13:45:20 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 13:49:59 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-03-03 13:52:43 +0100misterfish(~misterfis@84.53.85.146)
2024-03-03 13:54:42 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-03 13:59:07 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-03-03 14:11:39 +0100destituion(~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63)
2024-03-03 14:12:09 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-03-03 14:12:23 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 14:20:04 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-03-03 14:38:01 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 14:38:24 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2024-03-03 14:38:43 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2024-03-03 14:44:38 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-03-03 14:45:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-03 14:45:56 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2024-03-03 14:46:40 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2024-03-03 14:48:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 14:50:07 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-03 14:55:53 +0100target_i(~target_i@user/target-i/x-6023099)
2024-03-03 15:04:27 +0100rosco(~rosco@175.136.155.53)
2024-03-03 15:10:25 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-03-03 15:14:04 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 15:14:07 +0100Square(~Square@user/square)
2024-03-03 15:19:01 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 15:26:57 +0100random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 272 seconds)
2024-03-03 15:28:33 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 15:34:08 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-03-03 15:39:56 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 15:42:47 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-03 15:45:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-03 15:45:35 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 15:47:26 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 15:51:37 +0100 <Inst> ehhh, I mean locally, average dev salaries are around 20k USD, and many of them are fairly good
2024-03-03 15:51:39 +0100 <Inst> might be up to 30k
2024-03-03 15:51:55 +0100 <Inst> There's way more Rust talent than Haskell talent where I am right now
2024-03-03 15:53:31 +0100AlexZenon(~alzenon@5.139.232.115) (Ping timeout: 246 seconds)
2024-03-03 15:54:34 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-03-03 15:54:44 +0100 <Inst> Deno I haven't heard of
2024-03-03 15:54:47 +0100euleritian(~euleritia@dynamic-176-006-192-028.176.6.pool.telefonica.de)
2024-03-03 15:56:42 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 15:57:52 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 15:59:02 +0100AlexZenon(~alzenon@5.139.232.115)
2024-03-03 16:01:55 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds)
2024-03-03 16:05:35 +0100 <Inst> Thanks for bringing up Deno
2024-03-03 16:05:52 +0100 <Inst> It's interesting because it's an example of a real attempt to build a compiler-package manager in an existing language
2024-03-03 16:09:38 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-03 16:24:19 +0100rscastilho2024(~rscastilh@179.221.142.47) (Ping timeout: 255 seconds)
2024-03-03 16:25:34 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 16:25:59 +0100rscastilho2024(~rscastilh@179.221.142.47) (Remote host closed the connection)
2024-03-03 16:28:48 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: snooze)
2024-03-03 16:31:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 16:33:23 +0100rscastilho2024(rscastilho@179.221.142.47)
2024-03-03 16:37:32 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 16:41:22 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-03-03 16:45:49 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 16:48:48 +0100 <dmj`> [exa]: this is great, thanks for that link to the pedagogical outsidein(x) implementation
2024-03-03 16:49:13 +0100rosco(~rosco@175.136.155.53) (Quit: Lost terminal)
2024-03-03 16:50:35 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-03-03 16:50:49 +0100bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-03-03 16:52:33 +0100 <[exa]> dmj`: like, hope it does something useful for you. I've had a really _tiny_ implementation somewhere from some of the students but I cannot find it
2024-03-03 16:52:56 +0100 <[exa]> it did just MPTCs, was kinda good
2024-03-03 16:55:41 +0100 <[exa]> Inst: re the monetization, where would the money actually come from? (as in, where do the ads show up?)
2024-03-03 16:56:08 +0100 <Inst> from giving us usage rights and rights to sell your code to people wanting to run copilot etc
2024-03-03 16:56:24 +0100 <Inst> not true FOSS, which is why it's not good manners
2024-03-03 16:57:01 +0100 <Inst> a cousin of mine is actually a government propagandist
2024-03-03 16:57:08 +0100 <[exa]> yeah I'm just wondering who'd pay for that. Somehow the internet business has converged to a state where if it doesn't show ads, it doesn't do money.
2024-03-03 16:57:09 +0100 <Inst> hoping i can get funding and promotion from the relevant organs
2024-03-03 16:57:37 +0100 <Inst> the idea is that the profit generator is the code you upload, as well as usage information, statistics, etc
2024-03-03 16:57:47 +0100 <Inst> but strictly on an opt-out basis
2024-03-03 16:58:11 +0100 <[exa]> doesn't sound very feasible to me tbh, but well good luck
2024-03-03 16:58:25 +0100 <Inst> well i was planning to donate the money to haskell foundation
2024-03-03 16:59:23 +0100 <Inst> it's just from whinging on Complaints and Grievances server (NeoHaskell), seemed more worthwhile to build a new compiler / package manager instead
2024-03-03 16:59:36 +0100 <Inst> I think applying Deno to a pure FP language is a lot more promising
2024-03-03 17:00:04 +0100 <dmj`> [exa]: I hope so too, the goal is a THIH implementation that uses the "french approach". THIH outlines entailment (via traversing super classes and/or instances), context reduction, and resolving ambiguities w/ defaults, trying to see how outsidein(x) handles that
2024-03-03 17:01:34 +0100rscastilho2024(rscastilho@179.221.142.47) (Ping timeout: 256 seconds)
2024-03-03 17:02:32 +0100 <[exa]> Inst: yeah a second compiler would be great
2024-03-03 17:03:13 +0100 <Inst> the point about government propagandists is that they might want to fund it as a source of soft power
2024-03-03 17:03:46 +0100 <[exa]> that's very soft tho.
2024-03-03 17:03:52 +0100 <Inst> i.e, it's embarrassing for them that the software infrastructure underlying software development is Western
2024-03-03 17:04:22 +0100 <Inst> GHC is technically an international project, but most of the names there are from Anglophone or European countries
2024-03-03 17:04:32 +0100 <Inst> beggaring the Chinese gov for support is very faintly viable, and would at least be hilarious
2024-03-03 17:04:54 +0100 <[exa]> well as I said, good luck. :]
2024-03-03 17:05:52 +0100 <Inst> so, let's say I do end up with 10m to push around, in which case, you'll get a new Haskell compiler, that will be faster, and more production oriented than the current Haskell toolchain. The catch? It's Chinese. :3
2024-03-03 17:06:18 +0100 <Inst> probably won't happen, but thanks for the sarcastic support <3
2024-03-03 17:07:33 +0100 <Inst> Haskell, in theory, is an extremely good production language, the only problem is that there are no major backers willing to push it for general use. If certain unlikely events occur, there will be a major backer. :)
2024-03-03 17:08:18 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 17:11:25 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 17:13:16 +0100 <[exa]> not sarcastic, I just don't see it really feasible. Seriously good luck with that. :)
2024-03-03 17:14:51 +0100 <Inst> Also, btw
2024-03-03 17:14:58 +0100 <Inst> Remember the Baby Rudin e-girl streamer I was talking about?
2024-03-03 17:15:02 +0100 <Inst> She's streaming SICP now.
2024-03-03 17:15:08 +0100 <Inst> Changed her name to MathAgape.
2024-03-03 17:15:46 +0100 <Inst> Presuambly with the second word referencing the theological notion.
2024-03-03 17:16:49 +0100 <Inst> https://search.bilibili.com/all?vt=82598951&keyword=mathagape&from_source=webtop_search&spm_id_fro…
2024-03-03 17:16:57 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-03-03 17:18:48 +0100CiaoSen(~Jura@2a05:5800:2ed:c200:e6b9:7aff:fe80:3d03)
2024-03-03 17:19:03 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds)
2024-03-03 17:20:26 +0100 <Inst> also, lol, did she just change her name to Euler's number? ahahahahhaa
2024-03-03 17:24:15 +0100 <dmj`> [exa]: if you do find your tiny implementation, do let me know :)
2024-03-03 17:24:57 +0100 <dmj`> [exa]: I'm hoping the "wanted" and "given" portions will be unnecessary w/o rank n types and coercions
2024-03-03 17:25:11 +0100 <dmj`> and let could stay generalized
2024-03-03 17:26:23 +0100 <[exa]> dmj`: "somewhere deeeeeeeeeeeeep in the thesis repo"
2024-03-03 17:27:20 +0100 <[exa]> anyway yeah someone should write THIH2
2024-03-03 17:31:29 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 17:31:47 +0100 <dmj`> [exa]: there is duet, but it is basically THIH using Data.Map and mtl
2024-03-03 17:32:55 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 17:34:28 +0100 <[exa]> yeah I meant precisely THIH in the solver style with minimal amount of coding specific to anything
2024-03-03 17:36:46 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds)
2024-03-03 17:38:13 +0100rscastilho2024(~rscastilh@179.221.142.47) (Remote host closed the connection)
2024-03-03 17:46:31 +0100 <dmj`> [exa]: yea that would be amazing. Here's purescripts entailment https://github.com/purescript/purescript/blob/master/src/Language/PureScript/TypeChecker/Entailmen…
2024-03-03 17:47:22 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-03 17:51:11 +0100gorignak(~gorignak@user/gorignak)
2024-03-03 17:53:46 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 17:54:17 +0100kuribas(~user@ptr-17d51epblbb7dqltqod.18120a2.ip6.access.telenet.be)
2024-03-03 17:55:11 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-03 17:57:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 18:00:35 +0100fmd(~fmd@user/framend)
2024-03-03 18:03:23 +0100shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-03 18:06:34 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 18:09:53 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-03 18:12:58 +0100rscastilho2024(~rscastilh@179.221.142.47) (Ping timeout: 256 seconds)
2024-03-03 18:13:05 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-03-03 18:14:00 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2024-03-03 18:16:37 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 264 seconds)
2024-03-03 18:17:39 +0100 <monochrom> (Belated) An import statement that auto-downloads is a meltdown waiting to happen. The javascript community experienced it just a couple of years ago. So no, I do not want this.
2024-03-03 18:18:31 +0100 <monochrom> Someone pushed a commit that contained a bug. Then for a day most javascript websites broke.
2024-03-03 18:19:18 +0100 <monochrom> (Also didn't help that the bug was actually trivial and could have been caught by static typing. But that's another debate. >:) )
2024-03-03 18:19:37 +0100kuribas(~user@ptr-17d51epblbb7dqltqod.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2024-03-03 18:21:00 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2024-03-03 18:21:13 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 18:22:37 +0100euleritian(~euleritia@dynamic-176-006-192-028.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-03 18:22:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-03 18:27:53 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 18:37:00 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 18:40:12 +0100sprout_sprout
2024-03-03 18:40:44 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 18:40:53 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 18:45:06 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-03 18:47:50 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 18:51:02 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-03-03 18:52:40 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 18:52:44 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-03-03 18:54:04 +0100 <[exa]> monochrom: a glorious day
2024-03-03 18:55:02 +0100 <Franciman> i mean, monochrom you can also specify version in your import...
2024-03-03 18:55:45 +0100 <Franciman> if you always stick to latest, then you have the same problem when using classic package management
2024-03-03 18:55:49 +0100 <geekosaur> but nobody does and it's too late when that happens
2024-03-03 18:56:11 +0100 <Franciman> it's not a good idea
2024-03-03 18:56:27 +0100 <Franciman> how do you know how the dependency is going to evolve?
2024-03-03 19:00:50 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-03-03 19:04:37 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds)
2024-03-03 19:11:51 +0100 <monochrom> You probably forgot that "classical package management but always latest" is still different from "auto deploy".
2024-03-03 19:12:21 +0100 <monochrom> Especially because the classical way includes a firewall of regression testing before you lock it in and deploy.
2024-03-03 19:15:44 +0100 <monochrom> The javascript meltdown day never happened to C, C++, Java, even Python and PHP, because of that.
2024-03-03 19:17:19 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-03 19:18:25 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-03 19:19:17 +0100oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 240 seconds)
2024-03-03 19:22:11 +0100justache(~justache@user/justache) (Ping timeout: 256 seconds)
2024-03-03 19:22:33 +0100CiaoSen(~Jura@2a05:5800:2ed:c200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
2024-03-03 19:22:45 +0100justache(~justache@user/justache)
2024-03-03 19:23:40 +0100 <Inst> okay, obvious conclusion: import management is a pain in the ass no matter what
2024-03-03 19:24:41 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 19:24:41 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-03-03 19:24:42 +0100 <Inst> curate: someone has to curate
2024-03-03 19:24:49 +0100 <Inst> and people aren't going to be able to curate everything
2024-03-03 19:25:27 +0100 <monochrom> I don't think there is much pain in most existing systems.
2024-03-03 19:25:29 +0100 <Inst> "fixed" direct deploy, specifying version numbers for every file is a pain
2024-03-03 19:25:43 +0100 <Inst> not every file, every freaking function
2024-03-03 19:27:07 +0100 <monochrom> I have only used Haskell's cabal and a little bit of Python's pip or pipx. Neither was painful.
2024-03-03 19:27:53 +0100ridcully(~ridcully@p508ac420.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-03-03 19:28:16 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-03-03 19:28:39 +0100m1dnight(~christoph@82.146.125.185) (Quit: WeeChat 4.2.1)
2024-03-03 19:29:20 +0100m1dnight(~christoph@82.146.125.185)
2024-03-03 19:29:52 +0100ridcully(~ridcully@p508ac420.dip0.t-ipconnect.de)
2024-03-03 19:29:54 +0100 <monochrom> We also need to be more grateful that writing a line of "unordered-containers ^>= 4.5" is still much better than writing your own hash table from scratch.
2024-03-03 19:29:59 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 19:30:43 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 19:31:03 +0100raoul^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-03-03 19:34:54 +0100 <mauke> ... which in turn is better than hcreate/hsearch/hdestroy
2024-03-03 19:35:14 +0100 <monochrom> What are those?
2024-03-03 19:35:31 +0100rscastilho2024(~rscastilh@179.221.142.47) (Remote host closed the connection)
2024-03-03 19:37:37 +0100 <monochrom> OK fine I googled it. So, POSIX hash table API?
2024-03-03 19:38:05 +0100 <geekosaur> so-called
2024-03-03 19:38:07 +0100 <mauke> yes, but full of fun surprises
2024-03-03 19:38:20 +0100 <geekosaur> they're almost worse than writing your own
2024-03-03 19:38:28 +0100 <mauke> at least the linux documentation for hcreate no longer tells lies
2024-03-03 19:38:47 +0100 <mauke> s/almost // :-)
2024-03-03 19:39:25 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-03 19:41:21 +0100m1dnight(~christoph@82.146.125.185) (Quit: WeeChat 4.2.1)
2024-03-03 19:42:02 +0100m1dnight(~christoph@82.146.125.185)
2024-03-03 19:43:54 +0100 <monochrom> OK, I had never heard of it, so I don't know the historically famous issues. The only two red flags I have are: 1. hsearch() plays triple role of {insert, lookup, delete} so it breaks the cohesion principle; 2. wait, so there is only one single global hash table?!
2024-03-03 19:44:33 +0100 <geekosaur> that's 1990s C for you (it came from SVR3)
2024-03-03 19:45:00 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 19:45:53 +0100 <mauke> yes, except there is no delete
2024-03-03 19:46:23 +0100 <monochrom> I imagine "insert but the value is NULL" could be construed as delete.
2024-03-03 19:46:23 +0100 <mauke> and there are multiple single global hash tables (-> hdestroy)
2024-03-03 19:46:37 +0100 <monochrom> :( hahaha OK
2024-03-03 19:46:49 +0100 <c_wraith> :t M.alterF -- look, we have an insert/lookup/delete function at home!
2024-03-03 19:46:50 +0100 <lambdabot> (Functor f, Ord k) => (Maybe a -> f (Maybe a)) -> k -> M.Map k a -> f (M.Map k a)
2024-03-03 19:47:03 +0100 <mauke> also, max capacity is fixed at creation
2024-03-03 19:47:16 +0100 <monochrom> OK right, if there is to be at most one table, hdestroy makes no sense.
2024-03-03 19:47:49 +0100 <EvanR> one global hash table should be enough for anybody
2024-03-03 19:47:59 +0100 <mauke> IIRC the linux man page used to say that the hcreate parameter was only an optimization hint and the table would resize itself automatically (it doesn't)
2024-03-03 19:48:04 +0100 <EvanR> you can always namespace your keys for organization
2024-03-03 19:49:07 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-03-03 19:49:33 +0100 <monochrom> There is a difference between offering alterF in addition to {insert, lookup, delete} in case someone wants some optimization and offering only alterF and telling you to use it for {insert, lookup, delete}.
2024-03-03 19:49:59 +0100 <geekosaur> also alterF is a relatively recent addition to the API
2024-03-03 19:50:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 19:50:41 +0100 <c_wraith> Yeah, it was made at the request of lensfolk, to make at more efficient. (It's the same function with a different parameter order)
2024-03-03 19:51:02 +0100 <mauke> also, "alter" is german for "old" and who are you calling an oldF...?
2024-03-03 19:51:08 +0100 <monochrom> s/wants some optimization/wants some optimization for a niche problem where alterF is very appropriate/
2024-03-03 19:52:20 +0100 <c_wraith> mauke: myself. where's my back pain medicine?
2024-03-03 19:52:27 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 19:53:32 +0100ridcully(~ridcully@p508ac420.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-03-03 19:54:09 +0100 <mauke> back pain just means "bake bread" if you translate wrong enough from german/french
2024-03-03 19:54:53 +0100 <monochrom> OK, I guess I have done the logical equivalent of calling lens niche :)
2024-03-03 19:55:54 +0100 <geekosaur> only the part of lens that uses alterF
2024-03-03 19:57:07 +0100ridcully(~ridcully@p508ac420.dip0.t-ipconnect.de)
2024-03-03 19:57:40 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-03-03 19:58:00 +0100 <monochrom> I have done broader than that. The whole spirit of lens is that one single operation unifies read-a-location and write-a-location, i.e., exactly what I said about hsearch().
2024-03-03 19:59:02 +0100 <c_wraith> and then generalizes it to "read and write 0..n locations"
2024-03-03 19:59:06 +0100 <monochrom> Oooohhhhh SVR3 hash table used lens before it was cool >:)
2024-03-03 19:59:45 +0100 <monochrom> I wonder if one day one single Kan extension unifies everything in lens. >:)
2024-03-03 20:04:05 +0100misterfish(~misterfis@84.53.85.146)
2024-03-03 20:05:42 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-03-03 20:05:55 +0100rscastilho2024(~rscastilh@179.221.142.47) (Ping timeout: 260 seconds)
2024-03-03 20:06:12 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-03-03 20:06:15 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds)
2024-03-03 20:08:39 +0100 <monochrom> Ooohhh "back pain" -> "bake bread"... So is it true that at the eve of the French Revolution, the queen did not say "cake", she was really saying "back pain"?
2024-03-03 20:09:28 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 20:10:16 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
2024-03-03 20:12:20 +0100michalz(~michalz@185.246.207.221)
2024-03-03 20:22:15 +0100rscastilho2024(~rscastilh@179.221.142.47) (Read error: Connection reset by peer)
2024-03-03 20:22:28 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-03-03 20:27:27 +0100notzmv(~daniel@user/notzmv)
2024-03-03 20:30:12 +0100 <EvanR> putting words into marie antionette's mouth is in very poor taste since she was decapitated
2024-03-03 20:32:03 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 20:32:42 +0100ddb1(ddb@tilde.club) (Quit: WeeChat 4.1.1)
2024-03-03 20:33:23 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 20:38:22 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 21:00:50 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-03-03 21:01:12 +0100glguy_(g@libera/staff/glguy)
2024-03-03 21:01:23 +0100glguyGuest5546
2024-03-03 21:01:23 +0100glguy_glguy
2024-03-03 21:05:12 +0100Guest5546(g@libera/staff/glguy) (Ping timeout: 612 seconds)
2024-03-03 21:07:05 +0100falafel(~falafel@2607:fb91:850:82c5:c592:dbea:770b:778e)
2024-03-03 21:10:13 +0100fmd(~fmd@user/framend) (Quit: WeeChat 4.1.1)
2024-03-03 21:10:31 +0100Guest21(~Guest21@177.53.247.189)
2024-03-03 21:10:42 +0100 <Inst> monochrom: I guess it's more a question of scale
2024-03-03 21:10:56 +0100 <Inst> I suppose what I'm really thinking of is a full ide, but... HLS is already good enough
2024-03-03 21:11:03 +0100 <Inst> and it'd honestly be better to work on HLS
2024-03-03 21:11:18 +0100Guest21(~Guest21@177.53.247.189) (Client Quit)
2024-03-03 21:16:51 +0100rscastilho2024(~rscastilh@179.221.142.47) (Remote host closed the connection)
2024-03-03 21:17:07 +0100rscastilho2024(~rscastilh@179.221.142.47)
2024-03-03 21:17:31 +0100rscastilho2024(~rscastilh@179.221.142.47) (Remote host closed the connection)
2024-03-03 21:17:39 +0100glguy(g@libera/staff/glguy) (Read error: Connection reset by peer)
2024-03-03 21:23:40 +0100glguy(g@libera/staff/glguy)
2024-03-03 21:28:29 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 21:32:49 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 21:33:12 +0100Sgeo(~Sgeo@user/sgeo)
2024-03-03 21:33:57 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 21:38:22 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 21:51:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 21:51:24 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 21:55:46 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds)
2024-03-03 21:56:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-03 21:56:52 +0100yuuta(~YuutaW@mail.yuuta.moe) (Ping timeout: 255 seconds)
2024-03-03 21:57:43 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7)
2024-03-03 21:58:27 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2024-03-03 22:11:55 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-03 22:13:43 +0100jargon(~jargon@208.sub-174-238-228.myvzw.com)
2024-03-03 22:16:37 +0100sprout_(~quassel@2a02-a448-3a80-0-e0b8-68e-5e32-bc20.fixed6.kpn.net)
2024-03-03 22:19:01 +0100ski(~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds)
2024-03-03 22:19:26 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-03-03 22:20:08 +0100ski(~ski@ext-1-033.eduroam.chalmers.se)
2024-03-03 22:20:15 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 255 seconds)
2024-03-03 22:20:31 +0100sprout(~quassel@2a02-a448-3a80-0-9498-953-ac6-54d2.fixed6.kpn.net) (Ping timeout: 272 seconds)
2024-03-03 22:21:45 +0100YuutaW(~YuutaW@mail.yuuta.moe)
2024-03-03 22:22:31 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds)
2024-03-03 22:23:35 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 22:27:29 +0100YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 272 seconds)
2024-03-03 22:27:52 +0100michalz(~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-03 22:28:26 +0100YuutaW(~YuutaW@mail.yuuta.moe)
2024-03-03 22:31:00 +0100jmcantrell(~weechat@user/jmcantrell)
2024-03-03 22:31:17 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds)
2024-03-03 22:33:58 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-03 22:36:29 +0100mastarija(~mastarija@141-136-168-207.dsl.iskon.hr)
2024-03-03 22:36:47 +0100pavonia(~user@user/siracusa)
2024-03-03 22:38:13 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-03-03 22:38:34 +0100 <mastarija> Is there a way to "massage" the HasField into creating an instance for any value that implements a certain class? I want to have the x, y and z fields for V1, V2, V3, V4 etc. from the linear package.
2024-03-03 22:38:52 +0100 <mastarija> I was thinking something like this: instance R1 v => HasField "x" (v n) n where getField v = v ^. _x
2024-03-03 22:40:24 +0100 <geekosaur> doesn't this have the same problem any "…that implements a class" has? (is instanced for everything, then the instance is checked at runtime)
2024-03-03 22:40:25 +0100 <mastarija> Obviously, that won't work, since HasField has a fun dep where "x" and (v n) imply n
2024-03-03 22:41:18 +0100 <mastarija> geekosaur not sure what you are implying.
2024-03-03 22:42:15 +0100 <mastarija> I'm sure there are cases where what I've proposed would cause trouble, however, I don't think it would be a problem for vector stuff.
2024-03-03 22:43:50 +0100 <mastarija> Although, if I have some record that has x field, and implements e.g. R1 then that record should already have the "x" field instance derived, so my general instance would collide with it. But can't we solve this with overlapping instances or something?
2024-03-03 22:48:42 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-03-03 22:51:30 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-03-03 22:51:33 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 22:55:06 +0100justache(~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-03 22:56:49 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-03-03 22:57:45 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-03 22:58:46 +0100Sgeo_(~Sgeo@user/sgeo)
2024-03-03 22:58:46 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-03-03 22:59:59 +0100falafel(~falafel@2607:fb91:850:82c5:c592:dbea:770b:778e) (Ping timeout: 260 seconds)
2024-03-03 23:03:12 +0100justache(~justache@user/justache)
2024-03-03 23:06:32 +0100thegeekinside(~thegeekin@189.217.83.221)
2024-03-03 23:07:57 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-03-03 23:11:59 +0100bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-03-03 23:19:31 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2024-03-03 23:23:22 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-03-03 23:25:07 +0100thegeekinside(~thegeekin@189.217.83.221) (Remote host closed the connection)
2024-03-03 23:28:29 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 23:28:51 +0100zenstoic(uid461840@id-461840.hampstead.irccloud.com)
2024-03-03 23:30:42 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1)
2024-03-03 23:34:17 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-03-03 23:35:03 +0100jmcantrell(~weechat@user/jmcantrell)
2024-03-03 23:36:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-03 23:41:13 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1)
2024-03-03 23:41:55 +0100jmcantrell(~weechat@user/jmcantrell)
2024-03-03 23:52:39 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-03 23:57:30 +0100tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)