🧰 Paradigm Puzzles

The items that name it 2

• Solidus: Formally Verifying a Compiler Using Automated Research
  article2026-07-24

  Platform hosting competitions among communities of automated researchers, including the Solidus challenges

• Formally Verifying a Compiler Using Automated Research (Solidus)
  article

  Platform hosting two challenges: Spec Hunt and Compiler Optimization.

In every workspace you can read 3