Search This Blog

MyDistributed.Systems

Notes on distributed systems, databases, and backend development

Pages

Posts
Videos

More…

Posts

Showing posts with the label TLA+

Show all

No results found

Powered by Blogger

Theme images by Deejpilot

Mohammad Roohitavaf: Ph.D. in Computer Science
Staff Software Engineer at LinkedIn

Visit profile

Disclaimer

I write this blog to motivate myself to learn more and document my findings. The articles you find here are not peer-reviewed.

The posts on this blog are my own and don’t necessarily represent my employers' positions, strategies, or opinions.

Blog Feed

Labels

AI
availability
books
C++
concurrency
Consensus
Consistency
data structures
Databases
Distributed Computing

Docker
Exercise
Formal Methods
Graph
ML
Model checking
NVMe
P
Paxos
Raft
SSD
Storage
TLA+
Transactions

Show more Show less