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...
Lecturer/Senior Lecturer/Associate Professor in Quantum Computing Theory at University of Bristol www.bristol.ac.uk/jobs/find/de...
Big update: the EC Zoo is now a handbook. It spans codes, sphere packings, lattices, designs, groups, and phases of matter. Extensively checked, but not perfect—feedback very welcome:
arxiv.org/abs/2606.11484
Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Er...
PhD opportunity in QIT in Grenoble.
I am advertising a project through the QuanG2 call, at the interface of nonlocality, self-testing, computationally bounded devices, complexity, and crypto.
My project is among the topics offered:
phdquantumgrenoble.univ-grenoble-alpes.fr/phd-applicat...
I signed this today. I'm sceptical of the blind trust of people in LLMs, and I don't think LLMs will replace me as a researcher, teacher, and mentor. At the same time, I want to be open to new technologies and see whether and how we can use them fruitfully in our research and teaching.
Ivan Šupić
Felix Leditzky 🏳️🌈🏳️⚧️
You might find my old essay interesting.
home.lu.lv/~sd20008/pap...
I've been running a Lean seminar at CWI/UvA for some time. We now started formalizing Appleby's result on the structure of the single-qudit Clifford group. Here's the blueprint and GitHub repository in case you're interested.
marozols.github.io/clifford-pro...
github.com/marozols/cli...
