Roman Provazník
@dzoukr.cz
Head of Product Engineering at Garwan, #fsharp lover, talking rubbish at @podvocasem.cz podcast
Pinned
Roman Provazník
@dzoukr.cz
· Nov 12
How to set your domain as your handle - Bluesky
Using a domain as your handle helps with account identity, verification, and portability. Here's how to set your domain as your handle.
bsky.social
💡 Quick tip for the newcomers. If you want to have a fancy 🦋handle with your own domain, it's almost offensively simple process:
ℹ️ bsky.social/about/blog/4...
#quicktip
ℹ️ bsky.social/about/blog/4...
#quicktip
Adding a video streaming feature to my www.triple19.com application seems to be fun. The more features, the more stuff to talk about at some FP conference? 🤔
February 3, 2026 at 9:17 PM
Adding a video streaming feature to my www.triple19.com application seems to be fun. The more features, the more stuff to talk about at some FP conference? 🤔
Reposted by Roman Provazník
A new web page for my book! tomasp.net/cultures/
It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides.
If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!
It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides.
If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!
Cultures of Programming - The Development of Programming Concepts and Methodologies
What defines a correct program? What education makes a good programmer? The answers to these questions depend on whether programs are seen as mathematical entities, engineered socio-technical systems ...
tomasp.net
February 2, 2026 at 11:35 PM
A new web page for my book! tomasp.net/cultures/
It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides.
If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!
It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides.
If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!
I did a new thing with #fsharp on backend and pinch🤏 of #typescript on frontend. It's called Triple19, running on www.triple19.com and it's all about my new-ish hobby - Darts. It's quite complex and I'll do tech talk about it one day, but now if you would give it a shot, would ya? #darts
Triple19 — AI-Powered Darts Platform
Triple19 is the AI-powered online darts platform. Voice scoring, AI bot opponents, detailed statistics, and multiplayer — everything you need to play, compete, and improve.
www.triple19.com
February 2, 2026 at 3:18 PM
I did a new thing with #fsharp on backend and pinch🤏 of #typescript on frontend. It's called Triple19, running on www.triple19.com and it's all about my new-ish hobby - Darts. It's quite complex and I'll do tech talk about it one day, but now if you would give it a shot, would ya? #darts
Reposted by Roman Provazník
I wonder... would there be any interest in some F# event / (un)conference in 2026?
I always wanted to do something similar to F# Creators Workshop (which @dsyme.bsky.social organised years ago in Cambridge) or Elm Camp (which has been for last couple of years)
#fsharp
I always wanted to do something similar to F# Creators Workshop (which @dsyme.bsky.social organised years ago in Cambridge) or Elm Camp (which has been for last couple of years)
#fsharp
January 21, 2026 at 6:53 PM
I wonder... would there be any interest in some F# event / (un)conference in 2026?
I always wanted to do something similar to F# Creators Workshop (which @dsyme.bsky.social organised years ago in Cambridge) or Elm Camp (which has been for last couple of years)
#fsharp
I always wanted to do something similar to F# Creators Workshop (which @dsyme.bsky.social organised years ago in Cambridge) or Elm Camp (which has been for last couple of years)
#fsharp
Reposted by Roman Provazník
F#+ 1.9.1 released ✨🥳
#fsharp
www.nuget.org/packages/FSh...
www.nuget.org/packages/FSh...
See the release notes here:
github.com/fsprojects/F...
Many thanks to everyone that made this release possible! 😘
#fsharp
www.nuget.org/packages/FSh...
www.nuget.org/packages/FSh...
See the release notes here:
github.com/fsprojects/F...
Many thanks to everyone that made this release possible! 😘
www.nuget.org
January 11, 2026 at 6:19 PM
F#+ 1.9.1 released ✨🥳
#fsharp
www.nuget.org/packages/FSh...
www.nuget.org/packages/FSh...
See the release notes here:
github.com/fsprojects/F...
Many thanks to everyone that made this release possible! 😘
#fsharp
www.nuget.org/packages/FSh...
www.nuget.org/packages/FSh...
See the release notes here:
github.com/fsprojects/F...
Many thanks to everyone that made this release possible! 😘
Reposted by Roman Provazník
Looking forward to coming to this amazing conference exploring the gaps in computer science research!
We are pleased to announce for Undone Computer Science 2026:
∙ Payal Arora (Utrecht University and FemLab) and Tomas Petricek (Charles University, Prague) as keynote speakers
∙ 27 contributed talks selected by the PC.
Find out the titles & contributing authors here: www.undonecs.org/2026/program...
∙ Payal Arora (Utrecht University and FemLab) and Tomas Petricek (Charles University, Prague) as keynote speakers
∙ 27 contributed talks selected by the PC.
Find out the titles & contributing authors here: www.undonecs.org/2026/program...
Conference programme
2nd conference on Undone Science in Computer Science
www.undonecs.org
January 13, 2026 at 10:35 AM
Looking forward to coming to this amazing conference exploring the gaps in computer science research!
Reposted by Roman Provazník
C# and F# Interop (2026 edition)
How to easily start with F# in your existing C# codebase.
www.planetgeek.ch/2026/01/06/c...
#dotnet #csharp #fsharp #Interop
How to easily start with F# in your existing C# codebase.
www.planetgeek.ch/2026/01/06/c...
#dotnet #csharp #fsharp #Interop
C# – F# Interop (2026 edition)
One of the great features of .NET is that you can mix its programming languages (C#, F#, VB.NET) in a single solution and that assemblies written in one language can call assemblies written in other…
www.planetgeek.ch
January 6, 2026 at 1:01 PM
C# and F# Interop (2026 edition)
How to easily start with F# in your existing C# codebase.
www.planetgeek.ch/2026/01/06/c...
#dotnet #csharp #fsharp #Interop
How to easily start with F# in your existing C# codebase.
www.planetgeek.ch/2026/01/06/c...
#dotnet #csharp #fsharp #Interop
Reposted by Roman Provazník
A beautiful F# library for building AI agents on .NET:
• Quotation-based tool discovery
• Pipeline-style agent composition
• Computation expressions for workflows
• Railway-oriented error handling
F# deserves a place in the agent era — and this is my contribution.
#fsharp #dotnet
• Quotation-based tool discovery
• Pipeline-style agent composition
• Computation expressions for workflows
• Railway-oriented error handling
F# deserves a place in the agent era — and this is my contribution.
#fsharp #dotnet
January 5, 2026 at 6:11 AM
Reposted by Roman Provazník
Reposted by Roman Provazník
Let me invite you to our last #dotnet Meetup this year.
We have 3 great talks prepared for you, and of course food.
📍 Microsoft Office (Delta Building, Vyskočilova 1561/4a, Prague 4)
📅 Monday, December 8, 2025
🕗 5.30pm - 9.00pm
English, Free entry
www.meetup.com/microsoft-ev...
We have 3 great talks prepared for you, and of course food.
📍 Microsoft Office (Delta Building, Vyskočilova 1561/4a, Prague 4)
📅 Monday, December 8, 2025
🕗 5.30pm - 9.00pm
English, Free entry
www.meetup.com/microsoft-ev...
Talk .NET with .NET Team: December Edition, Mon, Dec 8, 2025, 5:30 PM | Meetup
We’re wrapping up the year with a supercharged **December edition** of **Talk .NET with .NET Team meetup series**! 🚀🎄 Get ready for an evening full of performance insight
www.meetup.com
November 28, 2025 at 4:17 PM
Let me invite you to our last #dotnet Meetup this year.
We have 3 great talks prepared for you, and of course food.
📍 Microsoft Office (Delta Building, Vyskočilova 1561/4a, Prague 4)
📅 Monday, December 8, 2025
🕗 5.30pm - 9.00pm
English, Free entry
www.meetup.com/microsoft-ev...
We have 3 great talks prepared for you, and of course food.
📍 Microsoft Office (Delta Building, Vyskočilova 1561/4a, Prague 4)
📅 Monday, December 8, 2025
🕗 5.30pm - 9.00pm
English, Free entry
www.meetup.com/microsoft-ev...
Reposted by Roman Provazník
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 Roman Provazník
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 Roman Provazník
November 20, 2025 at 7:00 AM
Reposted by Roman Provazník
Introducing F# 10 #fsharp devblogs.microsoft.com/dotnet/intro...
Introducing F# 10 - .NET Blog
Learn about new F# 10 language features, performance upgrades, and tooling improvements shipping with .NET 10.
devblogs.microsoft.com
November 17, 2025 at 6:14 PM
Introducing F# 10 #fsharp devblogs.microsoft.com/dotnet/intro...
Reposted by Roman Provazník
This post is awesome eavan.blog/posts/implem...
Please Implement This Simple SLO
eavan.blog
November 6, 2025 at 12:31 AM
This post is awesome eavan.blog/posts/implem...
Reposted by Roman Provazník
Zajímá tě osud IT juniorů v době AI? Přijď na živé natáčení podcastu #podvocasem! Jsem jedním z hostů.
Bude to 22.10. v Praze na Budějovické. Když půjdete na https://podvocasem.cz/live a koupíte si lístek, můžete být v publiku a slyšet každý můj přeřek – než je vystřihnou! A to se vyplatí […]
Bude to 22.10. v Praze na Budějovické. Když půjdete na https://podvocasem.cz/live a koupíte si lístek, můžete být v publiku a slyšet každý můj přeřek – než je vystřihnou! A to se vyplatí […]
Original post on mastodonczech.cz
mastodonczech.cz
October 9, 2025 at 9:59 AM
Zajímá tě osud IT juniorů v době AI? Přijď na živé natáčení podcastu #podvocasem! Jsem jedním z hostů.
Bude to 22.10. v Praze na Budějovické. Když půjdete na https://podvocasem.cz/live a koupíte si lístek, můžete být v publiku a slyšet každý můj přeřek – než je vystřihnou! A to se vyplatí […]
Bude to 22.10. v Praze na Budějovické. Když půjdete na https://podvocasem.cz/live a koupíte si lístek, můžete být v publiku a slyšet každý můj přeřek – než je vystřihnou! A to se vyplatí […]
Reposted by Roman Provazník
Pokud vám to nedej bože uniklo, spustili jsme registraci na náš říjnový živák!
🚀 www.podvocasem.cz/live
Zaregistrujte se a těšíme se na vás! ❤️
🚀 www.podvocasem.cz/live
Zaregistrujte se a těšíme se na vás! ❤️
PodVocasem LIVE!!!
Registruj se na historicky první PodVocasem LIVE!!!
Džoukr a Poli přivítají celkem tři hosty z různých koutů IT a společně s tebou si užijeme večer plný zajímavých rozhovorů, přeřeků, podpultových i...
www.podvocasem.cz
September 24, 2025 at 3:57 PM
Pokud vám to nedej bože uniklo, spustili jsme registraci na náš říjnový živák!
🚀 www.podvocasem.cz/live
Zaregistrujte se a těšíme se na vás! ❤️
🚀 www.podvocasem.cz/live
Zaregistrujte se a těšíme se na vás! ❤️
Reposted by Roman Provazník
F# as a daily driver for programming?
YouTube video by Code With Cypert
youtu.be
August 12, 2025 at 8:55 PM
Reposted by Roman Provazník
Common terms in F# that I hadn't heard before coding with it:
* Computation expressions
* Railway-oriented programming
* Partial application
* Currying
* Monads
* Discriminated Unions
* Exhaustive pattern matching
Reason #7 F# Sucks - You start talking weird
hamy.xyz/blog/2025-06...
#fsharp
* Computation expressions
* Railway-oriented programming
* Partial application
* Currying
* Monads
* Discriminated Unions
* Exhaustive pattern matching
Reason #7 F# Sucks - You start talking weird
hamy.xyz/blog/2025-06...
#fsharp
7 Reasons F# Sucks
Date: 2025-06-18 | build | create | csharp | fsharp | tech |
hamy.xyz
August 18, 2025 at 4:49 PM
Common terms in F# that I hadn't heard before coding with it:
* Computation expressions
* Railway-oriented programming
* Partial application
* Currying
* Monads
* Discriminated Unions
* Exhaustive pattern matching
Reason #7 F# Sucks - You start talking weird
hamy.xyz/blog/2025-06...
#fsharp
* Computation expressions
* Railway-oriented programming
* Partial application
* Currying
* Monads
* Discriminated Unions
* Exhaustive pattern matching
Reason #7 F# Sucks - You start talking weird
hamy.xyz/blog/2025-06...
#fsharp
One thing that always surprises me is the .NET community's obsession with mappings and mapper libraries. I DO get the temptation to have a one-liner instead of 6 lines, but I genuinely believe that if this is a problem in your code, you either have too many layers or messed up your abstractions. 😁
August 18, 2025 at 1:51 PM
One thing that always surprises me is the .NET community's obsession with mappings and mapper libraries. I DO get the temptation to have a one-liner instead of 6 lines, but I genuinely believe that if this is a problem in your code, you either have too many layers or messed up your abstractions. 😁
Reposted by Roman Provazník
okay this is extremely fucking funny
August 9, 2025 at 9:57 PM
okay this is extremely fucking funny
Reposted by Roman Provazník
Adopting #daisyui is great! We've been using it with @dzoukr.cz 's SAFE(r) stack and love it. 💙
We're curious about Elmish.Bridge and websocket support. It hasn't gotten a lot of recent attention, but we're tantalized by the idea. 🍰 github.com/Nhowka/Elmis...
We're curious about Elmish.Bridge and websocket support. It hasn't gotten a lot of recent attention, but we're tantalized by the idea. 🍰 github.com/Nhowka/Elmis...
GitHub - Nhowka/Elmish.Bridge: Create client-server Fable-Elmish apps keeping a single mindset
Create client-server Fable-Elmish apps keeping a single mindset - Nhowka/Elmish.Bridge
github.com
June 21, 2025 at 1:00 PM
Adopting #daisyui is great! We've been using it with @dzoukr.cz 's SAFE(r) stack and love it. 💙
We're curious about Elmish.Bridge and websocket support. It hasn't gotten a lot of recent attention, but we're tantalized by the idea. 🍰 github.com/Nhowka/Elmis...
We're curious about Elmish.Bridge and websocket support. It hasn't gotten a lot of recent attention, but we're tantalized by the idea. 🍰 github.com/Nhowka/Elmis...
Reposted by Roman Provazník
June 18, 2025 at 4:42 PM
Reposted by Roman Provazník
Computation Expressions aren’t just monads—they’re your DSL for async, validation, and more. Worth a revisit? Compositional IT can provide training courses to help you with your advanced F# skills - Let's have a chat. 🔍 #fsharp @fsharponline.bsky.social
Computation Expressions - F#
Learn how to create convenient syntax for writing computations in F# that can be sequenced and combined using control flow constructs and bindings.
learn.microsoft.com
June 16, 2025 at 9:45 AM
Computation Expressions aren’t just monads—they’re your DSL for async, validation, and more. Worth a revisit? Compositional IT can provide training courses to help you with your advanced F# skills - Let's have a chat. 🔍 #fsharp @fsharponline.bsky.social
Reposted by Roman Provazník
Amaizing post
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
A break from programming languages
lexi-lambda.github.io
May 29, 2025 at 10:40 PM
Amaizing post