Roman Provazník's Avatar

Roman Provazník

@dzoukr.cz

Head of Product Engineering at Garwan, #fsharp lover, talking rubbish at @podvocasem.cz podcast

395
Followers
58
Following
75
Posts
03.11.2024
Joined
Posts Following

Latest posts by Roman Provazník @dzoukr.cz

After a loooong vacation, I published a new version of #Feliz #DaisyUI library. Big kudos to Oleksiy Slyshyk, who did all the work (I just pushed the button 😁)

#fsharp

09.03.2026 07:11 👍 6 🔁 0 💬 0 📌 0
Preview
RE#: how we built the world's fastest regex engine in F# | ian erik varatalu

RE#: how we built the world's fastest regex engine in F# iev.ee/blog/resharp... #regex #fsharp

05.03.2026 02:15 👍 28 🔁 8 💬 1 📌 0
Fable · Announcing Fable 5 Release Candidate

The wait is over! Fable 5 Release Candidate is officially here.

After a year of hard work from the community, we're bringing you:
✨ .NET 10 & F# 10 support
🐍 A massive Python update (now powered by a Rust core & PyPI!)
🌐 Cleaner JS/TS Pojo bindings

fable.io/blog/2026/20...

#fsharp #fablecompiler

03.03.2026 17:18 👍 34 🔁 12 💬 4 📌 0

Using GitHub Agentic Workflows "Repo Assist" automated repo assistant, I was able to

1. Clear all the lingering technical debt off the community library FSharp.Control.AsyncSeq today

2. Release a new version 4.0.0 with a major compat feature

github.com/fsprojects/F...

bsky.app/profile/did:...

22.02.2026 16:08 👍 11 🔁 4 💬 0 📌 0
Preview
[Repo Assist] Monthly Activity 2026-02 · Issue #1599 · fsprojects/FSharp.Data 🤖 Repo Assist here — I'm an automated AI assistant for this repository. Activity for February 2026 2026-02-21 💬 Commented on #1532: Explained HTTP socket exhaustion root cause (WebRequest port pool...

F# folk - I'm having some success using GitHub Agentic Workflows to automate some backlog maintenance work in some older F# community repos.

FSharp.Data: github.com/fsprojects/F...

FSharp.Control.AsyncSeq: github.com/fsprojects/F...

It's helping me re-engage with the repos and clean things up.

22.02.2026 10:29 👍 21 🔁 6 💬 2 📌 2
Post image

After some *checks notes* umm.. 6 years, I released a new version of my composable data visualization library, adding support for images! compostjs.github.io/compost/demo...

I still think this is the best way of doing composable data visualizations. See the paper: www.cambridge.org/core/journal...

09.02.2026 12:28 👍 26 🔁 4 💬 2 📌 0
Post image

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? 🤔

03.02.2026 21:17 👍 0 🔁 1 💬 0 📌 0
Preview
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 ...

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!

02.02.2026 23:35 👍 29 🔁 8 💬 2 📌 1

Sure. I combine Claude Code for bigger features and Copilot in IDE for code updates. Landing page was done by @claudecode.bsky.social with some fine-tuning 🙏

03.02.2026 05:54 👍 1 🔁 0 💬 0 📌 0

Aaaaand one more thing: F# union types are still the best thing ever. ❤️ I cannot imagine handling game state transitions in any other way, it's just perfect. And btw... I did "an AI stuff" in it - you can just say out loud your throws and it will do the math for you.

02.02.2026 15:18 👍 1 🔁 0 💬 0 📌 0
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.

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

02.02.2026 15:18 👍 11 🔁 3 💬 2 📌 0

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

21.01.2026 18:53 👍 44 🔁 13 💬 10 📌 0

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! 😘

11.01.2026 18:19 👍 21 🔁 5 💬 0 📌 0

Looking forward to coming to this amazing conference exploring the gaps in computer science research!

13.01.2026 10:35 👍 13 🔁 4 💬 1 📌 0
Preview
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…

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

06.01.2026 13:00 👍 23 🔁 7 💬 0 📌 0
Post image

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

05.01.2026 06:11 👍 13 🔁 3 💬 2 📌 0
F# in Production: What I Know After Four Years It’s F# Advent season again. This year, when I sat down to consider what my contribution might be, I realized many of the posts will rightfully be impressive technical demonstrations - the kind that s...

Here’s my post for Day 8:

blog.bencope.land/f-in-product...

#fsharp

08.12.2025 04:39 👍 24 🔁 9 💬 4 📌 0
Preview
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

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...

28.11.2025 16:17 👍 3 🔁 2 💬 0 📌 0
f# illustration
text reads: Info you'll want to know
F# 10 — Safer, Faster, and More Functional Than Ever
read the docs

f# illustration text reads: Info you'll want to know F# 10 — Safer, Faster, and More Functional Than Ever read the docs

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

25.11.2025 21:40 👍 13 🔁 4 💬 1 📌 0

Fable 4 and Fable 5, both got a new release to make them work with .NET 10 🎉 #fsharp #fablecompiler

25.11.2025 22:19 👍 36 🔁 6 💬 3 📌 0

Only 4 slots left in the main timeline #fsharp #FsAdent

20.11.2025 07:00 👍 7 🔁 3 💬 1 📌 0
Preview
Introducing F# 10 - .NET Blog Learn about new F# 10 language features, performance upgrades, and tooling improvements shipping with .NET 10.

Introducing F# 10 #fsharp devblogs.microsoft.com/dotnet/intro...

17.11.2025 18:14 👍 24 🔁 15 💬 1 📌 0

This physically hurts 🤣

06.11.2025 06:17 👍 2 🔁 0 💬 0 📌 0
Please Implement This Simple SLO

This post is awesome eavan.blog/posts/implem...

06.11.2025 00:31 👍 25 🔁 8 💬 4 📌 0
Original post on mastodonczech.cz

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í […]

09.10.2025 09:59 👍 1 🔁 1 💬 0 📌 0
Preview
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...

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! ❤️

24.09.2025 15:57 👍 2 🔁 1 💬 0 📌 0
F# as a daily driver for programming?
F# as a daily driver for programming? YouTube video by Code With Cypert

Great #dotnet #fsharp lang review youtu.be/CmML57XX2eg?... 🦔✨💕

12.08.2025 20:55 👍 12 🔁 7 💬 1 📌 0
7 Reasons F# Sucks Date: 2025-06-18 | build | create | csharp | fsharp | tech |

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

18.08.2025 16:49 👍 10 🔁 2 💬 2 📌 0

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. 😁

18.08.2025 13:51 👍 1 🔁 0 💬 1 📌 0

okay this is extremely fucking funny

09.08.2025 21:57 👍 39 🔁 6 💬 0 📌 0