✏️ Blog
Aws Albarghouthi
08.21
A Quantum Circuit Simulator in 27 Lines of Python
07.19
Teaching Your SMT Solver Probability Theory
05.18
Differentiable Programming: A Semantics Perspective
04.17
A Program Synthesis Primer