| | Please stop calling databases CP or AP (2015) (kleppmann.com) |
| 6 points by deadletterq 7 days ago | past | discuss |
|
| | Yes/No/Cancel causes Aspirin sales to soar (2007) (kleppmann.com) |
| 97 points by ankitg12 18 days ago | past | 76 comments |
|
| | Turning the database inside-out with Apache Samza (2015) (kleppmann.com) |
| 2 points by subset 45 days ago | past |
|
| | Accounting for Computer Scientists (2011) (kleppmann.com) |
| 187 points by tosh 8 months ago | past | 73 comments |
|
| | AI will make formal verification go mainstream (kleppmann.com) |
| 827 points by evakhoury 8 months ago | past | 434 comments |
|
| | AI will make formal verification go mainstream (kleppmann.com) |
| 6 points by mau 9 months ago | past | 4 comments |
|
| | Prediction: AI will make formal verification go mainstream (kleppmann.com) |
| 3 points by gritzko 9 months ago | past |
|
| | Martin Kleppmann Prediction: AI will make formal verification go mainstream (kleppmann.com) |
| 3 points by thomasweiser 9 months ago | past | 1 comment |
|
| | Prediction: AI will make formal verification go mainstream (kleppmann.com) |
| 10 points by raphlinus 9 months ago | past | 2 comments |
|
| | Pudding: User Discovery for Anonymity Networks (kleppmann.com) |
| 3 points by warrenm 12 months ago | past |
|
| | Please stop calling databases CP or AP (kleppmann.com) |
| 2 points by StefanBatory on May 16, 2025 | past |
|
| | Pudding: User discovery for anonymity networks (2024) (kleppmann.com) |
| 1 point by mooreds on May 6, 2025 | past |
|
| | Please stop calling databases CP or AP (kleppmann.com) |
| 2 points by fanf2 on April 11, 2025 | past |
|
| | Hermitage: Testing the "I" in ACID (2014) (kleppmann.com) |
| 2 points by lambdasmith on Feb 5, 2025 | past |
|
| | Turning the database inside-out (2015) (kleppmann.com) |
| 192 points by andection on Jan 26, 2025 | past | 95 comments |
|
| | How to do distributed locking (2016) (kleppmann.com) |
| 244 points by yusufaytas on Oct 20, 2024 | past | 95 comments |
|
| | Collaborative Text Editing with e.g.-Walker: Better, Faster, Smaller (kleppmann.com) |
| 1 point by NeutralForest on Sept 27, 2024 | past |
|
| | Writing a book: is it worth it? (2020) (kleppmann.com) |
| 2 points by graposaymaname on Sept 11, 2024 | past | 1 comment |
|
| | Pudding: User Discovery for Anonymity Networks (kleppmann.com) |
| 3 points by Tomte on July 5, 2024 | past |
|
| | Please stop calling databases CP or AP (2015) (kleppmann.com) |
| 1 point by Tomte on May 13, 2024 | past |
|
| | The Python Paradox is now the Scala Paradox (2009) (kleppmann.com) |
| 2 points by flyaway123 on Feb 22, 2024 | past |
|
| | 2023 Year in Review (kleppmann.com) |
| 1 point by luu on Feb 1, 2024 | past |
|
| | Martin Kleppmann – Year in Review (kleppmann.com) |
| 2 points by yawniek on Jan 4, 2024 | past |
|
| | Accounting for computer scientists (2011) (kleppmann.com) |
| 208 points by Anon84 on Oct 19, 2023 | past | 50 comments |
|
| | How to do distributed locking (2016) (kleppmann.com) |
| 103 points by thealig on May 12, 2023 | past | 18 comments |
|
| | How to do distributed locking (2016) (kleppmann.com) |
| 1 point by paulgb on Nov 10, 2022 | past |
|
| | Local-First Software: You Own Your Data, in Spite of the Cloud [pdf] (kleppmann.com) |
| 5 points by pabs3 on Oct 31, 2022 | past |
|
| | Writing a book: is it worth it? (kleppmann.com) |
| 2 points by luuuzeta on Oct 2, 2022 | past | 2 comments |
|
| | Accounting for Computer Scientists (kleppmann.com) |
| 2 points by elilev on Aug 17, 2022 | past |
|
| | How to do distributed locking (2016) (kleppmann.com) |
| 15 points by mooreds on July 16, 2022 | past | 3 comments |
|
|
| More |
