Newest at the top
| 2026-02-04 12:38:46 +0100 | <gentauro> | seems too much |
| 2026-02-04 12:38:41 +0100 | <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/ |
| 2026-02-04 12:37:29 +0100 | <gentauro> | The F* "thingy" is a 100% copied from Liquid Haskell -> https://software.imdea.org/careers/2022-02-intern-liquid/ |
| 2026-02-04 12:36:48 +0100 | <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 12:34:59 +0100 | fp1 | (~Thunderbi@2001:708:150:10::9d7e) (Client Quit) |
| 2026-02-04 12:34:30 +0100 | fp | (~Thunderbi@130.233.70.158) fp |
| 2026-02-04 12:33:32 +0100 | <[exa]> | wait how do they get knowledge from academia? (I probably missed that part, looks super industrial to me tbh) |
| 2026-02-04 12:32:31 +0100 | <gentauro> | but, that sometimes come with the downside of not being "industry friendly" as you mention |
| 2026-02-04 12:31:59 +0100 | <gentauro> | [exa]: yeah, it sounds to good to be true. But I like how they go to academia to get knowledge. |
| 2026-02-04 12:31:20 +0100 | fp1 | (~Thunderbi@2001:708:150:10::9d7e) fp |
| 2026-02-04 12:31:16 +0100 | <gentauro> | but you know, we are "lazy" after all xD |
| 2026-02-04 12:31:10 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2026-02-04 12:31:07 +0100 | <gentauro> | I'm going to give a talk in March. I should probably begin to look into how to solve it |
| 2026-02-04 12:30:44 +0100 | <gentauro> | mesaoptimizer: my current setup doesn't work as expected, so I just "go with it" (no intellisense) xD |
| 2026-02-04 12:22:52 +0100 | [exa] | hides behind his zero lines of vim config |
| 2026-02-04 12:20:22 +0100 | <haskellbridge> | <magic_rb> thats more of a cabal problem i seem to recal |
| 2026-02-04 12:18:30 +0100 | <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 12:17:42 +0100 | <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 12:16:16 +0100 | <[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 12:14:56 +0100 | <[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 12:13:25 +0100 | gentauro | anyway, back to "old-school" coding |
| 2026-02-04 12:12:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 12:12:44 +0100 | <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 12:11:40 +0100 | <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 12:08:34 +0100 | <[exa]> | (or ocaml, depending on which direction you take) |
| 2026-02-04 12:06:26 +0100 | <[exa]> | doesn't it kinda become haskell by then? |
| 2026-02-04 11:59:26 +0100 | <gentauro> | … and Oracle :) |
| 2026-02-04 11:55:14 +0100 | <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 11:54:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-04 11:44:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-04 11:43:43 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 11:39:50 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 11:38:57 +0100 | trickard_ | trickard |
| 2026-02-04 11:37:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 11:32:04 +0100 | AlexNoo_ | AlexNoo |
| 2026-02-04 11:31:43 +0100 | qqq | (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 11:25:29 +0100 | <[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 11:22:05 +0100 | <gentauro> | I mean, all the things that he mentions are "extremely hard" to do on its own. |
| 2026-02-04 11:21:32 +0100 | <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 11:14:25 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 11:07:49 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:05:18 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:05:16 +0100 | AlexZenon | (~alzenon@85.174.181.199) |
| 2026-02-04 11:04:54 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:04:19 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:03:33 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:03:07 +0100 | AlexNoo | (~AlexNoo@178.34.150.239) (Ping timeout: 246 seconds) |
| 2026-02-04 11:01:49 +0100 | AlexZenon | (~alzenon@178.34.150.239) (Ping timeout: 264 seconds) |
| 2026-02-04 11:00:25 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 10:59:39 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |