У Мартина ещё есть лекции по распределённым системам. Как для введения в тему, достаточно классные (Lamport clocks, time synchronization protocols, happens before in distributed systems, raft protocol etc )
еще набор курсов/работ по crdt, и local first software. А весь список его статей он на сайте публикует - https://martin.kleppmann.com/ , но мне больше всего нравится crdt