Logs: liberachat/#haskell
| 2026-02-04 07:43:08 | <[exa]> | gentauro: the lookings of the blog don't spawn much confidence indeed |
| 2026-02-04 07:43:38 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-04 07:44:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 07:45:16 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-04 07:45:37 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-04 07:45:46 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-04 07:47:26 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-02-04 07:49:20 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 07:52:22 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-04 07:53:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 07:53:30 | → | monochrom joins (trebla@216.138.220.146) |
| 2026-02-04 07:57:47 | → | Enrico63 joins (~Enrico63@148.252.128.12) |
| 2026-02-04 08:00:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 08:01:10 | × | fp quits (~Thunderbi@2001:708:150:10::9d7e) (Ping timeout: 245 seconds) |
| 2026-02-04 08:01:57 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-04 08:10:33 | → | kuribas joins (~user@2a02-1810-2825-6000-16d8-7b7e-1bcd-b36.ip6.access.telenet.be) |
| 2026-02-04 08:11:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-04 08:13:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 08:16:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-04 08:17:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-04 08:19:16 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-02-04 08:20:39 | <[exa]> | hm I guess better ask about the original problem.. I have a few concurrent helpers for Streaming, and I want to have a parallel unfolding function. Example here: https://paste.tomsmeding.com/y8PLkSYh -- mapMForkNIO works, unfoldStream works, and I'd love to them combined, but I can't see a good data structure that would hold the temporary data for it together. Having a list queue there doesn't |
| 2026-02-04 08:20:41 | <[exa]> | sound very good to me (I'll have to scan it quite often to find new work items, so it might get quite slow) |
| 2026-02-04 08:21:52 | <[exa]> | (duck effect: I realized I might just place a limit on the queue size instead of the thread count, which would probably also limit the possible amount of stupid work done over the queue) |
| 2026-02-04 08:22:05 | <[exa]> | anyway any ideas welcome. :D |
| 2026-02-04 08:22:31 | × | _JusSx_ quits (~jussx@78.210.76.107) (Ping timeout: 240 seconds) |
| 2026-02-04 08:23:36 | → | _JusSx_ joins (~jussx@78.210.76.107) |
| 2026-02-04 08:30:36 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-04 08:32:55 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 08:40:29 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-04 08:40:42 | → | chele joins (~chele@user/chele) |
| 2026-02-04 08:52:28 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-02-04 08:53:05 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 08:57:29 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-04 09:02:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-04 09:05:27 | → | fp joins (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) |
| 2026-02-04 09:05:53 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 09:06:07 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 09:09:34 | × | fp quits (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 246 seconds) |
| 2026-02-04 09:15:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-04 09:18:26 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2026-02-04 09:19:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-02-04 09:20:01 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-04 09:21:43 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 09:21:56 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 09:29:45 | → | qqq joins (~qqq@185.54.21.178) |
| 2026-02-04 09:31:53 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 09:32:04 | → | fp joins (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) |
| 2026-02-04 09:32:34 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 09:37:02 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-04 09:51:40 | × | fp quits (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 255 seconds) |
| 2026-02-04 09:59:39 | → | AlexNoo_ joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:00:25 | → | AlexNoo__ joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:01:49 | × | AlexZenon quits (~alzenon@178.34.150.239) (Ping timeout: 264 seconds) |
| 2026-02-04 10:03:07 | × | AlexNoo quits (~AlexNoo@178.34.150.239) (Ping timeout: 246 seconds) |
| 2026-02-04 10:03:33 | → | AlexNoo joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:04:19 | × | AlexNoo_ quits (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 10:04:54 | × | AlexNoo__ quits (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 10:05:16 | → | AlexZenon joins (~alzenon@85.174.181.199) |
| 2026-02-04 10:05:18 | → | AlexNoo_ joins (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:07:49 | × | AlexNoo quits (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 10:14:25 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 10:21:32 | <gentauro> | [exa]: if you search for "// F* specification for verified memory operation" it seems that he also will add somekind of `liquid F#/F*` support? https://speakez.tech/blog/doubling-down/ |
| 2026-02-04 10:22:05 | <gentauro> | I mean, all the things that he mentions are "extremely hard" to do on its own. |
| 2026-02-04 10:25:29 | <[exa]> | gentauro: given the amount of "complete" code they have on githubs I'd say this might be a case for poc||gtfo |
| 2026-02-04 10:31:43 | × | qqq quits (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 10:32:04 | AlexNoo_ | is now known as AlexNoo |
| 2026-02-04 10:37:18 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-04 10:38:57 | trickard_ | is now known as trickard |
| 2026-02-04 10:39:50 | → | qqq joins (~qqq@185.54.21.178) |
| 2026-02-04 10:43:43 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 10:44:01 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-04 10:54:06 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2026-02-04 10:55:14 | <gentauro> | [exa]: could be. However, I would love to see F# removing all dependencies to MS, a bit like Java did with the openJDK |
| 2026-02-04 10:59:26 | <gentauro> | … and Oracle :) |
| 2026-02-04 11:06:26 | <[exa]> | doesn't it kinda become haskell by then? |
| 2026-02-04 11:08:34 | <[exa]> | (or ocaml, depending on which direction you take) |
| 2026-02-04 11:11:40 | <gentauro> | [exa]: but both Haskell and OCaml have garbage collectors. They seem to go the `C/C++/Rust` way -> https://speakez.tech/blog/gaining-closure/ |
| 2026-02-04 11:12:44 | <gentauro> | like I say, they are so many "complex and hard" topics that I really would like this to succeed, just to see the outcome :o |
| 2026-02-04 11:12:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 11:13:25 | gentauro | anyway, back to "old-school" coding |
| 2026-02-04 11:14:56 | <[exa]> | gentauro: I was trying to do similar some 10 years ago, the outcome is that converting any existing functional programming system to this behavior is either impossible or basically you end up with something like the compiled schemes or Rust |
| 2026-02-04 11:16:16 | <[exa]> | there was also quite a bit of research on related things back in 90s, maybe some stuff moved but my main takeaway was that it's not practical |
| 2026-02-04 11:17:42 | <mesaoptimizer> | what is the current recommended setup for emacs with haskell? if you have a robust configuration, please link it to me. |
| 2026-02-04 11:18:30 | <mesaoptimizer> | I think `haskell-mode` is unable to do stuff like open a `cabal repl` on a file that has an in-built set of dependencies declared |
| 2026-02-04 11:20:22 | <haskellbridge> | <magic_rb> thats more of a cabal problem i seem to recal |
| 2026-02-04 11:22:52 | [exa] | hides behind his zero lines of vim config |
| 2026-02-04 11:30:44 | <gentauro> | mesaoptimizer: my current setup doesn't work as expected, so I just "go with it" (no intellisense) xD |
| 2026-02-04 11:31:07 | <gentauro> | I'm going to give a talk in March. I should probably begin to look into how to solve it |
| 2026-02-04 11:31:10 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2026-02-04 11:31:16 | <gentauro> | but you know, we are "lazy" after all xD |
| 2026-02-04 11:31:20 | → | fp1 joins (~Thunderbi@2001:708:150:10::9d7e) |
| 2026-02-04 11:31:59 | <gentauro> | [exa]: yeah, it sounds to good to be true. But I like how they go to academia to get knowledge. |
| 2026-02-04 11:32:31 | <gentauro> | but, that sometimes come with the downside of not being "industry friendly" as you mention |
| 2026-02-04 11:33:32 | <[exa]> | wait how do they get knowledge from academia? (I probably missed that part, looks super industrial to me tbh) |
| 2026-02-04 11:34:30 | → | fp joins (~Thunderbi@130.233.70.158) |
| 2026-02-04 11:34:59 | × | fp1 quits (~Thunderbi@2001:708:150:10::9d7e) (Client Quit) |
| 2026-02-04 11:36:48 | <gentauro> | [exa]: MLKit comes from academia -> https://www.itu.dk/research/mlkit (and the reserach page doesn't even work, so yeah, 100% academia xD) |
| 2026-02-04 11:37:29 | <gentauro> | The F* "thingy" is a 100% copied from Liquid Haskell -> https://software.imdea.org/careers/2022-02-intern-liquid/ |
| 2026-02-04 11:38:41 | <gentauro> | so this core components are mental. Then they are also opting for creating all the environment tools https://speakez.tech/blog/leveling-up-with-lattice/ |
All times are in UTC.