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 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 ]

There are no comments on this comment yet.