10 citations · 10 across the 4 of their papers we have counts for
4 papers
The Structure and Interpretation of Quantum Programs I: Foundations
David Wakeham
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and ope…
A Short History of Rocks: or, How to Invent Quantum Computing
David Wakeham
This essay gives a short, informal account of the development of digital logic from the Pleistocene to the Manhattan Project, the introduction of reversible circuits, and Richard F…
Early Fault-Tolerant Quantum Algorithms in Practice: Application to Ground-State Energy Estimation
Oriel Kiss, Utkarsh Azad, Borja Requena +3
We investigate the feasibility of early fault-tolerant quantum algorithms focusing on ground-state energy estimation problems. In particular, we examine the computation of the cumu…
Why is a soap bubble like a railway?
David Wakeham
At a certain infamous tea party, the Mad Hatter posed the following riddle: why is a raven like a writing-desk? We do not answer this question. Instead, we solve a related nonsense…