✳flâneur — a map of the web's best reading
Careers · Theorem
theorem.dev · 235 words · saved by 1 readers
Join Theorem — we’re building products to make software correct, understandable, and secure.
Join Us Theorem is a programming languages and AI lab. We expect that infinite time-horizon AI software engineering will be qualitatively different from faster human software engineering. To steer models doing work far beyond what any human has ever done, we do research and build products that scale correctness feedback to arbitrarily complex software development. Who we are We're a team of engineers and researchers who genuinely love software. We've developed cryptography which secures trillions of internet connections daily, built infrastructure powering billions of dollars of transactions,
Explore this link on the map →related reading
- LessWronglesswrong.com
- #define CTO OpenAIblog.gregbrockman.com
- AI safety technical research | Career review | 80,000 Hours80000hours.org
- GitHub · Change is constant. GitHub keeps you ahead. · GitHubgithub.com
- There's An AI For That® — The front page of AItheresanaiforthat.com
- Parsed | Custom, interpretable AI systems that continuously learnparsed.com
- Sequent: Scale and Automation for Higher Confidence in Alignment — Sequentsequent.org
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
- Jobs at Anthropicboards.greenhouse.io
- Talent Needs of Technical AI Safety Teams — LessWronglesswrong.com
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Computational Complexityblog.computationalcomplexity.org