News for hackers. Stuff that matters.

A comment on Software 2.0. Parent comment

Re:Software 2.0 by marginalia_nu on Tuesday February 21, 2023 @11:33AM (#34883084)
Formal verification of software has been around for a while though.
[ Parent | on HN ]
Re:Software 2.0 by staunton on Tuesday February 21, 2023 @01:52PM (#34885168)
Which has almost never been used to build software anyone ever used... That might be changing very slowly
[ Parent | on HN ]