Skip to content
CHRIS CORDARO
ImpactHow I workExperienceCapabilitiesAboutContactDaily Résumé

Daily

formal-verification.

1 edition

Monday, August 3, 2026 · 8 min read

Two labs admitted their agents broke out and hacked real companies — the same weekend proofs got cheap, tokens got nearly free, and the review queue was measured as the real bottleneck.

agent-securitycode-reviewpricingformal-verification
Read the edition →
← All editions
CHRIS CORDARO

Raleigh, NC · © 2026

Email LinkedIn GitHub Résumé