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.🙂↕️
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. https://johnazariah.github.io/quantum/circuit-bench/
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
johnazariah.github.io
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: ↵
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. https://johnazariah.github.io/quantum/blog/2026/07/27/the-50m-delivery-route/
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
johnazariah.github.io
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. https://johnazariah.github.io/quantum/blog/2026/07/14/how-to-raise-e-to-a-matrix/
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
johnazariah.github.io
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. https://johnazariah.github.io/quantum/blog/2026/07/24/what-a-difference-i-makes/
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.
johnazariah.github.io
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/
Introduction - Pyfun
Learn Pyfun: functional programming for the Python ecosystem.
simontreanor.github.io
Shark repels predator invading its habitat.
ABC News Australia@news.abc.net.au · 3w agoShark bites diver's forearm in waters off Bruny Island, Tasmania
Also can we rename that blue bit to the left of the Gulf of Cabo Verde to "Cyclospora land"?
Shriram Krishnamurthi@shriram.bsky.social · 3w agoNew name for water body dropped.
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).
One of the people behind Rx.NET and awesome Dutch genius youtu.be/JMP6gI5mLHc?...
Category Theory, The essence of interface-based design - Erik Meijer
YouTube video by FooCafe
youtu.be
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...
Platform Engineering in the age of Generative AI -
YouTube video by NDC Conferences
youtube.com
🚨 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”.
Cabo Verde made their fans very proud tonight. So inspiring...🫶 What an amazing run in this World Cup. ⚽️🇨🇻
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
Lionel Messi 🇦🇷 is the second player in history to score 17 goals at a World Cup. Marta did it first! 🇧🇷👑
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...
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...
youtube.com
Majorana 2. The return of the killer Majorana. From Lyngby. :) Here we go again!!
Henry Legg@henrylegg.bsky.social · 2mo agoToday Microsoft announce "Majorana 2", claiming they will build a “practical” quantum computer by 2029. This is of course massive PR bullshit. I could also speculate about the timing of this announcement, but unfortunately that will have to wait. For now, let's look at their preprint. 🧵 1/x
Ack - forgot the hash tags #Quantum #QuantumComputing #Julia #JuliaLang #FunctionalProgramming #FP #ScientificComputing
azariah.bsky.social@azariah.bsky.social · 2mo agoA 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
Wow - for a moment there I thought they were building Narkhina 5!
@alexvonwitzleben.bsky.social · 2mo agoDenmark has announced plans for an ambitious #renewableenergy project known as the North Sea Energy Island. The project is designed to serve as a central hub for #offshorewind farms and distribute large amounts of clean electricity to surrounding countries. #ActOnClimate #ClimateActionNow
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
Saturday
Part 1 of From Saturday to Co-Author. This series is dedicated to Stephen Jordan.
johnazariah.github.io
@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
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.
johnazariah.github.io
I think I finally understand why they are called density matrices. Never felt this dense before....
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...
azariah.bsky.social@azariah.bsky.social · 3mo ago"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
"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
The Craft Isn’t Dead. You Just Never Learned It.
The Craft Isn’t Dead. You Just Never Learned It.
johnazariah.github.io
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...
