yeah verifications part of the code syntax seems like a decent concept for such ... | Hacker News

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

zobzu on April 28, 2014 | parent | context | favorite | on: Muen Kernel: Trustworthy by Design – Correct By Co...

yeah verifications part of the code syntax seems like a decent concept for such cases

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