The Curious Engineer

All blogs / Distributed systems / cloud

Martin Kleppmann's blog

martin.kleppmann.com

Distributed systems / cloudSecurityDatabases

’10’15’20’25
Posts
260 from 1 Apr 2007 to 7 Oct 2026
Posting
monthly (10 in the last year)
Kind
personal blog
Feed
https://feeds.feedburner.com/martinkl?format=xml

2026 7

  1. Announcing the Centre for Cryptographic Trust Infrastructure (CCTI)
  2. 24 Sep 2026 at 45th International Symposium on Reliable Distributed Systems (SRDS)
  3. 12 Jul 2026 at Local-First Conference
  4. Emission Impossible: Cryptographically Verifiable Carbon Emissions Reporting for Cloud Computing
  5. Designing Data-Intensive Applications, 2nd Edition
  6. 17 Mar 2026 at QCon London
  7. 24 Feb 2026 at Local First (LoFi) meetup

2025 5

  1. Prediction: AI will make formal verification go mainstream
  2. The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing
  3. 02 Apr 2025 at 20th European Conference on Computer Systems (EuroSys)
  4. 31 Mar 2025 at 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)
  5. Kintsugi: Decentralized E2EE Key Recovery

2024 9

  1. Bluesky and the AT Protocol: Usable Decentralized Social Media
  2. Emission Impossible: privacy-preserving carbon emissions claims
  3. Pudding: user discovery for anonymity networks
  4. 30 May 2024 at Local-First Conference
  5. Pudding: Private User Discovery in Anonymity Networks
  6. Undo and Redo Support for Replicated Registers
  7. Extending JSON CRDTs with Move Operations
  8. 27 Feb 2024 at Local First (LoFi) meetup
  9. 2023 year in review

2023 8

  1. 06 Nov 2023 at IETF-118 Decentralization of the Internet Research Group
  2. 19 Oct 2023 at KASTEL Distinguished Lecture Series
  3. 27 Sep 2023 at ACM Tech Talks
  4. 22 Sep 2023 at Strange Loop
  5. 29 Jun 2023 at GOTO Amsterdam
  6. 28 Jun 2023 at Amsterdam |> Elixir
  7. Die Türme des Februar: Eine Musical-Adaption
  8. Upwelling: Combining real-time collaboration with version control for writers

2022 9

  1. Peritext: A CRDT for Collaborative Rich Text Editing
  2. Research for Practice: Convergence
  3. Verifying distributed systems with Isabelle/HOL
  4. Assessing the understandability of a distributed algorithm by tweeting buggy pseudocode
  5. 29 Apr 2022 at Have You Tried Rubbing A Database On It? (HYTRADBOI)
  6. Secret Colors: A Gentle Introduction to Cryptography
  7. 05 Apr 2022 at 9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)
  8. 28 Mar 2022 at RainbowFS final workshop
  9. Book Review: The Future of Fusion Energy

2021 15

  1. 07 Dec 2021 at 2nd International Workshop on Distributed Infrastructure for Common Good (DICG)
  2. 25 Nov 2021 at Computer Laboratory Systems Research Group Seminars
  3. Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees
  4. 07 Oct 2021 at Protocol Labs ConsensusDays
  5. A highly-available move operation for replicated trees
  6. Several podcast interviews
  7. Rollercoaster: An Efficient Group-Multicast Scheme for Mix Networks
  8. 16 Jul 2021 at 14th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs)
  9. 02 Jul 2021 at Keynote at 15th ACM International Conference on Distributed and Event-based Systems (DEBS)
  10. 14 Jun 2021 at emergenCITY “Software and Resilience” Workshop
  11. 04 Jun 2021 at Craft Conference
  12. 04 May 2021 at Emerging Technologies for the Enterprise (Philly ETE)
  13. It's time to say goodbye to the GPL
  14. Building the future of computing, with your help
  15. Decentralised content moderation

2020 9

  1. Using Bloom filters to efficiently synchronise hash graphs
  2. Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases
  3. New courses on distributed systems and elliptic curve cryptography
  4. Implementing Curve25519/X25519: A Tutorial on Elliptic Curve Cryptography
  5. Writing a book: is it worth it?
  6. 06 Jul 2020 at Hydra distributed computing conference
  7. 27 Apr 2020 at 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)
  8. PushPin: Towards Production-Quality Peer-to-Peer Collaboration
  9. A brief Brexit lament

2019 17

  1. 08 Nov 2019 at Code Mesh
  2. Research update for 2019
  3. Local-first software: You own your data, in spite of the cloud
  4. 02 Oct 2019 at Tagung über Tonke Dragts Jugendromane
  5. 14 Sep 2019 at Strange Loop
  6. Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing
  7. 11 Jul 2019 at Hydra distributed computing conference
  8. Figuring out the future of distributed data systems (interview)
  9. 07 Jun 2019 at TNG Big Techday
  10. 04 Jun 2019 at Hochschule Aalen
  11. 15 May 2019 at LightKone workshop on Verification, Security and Antidote
  12. 15 May 2019 at TU Kaiserslautern
  13. 13 May 2019 at Kafka Summit London
  14. Online Event Processing: Achieving consistency where distributed transactions have failed
  15. Ghost trace on the wire? Using key evidence for informed decisions
  16. 03 Apr 2019 at University of Cambridge Department of Computer Science and Technology
  17. 25 Mar 2019 at 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)

