News for hackers. Stuff that matters.

A comment on Is Something Bugging You?. Parent comment

Re:Is Something Bugging You? by svieira on Tuesday February 13, 2024 @10:11AM (#39358302)
A formal proof is only as good as what-you-are-proving maps to what-you-intended-to-prove.
[ Parent | on HN ]

There are no comments on this comment yet.