Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...

Happy to share that some previous work with @krishnanirudh.bsky.social and @preskill.bsky.social that we call hierarchical codes (2303.04798) was recently published in Quantum! 1/9

@quantumearl.bsky.social seeking bids for QEC26! QEC is exploding, so there’s a good case to move to an annual conference format

I suddenly regret not doing this

Oftentimes, one might write a paper that relies on a bunch (~5-10 pages) of definitions from a different paper. At what point do you say the equivalent of "import otherPaper.definitions"? If it's your own paper, then presumably the original definitions were best?

I wonder if the early pioneers of classical fault-tolerance ever imagined where the field might go ieeexplore.ieee.org/document/677...

Happy QIP tutorials day

Perhaps we should specify minimum margins and font size in conference submissions and automatically reject non-conformant submissions?

What is a quantum circuit to you?

Also +1, I use it a fair bit now for slides. It's a bit rough in the sense that there's a much smaller body of stack exchange posts for whatever cursed thing you'd like to do, but there's less surprises in the language due to clean separation of code/content

We're hiring quantum theory faculty at Virginia Tech. This is an open-rank position in the CS or EE department at the new Center in Alexandria, VA, just outside of Washington, DC. This is the first of several new hires at the Center. Come join us (pls RT)! careers.pageuppeople.com/968/cw/en-us...