2018 14

  1. 02 Nov 2018 at Velocity London
  2. 17 Oct 2018 at Kafka Summit
  3. 26 Sep 2018 at Distributed Computing and Analytics Workshop
  4. 12 Sep 2018 at MobiUK
  5. 27 Jul 2018 at LADIS
  6. 24 May 2018 at J on the Beach
  7. OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
  8. 10 May 2018 at Craft Conference
  9. OpSets: Sequential Specifications for Replicated Datatypes (Proof Document)
  10. 20 Mar 2018 at 26th International Workshop on Security Protocols
  11. Apache Samza
  12. 05 Mar 2018 at QCon London
  13. 26 Feb 2018 at Dagstuhl Seminar 18091
  14. Should you put several event types in the same Kafka topic?

2017 8

  1. Verifying Strong Eventual Consistency in Distributed Systems
  2. 23 Oct 2017 at Polyglot Vancouver
  3. A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes
  4. 19 Jun 2017 at Curry On
  5. A Conflict-Free Replicated JSON Datatype
  6. Designing Data-Intensive Applications
  7. Drawing a map of distributed data systems
  8. The probability of data loss in large clusters

2016 13

  1. 15 Nov 2016 at GOTO Berlin
  2. 03 Nov 2016 at Code Mesh
  3. 26 Oct 2016 at University of Cambridge Computer Laboratory
  4. 16 Sep 2016 at Strange Loop
  5. Data Governance and Modern Computer Systems
  6. Making Sense of Stream Processing
  7. Announcing TRVE DATA: Placing a bit less trust in the cloud
  8. Device security and the FBI
  9. 07 Mar 2016 at QCon London
  10. 04 Mar 2016 at University of Cambridge
  11. Should law enforcement services have a backdoor into smartphones?
  12. How to do distributed locking
  13. 29 Jan 2016 at Domain Driven Design Europe

2015 33

  1. My year 2015 in review
  2. Kafka, Samza and the Unix philosophy of distributed data
  3. 08 Dec 2015 at 9th International Conference on Passwords
  4. 13 Nov 2015 at All Your Base
  5. The Investigatory Powers Bill would increase cybercrime
  6. 06 Nov 2015 at Øredev
  7. 05 Nov 2015 at Øredev
  8. 04 Nov 2015 at Code Mesh
  9. 30 Oct 2015 at Crunch Conference
  10. The Recurse Center and the joy of learning
  11. 30 Sep 2015 at Strata + Hadoop World
  12. 28 Sep 2015 at Recurse Center
  13. 26 Sep 2015 at Strange Loop
  14. 25 Sep 2015 at Strange Loop
  15. A critique of the CAP theorem
  16. Kafka, Samza, and the Unix philosophy of distributed data
  17. 05 Aug 2015 at UK Hadoop Users Group
  18. 08 Jul 2015 at Papers We Love
  19. 05 Jun 2015 at UK Government Digital Service
  20. 02 Jun 2015 at Berlin Buzzwords
  21. Using logs to build a solid data infrastructure (or: why dual writes are a bad idea)
  22. Please stop calling databases CP or AP
  23. 06 May 2015 at Strata + Hadoop World
  24. 24 Apr 2015 at Craft Conf
  25. Bottled Water: Real-time integration of PostgreSQL and Kafka
  26. Real-time full-text search with Luwak and Samza
  27. 05 Mar 2015 at Imperial College London
  28. Turning the database inside-out with Apache Samza
  29. 11 Feb 2015 at Salesforce.com
  30. 04 Feb 2015 at Jfokus
  31. 31 Jan 2015 at FOSDEM (Open Source Search Room)
  32. Stream processing, Event sourcing, Reactive, CEP… and making sense of it all
  33. 24 Jan 2015 at /dev/winter

2014 17

  1. Wouldn’t it be fun to build your own Google?
  2. 02 Dec 2014 at Unified Log London
  3. Hermitage: Testing the “I” in ACID
  4. 18 Nov 2014 at Budapest Big Data meetup
  5. 18 Nov 2014 at ApacheCon Europe
  6. 13 Nov 2014 at Imperial College London LSDS group
  7. 12 Nov 2014 at University of Cambridge Computer Laboratory
  8. 30 Oct 2014 at STAC Summit
  9. 28 Oct 2014 at Span conference
  10. 16 Oct 2014 at Strata + Hadoop World
  11. 18 Sep 2014 at Strange Loop
  12. Hey, I'm writing a book!
  13. Upcoming conference talks about Samza
  14. 27 May 2014 at Berlin Buzzwords
  15. 13 May 2014 at University of Cambridge Computer Laboratory, Business Studies Seminars
  16. 03 Apr 2014 at AHL (Man Group)
  17. Six things I wish we had known about scaling

