Sign in

azariah.bsky.social

@azariah.bsky.social
65 followers 83 following 290 posts

A frankly sessile nut

PostsRepliesMedia
Reposted by @azariah.bsky.social
Rob Arnol @robertarnol.bsky.social · 27/09/2026
Morning. ☕️
35289130
Reposted by @azariah.bsky.social
STEAMLORD @exoplanetdinosaur.bsky.social · 25/09/2026
Speaking to Tamil friends over the last couple of days has broken my brain over how much we (non Tamils) didn’t know about what went on and I’m having to reconfigure everything I think and feel about Sri Lanka
1257
Reposted by @azariah.bsky.social
Mike Sowden @mikeachim.bsky.social · 22/09/2026
In all the grandiose discussion about colonising Mars, I don't see much about how the soil is poisonous to us. This was only discovered in 2008. It contains perchlorates, which are environmental toxins here on Earth. Any human contact with Mars dust? Super-bad news in the long run. 1/
NASA image from the surface of Mars, showing its red dusty surface with rover tire-tracks running across it.
1461368432
azariah.bsky.social @azariah.bsky.social · 23/09/2026
@annieparker.bsky.social Happy 50th, youngster! :)
010
Reposted by @azariah.bsky.social
Type Theory Forall @ttforall.bsky.social · 05/09/2026
We also dive into Racket, programming language design, and Shriram’s decades of experience thinking about how we teach people to reason about programs. A fascinating conversation! ▶️ twp.ai/4hvacX 3/3
twp.ai
youtu.be
youtu.be
0205
azariah.bsky.social @azariah.bsky.social · 31/08/2026
Is that about one lorry load? @nameshiv.bsky.social ;)
110
Reposted by @azariah.bsky.social
Charlotte Clymer @charlotteclymer.bsky.social · 26/08/2026
One thing that's been bugging me today: people who claim Dolly Parton wasn't political. False. She was very political. Her art and life's work were about interrogating power + amplifying the powerless. You only think she wasn't political because she did this by example, not bullshit slogans.
936415956
Reposted by @azariah.bsky.social
derek guy @dieworkwear.bsky.social · 26/08/2026
I appreciate that Dolly Parton refused to participate in "dress respectability" and, by her own account, modeled her aesthetic after a town "tramp," who she thought was beautiful. She separated aesthetics from character and understood "classiness" to be about how you treat people, not how you dress.
194354245287
azariah.bsky.social @azariah.bsky.social · 21/08/2026
Also that first line is how you make her rue you!
120
azariah.bsky.social @azariah.bsky.social · 21/08/2026
Not enough pineapple on it!
000
Reposted by @azariah.bsky.social
MediaActive ▪️EQUALITY ▪️JUSTICE ▪️PEACE @mediaactive.bsky.social · 18/08/2026
If you are a Brisbane, BlueSky citizen, the #AUKUS hearings will be worth checking out. Remember, the @albomp.bsky.social @australianlabor.bsky.social government hastily, reflexively adopted the AUKUS detritus from Morrison & Dutton. Now #Trump? Capricious. Utterly unreliable. #USA #drones #auspol
033
Reposted by @azariah.bsky.social
Abdul El-Sayed @abdulelsayed.bsky.social · 12/08/2026
I proudly endorse this message from my grandparents ❤️
693232865828
Reposted by @azariah.bsky.social
Henry Legg @henrylegg.bsky.social · 07/08/2026
Zulfi Alam, Microsoft's Quantum VP, says that "this paper thing is kind of boring now". It’s amazing how tedious the scientific method gets when physicists keep debunking your qubit fairy tales. www.wired.com/story/micros...
wired.com
Microsoft’s Quantum Chief Doesn’t Care That Scientists Don’t Believe His Results
Zulfi Alam thinks his team doesn’t need to “prove” they engineered a new state of matter in their bid to reinvent computing. Science would disagree.
1172
azariah.bsky.social @azariah.bsky.social · 06/08/2026
Finally, something to do with one sack from your lorryload of rice, eh, @nameshiv.bsky.social :)
010
Reposted by @azariah.bsky.social
lakerpatrick.bsky.social @lakerpatrick.bsky.social · 04/08/2026
On this day in 1944, the Gestapo found Anne Frank and her family in their Secret Annex. Her diary stands as a warning against hatred and persecution. Eighty years later, we should recognize the warning signs before it’s too late.🙂‍↕️
28699773341
azariah.bsky.social @azariah.bsky.social · 31/07/2026
The Bottleneck posts keep reaching a point where I want to stop and explain three gates. Circuit Bench is where I do it: 13 self-contained notes with diagrams, OpenQASM, expected output, and a gate-by-gate explanation. johnazariah.github.io/quantum/circu…
johnazariah.github.io
Circuit Bench
The Bottleneck posts keep reaching a point where I want to stop and explain three gates. Circuit Bench is where I do it: 13 self-contained notes with diagrams, OpenQASM, expected output, and a gate-by
000
Reposted by @azariah.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 28/07/2026
0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, @swarat.bsky.social ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵
1134
azariah.bsky.social @azariah.bsky.social · 27/07/2026
UPS says one mile less per driver per day can save up to $50M a year. I use an eight-solution triangle to keep every QAOA step visible, then put the trucks back in and ask what survives at logistics scale. johnazariah.github.io/quantum/blog/…
johnazariah.github.io
The $50M Delivery Route
UPS says one mile less per driver per day can save up to $50M a year. I use an eight-solution triangle to keep every QAOA step visible, then put the trucks back in and ask what survives at logistics s
100
azariah.bsky.social @azariah.bsky.social · 24/07/2026
New series: Linear Algebra for Fun and Profit. Part 1 builds the matrix exponential from scratch and shows why e^{-iHt} is a rotation. One running example, first principles, no prerequisites beyond linear algebra. johnazariah.github.io/quantum/blog/…
johnazariah.github.io
How to Raise e to a Matrix (and Why Youd Want To)
New series: Linear Algebra for Fun and Profit. Part 1 builds the matrix exponential from scratch and shows why e^{-iHt} is a rotation. One running example, first principles, no prerequisites beyond li
000
azariah.bsky.social @azariah.bsky.social · 24/07/2026
Part 4 closes the series. Insert i into the exponent and stretch becomes rotation. QPE, VQE, adiabatic prep: all one move. Same spectral theorem, one letter apart. johnazariah.github.io/quantum/blog/…
johnazariah.github.io
What a Difference i Makes
Part 4 closes the series. Insert i into the exponent and stretch becomes rotation. QPE, VQE, adiabatic prep: all one move. Same spectral theorem, one letter apart.
010
Reposted by @azariah.bsky.social
Steve Goguen @sgoguen.bsky.social · 22/07/2026
Came across this F# like language that compiles to Python. It includes Active Patterns, Computation Expressions and units of measure in an early release. simontreanor.github.io/Pyfun/
simontreanor.github.io
Introduction - Pyfun
Learn Pyfun: functional programming for the Python ecosystem.
041
Reposted by @azariah.bsky.social
John Donegan @donegan.bsky.social · 18/07/2026
Shark repels predator invading its habitat.
52910
azariah.bsky.social @azariah.bsky.social · 15/07/2026
Ahh the modern face of health food! :)
000
azariah.bsky.social @azariah.bsky.social · 15/07/2026
Also can we rename that blue bit to the left of the Gulf of Cabo Verde to "Cyclospora land"?
010
Reposted by @azariah.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 14/07/2026
Cabo Verde Airlines has done a fine job repainting its tailplane to feature the Cabo Verde football team! Spotted yesterday in Providence airport. The body text reads "Cabo Verde na copa" (Cape Verde in the World Cup).
2152
azariah.bsky.social @azariah.bsky.social · 14/07/2026
France out? Poor Mbappe!!!
000
Reposted by @azariah.bsky.social
jkone27 @jkone27.bsky.social · 11/07/2026
One of the people behind Rx.NET and awesome Dutch genius youtu.be/JMP6gI5mLHc?...
youtu.be
Category Theory, The essence of interface-based design - Erik Meijer
YouTube video by FooCafe
031
Reposted by @azariah.bsky.social
Will Velida 🇺🇦 @willvelida.com · 08/07/2026
My talk from NDC Copenhagen is now available on YouTube! In this talk, I discuss how you SHOULD apply agentic engineering practices to platform engineering (TLDR; no --yolo mode!) www.youtube.com/watch?v=S66a...
youtube.com
Platform Engineering in the age of Generative AI -
YouTube video by NDC Conferences
042
Reposted by @azariah.bsky.social
Fabrizio Romano (MIRROR) @fabrizioromano.yopro20.com · 04/07/2026
🚨 Lionel Messi: “We already knew this was going to be a very difficult match. It wasn’t a coincidence that this team didn’t lose to Spain or Uruguay”. “These are knockout matches, nobody gives you anything for free”.
Image uploaded from tweet
251931191
Reposted by @azariah.bsky.social
🍁🇨🇦Team Canada Forever🇨🇦🍁 @teamcanadaforever.bsky.social · 04/07/2026
Cabo Verde made their fans very proud tonight. So inspiring...🫶 What an amazing run in this World Cup. ⚽️🇨🇻
1388530929
Reposted by @azariah.bsky.social
Melissa Nadia Viviana 🐸 @resistrebelrevolt.net · 04/07/2026
Current Euro Champions 🇪🇸 Spain v Cabo Verde 0-0 Vozinha: 7 Saves 4x World Cup Champions 🇺🇾 Uruguay v Cabo Verde 2-2 Current World Cup Champions 🇦🇷 Argentina v Cabo Verde 2-2 until 110" min!! Vozinha: 8 Messi Saves 🇨🇻 Smallest country in knockout 🇨🇻 First time qualifying 🇨🇻 Ranked 67 🇨🇻 Unforgettable
20814137
Reposted by @azariah.bsky.social
Soccerdonna @soccerdonna.de · 22/06/2026
Lionel Messi 🇦🇷 is the second player in history to score 17 goals at a World Cup. Marta did it first! 🇧🇷👑
10266051487
Reposted by @azariah.bsky.social
3wombats @3wombats.bsky.social · 20/06/2026
www.abc.net.au/news/2026-06...
abc.net.au
Your full World Cup schedule in Australian times
Check out when your team's matches are kicking off at the 2026 FIFA World Cup so you don't miss a match.
021
Reposted by @azariah.bsky.social
Kee Bici @bikes.keekay.cloud · 05/06/2026
If anyone is looking for a good biking channel, check me out? I promise content will get better. 🇨🇦 #Bikesky #bici #beachlife #bicycle #blacksky #yourube #cycling #cyclinglife #contentcreator #biking #vancouver #cycle 🚴‍♀️ www.youtube.com/@KeeinBici?s...
youtube.com
Kee Bici
Mouth Breathing through Canada | POV cycling | based in British Columbia. I explore BC trails, forests, streets, and cities (sometimes with my dog Buddy and my Girlfriend Kat!), this channel is all...
0331
azariah.bsky.social @azariah.bsky.social · 06/06/2026
Blue skies and a yellow flower. Taken from the roadside on a gorgeous Queensland day.
000
azariah.bsky.social @azariah.bsky.social · 02/06/2026
Majorana 2. The return of the killer Majorana. From Lyngby. :) Here we go again!!
000
azariah.bsky.social @azariah.bsky.social · 01/06/2026
Ack - forgot the hash tags #Quantum #QuantumComputing #Julia #JuliaLang #FunctionalProgramming #FP #ScientificComputing
000
azariah.bsky.social @azariah.bsky.social · 01/06/2026
Wow - for a moment there I thought they were building Narkhina 5!
000
azariah.bsky.social @azariah.bsky.social · 29/05/2026
A story of bringing engineering, craft, a stubborn Mac Studio, Julia, mathematics, and 30 years of programming techniques to solve a problem no one had before, and ending up co-authoring a Google Quantum AI paper. Part 1 of 10 johnazariah.github.io/2026/05/29/saturday-to-coauthor-01-saturday.html
johnazariah.github.io
Saturday
Part 1 of From Saturday to Co-Author. This series is dedicated to Stephen Jordan.
951
azariah.bsky.social @azariah.bsky.social · 28/05/2026
@mitchwand.bsky.social read my blog series on intent-driven architecture and said "your `=>` is monadic bind, not domain vocabulary." He was right, and it took me six weeks to get it! New post on what I learned. johnazariah.github.io/2026/05/28/what-mitchell-wand-taught-me-about-intent.html
johnazariah.github.io
What Mitchell Wand Taught Me About Intent
This post is a follow-up to the Intent vs Process series. You don’t need to have read all six parts, but familiarity with Part 2: The Algebra of Intent will help.
010
azariah.bsky.social @azariah.bsky.social · 14/05/2026
I think I finally understand why they are called density matrices. Never felt this dense before....
000
azariah.bsky.social @azariah.bsky.social · 08/05/2026
As I never tire of reminding him, @shriram.bsky.social named the Expression Problem. Maybe if the industry had listened harder, we wouldn't be having this conversation...
121
azariah.bsky.social @azariah.bsky.social · 08/05/2026
"Vibe-coding is in. Software Engineering is useless!" Wrong. The Expression Problem is why your AI-generated pattern-driven code is still broken. Its two solutions let AI reason over the structure of your problem — not guess at it. johnazariah.github.io/2026/05/08/the-craft-isnt-dead.html
johnazariah.github.io
The Craft Isn’t Dead. You Just Never Learned It.
The Craft Isn’t Dead. You Just Never Learned It.
162
Reposted by @azariah.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 01/05/2026
To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare! cs.brown.edu/people/sk/Co...
I want to try something new. At PLDI 2026 and ECOOP 2026, I'm going to hold “Office Hours”.

