2026/04/14

Newest at the top

2026-04-14 14:38:05 +0000 <janus> there is a hackathon in cdmx called 'WeirdUI' and typescript and react are outlawed. because they are too normal
2026-04-14 14:36:37 +0000 <janus> then you end up with these massive tooling issues like ghc ecosystem has, where you have to make sure that hls, c library and ghc all line up...
2026-04-14 14:35:28 +0000 <janus> by iterating super fast and somehow tying the language to new runtime versions, it's like the whole advantage of ' owning the platform' disappears
2026-04-14 14:34:12 +0000 <janus> why do i need .NET core? I really don't get it.
2026-04-14 14:33:39 +0000 <janus> but that is like the best thing about microsoft! the backwards compat!
2026-04-14 14:33:27 +0000 <janus> but every time i mention .NET framework to .NET people they look at me like i am crazy
2026-04-14 14:33:09 +0000 <janus> gentauro: the most appealing thing to me about F# is that you could make a compiled program for .NET Framework and have it run out of the box on the Windows versions of the last , i dunno, 25 years?
2026-04-14 14:33:05 +0000 <humasect> oh..caml?
2026-04-14 14:30:26 +0000 <comerijn> That still sounds wrong, but less so :p
2026-04-14 14:30:19 +0000 <comerijn> i.e. "code quotations" (of both typed and untyped lambda calculus)
2026-04-14 14:30:03 +0000 <comerijn> __monty__: I think you're skipping the pre-parentheses
2026-04-14 14:29:37 +0000tromp(~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-14 14:24:43 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-14 14:24:27 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-04-14 14:22:49 +0000 <lortabac> TIL Alonzo Church invented F# in 1936
2026-04-14 14:18:39 +0000 <__monty__> Typed and untyped lambda calculus came out of F#? That doesn't sound right.
2026-04-14 14:16:06 +0000misterfish(~misterfis@31-161-39-137.biz.kpn.net) misterfish
2026-04-14 14:15:56 +0000misterfish(~misterfis@31.161.39.137) (Client Quit)
2026-04-14 14:15:16 +0000misterfish(~misterfis@31.161.39.137) misterfish
2026-04-14 14:14:11 +0000 <janus> this world is too small :O
2026-04-14 14:07:20 +0000 <[exa]> (btw lol, I see the blog of tomas :D he's sitting literally in the office next to mine :D :D )
2026-04-14 14:06:55 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 264 seconds)
2026-04-14 14:06:53 +0000 <[exa]> (me included tbh)
2026-04-14 14:06:45 +0000 <[exa]> yeah some folks are actually a little sensitive to the whole .NET blob
2026-04-14 14:02:25 +0000 <gentauro> F# gets a lot of "bad publi" (cos of MS ownership) but it's actually a pretty good language
2026-04-14 14:02:02 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-14 14:01:10 +0000 <gentauro> oh yeah, and the type-providers (they was afterwards mimiced by Idris, David Christensen)
2026-04-14 14:00:41 +0000 <gentauro> some good stuff has actually came out of F# (missing module functors though): computation expressions (monadic syntax), code quoatations (typed and untyped lambda calculus), units of measure (tag primitive types). He also had a brilliant collaborator that made some novel and groundbreaking research: https://tomasp.net/coeffects/
2026-04-14 13:58:38 +0000 <[exa]> oh cool then
2026-04-14 13:58:32 +0000 <gentauro> yeah
2026-04-14 13:58:26 +0000 <[exa]> the rest is F# right?
2026-04-14 13:58:01 +0000 <gentauro> it seems like it didn't went their way, so they ended up portin OCaml to .NET and, the rest is history :)
2026-04-14 13:57:58 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-04-14 13:57:37 +0000 <gentauro> [exa]: Don Syme was hired by MS to do his PhD thesis on how to "port" Haskell to the .NET platform working together with Cambridge University
2026-04-14 13:51:09 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 255 seconds)
2026-04-14 13:46:50 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-14 13:46:36 +0000 <[exa]> (who's don syme)
2026-04-14 13:46:14 +0000 <[exa]> yeah the count of the green threads isn't a big issue, the resource exhaustion that happens if each of the threads starts nibbling is the issue
2026-04-14 13:45:17 +0000 <gentauro> and lets not talk Erlang/Elixir
2026-04-14 13:45:04 +0000 <gentauro> but he showed how F# easily could handle a mil green-threads
2026-04-14 13:44:44 +0000 <gentauro> [exa]: I recall Don Syme had a MS blog post (his blog is gone since he was "moved" to GitHub Next)
2026-04-14 13:43:20 +0000 <[exa]> like, can the usual kernel keep 1M TCP connections open?
2026-04-14 13:41:04 +0000xff0x(~xff0x@2405:6580:b080:900:763c:362b:b9c4:6a52)
2026-04-14 13:40:16 +0000 <gentauro> thx :)
2026-04-14 13:37:58 +0000xff0x(~xff0x@2405:6580:b080:900:763c:362b:b9c4:6a52) (Ping timeout: 268 seconds)
2026-04-14 13:35:03 +0000karenw(~karenw@user/karenw) karenw
2026-04-14 13:34:41 +0000karenw(~karenw@user/karenw) (Remote host closed the connection)
2026-04-14 13:32:11 +0000 <[exa]> gentauro: 1M is possible for sure, even more I'd say; the main concern is that at that point I don't really see an engineeringly correct use-case for that
2026-04-14 13:25:32 +0000karenw(~karenw@user/karenw) karenw
2026-04-14 13:25:27 +0000Digit(~user@user/digit) Digit