Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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 :)





It'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.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: