iiinova — where your digital self keeps evolving

Reposted by Stephen

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

buttondown.com

What TLA+ can and can't check

Let's chill just a little bit on the "TLA+ will save AI from itself" narrative

0212

Reposted by Stephen

Artologica aka Michele Banks @artologica.net · 5h

Squirrel of the Day for September 30, 2026 knows how to pick a stunning backdrop #sqrlpix

black squirrel in tree with patchy orange and gray bark

25214

Reposted by Stephen

Clément Canonne @ccanonne.github.io · 19h

Meanwhile, on my way to the office. #USyd

A kookaburra, on a sign near a pond (Victoria Park, in Sydney)

A close-up of the very fluffy kookaburra

2443

Stephen @sp.degabrielle.name · 29/09/2026

Considering: a *roguelike* in APL, using APL characters instead of ASCII? #APL #roguelike

181

Reposted by Stephen

Marcus Baw @marcusbaw.com · 28/09/2026

youtu.be/e6SFDuVd1UE NHS England's inexcusable interference in the NDG's report on the FDP. We cannot make progress in NHS technology while it's a corrupt, closed, unscientific, cloak-and-dagger operation. #EverythingDigitalHealth

youtu.be

NHS England's unacceptable interference in National Data Guardian's public statement

YouTube video by Everything Digital Health

021

Reposted by Stephen

Dr Farbod @emergencybod.medsky.social · 28/09/2026

I remember the day after Brexit. I watched British-born women, doctors and nurses in hijabs being told “we voted for you to go home”. They were home. So spare me the fucking revisionism about what that moment unleashed. 🧵

512026

Reposted by Stephen

Dr Farbod @emergencybod.medsky.social · 28/09/2026

I don't want another decade spent asking permission from the generation that broke the fucking thing. I want Britain back in the European Union. Full membership. Full participation. No embarrassed half measures.

1453

Reposted by Stephen

The Fake History Hunter @fakehistoryhunter.net · 28/09/2026

Turned another old thread into an article for easier reading and because I just love this subject so much: Women and their favourite weapons anno 1900. You can read it here: fakehistoryhunter.net/2026/09/28/w... Or here: fakehistoryhunter.substack.com/p/women-and-...

fakehistoryhunter.net

Women and their favourite weapons anno 1900

Just reading old newspapers… as one does, when I found this gem from the Chicago Sunday Tribune from 1900.It’s about the weapons of offence and defence used by women in one year in Chic…

813434

Reposted by Stephen

Leif Andersen @leif.pl · 27/09/2026

Question for the interwebs: What are people using these days for making blogs these days? I basically want to write it in something like markdown in my preferred text editor. But are people still using static blog generators much anymore?

111

Reposted by Stephen

Gideon Mitchell @gideon-mitchell.bsky.social · 26/09/2026

Even if you're not a hardcore Greenie, electing Zack Polanski would make UK politics more healthy because he would help to hold Andy Burnham's government to account. His influence from the periphery has already improved Labour policies. The Commons needs Polanski, so please help him to get elected.

325173

Reposted by Stephen

Kiran @kirancodes.me · 25/09/2026

Ship Your Interpreter! github.com/BasisResearc...

I don't have a formal semantics, I only have a reference interpreter.

Then we'll ship your interpreter. Guy hugs python.

2131

Reposted by Stephen

Carl T. Bergstrom @carlbergstrom.com · 26/09/2026

Does my Speak-n-Spell feel pain when I type O-U-C-H? The jury is out. Philosophers and neuroscientists say that's fucking stupid, but I called a guy from the Center for Pretending that Household Electronics Are Sentient and he said there's no way to know for sure.

5843131180

Reposted by Stephen

Zack Polanski @zackpolanski.bsky.social · 25/09/2026

Absolutely huge victory as the Green Party take on Labour and win in Brighton! Huge congratulations to Cllr Mark Strong and the entire team. Labour have tired old solutions and Burnham is more of the same. The Green Party is the change we need. Awesome win! 💚🎉

13710175

Reposted by Stephen

The Amazing Worlds of Doctor Who @worldsofdrwho.bsky.social · 25/09/2026

"...the very powerful and the very stupid have one thing in common..." "Doctor Who: The Face of Evil" part 4 (1977). #DoctorWho

512934

Reposted by Stephen

The Green Party of England & Wales @greenparty.org.uk · 26/09/2026

