News for hackers. Stuff that matters.

A comment on Edsger Dijkstra – The Man Who Carried Computer Science on His Shoulders. Parent comment

Re:Edsger Dijkstra – The Man Who Carried Computer Science on... by User23 on Saturday October 31, 2020 @01:11AM (#24949275)
Lamport is a giant and one of the greatest living computing scientists. He's also getting more and more Dijkstra-like. I say that with full admiration.
[ Parent | on HN ]
Re:Edsger Dijkstra – The Man Who Carried Computer Science on... by amw-zero on Saturday October 31, 2020 @05:01PM (#24955169)
Even if I don’t use it at work, learning TLA+ has changed the depth of my understanding of software.
[ Parent | on HN ]