Sources

“Distributed Systems” course by csprimer.com <- interesting videos

distributed:

book “thinking in distributed systems”

book “understanding distributed systems”

book “Think Distributed Systems” (meap)

• Martin Kleppman course videos: https://www.youtube.com/playlist?list=PLeKd45zvjcDFUEv_ohr_HdUFe97RItdiB + pdf lecture notes
• DDiA by Kleppman
• https://martinfowler.com/articles/patterns-of-distributed-systems/
• https://www.the-paper-trail.org/post/2014-08-09-distributed-systems-theory-for-the-distributed-systems-engineer/
• MIT distributed systems course (quite good as it contains much practice) https://pdos.csail.mit.edu/6.824/schedule.html

https://muratbuffalo.blogspot.com/2020/06/learning-about-distributed-systems.html

Proofness https://martin.kleppmann.com/2022/10/12/verifying-distributed-systems-isabelle.html

TLA+ and model checking

“Specifying Systems” by Leslie Lamport https://lamport.azurewebsites.net/tla/industrial-use.html

https://medium.com/@polyglot_factotum/why-tla-is-important-for-concurrent-programming-365d9eeb491e

https://medium.com/@thesammiller/an-introduction-to-model-checking-with-tla-4898a8cccc5d

“Introduction to MC” https://www.youtube.com/watch?v=VHWEldcSx14&list=PLhZdSWbNhIbCQKxUta0VrDGg3gLguedIh

• bookmarks in dev folder
• Udi Dahan “advanced distributed system design”

https://aws.amazon.com/builders-library/challenges-with-distributed-systems/

https://aws.amazon.com/builders-library/avoiding-fallback-in-distributed-systems/

https://aws.amazon.com/builders-library/leader-election-in-distributed-systems

https://aws.amazon.com/builders-library/instrumenting-distributed-systems-for-operational-visibility

https://www.designgurus.io/blog/consistency-patterns-distributed-system

https://www.designgurus.io/course-play/grokking-the-advanced-system-design-interview/doc/12-split-brain

“Think Distributed Systems with Dominik Tornow”

“Distributed Algorithms” by Seif Haridi https://www.youtube.com/playlist?list=PL700757A5D4B3F368

books: tanenbaum, understanding distributed systems, thinking in distributed systems,

theorems,

article from one man, about distributed systems or db?

Gray Failures https://www.the-paper-trail.org/post/2020-04-19-gray-failures/