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

Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.


Ah sorry I read your comment wrong. Yes I agree we can and do make probabilistic systems; we've just to date been using deterministic tools to do so.




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

Search: