eendebakpt.github.io
Pieter Eendebak — scientist focused on quantum computing, computer vision, and experimental design. Open-source contributor to Python scientific projects.
Topics
Posts
- July 2026 — A small conjecture, an AI proof, and what Lean did for it — proving the ESVG even-odd conjecture with Claude
- April 2025 — CPython freelists — allocation statistics and analysis