better.codes

Named by 2 kept items in this workspace.

1 items name it under classification.key entities and 1 under tools.

The items that name it 2

Crypto's Quantum Defense Is Being Built in the Open
articleas classification.key entities2026-10-14
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
articleas tools2026-08-20
open autoresearch challenge platform where solvers submit machine-checked proofs to raise the soundness bound of koalaIRS12 on a public leaderboard

In every workspace you can read 4

AI

Crypto's Quantum Defense Is Being Built in the Open
article2026-10-14
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
writeup2026-08-20

Security

Crypto's Quantum Defense Is Being Built in the Open
article2026-10-14
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
article2026-08-20

All technologies in this workspace.