COQ
The Biggest Coq on the Robinhood Chain!
We Must Pace the Frontier: I’ve written a new essay on why the AI industry should slow down, with a three-part plan for doing so.