Ondrej Pinka
banner
ondrejpinka.bsky.social
Ondrej Pinka
@ondrejpinka.bsky.social
A person, sometimes even a human being.
Reposted by Ondrej Pinka
And yet another example where #fsharp shines. Improving performance by parallelizing code. So simple and almost effortless:
November 29, 2025 at 9:02 AM
Reposted by Ondrej Pinka
Er intervjuet av Blikk om at vi i forskningssaken har mottatt en rekke godkjenningsdokumenter som viser tegn på forfalskning:
- Tillatelser finnes i mange ulike versjoner med samme dato
- Tillatelser er gjenbrukt
- Metadata viser at dokumentasjon har blitt produsert som respons på innsynskrav.
(+) Meiner Rikshospitalet kan ha forfalska dokument for å forske på transpersonar – mot deira viten og vilje
Pasientorganisasjonen for kjønnsinkongruens meiner kontrollen med dokumentføring ved Nasjonal behandlingsteneste for kjønnsinkongruens er so dårleg at det kan nærma seg dokumentforfalsking.
www.blikk.no
November 28, 2025 at 7:06 PM
Reposted by Ondrej Pinka
F# 10 enhances functional programming on #dotNET with nullable reference types, optimized equality checks, faster integral ranges, and improved tooling diagnostics. It reinforces F#’s reputation as a concise, reliable, and high-performance. Learn more: msft.it/63320tr2J2
November 25, 2025 at 9:40 PM
Reposted by Ondrej Pinka
Fable 4 and Fable 5, both got a new release to make them work with .NET 10 🎉 #fsharp #fablecompiler
November 25, 2025 at 10:19 PM
Reposted by Ondrej Pinka
A few things I have learned the last week while building an app using F#:

1. 🚨 F# won’t save you from missing pattern cases. Haskell treats non-exhaustive matches as warnings; F# treats them as a suggestion. Turn on --warnaserror+25 if you want the compiler to act like it cares.
November 25, 2025 at 5:17 AM
Reposted by Ondrej Pinka
My five-project (along with slides, video lectures, etc.) compilers course has all projects now available online free: kmicinski.com/functional-p.... Five projects have you incrementally build a compiler for a substantial language, including functions, mutation, loops, vectors, etc.
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 24, 2025 at 3:26 AM
Reposted by Ondrej Pinka
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
November 14, 2025 at 12:13 AM
Reposted by Ondrej Pinka
Hurray #fsharp got released!

learn.microsoft.com/en-us/dotnet...

Huge thanks to all the contributors!

We will try and set up a stream in the coming weeks to review all the changes!
What's new in F# 10 - F# Guide - .NET
Get an overview of the new features available in F# 10.
learn.microsoft.com
November 14, 2025 at 6:59 AM
Reposted by Ondrej Pinka
Hey #fsharp!

Ionide 7.29.0 / FsAutocomplete 0.81.0 is out and brings F# 10 and .NET 10 support! Give it a try and report issues when you find them!
November 13, 2025 at 3:21 PM
Reposted by Ondrej Pinka
Dear #fsharp, we're asking again about a possible Fantomas default change: github.com/fsprojects/f...

With 500+ downloads a day and only ~130 votes, we simply don’t have enough data yet. Absolute numbers matter before making such a decision.
[Poll] Consider changing the default of fsharp_multiline_bracket_style · Issue #3200 · fsprojects/fantomas
Hello everyone, I recently had a conversation about how Fantomas formats records by default (fsharp_multiline_bracket_style = cramped). There’s a configuration setting for this: fsharp_multiline_br...
github.com
November 13, 2025 at 9:08 AM
Reposted by Ondrej Pinka
Did you notice that the "What's new in F# 10" page is longer than the "What's new in C# 14" page?

#justTrolling #dotnet #fsharp #csharp

learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
What's new in F# 10 - F# Guide - .NET
Get an overview of the new features available in F# 10.
learn.microsoft.com
November 11, 2025 at 2:59 PM
Reposted by Ondrej Pinka
What’s your favorite #fsharp F#10 feature ? Coming out today on #dotnet 10? Mine could be parallel await 💎🥰🦔 previously in some community supported packages, now part of core lib
November 11, 2025 at 5:35 PM
Reposted by Ondrej Pinka
Help us feed Chicagoans who lost their SNAP benefits! Until the end of the month, buy Logic for Programmers with the coupon `feedchicago` to get 50% off. All royalties from the coupon will be donated to the Greater Chicago Food Depository (@fooddepository.bsky.social) leanpub.com/logic/c/feed...
Logic for Programmers
The mathematics that will help you in your everyday programming.
leanpub.com
November 10, 2025 at 4:37 PM
Reposted by Ondrej Pinka
Hey #fsharp, what we do with #FsAdvent this year? sergeytihon.com/fsadvent/ Do we have 24 F#ers ready to participate?
November 2, 2025 at 8:10 AM
Reposted by Ondrej Pinka
October 28, 2025 at 7:24 PM
Reposted by Ondrej Pinka
Spectre.Console (and friends) now have a Discord server! 🎉 I haven’t sorted out auto-approval without paying a gazillion dollars yet, so I’ll be manually approving members for now. But don’t worry, everyone’s welcome to join! discord.gg/DxqCxpmA2K
Join the Spectre.Console Discord Server!
This is the official Discord server for the Spectre.Console open-source project. | 2 members
discord.gg
October 28, 2025 at 3:35 PM
Reposted by Ondrej Pinka
In the next lab from my Tiny Systems course, you learn how type inference in ML-like languages works and write your own Hindley-Milner inference algorithm!

🎞️ Watch the videos: www.youtube.com/watch?v=FUFQ...
⌨️ Get the #fsharp code: github.com/tpetricek/ti...
TinyHM 4.1 - How type inference in ML works
YouTube video by Tomas Petricek
www.youtube.com
October 23, 2025 at 7:58 PM
I've heard centering anything in CSS is an unsolved problem in computer science... Hopefully once that one gets solved, the computer scientists will solve the problem of placing text input boxes in front of task bars.
October 22, 2025 at 2:06 PM
Reposted by Ondrej Pinka
I'm afraid I've just recorded a video for my Tiny Systems course on how great GOTO was in Commodore 64 BASIC :-)

(Although, to be fair, I also mention some benefits of GOSUB and RETURN, which is included in bonus materials...)
PLP 6.2-6.4: Structured Control Flow, Sequencing, and Selection - youtu.be/oX9aFuJ--zg

Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
PLP 6.2-6.4: Structured Control Flow, Sequencing, and Selection
YouTube video by Jonathan Aldrich
youtu.be
October 17, 2025 at 8:07 PM
Reposted by Ondrej Pinka
Reposted by Ondrej Pinka
“Kids”
October 16, 2025 at 3:35 AM