F# Weekly #47, 2025 - F# 10 & last #FsAdvent slots #fsharp sergeytihon.com/2025/11/22/f...

F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!

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

Achievement unlocked! Mentioned in the same tweet as Wittgenstein and Dijkstra! 😜🤪 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.

Thinking ahead. What would you choose?

F# Weekly #42, 2025 - Hi, Victor & .NET 10 RC2 #fsharp sergeytihon.com/2025/10/18/f...

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

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

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

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

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

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

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

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

In which Don burns $200 to improve test coverage and improve performance in an F# community library. #fsharp github.com/fsprojects/F...

I have resurrected my work blog, and populated it with some things from the last few years dsyme.net Some recent entries in thread

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.

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

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

🧬 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

You can now use F# and Ionide with @cursor.com.web.brid.gy 🥰 #fsharp #fable github.com/ionide/ionid...

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

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

Electrifying Norway with F# and DDD by Almir Mesic #fsharp vimeo.com/1070256220

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

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

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.

The best podcast ever

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! 🤣

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.

My thoughts on the Ukraine-USA minerals deal open.substack.com/pub/periplus...

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

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

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

I'm on a bus to Clapham and, being male, am disturbingly excited by being so average.

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

The bell at Notre-Dame rings in F# 👌👍 Just sayin' 😉 Vive la France 🇫🇷🇫🇷🇫🇷🇫🇷 Thank you for all the beauty. #fsharp

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.

❄ 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

I work for GitHub and I have never successfully done a rebase, and I never plan to.

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

Tonight’s sunset. #london #skyline #sunset #theshard

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

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