📐 Type Theory

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

A mathematician’s coming-of-age story.
mathwithbaddrawings.com·4d
🧮Theorem Proving
A Space Catapult with Interstellar Potential
centauri-dreams.org·17h·
Discuss: Hacker News
🔗Content Addressing
Dog Days
nathanlowell.com·1d
🎲ttrpgs
🪞 White Mirror - Reading Guide - Pt 0
defenderofthebasic.substack.com·16h·
Discuss: Substack
🧮Theorem Proving
The Best Fried Wontons (in my opinion)
chinesecookingdemystified.substack.com·1d·
Discuss: Substack
🔺Category Theory
The curvature of space
infinitelymore.xyz·5d
🔺Category Theory
Things to Come
andrewkrowe.wordpress.com·1d
🎲ttrpgs
Keep an Eye on Industrial Construction Spending
zeihan.com·1d
⚡Systems Programming
UBS FX Trades Were Too Good
bloomberg.com·3d·
Discuss: Hacker News
🔍Static Analysis
Overpriced Friends
fakenous.substack.com·6d·
Discuss: Substack
🔺Category Theory
ZK 381: Czech Pre-War Prototype Battle Rifle
forgottenweapons.com·4d
🔨Build Systems
Main / Allied Military Aircraft Part 1
navalgazing.net·5d
🔧Functional Programming
Cold water on Coldwater Creek
jackdevanney.substack.com·6d·
Discuss: Substack
🔧Functional Programming
What It Means to Be a State
zeihan.com·16h
🔗Content Addressing
ETI in our Datasets?
api.follow.it·6d
🔗Content Addressing
Can we make mosquitoes resist malaria?
denovo.substack.com·5d·
Discuss: Substack
🔧Functional Programming
How attention markets work
defenderofthebasic.substack.com·4d·
Discuss: Substack
🔺Category Theory
The Bots Will Work Together
bloomberg.com·2d·
Discuss: Hacker News
🔗Content Addressing
The Live Q&A Is Tomorrow + China’s Stance on Iran
zeihan.com·3d
🕸️WebAssembly
ETI in our Datasets?
centauri-dreams.org·6d
🔗Content Addressing