How to do distributed locking (2016)(martin.kleppmann.com)

92 points by thealig 3 years ago | 7 comments

Accounting for Computer Scientists (2011)(martin.kleppmann.com)

167 points by tosh 9 months ago | 64 comments

Accounting for computer scientists (2011)(martin.kleppmann.com)

170 points by Anon84 3 years ago | 34 comments

Turning the database inside-out (2015)(martin.kleppmann.com)

180 points by andection 1 year ago | 80 comments

David Kahn has died(schneier.com)

75 points by mikece 2 years ago | 10 comments

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.