Verified AI and Formal Verification Are Changing Agentic Engineering

Attestation in Loop and Graph Engineering for Software Factories

How CI evidence informs the decisions to repair, advance, or approve an AI-generated change

How I Design My Codex Harness

How I connect instructions, skills, tools, and evidence for shipping software and publishing technical blogs.

Field Notes in Agentic Engineering: The Graph Is Not the Factory

Months before loop and graph engineering became popular AI builder terms on social media, I was building two open-source tools about durable state, governed execution, independent verification, and observable control.

Field Notes in Agentic Engineering: Software Factories Need Quality Control

5 things about deterministic checks and loop engineering for code quality in software factories

Field Notes in Agentic Engineering: AI Made Velocity Easier To Fake

Refining agentic engineering velocity metrics we need to measure for engineering velocity and developer productivity.

Token Efficiency is an Architecture Decision

What a Skills-vs-MCP benchmark reveals about where models should reason, where code should execute, and what enterprise teams should measure.

Field CTO Is Executive Developer Relations for AI

Why AI companies need leaders who can go deep with developers, wide with engineering leaders, and turn field insight into product and market direction

Why AI Coding Needs Code Integrity Built In