Writing on data, agents, and proof.

Writing on verification, catalogs, multi-engine execution, and what we learn running agents against real data. 21 posts since 2024.

latest09 sep 2026

The Grammar of Data: From Definition to Executionread →

recent24 aug 2026

Faithful, Reproducible, Wrong: Lessons from 900 Data-Agent Runsread →

recent24 jul 2026

Xorq, the Verification Engine for AI on Enterprise Data, Enters Private Previewread →