Quantum Computing for Programming Languages Researchers
summary
Intro for PL researchers that reduces quantum programming to concrete mechanics and a tiny language with probabilistic operational semantics showing how measurement yields classical bits, how initialization and unitary apply produce superposition and entanglement, and how two-qubit examples like controlled-not (CNOT) and Bell pairs behave. Covers Hadamard and X gates, the alternative density matrix formulation, NISQ hardware (≈50 qubits) and the distinction between classical control over measured results and fragile quantum control.
AI-written summary · about
chapters (7)
- 0:00Introduction and context
- 3:18Quantum computing overview
- 7:01Qubits and superposition
- 8:43Measurement and semantics
- 13:22Multi-qubit systems
- 17:46Unitary operations
- 24:54Classical control flow
related talks
55mIntroduction to Quantum Programming Languages
43mIntroduction to Quantum Programming
22mQuantum Computing for Developers
15mToward A Quantum Programming Language for Higher Level Formal Verification
01h 01mWhat Is "Quantum" About Quantum Computing?
02h 42mQuantum Computing Exposed: Deep Dive
23mA feasible and unitary programming language with quantum control
41mQuantum Computing deep dive