Back in UK. At #qctip in Oxford.

Glad you got to meet Nicki -- I had meant to introduce you last time!

GitHub - Quantinuum/zixy: Quantinuum's high performance library for the manipulation of Pauli strings and other quantum algebraic objects. Quantinuum's high performance library for the manipulation of Pauli strings and other quantum algebraic objects. - Quantinuum/zixy

github.com/Quantinuum/z... stay zixy

Andy Pitts says 'Type Soundness proofs are two a penny.' But I Think They're Cheaper Than That YouTube video by Conor McBride

Today's gig at Cambridge Computer Laboratory, entitled

"Andy Pitts Says 'Type Soundness proofs are two a penny.' But I Think They're Cheaper Than That"

www.youtube.com/watch?v=-QUq...

Back to the UK. Exact location TBC.

After a year in Japan today is my last day at Quantinuum's Tokyo office. It's been a great privilege to work with such great colleagues.

agelesslinux.org

a billionaire must never make a decision because the billionaire can never be held accountable

I was amazed to see a level crossing just outside Kakunodate station in Akita. Shinkansen does use those rails, although it is going at parking speed at that point. (The Morioka -- Akita branch seems a lot slower in general.)

Don't be silly. I leave it open in a *window* for months.

I almost never use browser tabs. I have never seen a browser whose tab management is as good as the Mac OS window management.

This makes me uneasy.

Congratulations! This is a big achievement. I know how long you guys have been working on it. Very impressive.

Fault-tolerant execution of error-corrected quantum algorithms Scaling up quantum algorithms to tackle high-impact problems in science and industry requires quantum error correction and fault tolerance. While progress has been made in experimentally realizing err...

From my brilliant colleagues: Fault-tolerant demonstrations of QAOA and HHL. This actually came out last week, but I failed to post about it!
#quantum #quantumcomputing #quantinuum #ftqc #qec
arxiv.org/abs/2603.04584

Still the best book on the subject.
</hasn't read a technical book in years>

Serious question : how do you gain confidence that numbers produced are right?

I have shot myself in the foot many times with numerical experiments (when *I* wrote the code) with stupid mistakes producing plausible but wrong answers.

Lecturer in Mathematically Structured Programming (790646) at University of Strathclyde Apply for the Lecturer in Mathematically Structured Programming (790646) role on jobs.ac.uk, the top job board for academic positions in higher education. View details and apply now.

The firm of which I am the Dowager Duchess is hiring! We want lively brains for new explains and well taught wains. www.jobs.ac.uk/job/DQS044/l...

2026 : The year of Linux on the Desktop.

If you are interested in working in the intersection of QEC and software check out our job posting for a position at Quantinuum: jobs.eu.lever.co/quantinuum/b...

Areas of research include QEC software development, logical noise modeling, resource estimation, QEC/Hardware co-design, and more.

A Day in the Life of an Ensh*ttificator YouTube video by Forbrukerrådet - Norwegian Consumer Council

Absolutely love this!
www.youtube.com/watch?v=T4Up...

Kudos to the Norwegian Consumer Council for their efforts to fight enshittification!
www.forbrukerradet.no/news-in-engl...
Read their report here:
storage02.forbrukerradet.no/media/2026/0...

In other news, Magit + Forge is a really great for interacting with Github in #emacs. Just don't believe what Google says about it.

Google AI Overview:
> The Magit forge package does not currently provide a native
> interface for .... <thing I want to do>
> --> some link.

Further down the linked thread, the feature has existed since 2023. Never mind "general intelligence", this is not even competent information retrieval. 😡

Nothing is perfect, but Quantum gets so many things right that it is painful to consider submitting work to other venues.

I'd vote for that ticket.

Computing with many encoded logical qubits beyond break-even High-rate quantum error correcting (QEC) codes encode many logical qubits in a given number of physical qubits, making them promising candidates for quantum computation. Implementing high-rate codes a...

arxiv.org/abs/2602.22211
#quantum #qec #quantinuum

Actually, the left is winning the AI debate But it does need to get organized.

"Rejecting or resisting a commercial technology designed to attempt a mass wealth transfer and to erode public institutions is a valid political position."

www.bloodinthemachine.com/p/actually-t...

Personally I try to keep it simple : "Good question! I don't know the answer."

10 years after its founding, driven by the energy, enthusiasm, & dedication of the community @quantum-journal.bsky.social quietly published paper #2000 some days ago.

At least I think this is a big deal, big shout out to the founders & all authors, reviewers, editors, board members & contributors!

Excel : clone of the market leader in a popular category
PowerPoint : first program of its kind, also first acquisition by MS.

After a recommendation many years ago I am finally watching this talk while I struggle with powerpoint: pirsa.org/22100109