Stephen De Gabrielle

Happy anniversary of the eradication of smallpox

Why might robotics companies want to employ animators and actors...The beautiful film 'The Wild Robot' illustrates some reasons why. It is all about emotions. cs4fn.blog/2026/10/25/t...

25 October 1923 | A Polish Jewish woman, Lina Blitz, was born in Nowy Sącz. During the war, she lived in Antwerp. In 1942, she was deported to #Auschwitz. She did not survive. --- Women at Auschwitz Lesson: https://lekcja.auschwitz.org/2022_kobiety_en/ Podcast: https://youtu.be/ijTxtbNlJO8

r/opensource is banning all mention of projects that use AI. let’s dive in and see what else they are banning. …ah. www.reddit.com/r/opensource...

Today in 1928, #ACMTuringAward recipient Peter Naur was born. Peter Naur received the 2005 ACM Turing Award for fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming. 🔗 buff.ly/ViP3d8W #OTD

Clock changes for daylight saving time should *smear* over a week.

what level of capitalism are you on zero: we should provide clean drinking water one: for a fee two: actually does it have to be clean? three: we could sell purifiers seperately four: we could poison the water to boost purifier sales five: does the purifier even have to work? can we sell snake oil?

Every time I come across competitive badminton, I can’t help but think of Mary Carillo’s rant back during the Athens games. youtu.be/cZDn0U0w78k?...

<Doctor Manhattan gif> War dogs. What I wrote last time. arutherford.substack.com/p/dire-wolve...

The first storm of the season is on its way ⚠️ #StormAusten will bring damaging winds with disruption expected, stay #WeatherAware Latest info 👉 bit.ly/WxWarning

Tonight! # UK Racket meet-up (London) Tuesday 20 October 2026 7:30pm at The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome.😁 From November we will be doing short talks and demos! luma.com/em6sejij

You know what I’m going to be posting a lot of soon? Monsters! Here’s a gorgeous little Chimera (note snaky tail) to get things going… Info card below.

News from 1789

The dog ate my homework.

youtu.be/WXL6K1lhvt0

Happy 70th birthday 🎂 FORTRAN fortran-lang.org/news/2026/09...

I just sponsored racket. Go sponsor your open source dependencies! github.com/sponsors/rac... @racket-lang.org #rhombus #racket #scheme #lisp

While #FDP app #Cancer360 was being piloted at #ChelWest with a clear Direct Care purpose (for which there's no 'opt out', NHSE Chief Data Officer Ming Tang was telling NHS Board (erroneously) patients can opt out of FDP data sharing. #FederatedDataPlatform #NHSE @medconfidential.bsky.social

Incredible! www.bbc.co.uk/news/article...

Math is a liberal art

Welcome to the 2026 Cambridge 1A CST students for their first Foundations of Computer Science lecture! They’ve started a journey in the most rapidly paced eras in our field I’ve ever seen. May the functional programming gods spark the same enduring joy in CS as it did for me :-)

# UK Racket meet-up (London) Tuesday 20 October 2026 7:30pm at The City Pride 🍕 28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome.😁 From November we will be doing short talks and demos! racket.discourse.group/t/uk-racket-... luma.com/em6sejij

Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵

@eurosky.social seems like an own goal

OCaml's module system really is a perfect fit for agentic programming in the large anil.recoil.org/notes/ocaml-...

Three thousand years ago, a Greek potter looked at a bowl and thought: ‘You know what this needs? A leg!’ Clay bowl with leg-shaped handle!🦵😆 Early Geometric period 850 BC. Altes Museum, Berlin 📷 by me #Archaeology

Missed RacketCon this year? The videos are now available at con.racket-lang.org or youtube.com/playlist?lis... Discuss on the Racket [Discourse](racket.discourse.group/invites/VxkB...) and [Discord](discord.gg/6Zq8sH5) Please consider sponsoring us racket-lang.org/rplf.html

rip margaret hamilton, first and last software engineer to ever care about safety

the true moral of this nasa story is this: if you present anything as a choice to management, be it testing or other safety critical work, they will see it as optional, and will default to saying no doing anything more than the minimum best practice means taking more responsibilities for delays

🚨The government is looking for UK alternatives to Palantir to run the NHS data platform, the FT reports. This follows a week of protests in 40+ places across England and a rally of hundreds at Palantir's London HQ. Help keep the pressue up: nopalantirinthenhs.com

What do type providers, structure editors and interactive theorem provers have in common? Do not miss my Onward! Paper presentation (Today, 11:00) at #splash2026! Paper for those not in Oakland: tomasp.net/academic/pap...

RacketCon day 2 kicks off in a little over 30 minutes with Sam Phillips presenting 'Uke: Immutable Dataframes for Racket'. Stream is free at con.racket-lang.org

I have absolutely wondered about this. Amazing.

The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November. Find more information, check bobkonf.de/2027/cfc.html #BOBkonf

Should YOU do Programming Languages research in era of LLMs? Many would say NO. But I say YES! PL Research is dead? Nay! the era of PL Exploration is just beginning. Fuck the users. Fuck the applications. Let's do some fucking PL research! kirancodes.me/posts/log-en...

wearing a tshirt that says "DO NOT KILL THIS HUMAN" to save myself from the uprising

Speaking to climate scientists this week, it was interesting to hear that we're likely to hit max emissions within the decade as renewable adoption picks up. If we sequester enough CO2 then we could make it back to 1.5 degrees. Fuck yeah! Let's fucking do it!

In which @timnitgebru.blacksky.app and @emilymbender.bsky.social remind us that the risk of AI is not "superintelligence gone rogue," but human reliance on flawed systems in high-stakes situations: www.theguardian.com/commentisfre...

What I'm listening to today: "Havoc in the Forum", This Town Needs Guns Some "Math rock". Guitars swarming like insects, insects suddenly aligning themselves into diagrammatic straight lines. A man is explaining his emotions to you emphatically and earnestly but in a language you do not speak

Hey this is cool comonad.com/reader/2026/...

How are you going to see RacketCon 2026? ✅In-person at Oakstop ✅ Online at con.racket-lang.org ✅ Watch the videos at youtube.com/@racketlang You can still get tickets to attend in-person or watch the livestream at con.racket-lang.org

I have a new blog post! This is a response to the current formal methods hype and explains what TLA+ is good for and what it's not designed to check. buttondown.com/hillelwayne/...