iiinova — where your digital self keeps evolving

Reposted by Dave Thomas

Urs Enzler @ursenzler.bsky.social · 29/09/2026

After a long summer break, I'm continuing my blog post series on event sourcing, focusing on how to handle acceptance workflows: an employee makes a change that needs approval from, e.g. their manager. So we need to accept or reject events. www.planetgeek.ch/2026/09/28/e... #EventSourcing #fsharp

planetgeek.ch

Event Sourcing: two ways to enable accept/reject workflows

When an employee corrects the time they started or stopped working in a time-tracking system, a workflow typically notifies their manager or HR that the data has changed. Then, the manager or HR…

0123

Reposted by Dave Thomas

Braidpoint @braidpoint.bsky.social · 19h

For #fsharp, #dotnet, #fablecompiler and @cloudflare-dev.bsky.social folks there's a new project for building agentic AI in the cloud. We're excited to make this a community project that anyone can use, modify, profit and contribute! It's still early days yet... fsprojects.github.io/FSharp.Cloud...

fsprojects.github.io

FSharp.CloudEdge

Build web products on Cloudflare with F#.

044

Dave Thomas @7sharp9.bsky.social · 25/09/2026

In the post "I write code myself" era, does anyone actually read technical blog post with code in anymore? #fsharp

210

Dave Thomas @7sharp9.bsky.social · 24/09/2026

Claude can be witty, anyway, new release of Myriad is out. #fsharp #metaprogrammingclub #skynet

030

Dave Thomas @7sharp9.bsky.social · 06/09/2026

I'm doing a MSc in AI because AI has reduced, or at least fundamentally altered the perception and basis of skill of a software developer. I'm still regularly trying to untangle what this means for future work and career.

120

Reposted by Dave Thomas

Maxime @mangelmaxime.bsky.social · 03/09/2026

Fable 5.14.0, 5.15.0, and 5.16.0 have been released over the past few days! 🚀 These updates feature: - Improved support for Python, Rust, and Beam. - Added support for precompiled libraries in fable-standalone (stay tuned for a surprise coming in the next few days!). #fsharp #fablecompiler

192

Reposted by Dave Thomas

Angel Munoz @tunaxor.me · 01/09/2026

Niche #dotnet #fsharp #gsharp devs unite! We might get 24 users between the two languages!

172

Dave Thomas @7sharp9.bsky.social · 17/08/2026

#fsharp is good at rejecting malformed domain logic, but not proven to make the model’s underlying reasoning much more accurate.

010

Dave Thomas @7sharp9.bsky.social · 17/08/2026

There’s a lot of anti-LLM coding sentiment going around. It feels like the new typed languages versus dynamic languages debacle.

120

Dave Thomas @7sharp9.bsky.social · 14/07/2026

I've just put Myriad inside a TypeProvider. “I felt myself on the edge of the world; peering over the rim into a fathomless chaos of eternal night.” - H.P. Lovecraft #fsharp

1102

Reposted by Dave Thomas

raphinou.bsky.social @raphinou.bsky.social · 06/07/2026

Cool to see myowndb.com mentioned in @sergeytihon.com 's #fsharp weekly. I deployed an updated version this morning, now using websharper 9. Next step is DotNet 10 then websharper 10.

myowndb.com

A tool for human managed databases

021

Dave Thomas @7sharp9.bsky.social · 01/07/2026

“For better or worse, the power of these systems is so great and the ability to accelerate is so strong that just writing stuff by hand...I don’t think it’s going to make sense for very much longer,”, Zach Lloyd

100

Dave Thomas @7sharp9.bsky.social · 10/06/2026

My amazing Wife just wrote a piece for a regional online newspaper, very proud! Nature and industry in Teesside: an artist’s perspective northeastbylines.co.uk/news/environ...

northeastbylines.co.uk

Nature and industry in Teesside: an artist’s perspective

Reflecting on the relationship between nature and industry in Teesside

130

Reposted by Dave Thomas

Mark Jack @markjackmilian.bsky.social · 22/05/2026

Check out F# 10, the latest update bringing async exceptions, Task<'T> improvements, and integrated tooling support! Ideal for enhancing functional-first programming. Explore the features and elevate your .NET development. #FSharp #DotNET

devblogs.microsoft.com

Introducing F# 10 - .NET Blog

Learn about new F# 10 language features, performance upgrades, and tooling improvements shipping with .NET 10.

1151

Reposted by Dave Thomas

jkone27 @jkone27.bsky.social · 22/05/2026

More #fsharp please .NET

073

Dave Thomas @7sharp9.bsky.social · 21/05/2026

And so it begins, a massive jump in billing calculation. Copilot is useful for some repo grunt work but it's not in the same league of usefulness of Claude Code, even when Copilot uses the same anthropic models.

010

Reposted by Dave Thomas

Darren @dplattsf.sfba.social.ap.brid.gy · 27/03/2026

Might not be a huge audience here, but I wanted to announce that. FSharp.Data.Npgsql is now part of fsprojects, thanks to @dsyme for the nudge. This should make maintenance easier.. It's a #typeprovider wrapper in #fsharp for #postgres that allows you to just point your code at a database and […]

sfba.social

Original post on sfba.social

2192

Reposted by Dave Thomas

Olivia Guest · Ολίβια Γκεστ @olivia.science · 09/04/2026

I'm still processing but I watched Dirty Business (not even done yet) & while I knew a lot about this & lived in Ox, I'm completely beguiled by the almost direct parallel to what we're going through with AI. I'm at a heightened awareness of our role as academics. theconversation.com/englands-sew...

theconversation.com

England’s sewage scandal hinges on lack of water industry regulation – new docudrama reveals how profit drives pollution

The water industry has been left to police its own pollution.

