News for hackers. Stuff that matters.
Re:A taste of Coq and correct code by construction by trwaw on Sunday September 03, 2023 @07:41PM (#37375707)
We build a train and then someone asks to turn it into a skyscraper because skyscrapers are the in thing now and it already looks like one on its side.

There are no comments on this comment yet.