News for hackers. Stuff that matters.
Re:A taste of Coq and correct code by construction by zmgsabst on Sunday September 03, 2023 @06:13PM (#37375105)
Turning a foam architectural model into a house without the required cost investment because the foam model was “so quick to make” feels like a frustratingly accurate description.

There are no comments on this comment yet.