News for hackers. Stuff that matters.

A comment on Ask HN: What startup/technology is on your 'to watch' list?. Parent comment

Re:Ask HN: What startup/technology is on your 'to watch' list? by phaedrus on Friday May 22, 2020 @11:36PM (#23279664)
Static analysis tools like PVS Studio are amazing. Software verification like CompCert where the compilation includes a certificate of correctness are farther away for C++ but will someday be usable for it.
[ Parent | on HN ]

There are no comments on this comment yet.