Stars
A statically typed, functional-first programming language for reliable LLM-generated programs.
A community database for the problems on the erdosproblems.com site
The agent that grows with you
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
This is the Superseed brand kit, you'll find the details of how to use our brand assets, and how we use them.