✏️ 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
05.17
Fairification: Making Unfair Programs Fair
04.17
A Program Synthesis Primer