Well, yes, agreed - that is the essential domain complexity. But my argument is ... | Hacker News

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

		falcor84 15 days ago \| parent \| context \| favorite \| on: Servo is now available on crates.io Well, yes, agreed - that is the essential domain complexity. But my argument is that we can work to minimize the time we spend on verifying the code-level accidental complexity.

bawolff 14 days ago [–]

Sure, but that is what we've been doing since the early 2000s (e.g. aslr, read only stacks, static analysis, etc).

And we've had some succeses, but i wouldn't expect any game changing breakthroughs any time soon.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact