News for hackers. Stuff that matters.
Re:Ask HN: Why aren't we building a database of formally ver... by nawgz on Thursday March 04, 2021 @02:37PM (#26347107)
I mean, isn't the answer clear? It might be slick and theoretically beautiful, but no entrepreneur has managed to convince any portion of industry that it's worth money, so therefore no one pursues it

There are no comments on this comment yet.