iiinova — where your digital self keeps evolving

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

Roman Provazník @dzoukr.cz · 11/07/2026

Čičičičičip ááá Déjl - zákon hájí! Čičičičičip ááá Déjl - v tomto kraji! 🎶 Tak vám moc děkuju, už to z hlavy nevyndám...

230

Roman Provazník @dzoukr.cz · 11/07/2026

No je to u nás přímo zakázaný! 😁

210

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

Roman Provazník @dzoukr.cz · 29/06/2026

Se ta diskuze tak zvrhla, že si připadám, jako to čurakao...

120

Roman Provazník @dzoukr.cz · 28/06/2026

Kdybys pil mačyjáto jako slušnej člověk, tak by se ti to nestalo!

110

Roman Provazník @dzoukr.cz · 28/06/2026

A ono se to vyslovuje jinak??!! Málem jsem vyprsknul gňoči...

220

Roman Provazník @dzoukr.cz · 04/06/2026

"I request anyone to work on this issue" should be the slogan for #OSS 😂🤌

020

Roman Provazník @dzoukr.cz · 31/05/2026

From what I could see, your shit is supercool! 🤌

000

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 · 03/02/2026

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 🙏

010

Roman Provazník @dzoukr.cz · 02/02/2026

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.

010

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

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

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

Roman Provazník @dzoukr.cz · 06/11/2025

This physically hurts 🤣

020

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

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

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

Roman Provazník @dzoukr.cz · 29/06/2025

Sights: Prague Castle + Cathedral, Charles Bridge, Lesser Town Best beer: lokal-ubilekuzelky.ambi.cz/en/ Food: Svíčková (cream sauce with dumplings), Roasted Duck My favorite: www.klasterni-pivovar.cz (great beer, amazing cuisine)

lokal-ubilekuzelky.ambi.cz

Lokál U Bílé kuželky

Homemade Czech cuisine and carefully treated Pilsner Urquell from tanks.

100

Roman Provazník @dzoukr.cz · 29/06/2025

Haaaaay man! Damn, bad timing. I'd love to see you, but I am leaving for vacation tomorrow. :( Damn! Ping me next time you're coming here and we will have a coffee/beer for sure. 🙏 Enjoy the Prague though.

110

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

Roman Provazník @dzoukr.cz · 13/06/2025

Guys, can I send CFP somewhere? 😅

100