About this wiki
A personal knowledge base in a wiki format. Ongoing record of things I investigate, build, and think about. Pages are atomic and linked; you're meant to wander.
Topics span product, design, mathematics, philosophy, and science. Some pages are polished essays, others are rough notes or project logs. All of them authored by me.
Recent
- The Oracle of the in silico CoderApr 2026How can LLMs produce trustable code.
- EphemaralMar 2026Verify the code you generate. Mathematically proven. Automatically.
- Wristband Gaussian Loss: From to Mar 2026Faster computation of the repulsion term with spherical harmonics.
- Wristband Gaussian Loss: Formalization and ProofFeb 2026Formalization and proof that a Gaussian regularizer is correct.
- Don't look for reasons, look for truthNov 2025Rationality vs Reasons