Formal Verification: A Bulwark Against the Rising Tide of AI Slop
2024-10-29
Quadratic Voting: A More Nuanced Way to Capture Preferences
2024-09-07
The Intersection of Economics and Code: Why Crypto Fascinates Me
2024-08-02