Tag: #verification
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 5 posts
Designing Verification — Tests as Grounds for Trust, Not Pass or Fail
A green build tells you nothing on its own. Green acquires meaning only once it is settled what you no longer have to worry about. This piece covers treating tests as grounds for trust rather than as a pass-fail gate: at
2026-08-15 · 6 min read #career#skills#testing#verification#craftWorking With AI Tools as a Skill — Where the Delegation Line Sits and How to Verify
Saying someone is good with AI tools carries no information until you know what they delegated and how they judged the result. This piece covers the criterion that draws the delegation line by verification cost rather th
2026-08-15 · 7 min read #career#skills#ai#verification#engineering-practiceThe Rust Standard Library Verification Campaign Found Zero Memory-Safety Bugs
The results paper for the verify-rust-std campaign, led by AWS and the Rust Foundation, appeared in the 2026 NASA Formal Methods Symposium. The work — what the authors call 'the largest verification campaign ever reporte
2026-07-16 · 25 min read #formal-methods#rust#verification#memory-safety#testingMigration Rollback and Verification — Designing a Safety Net
This post explores why rollback is hard in database migrations, and how to distinguish reversible changes from irreversible ones. It covers backups and recovery points, multi-stage verification, canary rollout, feature f
2026-06-16 · 23 min read #database#migration#rollback#verification#feature-flagHow to Review AI-Generated Code: The Verification Discipline for Agent Output and Filtering 'AI Slop'
When AI writes the code, the bottleneck moves to review. Reviewing a human PR and reviewing agent output are different skills. The characteristic ways AI code is wrong, a verification loop that filters hallucinated APIs
2026-05-14 · 21 min read #code-review#ai-generated-code#verification#ai-slop#quality