ieva

Quantum cartography My husband and I visited the Library of Congress on the final day of winter break this year. In a corner, we found a facsimile of a hand-drawn map: the world as viewed by sixteenth-century European…

Interesting format for a review article. 24 brief chapters, each offering perspective from a small subset of the 69 authors on a particular topic.

quantumfrontiers.com/2026/02/11/q...

My PhD student Wen Fan (fanweneddie.github.io) is looking for summer internships! ✨His research interests are at the intersection of AI and formal methods, and his work with me is exploring how LLMs can be used to build more usable and scalable verification tools.

New blog post!

Autodiff through function types: Categorical semantics the ultimate backpropagator

https://julesh.com/posts/2026-02-20-categorical-semantics-ultimate-backpropagator.html

Free quantum computing | PNAS Quantum computing improves substantially on known classical algorithms for various important problems, but the nature of the relationship between q...

Quantum computing is usually framed in complex linear algebra. This paper asks: what is the least you need to add to reversible classical computing to recover quantum computation?
www.pnas.org/doi/10.1073/...
@manchegobaby.bsky.social

We are at an airport restaurant. A robot just drove up to us with our food, said, "Hi! Here I am!" and then drove away with our food.

What I’m seeing in some of the Epstein revelations about well known scientists who maintained contact after his conviction, is folks who always thought they were the smartest person in any room, sure they could shrewdly navigate a route that gets them what they want without getting dirty themselves.

The Pinnacle Architecture: Reducing the cost of breaking RSA-2048 to 100 000 physical qubits using quantum LDPC codes The realisation of utility-scale quantum computing inextricably depends on the design of practical, low-overhead fault-tolerant architectures. We introduce the \textit{Pinnacle Architecture}, which us...

I've been asked several times to comment on arxiv.org/abs/2602.11457, which claims to reduce the qubit cost of factoring by 10x.

My take is that they demand a *lot* more qubit connectivity for that number. Your mileage depends entirely on how plausible you find those demands.

New many-body postdoc offering at @UMDscience; come join us! umd.wd1.myworkdayjobs.com/UMCP/job/Uni...

The paper is up! A project impressively led by Kenny Chen, co-advised with Julian Mestre, on Forrelation, a slightly-artificial up task introduced by Aaronson to show an exponential separation between classical and quantum computers.* Small 🧵 below!

📝 arxiv.org/abs/2602.07503

*(in the query model)

Good thread. This is why, when convenient, I like to switch to the completely equivalent but imo much more intuitive picture "the size of the universe is fixed but the speed of light gradually decreases"

Nice bonus is imo "light moved infinitely fast" is easier to picture than Big Bang singularity

Preprint, by Clément Canonne, Kenny Chen, and Julian Mestre: "The Quantumly Fast and the Classically Forrious", February 7, 2026

Teaser: coming soon to an #arXiv near you!
(my coauthors did not change the title in time)

Did you know you can simulate quantum states with Pauli and Majorana propagation?

In short: High-temperature states are provably and practically sparse, and we can use imaginary time evolution to get there starting from the infinite-temperature state.

scirate.com/arxiv/2602.0...

GitHub - bgavran/TensorType: Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2 Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2 - bgavran/TensorType

I'm quite proud of how far I've been able to get with TensorType: https://github.com/bgavran/TensorType

What started out as a casual "I wonder if I can implement type-safe tensors" question has now evolved into a fully-fledged library

A DISCWORLD PRIMER*

*or, why should I read this thing that everyone keeps going on about?

Come on in, sit down, pull up a chair. If you have followup questions, feel free to ask me or @ankhmorporkcity.watch, we're always happy to help.

(1/a lot, idk, we'll figure this out as we go)

Today we get the computer scientists' view on the transition into fault-tolerance.

There will indeed be a whole lot of classical computing involved in getting early fault-tolerance running, and the better it is, the more quantum we can use.

arxiv.org/abs/2601.20247

Come and visit me at the poster session at #QIP26 today! :)))

Love the rock concert vibes of #QIP2026!

If you're interested in some of the design choices behind TensorType, have a look at the great blog post that @Andrev just posted:

types.pl/@Andrev/1159...

TLDR; Tensors in NumPy are secretly built out of the composition product of containers

Teaching journalism the Russian way: How RT Academy spreads propaganda in Global South Russia is scaling up its educational programs for journalists in Southeast Asia, Africa, China, and India, pushing a pro-Kremlin agenda and propaganda under the guise of an "alternative narrative" and...

Russia is scaling up its educational programs for journalists in Southeast Asia, Africa, China, and India, pushing a pro-Kremlin agenda and propaganda under the guise of an "alternative narrative" and a "fight against fakes."

Reading that while from Kyiv with no light, no heat, no warm water and working with a hot bottle on my lap from under my duvet so yes, I will indeed point out that Ukrainians are going through hell than marvelling at their resilience.

❄️ Temperature outside is -15°C...

Russia welcomes Trump's tariffs on NATO allies over Greenland as 'collapse' of alliance "The transatlantic alliance is over," Kremlin economic negotiator Kirill Dmitriev said.

⚡️ Russia welcomes Trump's tariffs on NATO allies over Greenland as 'collapse' of alliance.

"The transatlantic alliance is over," Kremlin economic negotiator Kirill Dmitriev said.

❗️Poland says Russia carried out a cyberattack on its energy sector.

In late December, the country nearly lost power, but the attack was successfully repelled.

Poland’s minister described the attack as “digital tanks” that are already here.

This year's Quantum Computing Theory in Practice Conference (QCTiP) is scheduled for 04/20/2026-04/25/2026 in Oxford, UK 🇬🇧: qctipconf.github.io

Talk submission deadline is just round the corner: 01/11/2026. Looking forward to many exciting contributions and a great time in Hogwarts🪄, aehm Oxford🎓.

Postdoctoral Researcher in Quantum Randomness Certification to develop a certifiable security hierarchy for Quantum
Random Number Generators (QRNGs), in Malta.
www.quantiki.org/position/pos...

I try to avoid talking about religion and politics here, but this time they've gone too far - I gotta say something.

The Bishop of Paris banned a list of 219 propositions, and number 68 goes too far: I must object.

(1/n)

Logged into twitter main for the first time in 2 months, chucked a live grenade, logged out again

Remember Symbolica, that ML company that suddenly hired and then just as quickly fired a bunch of category theorists?

Well, I've looked at the docs for their newest library claiming to do 'typed agents', and it's complete slop, bordering on comical levels of misunderstanding of what a type is.

There's a Reason Women Aren't Swooning Over AI Like Men Are Or rather, a great many reasons

open.substack.com/pub/thenoosp...

Russia unmoved — Putin opens year-end presser with maximalist demands for Ukraine "Nevertheless, we see, feel, and know about certain signals, including from (Ukraine), that they are ready to engage in some kind of dialogue," Russian President Vladimir Putin said.

⚡️ Update: Putin falsely claims Russia 'did not start this war,' denies responsibility for deaths.

"We do not consider ourselves responsible for the deaths of people because we did not start this war," Russian President Vladimir Putin said.

9am Patrick looking stupid 13:00 Spongebob looking stupid 15:00 Patrick looking stupid 18:00 An empty piece of paper with the word "the" on it On the trip home: huge galaxy brain

every goddamn time