Martin Kleppmann
where else to find them
website:https://martin.kleppmann.com/
github:ept
bluesky:martin.kleppmann.com
mastodon:@martin@nondeterministic.computer
x:martinkl
speakerdeck:ept
what they talk about
all 9 in the filters
where they keep going back
- Strange Loop4 editions2014–2023
all 8 in the filters
on a stage with
- Diana Vasileonce
- Leo Stewenonce
- Liangrun Daonce
who talks about the same things
- Jonathan Martin8 talks
- Christopher S. Meiklejohn20 talks
- François René Rideau10 talks
- Dominic Tarr7 talks
- Constantin Enea14 talks
- Nathan Marz10 talks
| title | conference | date |
|---|---|---|
| Extending Automerge: Undo, Redo, and Move | PLF 2023 | 2023-10-22 |
Extends Automerge with a implemented move operation and a novel undo/redo algorithm for multi‑valued registers, claiming move validity requires no cycle and no… | ||
| New algorithms for collaborative text editing | Strange Loop 2023 | 2023-09-21 |
Prototype called Upwelling experimental editor builds real-time CRDT editing with explicit drafts and merges that behave like Git branches and rebases, and it… | ||
| Creating Local-First Collaboration Software with Automerge | GOTO Amsterdam 2023 | 2023-06-13 |
Local-first collaboration uses CRDTs to keep the primary copy on each device and syncs in background; Automerge is an open-source Rust library compiled to… | ||
| CRDTs: The hard parts | Hydra 2020 | 2020-07-06 |
Explains concrete failures and fixes for CRDT text and tree editors: shows interleaving anomalies that jumble concurrent inserts (Logoot and LSEQ fail… | ||
| Correctness proofs of distributed systems with Isabelle | Code Mesh LDN 2019 | 2019-11-07 |
Introduces a concrete Isabelle/HOL model of a simple consensus protocol (one acceptor, many proposers), implements proposer and acceptor step functions and a… | ||
| End-to-end encryption: Behind the scenes | Strange Loop 2016 | 2016-09-16 |
Explains how real systems combine RSA, HMAC and Diffie‑Hellman ratchets so Signal protocol and WhatsApp get forward secrecy and offline delivery using prekeys… | ||
| Transactions: Myths, Surprises and Opportunities | Code Mesh 2015 | 2015-11-03 |
Defines ACID precisely, shows read skew and write skew with concrete examples (bank transfer, ambulance on‑call), and demonstrates why two‑phase locking is… | ||
| Transactions: myths, surprises and opportunities | Strange Loop 2015 | 2015-09-24 |
Asserts that transactions are resurging with practical, scalable implementations: MVCC snapshot isolation (Postgres, MySQL) and optimistic conflict checks… | ||
| Change Data Capture: The Magic Wand We Forgot #bbuzz | Berlin Buzzwords 2015 | 2015-05-31 |
Change Data Capture extracts every committed row-level change from PostgreSQL 9.4 via logical decoding and streams it into Kafka using a small in-server plugin… | ||
| Turning the database inside out with Apache Samza | Strange Loop 2014 | 2014-09-17 |
Claim: turn the database inside out by making the immutable commit log the primary data model and building materialized views from it. Implementation uses… | ||
| Browser Testing | Ruby Manor 2: Manor Harder | 2009-12-12 |
Overview of automated browser testing options and practical pitfalls: compares Selenium (proxy mode), Watir and WebDriver drivers, and headless HTMLUnit, and… | ||
| nothing matches | ||