Closing Keynote with Leslie Lamport at Scale 22x: Coding Isn't Programming

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by MattSayar on Tuesday March 25, 2025 @01:50PM (#43473985)

For those who think tl;dw here's a PDF of the talk linked on the page

https://www.socallinuxexpo.org/sites/default/files/presentat...

After reading the whole thing I'm not sure how the title describes the presentation.

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by anotherevan on Tuesday March 25, 2025 @05:55PM (#43476438)

450 page (slide) PDF. We need a tl;dr on the tl;dw.

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by forgotpwd16 on Tuesday March 25, 2025 @06:14PM (#43476606)

Some slides are just a series with text slowly revealed. If merge them down is <1/5 of this number (the page counting ends with 41 which should've been 42 since ending slide is distinct from previous).

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by forgotpwd16 on Tuesday March 25, 2025 @06:11PM (#43476586)

Presentation showcases how coding is just a part of programming, and at a point states it explicitly:

>Programming should be thinking followed by coding.

Maybe if nouns were switched, i.e. Programming Isn't Coding, will've been better.

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by MattSayar on Tuesday March 25, 2025 @07:15PM (#43477112)

Those words are nearly synonymous to me. Perhaps "Programming isn't thinking"?

[ Parent | on HN ]