News for hackers. Stuff that matters.

A comment on Closing Keynote with Leslie Lamport at Scale 22x: Coding Isn't Programming. Parent comment

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by smusamashah on Tuesday March 25, 2025 @09:04AM (#43470697)
What exactly was he angry at?
[ Parent | on HN ]
Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by anonzzzies on Tuesday March 25, 2025 @09:11AM (#43470773)
People writing software without proper foundations of logic and proofs. Which was by then quite 'common' (now it's normal of course).
[ Parent | on HN ]