2013 4

  1. LinkedIn Intro: Doing the Impossible on iOS
  2. System operations over seven centuries
  3. Improving the security of your SSH private key files
  4. 11 Jan 2013 at Wonga

2012 4

  1. Schema evolution in Avro, Protocol Buffers and Thrift
  2. The complexity of user experience
  3. Rethinking caching in web apps
  4. Java's hashCode is not safe for distributed systems

2011 4

  1. My FounderLY interview
  2. Evolution of Rapportive's new design
  3. What's so special about Y Combinator?
  4. Accounting for Computer Scientists

2010 9

  1. Having a launched product is hard
  2. Intuition has no transfer encoding
  3. Good things are hard to articulate
  4. 31 May 2010 at RailsWayCon
  5. Valuation caps on convertible notes, explained with graphs
  6. Our social future
  7. Hey, what happened just then?
  8. Learning about our customers
  9. How to negotiate a price: Return on Indignation

2009 22

  1. How we totally ignored our customers
  2. 12 Dec 2009 at Ruby Manor 2: Manor Harder
  3. My first exit
  4. Ending Browser Pain on the Startup Success Podcast
  5. 10 Crucial Questions for B2B Startup Founders: A Workshop at Business of Software 2009
  6. Running a Workshop for Startup Founders
  7. Update on Go Test It
  8. The Python Paradox is now the Scala Paradox
  9. How to pull off a slick tech demo (in 5 easy steps)
  10. 24 Jul 2009 at Rails Underground
  11. Should you go beyond relational databases?
  12. Customer testimonial: Bid for Wine
  13. Building Go Test It: Fun with Scala and REST APIs
  14. My talk on the Invoicing Gem 0.2
  15. 20 Apr 2009 at London Ruby User Group (LRUG)
  16. Managing Meta: Thoughts on focus and priorities
  17. Doing a PhD
  18. OAccounts - Setting your accounts data free
  19. Ruby Invoicing Gem released
  20. CamCow (Cambridge Coworking) Update
  21. Flickr API security weakness, and thoughts about web APIs in general
  22. Bupa's 'Quitclock' Facebook app now online

2008 31

  1. Looking back at 2008, Plans for 2009
  2. i18n and social web: We still haven't figured it out
  3. How to meet interesting people in Cambridge
  4. The most boring topic in the world (except for the Terry Pratchett references)
  5. Coworking: Amazing
  6. Bid for Wine is up and running
  7. Load/performance testing a Rails application with ApacheBench
  8. Implementing constrained rigid body simulation - source code now available
  9. Semantic web updates
  10. Selenium in real-world projects: Automated testing for web applications
  11. Bid for Wine, online wine auctions coming soon
  12. The Chronophage and a story about John Taylor
  13. BarCamp Brighton - Notes
  14. Comparing floating-point and decimal in Python
  15. Context-sensitive constructions in English
  16. Bug trackers and version control
  17. Ubuntu upgrade woes
  18. Hermann Bondi: Arrogance of certainty
  19. Ruby on Rails vs. Java Enterprise
  20. The Tour de France metaphor for entrepreneurship
  21. Do-it-yourself 3G iPhone
  22. On the importance of ambition
  23. How to learn to stop hating the cellular telephone industry
  24. Some mobile internet usage statistics
  25. A day of remembrance for the digitally excluded
  26. Update on German train ticket machines
  27. Bad usability calendar
  28. Potted plants and the mobile web
  29. The economic case for open source (for Google, Nokia etc.)
  30. iPhone specific web sites -- do they make sense?
  31. Imitating the iPhone User Agent in Firefox

2007 21

  1. Christmas, political correctness and cultural identity
  2. The Camden Food Co.: Inspired customer service
  3. Ept Computing's website re-launched
  4. Increasing user satisfaction on the mobile web: Technical considerations
  5. Trends 2008: Web access everywhere; e-commerce
  6. Mobile web design is so different from the desktop web
  7. Find my nearest toilet, curry, whatever
  8. Dream teams, team dreams
  9. Screenshots from Windows Vista Update
  10. Why the mobile web is so slow
  11. Android -- Google's throw-away mobile operating system
  12. Challenges of interface design for mobile devices
  13. This is not a review of the iPhone
  14. Future of Mobile conference
  15. Train ticket machines in Germany (UK vs. Germany Part 2)
  16. Blog coming back to life
  17. User experience importance is being recognised
  18. Train ticket machines -- UK vs. Germany (Part 1)
  19. Usability aspects of gas cookers
  20. Yes/No/Cancel causes Aspirin sales to soar
  21. Simulation of colliding constrained rigid bodies

Undated 1

  1. 09 Dec 2026 at 30th Conference on Principles of Distributed Systems (OPODIS)