About
- 2017-2018: Systematic Program Design
- 2019-2020: Program Specification and Verification
- 2021-22:
- Founded Reckless Labs with Dhruv Aggarwal; launched the Wicked Craniums.
- 2023-2024:
- Wise Counsel, Wired
Quotes
- Programs must be written for people to read, and only incidentally for machines to execute — Harold Abelson
- Believe in yourself to the point of delusion — Sam Altman
- Make definite assertions. Avoid tame, colorless, hesitating, non-committal language — William Strunk Jr.
- Work on raising the ceiling, not the floor — Nat Friedman