Ondrej Pinka
@ondrejpinka.bsky.social
A person, sometimes even a human being.
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?
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
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
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...
🎞️ 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
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...
🎞️ Watch the videos: www.youtube.com/watch?v=FUFQ...
⌨️ Get the #fsharp code: github.com/tpetricek/ti...
Reposted by Ondrej Pinka
F# Weekly #42, 2025 - Hi, Victor & .NET 10 RC2 #fsharp sergeytihon.com/2025/10/18/f...
F# Weekly #42, 2025 – Hi, Victor & .NET 10 RC2
Welcome to F# Weekly, A roundup of F# content from this past week: News Announcing .NET 10 Release Candidate 2 – .NET Blog Announcing the .NET Security Group – .NET Blog .NET and .NET F…
sergeytihon.com
October 18, 2025 at 10:10 AM
F# Weekly #42, 2025 - Hi, Victor & .NET 10 RC2 #fsharp sergeytihon.com/2025/10/18/f...
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
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.
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...)
(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
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
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...)
(Although, to be fair, I also mention some benefits of GOSUB and RETURN, which is included in bonus materials...)
Reposted by Ondrej Pinka
Reposted by Ondrej Pinka
