type/article.
- Typed Lambda Calculus / Calculus of Constructions
- Classic Papers in Programming Languages and Logic
- A complete guide to iconography
- How to Overcome Plateaus - Learn How To Learn
- Cheng Lou - "On the Spectrum of Abstraction" summarized transcript (React Europe 2016)
- Arbitrariness Costs
- Start With Simple Tools
- Always Measure One Level Deeper
- Software infrastructure 2.0: a wishlist · Erik Bernhardsson
- Writing Is Magic - Marc's Blog
- Idea Generation - Sam Altman