↓ Skip to main content

Posts

2026

I Built A Thing: And Then Big Tech Came Onto the Scene

··1891 words·9 mins
I spent five months building a privacy-first assistant for caregivers and busy families. On September 18th, Google and Meta both shipped something adjacent, and the day after that I wrote the runbook to tear my own infrastructure down. Here is what I got right, what I got wrong, and why the competition turned out to be the least interesting part of the story.

Teaching a Coding Agent to Dream: Mining Transcripts to Find Forgotten Signal

··2669 words·13 mins
An unattended nightly job mines my coding agents’ own session transcripts for corrections that never made it into shared memory, then puts each candidate in front of me for a yes or no. Here’s what it found, what broke while I built it, and how I am testing the same idea with Kiro and Codex.

Red to Green Proves Nothing: Formal Requirements Analysis in Kiro

A red-to-green test proves your code matches your test. It proves nothing about whether either one matches the product’s intent. Kiro can check requirements for contradictions with an SMT solver before any code exists, and I went through the documentation to find exactly where that capability lives and what it costs.

2020

2017