We need more Greens in Parliament to hold Labour to account 💚

20384150

Reposted by Stephen

Marcus Baw @marcusbaw.com · 26/09/2026

Millions of graduates are being ripped off by sky-high student loan interest rates. It's time for Andy Burnham to fix this unfair system in the upcoming Budget so balances stop growing faster than they're paid off. Add your name if you agree: you.38degrees.org.uk/petitions/an...

you.38degrees.org.uk

Tell Andy Burnham: Fix the broken student loans system in this Budget

Millions of graduates are being ripped off by sky-high interest rates, with balances growing faster than they can be paid off! Add your name to demand fairer student loan terms in the upcoming Budget.

022

Reposted by Stephen

Racket @racket-lang.org · 24/09/2026

(sixteenth RacketCon) is almost here! We have an amazing program and a rockstar keynote speaker. See the program con.racket-lang.org and get your ticket at www.eventbrite.com/e/racketcon-... Only nine days to go, I can already taste the excitement.

con.racket-lang.org

(sixteenth RacketCon)

042

Reposted by Stephen

Tom Gauld @tomgauld.bsky.social · 24/09/2026

My latest @newscientist.com cartoon. many more here: www.newscientist.com/author/tom-gauld/

Image: A graph with lots of red dots clustered together in a curve. The are all looking upwards at a single red dot wearing sunglasses.

Caption: Mike was an outlier and would probably be excluded from the study, but all the other data points secretly thought he was really cool.

332863726

Reposted by Stephen

Mariano Guerra @marianoguerra.org · 14/09/2026

Components can be exported and imported back as source code (.tutu) or as .wasm modules, the tutucard source is embedded in the wasm module The tutucard DSL syntax is based on Shrubbery[5]

111

Reposted by Stephen

Marcus Baw @marcusbaw.com · 21/09/2026

FT story (paywalled - sorry) - totally unacceptable interference from the then- #NHSEngland Data Chief (Ming Tang) in the National Data Guardian's report on #Palantir #FederatedDataPlatform. giftarticle.ft.com/giftarticle/... @coricrider.com @roylilley1.bsky.social @doctorow.pluralistic.net

1117

Reposted by Stephen

Association for Computing Machinery @acm.org · 20/09/2026

#OTD in #ComputingHistory in 1954, the first successful FORTRAN program was executed. Developed at IBM by a team led by John Backus, FORTRAN was designed to make programming scientific and engineering problems easier. More #OTD, here: buff.ly/yg2MIlN

074

Reposted by Stephen

Racket @racket-lang.org · 19/09/2026

(sixteenth RacketCon) October 3-4, 2026 youtu.be/2TnTEHn2Ykc

youtu.be

RacketCon websites

YouTube video by Racket

133

Stephen @sp.degabrielle.name · 19/09/2026

Can’t attend in-person? * Remote Participant $10 The live stream is publicly available, but buying this ticket helps pay for the live stream and ensure its availability for the entire community. #lisp #scheme #racket

020

Reposted by Stephen

Racket @racket-lang.org · 18/09/2026

(sixteenth RacketCon) tickets on sale now at www.eventbrite.com/e/racketcon-...

eventbrite.com

RacketCon 2026

(sixteenth RacketCon) https://con.racket-lang.org

032

Reposted by Stephen

Sam Aaron @samaaron.bsky.social · 17/09/2026

What's this? Another screen shot of Sonic Pi v5? Oh no my friend... This is a completely new implementation of Sonic Pi running live in my web browser running on top of SuperSonic. Coming soon to a browser near you...

0285

Reposted by Stephen

Angela Collier @acollierastro.bsky.social · 24/11/2024

Great day to learn about the fluoride mechanism so you can explain it to your friends.

youtube.com

internet people lie about fluoride

YouTube video by Angela Collier

661293174

Reposted by Stephen

Gregk Foley @gregk.co.uk · 16/09/2026

Fair play to the wife of a Caribbean man and mother of mixed race children being informed by the BBC reporter that she’s in the minority in her community regarding immigration and responding with, “Yes, I’m surrounded by bigots.”

675791286

Reposted by Stephen

Natalie Haynes @nataliehaynes.bsky.social · 15/09/2026

Difficult day at work? At least you are not being eaten by a hippocampus (so far)

3507

Reposted by Stephen

Pookleblinky @pookleblinky.bsky.social · 15/09/2026

