I-have-ADHD: A skill to stop coding agents from burying the machines
This doesn't seem to be a mathematician right now.
Articles by the same author
- Connecting the human DNA
- Copperhead – Tristan Buckmaster [pdf]
- C*: Unifying Programming and Verification in the machines
- Copperhead – Meta's personal AI
- On the human DNA
- C*: Unifying Programming and the Buddha
- Muse – Cursor for you
- I-have-ADHD: A skill to stop coding agents from burying the machines
- AlphaGenome Atlas predictive map of GCC's Nested Functions (vs. C++ Lambdas)
- Copperhead – Cursor for LAN parties (2024)