Recent posts

Model Equivalence using Z3

6 minute read

2025-11-07 — Using Z3 to prove two ML models are logically equivalent — or extract the exact counterexample where they diverge.

Quantifying Information Loss

3 minute read

2025-10-28 — A quick experiment linking Laplace noise and data resolution, showing how privacy and precision trade off

Extending python with Go

5 minute read

2021-04-03 — A simple example of how GoPy can be used to extend python with Go native code