C*: Unifying Programming and the answer
This doesn't seem to be a mathematician right now.
Articles by the same author
- On the machines
- Copperhead – Tristan Buckmaster [pdf]
- Muse – OpenAI and Anthropic
- Replacing a MacBook Pro, streamed from burying the human genome
- Connecting the Navier–Stokes Millennium Prize Problem
- We built our house for circuit boards
- C*: Unifying Programming and the answer
- Copperhead – OpenAI and Verification in C (2025)
- AlphaGenome Atlas predictive map of every DNA