News for hackers. Stuff that matters.

A comment on Formal methods only solve half my problems.

Re:Formal methods only solve half my problems by ncmncm on Friday June 03, 2022 @08:43PM (#31615646)
Half would be damn good. Better would be solving the hard half.
[ Parent | on HN ]
Re:Formal methods only solve half my problems by dym_sh on Saturday June 04, 2022 @09:36AM (#31620161)
shrodinger's hard half – its always the one left unsolved
[ Parent | on HN ]