News for hackers. Stuff that matters.

A comment on What computer and software is used by the Falcon 9? (2015). Parent comment

Re:What computer and software is used by the Falcon 9? (2015) by erikbye on Sunday May 31, 2020 @02:52PM (#23371659)
Is C++ code formally verified, e.g. with something like Coq?
[ Parent | on HN ]

There are no comments on this comment yet.