Sign in

Roman Provazník

@dzoukr.cz
408 followers 60 following 82 posts

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

PostsRepliesMedia
Reposted by Roman Provazník
Satai @sataithegray.bsky.social · 15/07/2026
Ukradeno z nyxu plného smějících se bestií
38010
Reposted by Roman Provazník
Gus Orviston @orviston.bsky.social · 12/07/2026
"Don't be a part of the problem. Be the entire problem."
0183
Reposted by Roman Provazník
mean things I say to myself @meantomyself.bsky.social · 29/06/2026
Old enough to recognize this as a data center
Lockable floppy disk holder from the late 20th century
976259583481
Reposted by Roman Provazník
Joe Sondow @joesondow.bsky.social · 20/05/2026
The AI bubble as an interpretive dance
1032988
Reposted by Roman Provazník
Sergey Tihon 🦔🦀 @sergeytihon.com · 16/05/2026
SwaggerProvider v4.0.0 is live! 🎉 #fsharp Overhauled for speed, cleaner code gen, and better developer ergonomics. ⚡ Blazing fast zero-allocation hot paths 📅 Native DateOnly & TimeOnly support 📝 Richer IDE docs via inline XmlDoc ⚠️ Breaking: Legacy v2 compiler removed github.com/fsprojects/S...
github.com
Release v4.0.0 "Nova" · fsprojects/SwaggerProvider
This major release introduces significant performance optimizations, cleaner code generation, enhanced documentation integration via XmlDoc, and support for modern .NET types (DateOnly, TimeOnly). ...
0102
Reposted by Roman Provazník
Krzysztof Cieslak @kcieslak.io · 17/03/2026
11 years ago I’ve made first commit on the project that would later be known as Ionide. A lot has changed over all those years, but one thing remains - the biggest value of the project has been meeting awesome people from F# community, many of whom I’m proud to call friends. #fsharp
2469
Reposted by Roman Provazník
Jordan Marr @jordanmarr.bsky.social · 23/03/2026
🚀 Serde.FS alpha.9 — Deterministic RPC for F# No reflection. No controllers. Just compile‑time RPC clients + routing. Includes: • [<RpcApi>] • ASP.NET RPC server • Deterministic JSON backend • Shared → Server → Client example github.com/serde-fs/Ser... #fsharp #rpc #aot #serde #dotnet
0275
Roman Provazník @dzoukr.cz · 09/03/2026
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
090
Reposted by Roman Provazník
Joe Ingeno @joeingeno.bsky.social · 05/03/2026
RE#: how we built the world's fastest regex engine in F# iev.ee/blog/resharp... #regex #fsharp
iev.ee
RE#: how we built the world's fastest regex engine in F# | ian erik varatalu
1329
Reposted by Roman Provazník
Maxime @mangelmaxime.bsky.social · 03/03/2026
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
fable.io
Fable · Announcing Fable 5 Release Candidate
53713
Reposted by Roman Provazník
Don Syme @dsyme.bsky.social · 22/02/2026
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:...
github.com
GitHub - fsprojects/FSharp.Control.AsyncSeq: Asynchronous sequences for F#
Asynchronous sequences for F#. Contribute to fsprojects/FSharp.Control.AsyncSeq development by creating an account on GitHub.
0114
Reposted by Roman Provazník
Don Syme @dsyme.bsky.social · 22/02/2026
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.
github.com
[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...
2216
Reposted by Roman Provazník
Tomas Petricek @tomasp.net · 09/02/2026
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...
2264
Roman Provazník @dzoukr.cz · 03/02/2026
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? 🤔
111
Reposted by Roman Provazník
Tomas Petricek @tomasp.net · 02/02/2026
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!
tomasp.net
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 ...
1318
Roman Provazník @dzoukr.cz · 02/02/2026
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.com
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.
2113
Reposted by Roman Provazník
Krzysztof Cieslak @kcieslak.io · 21/01/2026
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
114413
Reposted by Roman Provazník
Oskar Gewalli @wallymathieu.bsky.social · 11/01/2026
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! 😘
nuget.org
0215
Reposted by Roman Provazník
Tomas Petricek @tomasp.net · 13/01/2026
Looking forward to coming to this amazing conference exploring the gaps in computer science research!
1134
Reposted by Roman Provazník
Urs Enzler @ursenzler.bsky.social · 06/01/2026
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
planetgeek.ch
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…
0237
Reposted by Roman Provazník
Jordan Marr @jordanmarr.bsky.social · 05/01/2026
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
2133
Reposted by Roman Provazník
Bentok @bencope.land · 08/12/2025
Here’s my post for Day 8: blog.bencope.land/f-in-product... #fsharp
blog.bencope.land
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...
4249
Reposted by Roman Provazník
nohwnd @jakubjares.com · 28/11/2025
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...
meetup.com
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
032
Reposted by Roman Provazník
.NET @dot.net · 25/11/2025
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
f# illustration
text reads: Info you'll want to know
F# 10 — Safer, Faster, and More Functional Than Ever
read the docs
1134
Reposted by Roman Provazník
Maxime @mangelmaxime.bsky.social · 25/11/2025
Fable 4 and Fable 5, both got a new release to make them work with .NET 10 🎉 #fsharp #fablecompiler
3366
Reposted by Roman Provazník
Sergey Tihon 🦔🦀 @sergeytihon.com · 20/11/2025
Only 4 slots left in the main timeline #fsharp #FsAdent
183
Reposted by Roman Provazník
Jon Sagara @jonsagara.com · 17/11/2025
Introducing F# 10 #fsharp devblogs.microsoft.com/dotnet/intro...
devblogs.microsoft.com
Introducing F# 10 - .NET Blog
Learn about new F# 10 language features, performance upgrades, and tooling improvements shipping with .NET 10.
12415
Reposted by Roman Provazník
Phillip Carter @phillipcarter.dev · 06/11/2025
This post is awesome eavan.blog/posts/implem...
eavan.blog
Please Implement This Simple SLO
4258
Reposted by Roman Provazník
Honza Javorek @honzajavorek.cz · 09/10/2025
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 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í […]
mastodonczech.cz
Original post on mastodonczech.cz
011
Reposted by Roman Provazník
PodVocasem @podvocasem.cz · 24/09/2025
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! ❤️
podvocasem.cz
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...
021
Reposted by Roman Provazník
jkone27 @jkone27.bsky.social · 12/08/2025
Great #dotnet #fsharp lang review youtu.be/CmML57XX2eg?... 🦔✨💕
youtu.be
F# as a daily driver for programming?
YouTube video by Code With Cypert
1127
Reposted by Roman Provazník
Hamilton Greene @sirhamy.bsky.social · 18/08/2025
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
hamy.xyz
7 Reasons F# Sucks
Date: 2025-06-18 | build | create | csharp | fsharp | tech |
2102
Roman Provazník @dzoukr.cz · 18/08/2025
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. 😁
110
Reposted by Roman Provazník
Phillip Carter @phillipcarter.dev · 09/08/2025
okay this is extremely fucking funny
0386
Reposted by Roman Provazník
Braidpoint @braidpoint.bsky.social · 21/06/2025
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...
github.com
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
051
Reposted by Roman Provazník
Hamilton Greene @sirhamy.bsky.social · 18/06/2025
7 Reasons F# Sucks hamy.xyz/blog/2025-06... #fsharp
0199
Reposted by Roman Provazník
Compositional IT @handle.invalid · 16/06/2025
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
learn.microsoft.com
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.
1125
Reposted by Roman Provazník
Krzysztof Cieslak @kcieslak.io · 29/05/2025
Amaizing post
121
Reposted by Roman Provazník
Ryan Dunn @dunnry.net · 15/05/2025
Have a potential #fsharp development job for full time hire. We are an #fsharp, DDD, CQRS, Event Sourcing team and looking to expand. We build Rockwell Automation's cloud backbone capabilities. Location has some flexibility and we are a hybrid team with part time remote (2 days a week).
51710
Reposted by Roman Provazník
JetBrains @jetbrains.com · 28/04/2025
JetBrains has been quietly building something special for the open-source LLM community. More details will be posted soon on Hugging Face. Stay tuned! 🧑‍💻
38111
Reposted by Roman Provazník
Krzysztof Cieslak @kcieslak.io · 17/04/2025
It's kinda amazing that Ionide is over 10 years old, eh... #fsharp
1222
Reposted by Roman Provazník
Tomas Petricek @tomasp.net · 16/04/2025
Don't miss the early registration deadline. Check out the technical papers, awesome keynotes and MoreVMs workshop talks & keynotes to see what you'd be missing!
052
Reposted by Roman Provazník
Jiří Činčura ↹ @cincura.net · 15/04/2025
I'm looking for somebody who would be willing to talk to me about Entity Framework Core and F# on a .NET Data & EF Core Community Standup (www.youtube.com/playlist?lis...). cc @dzoukr.cz #ef #efcore #fsharp
044
Reposted by Roman Provazník
Jordan Marr @jordanmarr.bsky.social · 14/04/2025
v3.0 release of SqlHydra today! #fsharp github.com/JordanMarr/S...
github.com
Release v3.0.0 · JordanMarr/SqlHydra
What's New in v3.0 Evaluation of Where Parameter Expressions As of v3.0, SqlHydra.Query where parameters can now be expressions that are evaluated inline within the query. (In previous versions, wh...
092
Roman Provazník @dzoukr.cz · 10/04/2025
Mega kudos to @mangelmaxime.bsky.social for taking over the ownership of Feliz.Bulma.* packages on #nuget and #github I will keep contributing to Feliz.DaisyUI while he proceeds with Bulma. #fsharp #oss
0110
Reposted by Roman Provazník
Jason T @jtu.kr · 07/04/2025
I started playing with the new preview of #modelcontextprotocol support in #azurefunctions. It's a port of my existing Untappd MCP server and I'm very, _very_ early in the creation phase: github.com/jtucker/mcp-... Written in #fsharp fwiw
github.com
GitHub - jtucker/mcp-untappd-server-dotnet: An example MCP Azure Function in F#
An example MCP Azure Function in F#. Contribute to jtucker/mcp-untappd-server-dotnet development by creating an account on GitHub.
0104
Roman Provazník @dzoukr.cz · 08/04/2025
It's way more complicated than just that. * Covid did significant damage to all meetups - many did not restart, including F# meetups * Some people lost interest in fighting for F#, because some won (using it daily) * Yup, some people left, but some came (Amplifying F#) Always niche, but still cool!
050
Reposted by Roman Provazník
PodVocasem @podvocasem.cz · 07/04/2025
A 11. série podcastu #PodVocasem je historií! Na závěr jsme si s Petr Polak pozvali nabušenýho Martina Šafránka, který nám vysvětlil, co je Data Vault a všechny věci s tím spojené. Dejte si poslední díl série a pomalu se těšte na další. ;) open.spotify.com/episode/4a0D...
open.spotify.com
S11E06 - Martin Šafránek - Data Vault
PodVocasem · Episode
031
Reposted by Roman Provazník
Kit Eason @kitlovesfsharp.bsky.social · 04/04/2025
F# opportunity: www.reddit.com/r/fsharp/com... #fsharp
reddit.com
From the fsharp community on Reddit
Explore this post and more from the fsharp community
01010
Reposted by Roman Provazník
Compositional IT @handle.invalid · 04/04/2025
Excited about building pretty UI's? Or do you prefer getting styling done as quickly as possible so you can move on to #backend work? Either way, DaisyUI got your back, by making writing a good-looking website a breeze! Shout out to @dzoukr.cz for maintaining Feliz.DaisyUI! #fsharp #UI #frontend
compositional-it.com
Exploring the Latest Updates: DaisyUI 5 and Feliz.DaisyUI 5
Recently we saw an exciting chain of new releases in our front end stack: January 22, 2025: Tailwind 4 February 28, 2025: DaisyUI 5 March 7, 2025: Feliz.DaisyUI 5 Tailwind CSS is an essential part of…
062