Dave Thomas's Avatar

Dave Thomas

@7sharp9.bsky.social

Programmer and Guitarist. >The difference between us and a computer is that, the computer is blindingly stupid, but it is capable of being stupid many, many million times a second. - Douglas Adams

205 Followers  |  159 Following  |  111 Posts  |  Joined: 10.12.2024  |  1.5634

Latest posts by 7sharp9.bsky.social on Bluesky

Preview
F# Weekly #7, 2026 – .NET 11 Preview 1 & Rider 2026.1 EAP 3 Welcome to F# Weekly, A roundup of F# content from this past week: News Boosting F# Libraries with Automated Agentic AI with Don Syme F# debugging improvements in Rider 2026.1. EAP 3 Microsoft News…

F# Weekly #7, 2026 - .NET 11 Preview 1 & Rider 2026.1 EAP 3 #fsharp sergeytihon.com/2026/02/14/f...

14.02.2026 20:27 β€” πŸ‘ 10    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Preview
Intelligent Systems At Cloud's Edge How Fidelity.CloudEdge extends the Fidelity Framework to embrace intelligent edge computing on Cloudflare

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

02.02.2026 13:54 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Preview
Learning to Walk How Fidelity Traverses the Semantic Graph for MLIR Generation

#fsharp #stadardml #ocaml #rust #golang #SystemsThinking #SoftwareEngineering #WebDevelopment speakez.tech/blog/learnin...

19.01.2026 20:10 β€” πŸ‘ 5    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Hi Tomas, I hope your doing well!

09.02.2026 13:48 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
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 β€” πŸ‘ 25    πŸ” 4    πŸ’¬ 2    πŸ“Œ 0
Preview
Nanopass Navigation How Single-Purpose Transformations Enable Multi-Stack Compilation

#fsharp speakez.tech/blog/nanopas...

31.01.2026 02:05 β€” πŸ‘ 5    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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.

26.01.2026 17:29 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I always regret not going to that, I was too fazed by Don asking me to give a talk.

26.01.2026 17:07 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Nice, I love isometric games, I always wanted to do some vids on them.

21.11.2025 19:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wow, 10 already? I bet those 5 full versions don't contain a lot of content though?

12.11.2025 12:59 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Fudge taking it easy loungin on the sofa.

Fudge taking it easy loungin on the sofa.

Fudge died on Thursday afternoon. Devastated.

27.10.2025 17:55 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

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

28.10.2025 23:33 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Fudge taking it easy loungin on the sofa.

Fudge taking it easy loungin on the sofa.

Fudge died on Thursday afternoon. Devastated.

27.10.2025 17:55 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

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

27.10.2025 17:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I guess ask an admin: @sergeytihon.com / @dsyme.bsky.social are admins.

21.10.2025 13:46 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
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...

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

10.10.2025 11:11 β€” πŸ‘ 13    πŸ” 3    πŸ’¬ 2    πŸ“Œ 0

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?

09.10.2025 13:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
F# Weekly #39, 2025 – amplifyingfsharp.io Welcome to F# Weekly, A roundup of F# content from this past week: News Announcing Aspire 9.5 – .NET Blog Exploring Text-to-Image capabilities in .NET – .NET Blog New Trusted Publishing…

F# Weekly #39, 2025 - amplifyingfsharp.io #fsharp sergeytihon.com/2025/09/27/f...

27.09.2025 18:50 β€” πŸ‘ 11    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Preview
A 50 Year Odyssey: Actors Take Center Stage How Cloudflare's Multi-Worker Development and CloudflareFS Will Bring Proven Patterns to Agentic AI

🎭 The actor model has been solving distributed systems since 1973. WhatsApp handles billions of messages. #erlang powers telecom switches with 99.9999% uptime.

So why are we trying to build AI agents in single #Python processes? πŸ€” #fsharp #ai #ml
@cloudflare.social speakez.tech/blog/actors-...

26.09.2025 19:25 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Eight Reasons to Try F#, Thu, Sep 18, 2025, 5:30 PM | Meetup Tο»Ώhis is a great opportunity to create community, relationships, and learn about new technology! **Sο»ΏCHEDULE** 5ο»Ώ:30pm - Arrival/Registration + Food/Drinks + Networking

#fsharp shout-out! πŸ“†https://www.meetup.com/nhdnug/events/310256596/

18.09.2025 22:22 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Thinking of resurrecting my blog (again, again), now the important question: figuring out the domain name!

18.09.2025 10:36 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I just saw this advertised:
Anthropic: Research Engineer / Scientist, Alignment Science, London - Annual Salary: Β£250,000 - Β£270,000 GBP

Not that I'm qualified to do it, but I wonder if those are real salaries?

18.09.2025 10:35 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
The Uncomfortable Truth of Comfortable Dysfunction How AI's Current GPU Lock-In Will Inevitably Lead To A Wile E. Coyote Moment

"You have to make an outsized bet" - Tri Dao

While most optimize to yesterday's constraints, we're building for tomorrow. 🌊

The Fidelity Framework is our outsized bet on the future of intelligent systems. But it starts with being honest about today. #AI #fsharp

speakez.tech/blog/uncomfo...

15.09.2025 13:08 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

I don't follow?

11.09.2025 10:35 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

I wanted to try combining stimulants / non-stimulants, but they haven't approved this in the UK. I've been through the whole set of stimulants now. I'm just trying out Medikinet XL, which is the slow-release methylphenidate. I've not found anything that has more benefits than side effects yet. :-(

11.09.2025 10:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Profit, Im not currently working, well, I am working but not earning money :-)

31.08.2025 10:17 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I love the artwork on old games covers and packaging :-)

30.08.2025 12:56 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Anyone looking for a #fsharp developer part time? Piecemeal work, bug bounties or short project items?

30.08.2025 11:10 β€” πŸ‘ 5    πŸ” 7    πŸ’¬ 2    πŸ“Œ 0

Although they dont technically have a sense of humour you can train the replies to be tailored to your sensee of humour so it meshes better etc. I do this a lot and my creativity rockets

01.07.2025 16:05 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Trying to fix compileer errors but it 27 degrees in the ofice and brain too hot! #summerisasackofshitbringmethefuckingwinterfucktags

30.06.2025 14:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@7sharp9 is following 19 prominent accounts