News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.