People said that asking folks to sign up might be intimidating, so there won't be any signup. Rather, anyone can join: all you need to do is show up! I'm especially looking forward to talking to younger folks: students, postdocs, junior faculty. Tell me about your research, get feedback on an idea, get advice on applying, ask me about postdocs, whatever. It's your time!

In terms of mechanics: I have created a public calendar in which I will list my availability. I don't know the lay of the land yet. Instead, just before the slot begins, I'll find a public place, then update the calendar entry to indicate where I am. Check the calendar to find me, and come on over!

At PLDI, I will have slots on June 17 and 18: evening-only on the 17th, evening of the 18th, and probably also some during the day of the 18th (check on 17th night). They will be at the conference hotel (Limelight Boulder). Once I test it out at PLDI, I'll update this page for ECOOP.
0378
Reposted by @azariah.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 13/04/2026
A very brief thread about how I came to understand Hungary, starting in the early 1990s.
0233
Reposted by @azariah.bsky.social
Chanea Bond @heymrsbond.com · 11/04/2026
Every single one of the astronauts who went to the moon and back on Artemis II was educated at a public school. Thinking of the teachers who poured into Reid Wiseman, Victor Glover, Christina Koch, and Jeremy Hansen tonight. You helped send a kid to the moon! 🌕 💛
172195464015
Reposted by @azariah.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 06/04/2026
My department is looking to hire a professor of practice in CS, with a focus on AI. Job posting below. If you have questions I'll do my best to answer them, else find someone who can! We are in Providence, easy commute access from Boston. jobs.chronicle.com/job/37970844...
jobs.chronicle.com
Professor of the Practice in Computer Science with a Focus on Artificial Intelligence - Providence, Rhode Island job with Computer Science | 37970844
The Department of Computer Science at Brown University is seeking applicants for a Professor of the Practice position at the assistant, associate, ...
1129
Reposted by @azariah.bsky.social
romain-deneau.bsky.social @romain-deneau.bsky.social · 26/03/2026
Mea culpa: Free Monads in F# can support parallelism. We just need a different implementation! New GitBook page comparing Program pattern variations for domain workflows — Free Monad vs Tagless Final, #FSharp & #CSharp. Featuring @azariah.bsky.social work 🙏 👉 rdeneau.gitbook.io/safe-clean-a...
rdeneau.gitbook.io
Addendum: Pattern Variations | Safe Clean Architecture
251
Reposted by @azariah.bsky.social
onesillyfag @onesillyfag.bsky.social · 24/03/2026
Night sky on Mars
1823083628