🧰 better.codes

The items that name it 2

• Crypto's Quantum Defense Is Being Built in the Open
  article2026-10-14

  Challenge using AI agents to strengthen the mathematical proofs supporting post-quantum cryptography

• Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
  writeup2026-08-20

  Open autoresearch challenge platform with a public leaderboard where solvers push forward the machine-checked soundness bound of koalaIRS12 via a Lean kernel that checks every submission

In every workspace you can read 4