www.youtube.com/shorts/LZhS_... Blumineck giving a great response to unfuckable incel weirdos transvestigating his wife

youtube.com

Educating haters (again)

YouTube video by blumineck

3438152

Reposted by Stephen

Racket @racket-lang.org · 13/09/2026

What if you're right and they're wrong? Poster from #fargo created with Racket and Rhombus gist.github.com/racket-racco... for the Rhombus picture competition racket.discourse.group/t/summer-rho... Enter now! Learn some Racket and Rhombus racket-lang.org rhombus-lang.org

What if you're right and they're wrong? poster in #fargo
created with Racket and Rhombus

041

Reposted by Stephen

Racket @racket-lang.org · 13/09/2026

Discounted early registration ends in 14 hours. Get your tickets now! Registration link at con.racket-lang.org

032

Stephen @sp.degabrielle.name · 13/09/2026

OH: "Listening to Pat Hanrahan alone would be worth the price of attendance!"

020

Reposted by Stephen

Stilgherrian @stilgherrian.com · 12/09/2026

Please be watching this important new short film, THE UFOs FROM OUTER SPACE! The only science fiction film which DARES to ask... what if Martians were Aussies? www.youtube.com/watch?v=XA_1... @elissablack.com explains the background. And I have a small role as the ship’s computer, G’day-GPT.

youtube.com

The UFOs From Outer Space

YouTube video by Expect Problems

52212

Reposted by Stephen

Clive Lewis MP @labourlewis.bsky.social · 08/09/2026

Support for bringing water back into public ownership is rising, and MPs are taking notice. If you want clean rivers and seas, ask your MP to join next week's debate. Help me get them there! It takes 2 minutes: actionnetwork.org/letters/ask-...

11232137

Reposted by Stephen

The Spaceshipper 🚀 @thespaceshipper.com · 12/09/2026

"Our industry is being consolidated into these corporate monoliths that are run by people like Larry Ellison, a radical conservative idealogue. Make no mistake: That ideology is permeating everything under the Paramount label, which will soon include Warner unless somehow these lawsuits hold up."

425279

Reposted by Stephen

gabby @fullmoon.id · 07/09/2026

"We've finally achieved AGI" - tech industry that still can't make a single product worth a damn

4555

Reposted by Stephen

Shriram Krishnamurthi @shriram.bsky.social · 09/09/2026

Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post introducing the paper: cel.cs.brown.edu/blog/design-...

cel.cs.brown.edu

A Design Space Exploration of Async/Await

Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven mo...

310327

Reposted by Stephen

Mayor of London, Sadiq Khan @london.gov.uk · 08/09/2026

Three years on from the ULEZ expansion, the evidence is clear: cleaner air, healthier children, fewer lives cut short.

35892217

Reposted by Stephen

Racket @racket-lang.org · 08/09/2026

The Racket community is honoured to confirm the keynote speaker for the (sixteenth RacketCon) will be Pat Hanrahan! RacketCon details at con.racket-lang.org Tickets at www.eventbrite.com/e/racketcon-... (early bird prices end soon)

021

Reposted by Stephen

Anil Dash @anildash.com · 04/09/2026

When I talked about "cancer capital", I said that VC didn't use to work like this. Here, I break it down. Did you know: neither Microsoft nor Apple used venture funding to get started? And initial funding rounds have gotten six THOUSAND times larger since those days? www.anildash.com/2026/09/04/v...

anildash.com

Cancer Capital: VC didn’t use to work like this - Anil Dash

A blog about making culture. Since 1999.

36722

Stephen @sp.degabrielle.name · 06/09/2026

It's a step in the right direction but shouldn't a map prioritise people not real-estate?

010

Reposted by Stephen

20's Plenty for Us @20splenty.bsky.social · 06/09/2026

Whenever the call for 20mph as an urban/village norm with exceptions is made, some respond with "20mph should be just outside schools". But actually, all the evidence shows that it's everywhere else in communities that most child casualties occur. It's why #20splenty wherever people are!

Reposted by Stephen

Charlie Stross @cstross.bsky.social · 05/09/2026

Illegal immigration is illegal, by definition, because successive governments *PANDERING TO RACIST OPINIONS BY PART OF THE ELECTORATE* made it so. The Home Office is institutionally racist, as are our media, and our politicians have been captured by racist ideology. /1

19525