General — Top 5 today
From Auth Bypasses to Verified Software
Editorial TakeThese snapshots highlight one recurring issue: correctness without a shared, checkable specification is fragile. Real-world exploits can spring from narrow gaps—an allegedly forgeable OTP key is an example—while new tooling like LLMs can scale formal verification (239 entry points across 123 libraries) and surface bugs traditional testing misses. Equally, social and operational systems depend on common models and clear procedures, and the 1978 warning about natural-language programming reminds us that informal interfaces multiply ambiguity. Practically, that points to investing in verifiable, machine-checkable specifications and tooling (instead of relying on informal patches or natural-language shortcuts), using LLMs to produce and reuse formal proofs, and explicitly hardening the small trusted components and operational assumptions those proofs depend on.