Someone should build proof-based invariant testing for software programs with a natural language interface.
Considering the conditions for progress in a noisy world
A living document laying out the best lessons I've learned about starting and operating a successful company
A practical introduction to how we make large language models take actions in the real world