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
>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
Reposted by Dave Thomas
Fudge died on Thursday afternoon. Devastated.
October 27, 2025 at 5:55 PM
Fudge died on Thursday afternoon. Devastated.
AI driven efficiency culture is about the worst environment you could design for an ADHD brain.
October 28, 2025 at 11:33 PM
AI driven efficiency culture is about the worst environment you could design for an ADHD brain.
For the first time since first owning a house (About 22 years) we no longer have any cats in residence. 🐾
October 27, 2025 at 5:55 PM
For the first time since first owning a house (About 22 years) we no longer have any cats in residence. 🐾
Reposted by Dave Thomas
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/oraios/seren...
Please be welcome to contribute to get this over the line.
cc @chethusk.bsky.social
Thanks
Don
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...
github.com
October 10, 2025 at 11:11 AM
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/oraios/seren...
Please be welcome to contribute to get this over the line.
cc @chethusk.bsky.social
Thanks
Don
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?
October 9, 2025 at 1:12 PM
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?
Reposted by Dave Thomas
🎭 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-...
So why are we trying to build AI agents in single #Python processes? 🤔 #fsharp #ai #ml
@cloudflare.social speakez.tech/blog/actors-...
A 50 Year Odyssey: Actors Take Center Stage
How Cloudflare's Multi-Worker Development and CloudflareFS Will Bring Proven Patterns to Agentic AI
speakez.tech
September 26, 2025 at 7:26 PM
🎭 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-...
So why are we trying to build AI agents in single #Python processes? 🤔 #fsharp #ai #ml
@cloudflare.social speakez.tech/blog/actors-...
Reposted by Dave Thomas
#fsharp shout-out! 📆https://www.meetup.com/nhdnug/events/310256596/
Eight Reasons to Try F#, Thu, Sep 18, 2025, 5:30 PM | Meetup
This is a great opportunity to create community, relationships, and learn about new technology!
**SCHEDULE**
5:30pm - Arrival/Registration + Food/Drinks + Networking
www.meetup.com
September 18, 2025 at 10:22 PM
#fsharp shout-out! 📆https://www.meetup.com/nhdnug/events/310256596/
Thinking of resurrecting my blog (again, again), now the important question: figuring out the domain name!
September 18, 2025 at 10:36 AM
Thinking of resurrecting my blog (again, again), now the important question: figuring out the domain name!
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?
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?
September 18, 2025 at 10:35 AM
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?
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?
Reposted by Dave Thomas
"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...
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...
The Uncomfortable Truth of Comfortable Dysfunction
How AI's Current GPU Lock-In Will Inevitably Lead To A Wile E. Coyote Moment
speakez.tech
September 15, 2025 at 1:08 PM
"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...
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...
Trying to fix compileer errors but it 27 degrees in the ofice and brain too hot! #summerisasackofshitbringmethefuckingwinterfucktags
June 30, 2025 at 2:18 PM
Trying to fix compileer errors but it 27 degrees in the ofice and brain too hot! #summerisasackofshitbringmethefuckingwinterfucktags
Does anyone I know do combined ADHD meds? Like combining a stimulant with a non stimulant?
June 29, 2025 at 2:55 PM
Does anyone I know do combined ADHD meds? Like combining a stimulant with a non stimulant?
Is anyone building or has used chatbots with Shopify for customer interaction? Theres a ton of Apps in shoppify but do they really add a lot if its just streaming customer queries to an LLM. Does anyone have any recommendations here?
May 7, 2025 at 9:59 AM
Is anyone building or has used chatbots with Shopify for customer interaction? Theres a ton of Apps in shoppify but do they really add a lot if its just streaming customer queries to an LLM. Does anyone have any recommendations here?
Reposted by Dave Thomas
#llvm #mlir In case anyone in the #fsharp sphere wants to know how easy/difficult it may be to move beyond the #dotnet sdk... this was hacked together in a few hours including a break for the evening meal.
github.com/speakez-llc/...
github.com/speakez-llc/...
GitHub - speakez-llc/fsharp-mlir-hello: Proof of Concept using MLIR and LLVM to build binaries from F# code
Proof of Concept using MLIR and LLVM to build binaries from F# code - speakez-llc/fsharp-mlir-hello
github.com
March 14, 2025 at 2:21 AM
#llvm #mlir In case anyone in the #fsharp sphere wants to know how easy/difficult it may be to move beyond the #dotnet sdk... this was hacked together in a few hours including a break for the evening meal.
github.com/speakez-llc/...
github.com/speakez-llc/...
Reposted by Dave Thomas
Our blog this week highlights how we used the power of .NET and F# together to improve service reliability for a customer!
#dotnet #fsharp
@fsharponline.bsky.social
#dotnet #fsharp
@fsharponline.bsky.social
Background Workers in F#
Learn how combining the benefits of F# and the power of .NET can be used to increase a solution's resilience and reliability.
www.compositional-it.com
March 14, 2025 at 10:45 AM
Our blog this week highlights how we used the power of .NET and F# together to improve service reliability for a customer!
#dotnet #fsharp
@fsharponline.bsky.social
#dotnet #fsharp
@fsharponline.bsky.social
Reposted by Dave Thomas
Here's a sneak peek into what we have going on to move #fsharp "static" site generation forward - a project we're calling Flightdeck. This is an early experiment with its forbear, Fornax, to demonstrate how styling dovetails between frameworks - TailwindCSS, DaisyUI and Prism. youtu.be/SoR-aaXT3hs
F# web gen - TailwindCSS, DaisyUI and PrismJS
YouTube video by Houston Haynes
youtu.be
March 13, 2025 at 11:30 AM
Here's a sneak peek into what we have going on to move #fsharp "static" site generation forward - a project we're calling Flightdeck. This is an early experiment with its forbear, Fornax, to demonstrate how styling dovetails between frameworks - TailwindCSS, DaisyUI and Prism. youtu.be/SoR-aaXT3hs
Look at all the C# fan boys in the comments, it just shows the lack of thought work and indoctrination. Go or Rust are the obvious choices here as you want the compilation to be as fast as possible with no overheads.
Microsoft is porting the TypeScript compiler to go? Good news
https://devblogs.microsoft.com/typescript/typescript-native-port/
https://devblogs.microsoft.com/typescript/typescript-native-port/
A 10x Faster TypeScript
Comments
devblogs.microsoft.com
March 12, 2025 at 6:05 PM
Look at all the C# fan boys in the comments, it just shows the lack of thought work and indoctrination. Go or Rust are the obvious choices here as you want the compilation to be as fast as possible with no overheads.
Reposted by Dave Thomas
I’m George Takei and I approve of this message.
February 19, 2025 at 3:47 PM
I’m George Takei and I approve of this message.
Exhausting week tracking down double frees and other foul creatures
February 14, 2025 at 1:46 PM
Exhausting week tracking down double frees and other foul creatures
Linker issues and general bad shit in Windows, 48 hours in.
a man is standing in front of a giant octopus with red eyes
ALT: a man is standing in front of a giant octopus with red eyes
media.tenor.com
February 11, 2025 at 12:29 AM
Linker issues and general bad shit in Windows, 48 hours in.
@deepseek.bsky.social seems to be comparable to chatgpt and Claude when its not timing out :-)
February 2, 2025 at 5:39 PM
@deepseek.bsky.social seems to be comparable to chatgpt and Claude when its not timing out :-)