69137

Reposted by Dave Thomas

Melanie Mitchell @melaniemitchell.bsky.social · 13/03/2026

A very good article on AI and coding from the NYT by @clivethompson.bsky.social Here's a gift link: www.nytimes.com/2026/03/12/m...

nytimes.com

Coding After Coders: The End of Computer Programming as We Know It

47220

Reposted by Dave Thomas

Laurie Voss @seldo.com · 08/03/2026

About a year ago I made some predictions about the effect of AI on programming jobs. Block laid off 40% of its staff claiming AI made them more efficient. Is that really true or did they just over-hire? Let's look at some data and see what's really happening. Full post: seldo.com/posts/do-ai-...

95010

Reposted by Dave Thomas

jkone27 @jkone27.bsky.social · 25/02/2026

Daily Reminder to try #dotnet and also #fsharp since is part of the official sdk and is an awesome functional first language ! youtu.be/GcEHiY6Vp-8?...

youtu.be

Smatterings of F#

YouTube video by dotnet

051

Reposted by Dave Thomas

Jordan Marr @jordanmarr.bsky.social · 03/03/2026

Serde.FS.Json is the first backend in the new Serde.FS ecosystem — fast, reflection‑free JSON for F#. Powered by FSharp.SourceDjinn, a small engine for building F# source generators. github.com/fs-djinn #fsharp

1151

Reposted by Dave Thomas

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 Dave Thomas

Alexander Kustov @akoustov.bsky.social · 03/03/2026

Sorry, Bluesky, but I have to say it: AI can already do social science research better than most professors with PhDs. And, for the first time in my life, I really have no idea what happens in five years. Things are changing already, we just need to wake up.

alexanderkustov.substack.com

Academics Need to Wake Up on AI

Ten theses for folks who haven't noticed the ground shifting under their feet

30018132

Dave Thomas @7sharp9.bsky.social · 03/03/2026

I'm seeing a lot of anti AI sentiment, not AI has taken our jobs and stuff like that, but things like: AI agents don't work or they are no good or don't help. I see the exact opposite and cant help that my career as a programmer is defunct, at least in terms of actually writing code.

020

Reposted by Dave Thomas

Sung Kim @sungkim.bsky.social · 26/02/2026

You know, we used to joke about 'vibe coding.' Well... things have changed. We should call it what it is: Coding with AI. From @karpathy.bsky.social It is hard to communicate how much programming has changed due to AI in the last 2 months: not gradually but in this last December.

9693

Reposted by Dave Thomas

Miroslav Husťák @mira9998.bsky.social · 25/02/2026

Learning Rust. Looks like someone took functional and procedural F# or Haskell and transmuted it with the C-like syntax while using the Malbolge paradigm (making everything as convoluted as humanly possible) into a new language difficult as hell.

351

Dave Thomas @7sharp9.bsky.social · 17/02/2026

How is acrobat reader a 820MB download?

220

Reposted by Dave Thomas

amplifyingfsharp.io @amplifyingfsharp.io · 17/02/2026

This week on Friday @dsyme.bsky.social shows us how agentic workflows can continuously improve #fsharp libraries. amplifyingfsharp.io/sessions/202...

amplifyingfsharp.io

Boosting F# Libraries with Automated Agentic AI | Amplifying F#

0167

Reposted by Dave Thomas

Braidpoint @braidpoint.bsky.social · 17/02/2026

Given how much we've been sharing our work with the #fsharp community, we thought it worth summarizing this pivotal decision to establish a new language. speakez.tech/blog/reintro...

speakez.tech

(Re) Introducing the Clef Language

How the Fidelity Framework Led Us to a New Language

093

Reposted by Dave Thomas

Braidpoint @braidpoint.bsky.social · 02/02/2026

Aside work on the Firefly compiler, we're also building a cloud edge platform. That process, starting as back plane machinery for package management, emerged with "shared edges" until we found that re-imagining it as part of the Fidelity Framework itself was warranted. speakez.tech/blog/intelli...

speakez.tech

Intelligent Systems At Cloud's Edge

How Fidelity.CloudEdge extends the Fidelity Framework to embrace intelligent edge computing on Cloudflare

011

Reposted by Dave Thomas

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

Dave Thomas @7sharp9.bsky.social · 26/01/2026

I pretty much use AI daily, albeit my definition of AI is Artificial Imbecile. Once you get that locked in you can progress a lot faster with less foot guns; and screaming.

010

Reposted by Dave Thomas

Dave Thomas @7sharp9.bsky.social · 27/10/2025

Fudge died on Thursday afternoon. Devastated.

Fudge taking it easy loungin on the sofa.

001

Dave Thomas @7sharp9.bsky.social · 28/10/2025

AI driven efficiency culture is about the worst environment you could design for an ADHD brain.

010

Dave Thomas @7sharp9.bsky.social · 27/10/2025

For the first time since first owning a house (About 22 years) we no longer have any cats in residence. 🐾

100

Reposted by Dave Thomas

Don Syme @dsyme.bsky.social · 10/10/2025

F# folk - I've started a PR to add F# support to the Serena MCP server, that effectively allows the use of the F# language server from coding agents. github.com/oraios/seren... Please be welcome to contribute to get this over the line. cc @chethusk.bsky.social Thanks Don

github.com

Add F# support using FsAutoComplete LSP by dsyme · Pull Request #662 · oraios/serena

This adds F# support by the usual path, using the standard F# LSP Using Serena with F# Projects This guide demonstrates how to use Serena's tools with F# projects through both the MCP protocol...

2133

Dave Thomas @7sharp9.bsky.social · 09/10/2025

At some point, the cost of AI is likely to increase by at least 10 to 20 times. When that happens, will companies be willing to pay for it?

020