Research & Experiments
-
Building a Research-Driven, Evidence-Based AI Application
Building Typewright, an alpha compiler for typed AI decisions, with research-cited design, hashed evidence, and an honest negligible live gain.
-
Mapping a Lean 4 Computer Vision Library
How I documented a small Lean 4 colour and sensor library with twelve architecture views, including a review view of its limits.
-
Clean Drop: Gemma 4 Field Reports for Water Points
Team Clean Drop's Gemma 4 hackathon prototype: photo-first water-point reports with structured triage and human review, plus what the notebook runs.
-
Building a PCPartPicker-Style Compatibility Engine for AI Systems
How PickYour.AI checks AI stack compatibility with a versioned rule contract and three-valued outcomes. The preview catalog is synthetic.
-
Building Interactive Public-Data Crime Maps
Building England Crime Atlas: Police.uk crime on a 2 km grid, a separate court-outcome view, snap-point anonymisation, and why counts are not rates.
-
Evolving Code Through Reproducible Experiments
How LibreEvolve structures code-evolution experiments, what its reproducibility records cover, and an offline bin-packing run with a mock model.
-
Turning NYC 311 Reports Into AI-Assisted Heatmaps
Rating NYC 311 complaint text against a fixed rubric, validating every model answer, and mapping results on a 500 m grid. Volume is not incidence.