an automated way, as part of a tree-based harness. I haven't published the code ... | Hacker News

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

sterlind 4 months ago | parent | context | favorite | on: The foundations of a provably secure operating sys...

an automated way, as part of a tree-based harness. I haven't published the code yet but should hopefully be able to soon!

yjftsjthsd-h 4 months ago [–]

Could you point me at a blog or github or something I can follow to see it if you do publish?

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