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 flir on Monday April 10, 2023 @11:29AM (#35513508)
raises hand I'd like more tools that involve me putting in no work, please. They help me achieve my real-world goal faster.
[ Parent | on HN ]
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 ]