Developer tooling: libghostty 1.0 and formal verification
libghostty hit 1.0 with ABI stability, and banteg posted a plain-language guide to formal verification for auditors.
What we know
libghostty 1.0 is used in hundreds of projects, and banteg's formal verification glossary maps terms like aliasing and havoc to auditor intuitions.
By the Global Eye 24 desk, with AI assistance. Updated as the story develops. Spot an error? Write to corrections@globaleye24.com.