What I've Learned About Formal Methods in Half a Year

Re:What I've Learned About Formal Methods in Half a Year by nh23423fefe on Monday April 10, 2023 @11:16AM (#35513335)

> if we

Who is this we? The people who understand mashed with the ignorant who put in no work?

> to democratise

So that those in the know can be further diluted with dabblers who contribute nothing and complain about their ignorance?

[ Parent | on HN ]

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 ]

Re:What I've Learned About Formal Methods in Half a Year by UncleEntity on Monday April 10, 2023 @12:19PM (#35514042)

Yep, like the olden days where the only people “in the know” knew Latin. Or, before that, Greek.

Then someone had to come along and invent the printing press.

[ Parent | on HN ]

Re:What I've Learned About Formal Methods in Half a Year by Joker_vD on Monday April 10, 2023 @12:28PM (#35514128)

> Or, before that, Greek.

Greek (or koine, for that matter) was pretty much street vernacular in the Roman/Byzantine empire during that period you're likely talking about.

[ Parent | on HN ]