Philip Zucker

Philip Zucker is a physics and computer science enthusiast documenting ideas and experiments in a lab-notebook-style blog, focused on functional programming, compilers, formal methods, and scientific computation.

https://www.philipzucker.com

RSS Feed

1/2/2026

functional programming compilers formal methods scientific computing physics

Articles from this Blog

22 articles from this blog

12/8/2025 • EN

Semi-Interactive Assembly Verification in Knuckledragger

Exploring a semi-interactive proof system for verifying assembly code using Python, Z3, and Ghidra Pcode.

Assembly Verification Symbolic Execution Z3py

12/1/2025 • EN

SAT Etudes 2: Toy DPLL

A technical exploration of building a toy DPLL SAT solver in Python, discussing its implementation and relation to SMT solvers.

Sat Solving Dpll Algorithm Unit Propagation

Previous 1 2

Philip Zucker

Articles from this Blog

Semi-Interactive Assembly Verification in Knuckledragger

SAT Etudes 2: Toy DPLL

Select Language

We use cookies