News for hackers. Stuff that matters.

A comment on Wat (2012) [video]. Parent comment

Re:Wat (2012) [video] by mhh__ on Sunday April 18, 2021 @08:55AM (#26852005)
If X is formally verifiable and conducive to writing testable, contractual code then yes.
[ Parent | on HN ]

There are no comments on this comment yet.