📐 Type Theory

Dependent Types, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

The Future of US Monetary Policy + The Live Q&A Starts Soon!
zeihan.com·2d
🔗Content Addressing
Bet on or Against the Unicorns
bloomberg.com·4d·
Discuss: Hacker News
🔗Content Addressing
Key Economic Indicators to Watch: Retail Sales
zeihan.com·4d
🧠Memory Models
Q&A: Chinese Small Arms w/ Jason Clower from Type 56: The Story of China’s Army
forgottenweapons.com·6d
🔨Build Systems