Howardism · Vol. 03Plate II · No. 02
Cybersecurity, tagged.
Notes2TagCybersecurityOldest10 Apr 2026Newest28 May 2026
Every article tagged cybersecurity, newest first.
| Title | Summary | Date |
|---|---|---|
| When Does Verification Quality Determine Whether AI Automation Works? | Verification-quality ladder from Lean/formal proof search through software CI and vulnerability reproduction; autonomy should rise only to the level the verifier can support | |
| LLM-Driven Vulnerability Research | Claude Mythos Preview's emergent cybersecurity capabilities: autonomous zero-day discovery, full exploit chains, and Anthropic's Project Glasswing response |