Absolutely. Anyway this gap is worth mentioning for deeper understanding of a ve... | Hacker News

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

unboxed_type on May 23, 2017 | parent | context | favorite | on: Writing correct lock-free and distributed stateful...

Absolutely. Anyway this gap is worth mentioning for deeper understanding of a verification problem.

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