3 ms·
Mechanism design for better trash economics is hard for the same reasons that making a good linearly typed programming language is hard. I'm not kidding :)
by Ericson2314 9mo ago
Mechanism design for better trash economics is hard for the same reasons that making a good linearly typed programming language is hard.
I'm not kidding :)
- jaggederest 9mo agoIt's funny because I'm working on a type theory first toy language as we speak... so you're not wrong, but I'm also foolish enough to be ambitious.