iiinova — where your digital self keeps evolving

Its fine there is more, often there is far too much in prose that is too long winded and complex than it needs to be. I guess training on pomp and ceremony, and half of the internet being slop has this effect.

000

Yes you can mitigate it a bit, but its very draining.

101

In the age of LLMs, we’ve swung to the opposite: endless documentation, written in a way that cognitively overloads the reader. Even when the material is explanatory, it’s harder to hold in your head because the density, phrasing, and sheer volume create more mental friction than clarity.

120

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

I think we need fewer documents and fewer text avalanches. In normal development cycles, documentation is often thin or inconsistent.

100

I guess everyone else is trying to makes sense of how this will pan out too.

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

Being on the other side of the AI line in the sand, seemed like it was the best bet; especially if I go into further research in this area.

100

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

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

I've mainly augmented writing python with some bits of rust where i can leverage performance etc. I've never started from F# and then needed python calls. Dotnet is missing so much ML stuff the whole ecosystem is a little sparse.

000

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

I can generate myriad plugins with relative ease too, I made one the other day to stubb and redirect all call to and from godot/F#/C# entities.

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

Do you know is the python path yields much benefit? I'm a little behind on that aspect. Plus I've grown used to Python, Rust, and C++ over the years so it no longer feel like languages are actual barriers to anything. Path of least effort etc

200

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

Its also saying the MVU loop is going to be a bottleneck: "The hardest client work is presentation and tooling, and that is where MVU plus immediate-mode raylib works against you and Godot's retained model works for you"

000

I think its mainly Godot's retained scene tree and UI nodes makes a lot of things easy.

100

Spiked Mibo/Godot, godot pips due to that coupling and issues it causes.

110

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

I didn't like the way Mibo has the tight dependency on Mibo.Adaptive, that put me off a little.

200

Is Mibo giving you a lot of benefit, which backend are toy using now?

110

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 · 01/09/2026

Unity is a lot more lumpy compared to monogame, it’s all about assets and assignment scripts rather than more code oriented reasonin, Unity that is.

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

I just resumed the work I started on a 68000 F# emulator. The patterns and architecture I created have remained but I’m several million instructions emulated now. I even got the clanker to record a video of it trying to play an emulated game.

000

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

How much is clanker, clanking on these mini games? You make me want to get back to making retro games!

100

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

When you can build pretty nifty tools on the fly and keep them, there's no real need for those concrete behemoths any more. I only really use vscode and sometimes pycharm, that's about it,

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

I've found that refuting a change before it starts is better than trying to augment generation.

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

I've had no issues, I'm assuming pretty much everyone is using LLM assisted workflows now. I've found it makes advanced IDE's pretty much obsolete now.

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

I think the problem is some people are commenting on LLM's from an experience standpoint of ~2015, but the rate of progress is astonishing.

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.

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 · 09/08/2026

I'm running a 4 way explorable scope where to save churn: - hypothesis - design - results - review Where the aim is to disprove a hypothesis before GPU is spent grinding away on a dead-end

000

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

Have you found way to enhance the agentic loop without resorting to bigger models? Such as compiler constraints, or scoring or weighting paths, or LoRa tool training for example?

100

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

I just looked at the C# syntax, my body rejected it on a cellular level. I think I was sick in my mouth.

050

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

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

Because there is no *type*. Think of Task like Task<void>

000

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

That pretty much sums it up. Insane progress in the last 6 months.

000

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 · 30/05/2026

I closed quite a few in Myriad but then burned through all my credits so I had to turn it off :-(

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.