Ondrej Pinka
@ondrejpinka.bsky.social
A person, sometimes even a human being.
Reposted by Ondrej Pinka
What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to!
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
December 9, 2025 at 9:52 AM
What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to!
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
Reposted by Ondrej Pinka
BTW if you're in Chicago I'm speaking at the Cloud Computing Meetup Group tomorrow evening www.meetup.com/the-chicago-...
What Isn't Your System Supposed to Do?, Tue, Dec 9, 2025, 6:00 PM | Meetup
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods
www.meetup.com
December 8, 2025 at 7:19 PM
BTW if you're in Chicago I'm speaking at the Cloud Computing Meetup Group tomorrow evening www.meetup.com/the-chicago-...
Reposted by Ondrej Pinka
F# Weekly #49, 2025 - Oxpecker 2, fsi-mcp, LSP & AOC in F# #fsharp sergeytihon.com/2025/12/06/f...
F# Weekly #49, 2025 – Oxpecker 2, fsi-mcp, LSP & AOC in F#
Welcome to F# Weekly, A roundup of F# content from this past week: News .NET Conf 2025 Recap – Celebrating .NET 10, Visual Studio 2026, AI, Community, & More – .NET Blog Introducing…
sergeytihon.com
December 6, 2025 at 7:48 PM
F# Weekly #49, 2025 - Oxpecker 2, fsi-mcp, LSP & AOC in F# #fsharp sergeytihon.com/2025/12/06/f...
Reposted by Ondrej Pinka
Python bindings for Fable (Fable.Python) v5.0.0-alpha.11 released on nuget. Repo modernized with fully automatic release, version and changelog handling using "release-please" #fsharp #fablecompiler github.com/fable-compil...
github.com
December 2, 2025 at 11:35 PM
Python bindings for Fable (Fable.Python) v5.0.0-alpha.11 released on nuget. Repo modernized with fully automatic release, version and changelog handling using "release-please" #fsharp #fablecompiler github.com/fable-compil...
Reposted by Ondrej Pinka
Reposted by Ondrej Pinka
Reposted by Ondrej Pinka
🎄 Advent of code 2025 in F# - day 02
YouTube video by Jo Van Eyck
youtu.be
December 2, 2025 at 6:39 AM
Reposted by Ondrej Pinka
〰️ Introducing F# 10 〰️
...improved performance and enhanced tooling to make functional programming in .NET more productive than ever. ...whether you’re building web apps, data pipelines, or cloud services.
Learn more about what’s new: msft.it/63323tnbiS
#dotNET #FSharp
...improved performance and enhanced tooling to make functional programming in .NET more productive than ever. ...whether you’re building web apps, data pipelines, or cloud services.
Learn more about what’s new: msft.it/63323tnbiS
#dotNET #FSharp
December 1, 2025 at 1:15 PM
〰️ Introducing F# 10 〰️
...improved performance and enhanced tooling to make functional programming in .NET more productive than ever. ...whether you’re building web apps, data pipelines, or cloud services.
Learn more about what’s new: msft.it/63323tnbiS
#dotNET #FSharp
...improved performance and enhanced tooling to make functional programming in .NET more productive than ever. ...whether you’re building web apps, data pipelines, or cloud services.
Learn more about what’s new: msft.it/63323tnbiS
#dotNET #FSharp
Reposted by Ondrej Pinka
Reposted by Ondrej Pinka
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.
- 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
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.
- Tillatelser finnes i mange ulike versjoner med samme dato
- Tillatelser er gjenbrukt
- Metadata viser at dokumentasjon har blitt produsert som respons på innsynskrav.
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
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
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
Fable 4 and Fable 5, both got a new release to make them work with .NET 10 🎉 #fsharp #fablecompiler
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.
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
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.
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.
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
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.
Reposted by Ondrej Pinka
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
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
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!
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
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!
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!
Reposted by Ondrej Pinka
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!
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
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!
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!
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.
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
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.
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.
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...
#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
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...
#justTrolling #dotnet #fsharp #csharp
learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
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
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...
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
Hey #fsharp, what we do with #FsAdvent this year? sergeytihon.com/fsadvent/ Do we have 24 F#ers ready to participate?