Don Syme
@dsyme.bsky.social
📤 1192
📥 162
📝 432
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
pinned post!
dsyme.net/2025/08/27/o...
loading . . .
On Natural Language Programming
I recently found myself arguing with the ghost of Edsger Dijkstra on LinkedIn. This is not a comfortable position for a computer scientist to find themself in. More specifically, I was triggered by…
https://dsyme.net/2025/08/27/on-natural-language-programming/
about 1 month ago
2
7
5
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...
add a skeleton here at some point
22 days ago
0
5
0
reposted by
Don Syme
Gerald Butts
11 months ago
Sure it happens before 4pm, but nice sunset.
#London
10
217
13
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
29 days ago
1
48
16
In which Don burns $200 to improve test coverage and improve performance in an F# community library.
#fsharp
github.com/fsprojects/F...
loading . . .
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 ...
https://github.com/fsprojects/FSharp.Control.AsyncSeq/issues/179
about 1 month ago
0
36
9
reposted by
Don Syme
dsyme.net/2025/08/27/o...
loading . . .
On Natural Language Programming
I recently found myself arguing with the ghost of Edsger Dijkstra on LinkedIn. This is not a comfortable position for a computer scientist to find themself in. More specifically, I was triggered by…
https://dsyme.net/2025/08/27/on-natural-language-programming/
about 1 month ago
2
7
5
I have resurrected my work blog, and populated it with some things from the last few years
dsyme.net
Some recent entries in thread
about 1 month ago
1
16
0
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.
add a skeleton here at some point
about 2 months ago
1
12
1
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...
loading . . .
GitHub Next | Agentic Workflows
GitHub Next Project: Towards Natural‑Language Programming for GitHub Actions
https://githubnext.com/projects/agentic-workflows/
about 2 months ago
2
13
7
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
about 2 months ago
1
1
0
reposted by
Don Syme
SpeakEZ.tech
3 months ago
🧬 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-...
loading . . .
Danger Close: Why Types Matter
F# Units Of Measure With Zero Runtime Cost Can Save Money and Lives
https://speakez.ai/blog/danger-close-why-types-matter/
1
11
1
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
loading . . .
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.
https://www.met.police.uk/advice/advice-and-information/fr/facial-recognition-technology/
4 months ago
1
4
2
reposted by
Don Syme
Dag Brattli
4 months ago
You can now use F# and Ionide with
@cursor.com.web.brid.gy
🥰
#fsharp
#fable
github.com/ionide/ionid...
loading . . .
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...
https://github.com/ionide/ionide-vscode-fsharp/pull/2088
0
11
6
reposted by
Don Syme
Michael Kölling
4 months ago
ATTENTION: Free Computing Teachers Conference Our speakers are now confirmed for CKC 2025:
@dsyme.bsky.social
@megjlow.bsky.social
@beckyfranks.bsky.social
@tracygardner.bsky.social
@lollypopstar.bsky.social
@neilccbrown.bsky.social
@suesentance.bsky.social
Sign up here:
tinyurl.com/CKC-Kings
0
5
4
Some Cambridge Computer Lab Lore 1. Roger Needham once told me, over a beer, that he had the idea for hash encoding passwords in The Eagle Pub. The same pub where DNA was announced Since I can't find a reference for that I'm recording it as gospel on Bluesky
blogs.manageengine.com/corporate/ge...
loading . . .
There's more to password security than hashed passwords
In 1967 Roger Needham, one of the first computer scientists to emphasize the need for computer security, invented the method of storing a hashed...
https://blogs.manageengine.com/corporate/general/2018/09/18/theres-password-security-hashed-passwords.html
5 months ago
2
14
2
reposted by
Don Syme
Sergey Tihon 🦔🦀
6 months ago
Electrifying Norway with F# and DDD by Almir Mesic
#fsharp
vimeo.com/1070256220
loading . . .
BOOSTER 2025 Sal 1_dag_2_1
This is "BOOSTER 2025 Sal 1_dag_2_1" by Booster conference on Vimeo, the home for high quality videos and the people who love them.
https://vimeo.com/1070256220
2
21
5
Bukharin's list of enemies of the state to be eliminated or corrected. On a quick count I belong to 3 out of 9 categories. This has made me look at communism quite differently! From "House of Government" by Yuri Slezkine
6 months ago
1
3
0
reposted by
Don Syme
F# Online
7 months ago
All
#fsharp
users! Checkout the wonderful new testimonial page at
fsharp.org/testimonials
! Courtesy of
@amuletofyendor.bsky.social
Submit your own testimonials at
github.com/fsharp/fshar...
loading . . .
Testimonials | The F# Software Foundation
https://fsharp.org/testimonials
0
17
8
I glanced back at the X site by mistake twice recently 1st time the screen had a video of tennis players being violent to tennis ballboys and judges 2nd time it had a video of a car crash that would certainly have resulted in whiplash. That place is just horrible - violent as well as Nazi.
7 months ago
2
13
1
The best podcast ever
add a skeleton here at some point
7 months ago
0
2
0
reposted by
Don Syme
Literature and History Podcast
7 months ago
This is the first post Literature and History (
literatureandhistory.com
) has made on Bluesky, to a total of zero followers! I'm sure it has a glorious future! 🤣
loading . . .
Literary History, from Ancient Times to the Present
Discover a literature podcast that takes you on a journey through literary history, with summaries, historical analyses, and original music.
https://literatureandhistory.com/
7
61
29
Whimsical thoughts of the day... I've come to the conclusion that the universe is a single sample, among many, being used to train a machine learning model, where the objective of the training is to learn how to love.
7 months ago
2
6
0
My thoughts on the Ukraine-USA minerals deal
open.substack.com/pub/periplus...
loading . . .
Europe's new line in bullshit
The Zelensky-Trump deal is one of the weirdest things I've ever encountered.
https://open.substack.com/pub/periplus/p/europes-new-line-in-bullshit
7 months ago
3
14
3
If you're Australian 🇦🇺 and you've ever wondered where New South Wales really is, turns out it's in Canada and it's very very cold. You might also be looking for New North Wales. It's there too. Encyclopedia Britannica first ed map
8 months ago
1
4
1
"There were many valid arguments and sensitivities here, and I proceeded from this point determined to be highly respectful towards OCaml and its existing user base: I genuinely loved the language and the approach to programming it represented."
#ocaml
#fsharp
fsharp.org/history/hopl...
loading . . .
https://fsharp.org/history/hopl-final/hopl-fsharp.pdf
8 months ago
1
30
6
Reading through the history of Canada in WWII, I'm struck how the UK has to some extent forgotten how Canada stood by them in 1939. The UK was really not "standing alone" in 1940. Many people know that. But somehow Canada is rarely mentioned specifically in the telling. Yet its support was crucial
8 months ago
2
12
0
I'm on a bus to Clapham and, being male, am disturbingly excited by being so average.
8 months ago
2
6
1
For those of you who follow UK politics, in the thread is a sample of the utterly insane levels of exaggeration and hysteria about Keir Starmer to be found in the Reform UK Facebook groups. Cc
@adambienkov.bsky.social
@josiah.writes.news
@peterjukes.bsky.social
@hardeepmatharu.bsky.social
9 months ago
2
6
1
The bell at Notre-Dame rings in F# 👌👍 Just sayin' 😉 Vive la France 🇫🇷🇫🇷🇫🇷🇫🇷 Thank you for all the beauty.
#fsharp
10 months ago
0
58
10
If you're into colourful, interesting London or English history, this account is worth following. Well-told, well-researched episodes from London's history, daily. Often grisly and gritty, always interesting and eye-opening.
add a skeleton here at some point
10 months ago
1
3
0
reposted by
Don Syme
Jo Van Eyck
10 months ago
❄ It's that time of the year again! ❄ In the next 25 days I'll be solving and recording my solutions to the
#adventofcode
programming puzzles using the
#fsharp
#dotnet
programming language. Ideal if you're interested in F# or functional programming in general. Come say hi! ☕
youtu.be/wY2g2INDw4g
loading . . .
🎄 Advent of code 2024 in F# - day 01
YouTube video by Jo Van Eyck
https://youtu.be/wY2g2INDw4g
0
21
7
I work for GitHub and I have never successfully done a rebase, and I never plan to.
add a skeleton here at some point
11 months ago
4
34
8
All in London - come join Edgar and myself at F# Londoners tomorrow, 5:30pm, Old Street, hosting a talk from Stephen Channell
#fsharp
bsky.app/profile/fsha...
add a skeleton here at some point
11 months ago
2
18
8
reposted by
Don Syme
Carpet Martin
11 months ago
Tonight’s sunset.
#london
#skyline
#sunset
#theshard
0
2
1
Things I do on Bluesky that I've never done on X/twitter 1. Read through the
#BookSky
feeds and look at all the books other people are reading, learning and appreciating the sheer joy of reading
bsky.app/profile/did:...
2. Watch cat videos
add a skeleton here at some point
11 months ago
1
9
0
reposted by
Don Syme
Mike Galsworthy
11 months ago
One by one, we’re getting all 10 Bylines citizen journalism publications onto Bluesky. Then we’ll make the starter pack. Follow
@bylinesnetwork.bsky.social
to keep updated. 🙏🏻
13
678
120
My amazing group at GitHub - GitHub Next
githubnext.com
- are now on Bluesky. Please follow us there!
bsky.app/profile/gith...
loading . . .
https://bsky.app/profile/githubnext.com
11 months ago
3
5
5
Joining the Bsky Book club. Let's see how this works. You post "📚👀" and you're in the feed. Current reading: The Golden Road by William Dalrymple. India at the centre of ancient trade routes. Beautiful insights into early Buddhism. Much recommend! 💙📚👀
11 months ago
4
44
2
reposted by
Don Syme
Hardeep Matharu
11 months ago
My
@bylinetimes.bsky.social
long read on Trump's victory, how politics isn't about politics now, tech changing everything, & why the liberal left must engage with tech-driven alternative realities fuelled by gross inequality that put emotional instincts centre-stage.
bylinetimes.com/2024/11/11/t...
loading . . .
The Psycho-Social-Techno Politics of ‘MAGA’ Trumps Democracy – And The Liberal Left Has No Answer
Donald Trump’s second victory in the United States is a warning sign to democracies everywhere of the centrality of emotions – and their manipulation – in the new politics of gross inequality and psyc...
https://bylinetimes.com/2024/11/11/the-psycho-social-techno-politics-of-maga-trumps-democracy-and-the-left-has-no-answer/
23
214
109
An excellent essay about my favourite 20th Century thinker - Paul Tillich - a thinker hugely relevant to understanding our present moment.
aeon.co/essays/my-gr...
loading . . .
My grandfather Paul Tillich, the unbelieving theologian | Aeon Essays
Paul Tillich was a religious socialist and a profoundly subtle theologian who placed doubt at the centre of his thought
https://aeon.co/essays/my-grandfather-paul-tillich-the-unbelieving-theologian
11 months ago
1
15
2
reposted by
Don Syme
Liam Blizard
11 months ago
If you're searching for
#fsharp
content on BlueSky, there's a starter pack to get you going
bsky.app/starter-pack...
add a skeleton here at some point
0
12
4
The "feeds" feature of Bluesky is sheer brilliance Finally I feel liberated from the tyranny of the singular algorithm - of distorted feeds and advertising revenue maximisation Free speech is one thing - but what of free of assembly and association? To choose the distortions that apply Impressed
11 months ago
1
20
6
There's nothing quite like being implicated and thanked for enabling genocide to make you question your life choices.
11 months ago
0
1
0
The Thames, London, 11/11/24 Faith is ultimate concern. Forgiveness is participation. Let me find this faith, let me find this forgiveness.
11 months ago
1
4
1
At the Armistice Sunday service, St Mary Le Strand, London Defence is sacred. Aggression and revenge are betrayal. 10/11/2024
11 months ago
0
4
0
you reached the end!!
feeds!
log in