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

Not going to defend cryptocurrencies, but there's been huge explosion in formal methods research funded by the money chasing smart contracts and the like.


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: