Don Syme
@dsyme.bsky.social
Reposted by Don Syme
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
November 14, 2025 at 12:13 AM
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
Reposted by Don Syme
Hey #fsharp, what we do with #FsAdvent this year? sergeytihon.com/fsadvent/ Do we have 24 F#ers ready to participate?
November 2, 2025 at 8:10 AM
Hey #fsharp, what we do with #FsAdvent this year? sergeytihon.com/fsadvent/ Do we have 24 F#ers ready to participate?
The scenes of genocide and massacres coming out of Sudan are utterly gut-wrenching, and amongst the most inhumane things I've ever seen.
The UAE - Dubai, Abu Dhabi - is grotesque in its support for these militias, and for not exerting its power to prevent this.
#Sudan
The UAE - Dubai, Abu Dhabi - is grotesque in its support for these militias, and for not exerting its power to prevent this.
#Sudan
November 1, 2025 at 10:37 PM
The scenes of genocide and massacres coming out of Sudan are utterly gut-wrenching, and amongst the most inhumane things I've ever seen.
The UAE - Dubai, Abu Dhabi - is grotesque in its support for these militias, and for not exerting its power to prevent this.
#Sudan
The UAE - Dubai, Abu Dhabi - is grotesque in its support for these militias, and for not exerting its power to prevent this.
#Sudan
Achievement unlocked! Mentioned in the same tweet as Wittgenstein and Dijkstra! 😜🤪
x.com/therealchrek...
x.com/therealchrek...
chreke on X: "however, as @dsymetweets points out in “On Natural Language Programming” (https://t.co/45IEBMZLa9), maybe this ambiguity is not a weakness, but a strength? even though it is ambiguous, a product manager can usually instruct a programmer with reasonably predictable results 3/7" / X
however, as @dsymetweets points out in “On Natural Language Programming” (https://t.co/45IEBMZLa9), maybe this ambiguity is not a weakness, but a strength? even though it is ambiguous, a product manager can usually instruct a programmer with reasonably predictable results 3/7
x.com
November 1, 2025 at 9:38 PM
Achievement unlocked! Mentioned in the same tweet as Wittgenstein and Dijkstra! 😜🤪
x.com/therealchrek...
x.com/therealchrek...
I looked up antifa events in London, it's so terrifying, there's a metal group and some people singing sea shanties.
October 26, 2025 at 6:23 PM
I looked up antifa events in London, it's so terrifying, there's a metal group and some people singing sea shanties.
Thinking ahead.
What would you choose?
What would you choose?
October 19, 2025 at 12:57 PM
Thinking ahead.
What would you choose?
What would you choose?
Reposted by Don Syme
F# Weekly #42, 2025 - Hi, Victor & .NET 10 RC2 #fsharp sergeytihon.com/2025/10/18/f...
F# Weekly #42, 2025 – Hi, Victor & .NET 10 RC2
Welcome to F# Weekly, A roundup of F# content from this past week: News Announcing .NET 10 Release Candidate 2 – .NET Blog Announcing the .NET Security Group – .NET Blog .NET and .NET F…
sergeytihon.com
October 18, 2025 at 10:10 AM
F# Weekly #42, 2025 - Hi, Victor & .NET 10 RC2 #fsharp sergeytihon.com/2025/10/18/f...
Reposted by Don Syme
‘A Shabby London Suburb’
Combined map /walking guide to some of the radical & working class history of Hammersmith
Featuring Revolting peasants, suffragettes, socialists, irish republicans, suffocated tory MPs & more!
Available to buy online:
pasttensehistories.bigcartel.com/product/a-sh...
Combined map /walking guide to some of the radical & working class history of Hammersmith
Featuring Revolting peasants, suffragettes, socialists, irish republicans, suffocated tory MPs & more!
Available to buy online:
pasttensehistories.bigcartel.com/product/a-sh...
October 18, 2025 at 2:17 PM
‘A Shabby London Suburb’
Combined map /walking guide to some of the radical & working class history of Hammersmith
Featuring Revolting peasants, suffragettes, socialists, irish republicans, suffocated tory MPs & more!
Available to buy online:
pasttensehistories.bigcartel.com/product/a-sh...
Combined map /walking guide to some of the radical & working class history of Hammersmith
Featuring Revolting peasants, suffragettes, socialists, irish republicans, suffocated tory MPs & more!
Available to buy online:
pasttensehistories.bigcartel.com/product/a-sh...
My latest post is out!
🔄 Introduce "Semi-automatic Performance Engineering"
🏆 A Grand Challenge for CS
🧩 Why it's hard, heterogeneous
✨ Show GitHub Agentic Workflows "Daily Perf Improver"
🔮 What's Possible, Potential, and Delusional
🧹 Let's tackle technical debt!
dsyme.net/2025/10/12/t...
🔄 Introduce "Semi-automatic Performance Engineering"
🏆 A Grand Challenge for CS
🧩 Why it's hard, heterogeneous
✨ Show GitHub Agentic Workflows "Daily Perf Improver"
🔮 What's Possible, Potential, and Delusional
🧹 Let's tackle technical debt!
dsyme.net/2025/10/12/t...
Introducing Semi-automatic Performance Engineering
(This blog post is written in personal tone, but relates to our work at GitHub Next and may be moved to in future. A huge thank you to Peli de Halleux, Joe Zhou, Eddie Aftandilian, Russell Horton, …
dsyme.net
October 13, 2025 at 11:38 AM
My latest post is out!
🔄 Introduce "Semi-automatic Performance Engineering"
🏆 A Grand Challenge for CS
🧩 Why it's hard, heterogeneous
✨ Show GitHub Agentic Workflows "Daily Perf Improver"
🔮 What's Possible, Potential, and Delusional
🧹 Let's tackle technical debt!
dsyme.net/2025/10/12/t...
🔄 Introduce "Semi-automatic Performance Engineering"
🏆 A Grand Challenge for CS
🧩 Why it's hard, heterogeneous
✨ Show GitHub Agentic Workflows "Daily Perf Improver"
🔮 What's Possible, Potential, and Delusional
🧹 Let's tackle technical debt!
dsyme.net/2025/10/12/t...
Reposted by Don Syme
Great idea!
Not serena-related, but I've been working on opening up my fsi.exe sessions over mcp and it has been very fun programming this way: github.com/jovaneyck/fs...
Not serena-related, but I've been working on opening up my fsi.exe sessions over mcp and it has been very fun programming this way: github.com/jovaneyck/fs...
GitHub - jovaneyck/fsi-mcp-server: A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO.
A wrapper around F# interactive (fsi) that exposes an MCP server endpoint for AI agents allowing for fsi IO. - jovaneyck/fsi-mcp-server
github.com
October 10, 2025 at 12:49 PM
Great idea!
Not serena-related, but I've been working on opening up my fsi.exe sessions over mcp and it has been very fun programming this way: github.com/jovaneyck/fs...
Not serena-related, but I've been working on opening up my fsi.exe sessions over mcp and it has been very fun programming this way: github.com/jovaneyck/fs...
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
Universal Basic Income is a foolish thing for those opposed to MAGA/Reform to be pushing. Let me explain why.
Take one moment to imagine UBI in the hands of Farage. Instantly he would transform it to "UBI for UK Citizens only" or "UBI for Britain!". UBI is ready-made for nativist cooption
#UBI
Take one moment to imagine UBI in the hands of Farage. Instantly he would transform it to "UBI for UK Citizens only" or "UBI for Britain!". UBI is ready-made for nativist cooption
#UBI
October 6, 2025 at 6:12 PM
Universal Basic Income is a foolish thing for those opposed to MAGA/Reform to be pushing. Let me explain why.
Take one moment to imagine UBI in the hands of Farage. Instantly he would transform it to "UBI for UK Citizens only" or "UBI for Britain!". UBI is ready-made for nativist cooption
#UBI
Take one moment to imagine UBI in the hands of Farage. Instantly he would transform it to "UBI for UK Citizens only" or "UBI for Britain!". UBI is ready-made for nativist cooption
#UBI
Reposted by Don Syme
When elected leaders, corporations, and other institutions yield to fascism without a fight, we’re there to demand courage and hold them accountable. Our events, organizing, and historic days of action are vital to this movement, and your support makes it all possible. Please pitch in if you can.
Donate to Indivisible Action - Unlimited
Show your support with a contribution.
secure.actblue.com
October 5, 2025 at 11:05 PM
When elected leaders, corporations, and other institutions yield to fascism without a fight, we’re there to demand courage and hold them accountable. Our events, organizing, and historic days of action are vital to this movement, and your support makes it all possible. Please pitch in if you can.
Remember, the hypocrisy is the whole point.
For Reform, for MAGA, for Tommy Robinson's mob - the hypocrisy is deliberate and serves a purpose. Again and again, it's very predictable.
Don't let them divide our nations, our cities, our regions, our continents, our world.
bsky.app/profile/dsym...
For Reform, for MAGA, for Tommy Robinson's mob - the hypocrisy is deliberate and serves a purpose. Again and again, it's very predictable.
Don't let them divide our nations, our cities, our regions, our continents, our world.
bsky.app/profile/dsym...
As you watch Reform UK in action, please remember everything they do serves one purpose - to divide the world, and the UK, into an "us" and a "them".
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
September 13, 2025 at 9:16 AM
Remember, the hypocrisy is the whole point.
For Reform, for MAGA, for Tommy Robinson's mob - the hypocrisy is deliberate and serves a purpose. Again and again, it's very predictable.
Don't let them divide our nations, our cities, our regions, our continents, our world.
bsky.app/profile/dsym...
For Reform, for MAGA, for Tommy Robinson's mob - the hypocrisy is deliberate and serves a purpose. Again and again, it's very predictable.
Don't let them divide our nations, our cities, our regions, our continents, our world.
bsky.app/profile/dsym...
As you watch Reform UK in action, please remember everything they do serves one purpose - to divide the world, and the UK, into an "us" and a "them".
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
September 6, 2025 at 4:07 PM
As you watch Reform UK in action, please remember everything they do serves one purpose - to divide the world, and the UK, into an "us" and a "them".
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
All they care about is that their "us" wins power. Their "us" can be corrupt, violent, criminal, lying - they don't care - as long as their tribe win
In which Don burns $200 to improve test coverage and improve performance in an F# community library.
#fsharp
github.com/fsprojects/F...
#fsharp
github.com/fsprojects/F...
Automated test coverage and perf experiment · Issue #179 · fsprojects/FSharp.Control.AsyncSeq
In my work at GitHub Next we are looking at partially automated test coverage and perf improvement for repository maintainers. The aim is to have AI help improve the quality of software. I will be ...
github.com
August 29, 2025 at 8:05 PM
In which Don burns $200 to improve test coverage and improve performance in an F# community library.
#fsharp
github.com/fsprojects/F...
#fsharp
github.com/fsprojects/F...
London is a wonderful city, the best place to live in the world. I'm proud to live here.
Sadiq Khan has hit the mark with this article - the rightwing radicals *need* London to fail - they need to bring it down, denigrate it, lie about it.
I notice London getting cleaner, and enjoy it's happiness.
Sadiq Khan has hit the mark with this article - the rightwing radicals *need* London to fail - they need to bring it down, denigrate it, lie about it.
I notice London getting cleaner, and enjoy it's happiness.
Powerful words by London Mayor Sadiq Khan
@london.gov.uk in Byline Times on claims of 'lawless London' 👇
"These people can't stand what London represents... They believe a city as diverse & progressive as ours cannot be allowed to thrive. If it does, it makes a mockery of their entire worldview"
@london.gov.uk in Byline Times on claims of 'lawless London' 👇
"These people can't stand what London represents... They believe a city as diverse & progressive as ours cannot be allowed to thrive. If it does, it makes a mockery of their entire worldview"
‘These People Can’t Stand What London Represents… It Makes a Mockery of their Entire Worldview’
Sadiq Khan, the Labour Mayor of London, addresses the increasing number of claims by those in the media and politics of the capital city’s apparent decline
bylinetimes.com
August 21, 2025 at 1:05 PM
London is a wonderful city, the best place to live in the world. I'm proud to live here.
Sadiq Khan has hit the mark with this article - the rightwing radicals *need* London to fail - they need to bring it down, denigrate it, lie about it.
I notice London getting cleaner, and enjoy it's happiness.
Sadiq Khan has hit the mark with this article - the rightwing radicals *need* London to fail - they need to bring it down, denigrate it, lie about it.
I notice London getting cleaner, and enjoy it's happiness.
We (GitHub Next) put out a new project today - GitHub Agentic Workflows!
This is natural language programming for Continuous AI on GitHub.
eg "build the code, run the tests, read the coverage report, write tests", running daily, delivering test improvements in PRs
githubnext.com/projects/age...
This is natural language programming for Continuous AI on GitHub.
eg "build the code, run the tests, read the coverage report, write tests", running daily, delivering test improvements in PRs
githubnext.com/projects/age...
GitHub Next | Agentic Workflows
GitHub Next Project: Towards Natural‑Language Programming for GitHub Actions
githubnext.com
August 15, 2025 at 11:55 PM
We (GitHub Next) put out a new project today - GitHub Agentic Workflows!
This is natural language programming for Continuous AI on GitHub.
eg "build the code, run the tests, read the coverage report, write tests", running daily, delivering test improvements in PRs
githubnext.com/projects/age...
This is natural language programming for Continuous AI on GitHub.
eg "build the code, run the tests, read the coverage report, write tests", running daily, delivering test improvements in PRs
githubnext.com/projects/age...
The train announcement has changed from "This is London Waterloo, where this train terminates" to "This is London Waterloo, where this train finishes its journey"....
1/3
1/3
August 11, 2025 at 10:54 AM
The train announcement has changed from "This is London Waterloo, where this train terminates" to "This is London Waterloo, where this train finishes its journey"....
1/3
1/3
Reposted by Don Syme
🧬 Gene samples nearly melted because someone mixed °F and °C. 🫠 With #AI proliferating, every system is now safety-critical. F# units of measure catch these potential errors at compile time with ZERO runtime cost. New #fsharp #mlir #llvm #systemsprogramming #aisafety blog: speakez.ai/blog/danger-...
Danger Close: Why Types Matter
F# Units Of Measure With Zero Runtime Cost Can Save Money and Lives
speakez.ai
June 24, 2025 at 3:56 PM
🧬 Gene samples nearly melted because someone mixed °F and °C. 🫠 With #AI proliferating, every system is now safety-critical. F# units of measure catch these potential errors at compile time with ZERO runtime cost. New #fsharp #mlir #llvm #systemsprogramming #aisafety blog: speakez.ai/blog/danger-...
Today London Met Police @metpolice.bsky.social had a very overt deployment of a Live Facial Recognition van outside Richmond Station in London. About 30 officers were present.
Looking at the guidelines this deployment of LFR looks illegal.
www.met.police.uk/advice/advic...
cc @london.gov.uk
Looking at the guidelines this deployment of LFR looks illegal.
www.met.police.uk/advice/advic...
cc @london.gov.uk
Live Facial Recognition
Facial Recognition is technology that can be used to help identify people who’ve broken the law. Find out what it is, how it works and how we use it.
www.met.police.uk
June 6, 2025 at 12:06 PM
Today London Met Police @metpolice.bsky.social had a very overt deployment of a Live Facial Recognition van outside Richmond Station in London. About 30 officers were present.
Looking at the guidelines this deployment of LFR looks illegal.
www.met.police.uk/advice/advic...
cc @london.gov.uk
Looking at the guidelines this deployment of LFR looks illegal.
www.met.police.uk/advice/advic...
cc @london.gov.uk
Reposted by Don Syme
You can now use F# and Ionide with @cursor.com.web.brid.gy 🥰 #fsharp #fable github.com/ionide/ionid...
Check for C# extension dependencies at runtime by dbrattli · Pull Request #2088 · ionide/ionide-vscode-fsharp
Why
We should not have a hard dependency on ms-dotnettools.csharp since that makes it impossible to use Ionide with forks os VScode e.g Cursor. This PR does the check at runtime instead adding reco...
github.com
May 31, 2025 at 5:34 AM
You can now use F# and Ionide with @cursor.com.web.brid.gy 🥰 #fsharp #fable github.com/ionide/ionid...