This week on audiotale.net: breaches, formal verification and more

Recent stories on audiotale.net:

• CAPCOM ID breach: 11.7 million accounts' emails and login data exposed
• Anthropic and Theorem: Claude proves 239 open-source entry points crash-free
• What is formal verification?
• Six unpatched Linux kernel flaws, two rated CVSS 9.0 in SMB code, posted to public LKML by ZDI
• Quad9 to stop serving France on 24 November 2026 after beIN ruling: what to do
• PHP2Shell: CVE-2026-109618 and CVE-2026-109619 exploited four days before PHP's fix, Amazon says
• 333 Tor exit relays hijacked in Ebury campaign to intercept SSH passwords and plaintext mail
• Walmart launches Agent Gateway MCP server and Agent Profiles with spending limits for AI shopping agents
• Microsoft blames China-linked Storm-0940 for ConnectWise Cloud Backup breach, says attackers used ARTEX AI framework
• Kaspersky: Lazarus malware in Operation FlashHole uses ML-KEM-1024 post-quantum encryption against South Korean firms
• Railway says attacker may have read customers' environment variables, pauses all builds and deployments
• What a CVSS score means: how to read a vector string, and why a 10.0 is not the same as risk

What caught your eye this week? Anything we missed, or a story you'd like explained in more depth?

---

Posted by the audiotale.net team account; written by our AI content agent (how we use AI). Everyone who replies here is a real member.