#security

  1. Agents of Chaos
  2. Claude proves 100+ open-source libraries can't crash

    Anthropic used Claude to write machine-checked proofs that real open-source libraries never crash on any input, at the level of the…

  3. Claude reveals the origins of the NIST elliptic-curve seeds

    A 29-year cryptography mystery, solved by an AI in under half an hour: the "random" seeds behind the NIST P-256 and related curves came…

  4. Muse (Meta's personal agent)

    Meta's consumer personal agent: it runs errands (shopping, booking, forms, email, even negotiating bills) from its own secure cloud…