📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

Why Sodium-Ion Batteries are Terrible for Solar Storage
hackaday.com·6d
⚙️Systems Programming
Flag this post
Amazon says it didn’t cut 14,000 people because of money.
cnn.com·6d·
Discuss: Hacker News, Hacker News
🤖ai
Flag this post