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