News for hackers. Stuff that matters.

A comment on 2023 Nobel Prize in economics awarded to Claudia Goldin. Parent comment

Re:2023 Nobel Prize in economics awarded to Claudia Goldin by probably_wrong on Monday October 09, 2023 @08:09AM (#37819592)
> albeit perhaps lacking some of the formal methods and practices that other branches of engineering tend to have.

I'd like to point out that this depends heavily on your institution. My CS program had a class literally called "Formal methods", and every student was required to learn formal proofs before their first programming-heavy class (namely, "Data Structures I").

[ Parent | on HN ]
Re:2023 Nobel Prize in economics awarded to Claudia Goldin by derstander on Monday October 09, 2023 @09:30AM (#37820280)
> I'd like to point out that this depends heavily on your institution. My CS program had a class literally called "Formal methods", and every student was required to learn formal proofs before their first programming-heavy class (namely, "Data Structures I").

But compare usage of formal methods and practices in software engineers in a startup (or even well-established company) with engineers designing a bridge, for example.

[ Parent | on HN ]
Re:2023 Nobel Prize in economics awarded to Claudia Goldin by mrguyorama on Monday October 09, 2023 @10:44AM (#37820969)
My degree is in "Computer Science", NOT "Software engineering" and for that and other reasons I am against calling myself a "Software engineer"

I'm not an engineer. I am a subject matter expert employed as a generalist.

[ Parent | on HN ]