News for hackers. Stuff that matters.

A comment on What I've Learned About Formal Methods in Half a Year. Parent comment

Re:What I've Learned About Formal Methods in Half a Year by prisonguard on Monday April 10, 2023 @01:15PM (#35514651)
making thing obscure and less obvious is anti-intellectual, its getting harder and harder for new developers to gain a footing in software development

also why tools like chatGPT have gained so much popularity

[ Parent | on HN ]
Re:What I've Learned About Formal Methods in Half a Year by nh23423fefe on Monday April 10, 2023 @02:33PM (#35515663)
3 assertions with no implications
[ Parent | on HN ]