Blog

technical writing on machine learning, computational genomics, and the systems around them

Theory and Practice in the Age of AI

Doing math using LLMs and theorem provers has come of age. My thoughts on its implications.

6 min read · 2026

Gaussian Processes, Part 1 — Regression

From Bayesian linear regression to Gaussian processes: the weight-space view, the kernel trick, and the function-space view.

15 min read · August 30, 2026

2026 · gaussian-processes machine-learning · gaussian-processes
Reproducible dev environments with Nix and Home Manager

How I stopped hand-configuring GCP instances and made my dev environment reproducible with Nix and Home Manager

6 min read · August 09, 2026

2026 · machine-learning nix · nix