News for hackers. Stuff that matters.
Re:Ask HN: What are some good resources to learn safety-crit... by suprjami on Friday August 05, 2022 @04:04PM (#32361302)
This is a great reply. I'd never considered that part of this field was reverse engineering your own program to confirm the compiler actually emits what you asked it to.

There are no comments on this comment yet.