News for hackers. Stuff that matters.

A comment on Programming Languages Going Above and Beyond. Parent comment

Re:Programming Languages Going Above and Beyond by anonzzzies on Thursday June 29, 2023 @11:19AM (#36521582)
Yes, lot of formal verifications are (almost) free and most others are not. But if you at least take the free ones, why not…
[ Parent | on HN ]

There are no comments on this comment yet.