Tuomas Hietanen

@lenadroid That’s like me in Macy’s

It's been a long day ✨ Codex trying to extend our time together.

@lenadroid I think Claude has almost monopoly in models, but threatened by other players now pouring so much money to their models. Meanwhile sonnet 4.5 starts to be old, Claude has focused to buy other companies like UI libraries, desperately trying to get their eggs from the single basket

- Want to go catch a movie? - Nah, I'm good. I'm shipping code and this Anthropic drama is arguably more entertaining.

My small contribution to @sergey_tihon’s amazing #fsadvent #fsharp : thorium.github.io/FSharp.Azure.Q…

@gunsnrosesgirl3 @ajwillshire Manufacturing and electricity costs vs recycling benefits?

AI powered smart recycling bin sorts your waste automatically

SQLProvider has added separate database-specific NuGet packages. This way, the users can forget the initial setup struggles with the resolutionPath dlls. github.com/fsprojects/SQL…

@Bhaal_Spawn We found out being neighbours via a chat in an IRC channel with @jheikkin

Join us for the upcoming F# London meetup! . Building Quantitative Learning Apps in #fsharp! We will learn how F# can be leveraged to create quantitative learning applications. Date: Thursday, February 27 Details: tinyurl.com/2s37798m

@rickasaurus SQLProvider (fsharp) supports DuckDB

Have you ever tried DuckDB, was it good?

@sgoguen It seems to operate in the same logic programming space, but I've not seen people actually use MiniKanren for anything useful. In general, it looks a bit more general to me, but then again, I'm not so familiar with Gödel. How would you compare these 2?

@Thoriumi I am. I’m actually familiar with all the MiniKanren implementations (even Jon Harrop’s which isn’t listed on the website). I almost did a MiniKanren post this year. Why do you ask? I’m curious if your thinking is in line with my thinking.

Happy Holidays #FsAvent! I'm happy to annouce the The Gödelian Toolkit! It's a tiny educational #fsharp library to create Gödelian constructors for your toy languages. Enumerate and systematically explore your toy languages and inductive types! github.com/sgoguen/godeli…

It’s not Musk who kills the Twitter/“townhalls”. It’s AI generated content and videos: There is no point of watching anything if you don’t know are you watching fiction or not.

@Lanayx @tomasgrosup @psfinaki I think documentation could have further details: What is the distribution? What is the seed? (time, machine, …) Is it like .Net Random or cryptography level random?

@tomasgrosup I'd also need to give cudos to @psfinaki for the process management, without him this work wouldn't be merged ever

The inclusion of 🎲[Array|List|Seq].random.*🎲 functions into FSharp.Core 🦔 has been driven and finalized by @Lanayx . He definitely deserves full credit here 👍. The design is solid enough to enable thread-safe access, reproducible use-cases as well as an easy to use API 👍.

@vzarytovskii @ChShersh To me StackOverflow rates rather how problematic tools are.

@ChShersh “Everybody” and “hate” are quite strong words.

F# is great. But everybody hates Microsoft. Besides, it makes more sense for Microsoft to continue investing in TypeScript. So F# will never be popular.

@pixelnfl where are the xmas jumpers?

I’m writing some #dotnet developer guidance gist.github.com/Thorium/b33dd7…

@vzarytovskii Types and cache… hopefully tested with TypeProviders before releasing.

#fsharp Recently merged a fix for a nasty issue we have in compiler. This should help compilation times for projects which heavily rely (implicitly or explicitly) on type conversions: github.com/dotnet/fsharp/… Should be in the first release of 2025 (9.0.300 ?)

I thought black/white (-list) in security refers to a stereotype of a hacker with a black hoodie in the shadows, vs daylight. Never occurred to me it could be taken racially.

LLM generated content is not “by AI”. It’s by Zombies. Remember that when you do your marketing.

@rickasaurus I opened the package and first thought I bought a used product because already so many particles. But hovering a little bit my sofa easily proved me wrong.

I’m not sure why but I need this in my life

@isaac_abraham What do you think of JS way of distinction between 2 roles of null: having separate “absence due unassigned” (undefined) and “absence due special case” (null)?

I've always been of the opinion that C# should embrace the null support in the language rather than use options - for better or worse, it's the idiomatic way of dealing with "absence of value" and it has a powerful (if perhaps an overly complicated) flow analysis to encourage type safety and reason about absence-of-value. Here are a few alternatives to the @mjovanovictech approach (which uses a traditional Option type with Map / Bind etc.), all of which do away with Options but retain type safety. Please ignore the fact that I've not used every new C# feature in terms of collection initialisers / expression-bodied functions etc. :-)