nate

I spent the first few months of this year in Amsterdam getting to putz around at QuSoft. It was a really fun time, and unlike the rest of my career (academic or in industry). There's a short recap on the QDNL website now! qdnl.nl/news/qdnl-vi...

Also, all this “frontier AI” nomenclature is so laughably colonialist that it has to be on purpose. 🙄

Josh Izaac kicking off quantum software 2.6 workshop at IEEE QCE in room 718B

Tomorrow at #IEEEQuantumWeek2026: Quantum Software 2.6! A full day of talks + discussion on current challenges and headways in quantum software. 📅 Sept. 17 ⏰ 10:00 AM–4:30 PM 📍 Room 718B, Metro Toronto Convention Centre Come join us! sites.google.com/view/quantum... #QuantumSoftware

props to martin roetteler for this

Kevin Buzzard's thoughts on Fermat's Last Theorem being autoformalized in Lean. xenaproject.wordpress.com/2026/09/04/f...

there should be a complexity class for problems where LLM proofs are harder to verify than solve directly

👏 arxiv.org/abs/2608.16066

Further thoughts on the GPT situation in the form of a song. Based on "Against the 70s" by Mike Watt. Audio: legacy.reverbnation.com/markwilde/so... Title: Against the GPTs

Gotta remember we are in the pre-enshittification era of LLMs. As AI companies search for profitability they will invariably stop passing surplus onto us users.

"claude write this paper, but this time with giga-low overhead"

scirate should only show the number of scites from non-authors

Let's have a community discussion about the impact of LLMs on quantum information research, and how to react to it as a research community! 👩‍🔬⚛️🤖 🏛️ Head over to the IAQI forum 👇 discuss.iaqi.org/t/quantum-in... 🦋 Please share widely!

While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.

Tonamichel calling a clanker a student is depressing

just me or is it surprising that there are still "basic" topology to be learned about fundamental spaces in quantum? arxiv.org/abs/2607.18105

@unitary.foundation spotted 👀

i think we can stop the "XYZ is all you need" papers now

feel bad for teams with a person named Claude on them

this pattern is so silly. just put your damn artifacts online

Open source and @unitary.foundation getting a few shout outs as leaders in benchmarking at deep tech week quantum panel

pretty pls come to our workshop

For those who missed it, here's a quick summary of Microsoft Majorana 2 announcement: "Agentic AI, AI agent teams, AI agent, agentic AI, agentic AI, AI agents, AI-driven, agent, agentic AI, agentic AI, agentic AI, agents, agentic AI, AI, agentic AI, agentic AI..." news.microsoft.com/source/featu...

This terrific article by Siobhan Roberts could help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. www.nytimes.com/2026/06/02/s...

when Erik Demaine closes and issue i opened on github

big computer is conspiring to take away the only thing i've ever actually liked: the computer

Eric Schmidt deserved the boos

#ResistanceRoots Ida Rhodes was born on this day in 1900 in Kamianets-Podilskyi, Ukraine. She was a mathematician, computer programmer and lecturer who was instrumental in early computer development in the U.S. She was also a fierce advocate for the disabled, often at great personal sacrifice. /1

wow — the preprint host, arxiv, is banning authors for a year if they submit papers with hallucinated citations 🤖

can someone help me understand why this paper is going crazy on scirate? an awesome theory result, or a practical breakthrough or both or something else?

cirq-rentals.com but no cirq

wild that you can't install safari extensions without signing in to an apple account

Me after barely passing onboarding quizzes

while i was in amsterdam for 3 months i managed to run the length of 430 streets. not bad given i have roughly the same number of completed streets in seattle and i've been running here for 4 years

claude shannon was serving here

Poor authors who post serious papers today

We are living in exciting times. Starting today, the zoo will be completely redone by AI! errorcorrectionzoo.org/__41ai