martin.kleppmann.com on Hacker News

Yes/No/Cancel causes Aspirin sales to soar(martin.kleppmann.com)

56 points by ankitg12 2 months ago | 38 comments

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

167 points by tosh 9 months ago | 64 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.

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

180 points by andection 1 year ago | 80 comments

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

230 points by yusufaytas 2 years ago | 94 comments

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

170 points by Anon84 3 years ago | 34 comments

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

92 points by thealig 3 years ago | 7 comments