Don Syme's Avatar

Don Syme

@dsyme.bsky.social

GitHub Next. Visiting Professor Kings College London. https://dsyme.net https://linktr.ee/dsyme

1,196 Followers  |  163 Following  |  449 Posts  |  Joined: 27.05.2023  |  2.3624

Latest posts by dsyme.bsky.social on Bluesky

Ha fantastic!

10.10.2025 12:51 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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

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

10.10.2025 12:49 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 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 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Thanks, so pleasant to have an actual rational conversation about this.

Am also Australian, long term immigrant to UK. Also feel that access to social protection should adjust over time. A rising gradient of responsibility and protection.

07.10.2025 13:14 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

UBI is a Faragist wet dream

It's not Universal Basic Income. It's National Basic Income. Nationalists will love it.

More details here: bsky.app/profile/dsym...

07.10.2025 09:57 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Fletcher, since you're the only guy on Bluesky I could find who seems to be rational about UBI (and not "blithely amplifying" like you say), I'll drop you a link to my analysis here, which is well intentioned. Focusing on the trouble with "Universal" not the economic.

bsky.app/profile/dsym...

07.10.2025 09:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Rather than replacing or naively augmenting the nuanced social care mechanisms we have with fantasy schemes, we should be celebrating them, explaining them and building solidarity for them.

Because social democracy is a truly wonderful thing.

06.10.2025 18:23 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

This means UBI is only cohesive in a world with **very strong boundaries**.

Guess who likes very strong boundaries?

UBI is a Faragist-aligned policy. It's a policy set up for overly simplistic national rigidity, a world of recipients and non recipients. Of Them and Us. Perfect for cooption

06.10.2025 18:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Other forms of multi-dimensional, nuanced social support (housing, health, pension, child support,... ) navigate this boundary, making it blurry. Visitors get emergency care, but not operations etc.

But UBI *demands* an extremely rigid qualifying boundary. You get it. Or you don't.

06.10.2025 18:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

If you push UBI, you need an answer for this. Unless you really mean Universal, which you don't. You don't really mean Universal Basic Income. You mean National Basic Income.

And there needs to be a simple boundary, because it's meant to be simple right?

06.10.2025 18:12 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

This is fundamental to UBI. Ask yourself the basic question - what's the boundary of the "universal" here? Who qualifies? The citizen? The resident? The new arrival on 5yr visa? The student? The child? The accompanying family? The person in the country 80 days? 10 days? Who qualifies?

06.10.2025 18:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

06.10.2025 18:12 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 2

Yes but if you argue against UBI, with cohesive arguments that it's aligned with a rigid, Faragist view of the national boundary - you get blocked.

It's a fantasy policy.

06.10.2025 08:08 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Unlike other forms of multi-dimensional, nuanced social support. UBI requires and encourages a nation with a single, extremely rigid qualifying boundary. You get UBI, or you don't.

The policy is 100% aligned with very strong national boundaries. A Faragist nation.

06.10.2025 08:06 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Unlike other forms of multi-dimensional, nuanced social support, you have no possibility of a clear boundary of the universal without extremely rigid qualifying boundary.

The policy is only cohesive in a world with very strong boundaries. A Faragist world. It's a policy set up for rigidity.

06.10.2025 07:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

The inability of us leftists to think even one move ahead in the game astounds me.

What's your "universal" here? The citizen? The new immigrant on 5yr visa? The student visa? The asylum seeker? The accompanying family? Where exactly is the boundary of the universal fantasy?

06.10.2025 07:53 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

UBI is one of the most stupid policies ever imagined by us ever-more-daft leftists.

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 Native British only"

A recipie of nativist cooption. Obvs. 100% stupid.

06.10.2025 07:43 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Donate to Indivisible Action - Unlimited Show your support with a contribution.

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.

05.10.2025 23:05 โ€” ๐Ÿ‘ 398    ๐Ÿ” 113    ๐Ÿ’ฌ 10    ๐Ÿ“Œ 0

It's utterly dispicable. Imagine this law in Farage's hands.

06.10.2025 07:28 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Repression is hardly the answer, that's ridiculous. What are we?

We should just do as the Polish centrist coalition did and reclaim the flags abd symbols of our nations, use them everywhere. Give no space for the right to coopt the symbols of the nation. ๐Ÿด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐Ÿ‡ฌ๐Ÿ‡ง๐Ÿด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ

14.09.2025 14:50 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

The rise of the racists is primarily the fault of the racists. We must never lose sight of that.

The OG article is very good and makes this clear, even while very delicately skewering Starmer's attempts at triangulating to the right.

14.09.2025 14:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

13.09.2025 09:13 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Sure it happens before 4pm, but nice sunset. #London

17.11.2024 19:13 โ€” ๐Ÿ‘ 217    ๐Ÿ” 12    ๐Ÿ’ฌ 10    ๐Ÿ“Œ 1

Yes, and robust political institutions, electoral systems, education, media rules etc. are a part of a depth defence of liberalism.

But the primary responsibility and blame for each particular aggrieved, divisive, manipulative, lying political leader is with themselves.

08.09.2025 08:35 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

This is, of course, why Farage is not held accountable for Brexit. Because someone else is to blame for that catastrophe too ๐Ÿคท

George Monbiot has sadly fallen for Farage's oldest mind trick. Now Farage is not even to blame for his own actions and ideology. Someone else is to blame for that too.

08.09.2025 08:16 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The essence of Faragism (and AfD, MAGA, FN, Orbanism...) is that someone else besides them is to blame. For everything. Grievance is the essence of Farage's ideology and being.

You are both simply reinforcing that narrative.

Farage is #1 to blame for his pathetic, poisonous ideology of grievance.

08.09.2025 08:07 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Sorry Jon, that's nuts. Political leaders are personally significantly responsible for the essence and consequences of their political ideologies. I hold Johnson majorly responsible for Johnsonist populism, Osborne for austerity etc.

You are giving Farage a free card, just like everyone else does.

08.09.2025 08:01 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

That's a very strange view.

Of course Farage is personally morally responsible for the consequences and spread of his lies, manipulations, division, hatred and ideology.

Farage is responsible for Farage. Otherwise responsibility and blame mean nothing.

08.09.2025 07:39 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

All parties/factions seem to have zero capacity to reflect on their role in this car crash. They're literally all to blame.

The Greens are 50yrs in the making, always acting like innocence but are guilty as sin, in ๐Ÿ‡ฆ๐Ÿ‡บ too, repeatedly.

But yes the Labour right are part of the catastrophe too.

07.09.2025 20:02 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Is this the time to be screaming blame for a car crash 50 years in the making? Maybe. But obviously Farage is far more to blame than anyone else.

Somehow a trajectory towards unity and an electoral pact must be found. Maybe this is part of some 4d chess to get there!? ๐Ÿคท

07.09.2025 19:58 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@dsyme is following 19 prominent accounts