Skip to main content
Keith Hodo

Keith Hodo

Solutions Architect at AWS. Writing about cloud, agentic AI, and the journey.

Recent

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.