Sign in

Stephen

@sp.degabrielle.name
718 followers 1.2K following 480 posts

Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)

PostsRepliesMedia
Stephen @sp.degabrielle.name · 15h
Is there a term for bodies that support liquid water?
100
Reposted by Stephen
Racket @racket-lang.org · 04/10/2026
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
Sixteenth racketcon logo
031
Reposted by Stephen
Camdar @camdar.io · 02/10/2026
A twitter post from @SaraStarberry with the text "oh my god read the vertical axis"

The quote retweet states "Open AI's internal benchmarks show GPT-6.1 Sol crushing Opus 5.5, with Anthropic struggling to keep up"

The graph plots various models, each with a vaguely up-rightward trend, purporting to be model performance over time.

The Y axis reads "model number".
191
Reposted by Stephen
Carl T. Bergstrom @carlbergstrom.com · 03/10/2026
I have absolutely wondered about this. Amazing.
311793321
Reposted by Stephen
BOB Konferenz @bobkonf.de · 02/10/2026
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
bobkonf.de
065
Reposted by Stephen
Kiran @kirancodes.me · 03/10/2026
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...
PL research is dead, the age of PL exploration is just beginning!
02 Oct, 2026   programming_languages research perspectives

There was a recent thread on the TYPES mailing list with researchers speculating about the future of our field given the disruptive effects of AI tools on programming in general.

The opinions in the thread were a mix of thoughtful stances. Some were positive, but the majority opinion was overwhelmingly negative. It wouldn't be too far to say that some researchers feel that they are facing an existential crisis right now:

    I observe anecdotally that many people in academia are feeling worse about their work in Fall 2026 than a year ago …. Lower morale and motivation, higher stress and anxiety levels, and corresponding risks to mental health. The impact is comparable to what happened during COVID.

I wanted to write this thread to present an alternative position. I think many junior researchers at the moment are watching this discussion right now, students reeling with the daunting task of charting their careers in this tumultuous time, and worrying why they should even bother entering PL given this climate, and I'd like to give a slightly more positive vision for them.
1593
Reposted by Stephen
Kiran @kirancodes.me · 03/10/2026
wearing a tshirt that says "DO NOT KILL THIS HUMAN" to save myself from the uprising
Autonomous cars, drones cheerfully obey prompt injection by road sign
0295
Reposted by Stephen
Kiran @kirancodes.me · 03/10/2026
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!
415824
Reposted by Stephen
The Distributed AI Research (DAIR) Institute @dairinstitute.bsky.social · 01/10/2026
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...
theguardian.com
Forget ‘superintelligence’: error-prone AI nearly sparked world war three this month | Timnit Gebru and Emily M Bender
The risks of AI aren’t what we think they are, as a recent security incident between China and the United States reveals
19462
Reposted by Stephen
mcc @dryad.technology · 01/10/2026
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
thistownneedsguns.bandcamp.com
Havoc in the Forum, by TTNG
from the album 13.0.0.0.0
1161
Reposted by Stephen
John Boo! 🏳️‍🌈 @jsoo.refl.club · 01/10/2026
Hey this is cool comonad.com/reader/2026/...
comonad.com
Turbo Haskell
Exactly a week ago (as a joke), I started writing THC, my “Turbo Haskell compiler,” while on vacation visiting Bartosz Milewski.
021
Reposted by Stephen
Racket @racket-lang.org · 01/10/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
con.racket-lang.org
(sixteenth RacketCon)
021
Reposted by Stephen
Hillel @hillelwayne.com · 30/09/2026
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
0293
Reposted by Stephen
Artologica aka Michele Banks @artologica.net · 30/09/2026
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
616438
Stephen @sp.degabrielle.name · 30/09/2026
www.bbc.co.uk/iplayer/epis...
bbc.co.uk
You're Dead to Me - History of Underwear
Greg Jenner is joined in western Europe by Dr Serena Dyer and comedian and actor Vic Michaelis to learn all about the hidden history of underwear.
000
Reposted by Stephen
Clément Canonne @ccanonne.github.io · 30/09/2026
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
2473
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
Stephen @sp.degabrielle.name · 28/09/2026
Nooo! District 9 is a great film.
000
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
Stephen @sp.degabrielle.name · 28/09/2026
Did not expect broomhandles 🧹 — but definitely would not want to be on the receiving end of a poke with one of those.
000
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
Stephen @sp.degabrielle.name · 28/09/2026
Great film, sadly forgotten
010
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?
211
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.
325373
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.
5843441193
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
513236
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 💚
20386153
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)
043
Reposted by Stephen
Sam Aaron @samaaron.bsky.social · 24/09/2026
Sonic Pi now runs in the web! sonic-pi.net
sonic-pi.net
Sonic Pi
Sonic Pi is a new kind of code-based instrument for a new generation of musicians. Use the same code for both composition and performance. Sonic Pi is free and open source software.
02213
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.
332878738
Stephen @sp.degabrielle.name · 23/09/2026
I now want to see ‘Tom Cox readers fight club’. I’m sorry, my brain is broken.
240
Stephen @sp.degabrielle.name · 23/09/2026
For me it would be the dr who theme recorded by Delia Derbyshire
000
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
1107
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.”
675771287
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
Masanori Ogino 𓀁 @omasanori.mstdn.maud.io.ap.brid.gy · 06/09/2026
Racket 9.3 🎉 github.com/racket/racket/releases/t…
github.com
Release Racket v9.3 · racket/racket
The raco setup command can generate markdown documentation, using the --doc-markdown option. The "#lang" teaching languages (BSL, ..., ISL+; plus DeinProgram) have reached parity with the ones chos...
031
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
3440153
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