The CompCert C Compiler

Re:The CompCert C Compiler by lisper on Sunday May 26, 2024 @08:58PM (#40486686)

> formal methods are worth it, but they're not a substitute for being careful.

Yes. Exactly this. I hereby dub this Tombert's law. :-)

[ Parent | on HN ]

Re:The CompCert C Compiler by tombert on Sunday May 26, 2024 @09:15PM (#40486768)

I'm honored! I always thought Tombert's Law would end up being something about cartoon trivia, so this is much better.

[ Parent | on HN ]

Re:The CompCert C Compiler by lisper on Sunday May 26, 2024 @09:17PM (#40486782)

I'm going to start listing it alongside my other favorite aphorism: Furious activity is no substitute for understanding. -- H.H. Williams

[ Parent | on HN ]