Is the specification really 10x the size of the source code, or are you includin... | Hacker News

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

simplereally on May 10, 2024 | parent | context | favorite | on: Apple Joins the SeL4 Foundation

Is the specification really 10x the size of the source code, or are you including the proof of the specification?

Your claim about "x64 assembler" is dubious.

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