Writing
Depth over cadence. Mostly the seam between hardware verification's coverage methodology and how we evaluate AI systems.
What hardware verification can teach LLM evaluation
Coverage methodology — constrained-random stimulus, assertion-based checking, regression gating, closure — is a surprisingly good lens for evaluating LLM systems. And the places it breaks are the interesting part.