Theory

• The Microbenchmarking Of Rpc Frameworks: Grpc, Thrift, And Zeromq In High Latency Environments · 2019-05-20

  A comprehensive technical exploration of the microbenchmarking of rpc frameworks: grpc, thrift, and zeromq in high latency environments, covering key concepts, practical implementations, and real-world applications.

• Building A Distributed File System Inspired By Gfs: Master Architecture, Chunk Replication, And Leases · 2019-05-14

  A comprehensive technical exploration of building a distributed file system inspired by gfs: master architecture, chunk replication, and leases, covering key concepts, practical implementations, and real-world applications.

• Online Algorithms: Competitive Analysis, Ski Rental, Paging, and the Primal-Dual Method · 2019-05-12

  A thorough examination of online algorithms—decisions without foresight—through the lens of competitive analysis, from ski rental and paging to the k-server problem.

• Parameterized Complexity: FPT, the W-Hierarchy, Kernelization, and Bounded Search Trees · 2019-05-11

  An in-depth exploration of parameterized complexity theory—how structural parameters beyond input size can tame NP-hardness through FPT algorithms, kernelization, and the W-hierarchy.

• NP-Completeness: The Cook-Levin Theorem, Polynomial Reductions, and the Hardest Problems in NP · 2019-05-03

  A deep dive into the theory of NP-completeness—from Turing machines and the Cook-Levin theorem to the taxonomy of NP-complete problems and the P versus NP question.

• Linear Programming: Simplex Geometry, Duality, and the Interior-Point Revolution · 2019-04-19

  An exploration of linear programming from Dantzig's simplex method through von Neumann's duality to Karmarkar's interior-point breakthrough that reshaped optimization theory.

• Comparing Gossip Protocols For Failure Detection: Swim, Lifeguard, And Hybrid Approaches · 2019-04-15

  A comprehensive technical exploration of comparing gossip protocols for failure detection: swim, lifeguard, and hybrid approaches, covering key concepts, practical implementations, and real-world applications.

• Network Flow: From Ford-Fulkerson to Push-Relabel and the Max-Flow Min-Cut Theorem · 2019-04-13

  A rigorous journey through the algorithms that solve maximum flow—Ford-Fulkerson, Edmonds-Karp, Dinic, and Push-Relabel—together with the duality that binds flows to cuts.

• Implementing A Distributed Transactional Key Value Store With Optimistic Concurrency Control · 2019-04-10

  A comprehensive technical exploration of implementing a distributed transactional key value store with optimistic concurrency control, covering key concepts, practical implementations, and real-world applications.

• A Rigorous Proof Of The Cap Theorem And Its Implications For Distributed Database Design · 2019-04-09

  A comprehensive technical exploration of a rigorous proof of the cap theorem and its implications for distributed database design, covering key concepts, practical implementations, and real-world applications.

• The Design And Implementation Of A Distributed Rate Limiter Using Token Buckets And Gossip Protocols · 2019-04-09

  A comprehensive technical exploration of the design and implementation of a distributed rate limiter using token buckets and gossip protocols, covering key concepts, practical implementations, and real-world applications.

• Building A Linearizability Tester For Distributed Systems: Monotonic Reads And Writes In Jetpack · 2019-04-01

  A comprehensive technical exploration of building a linearizability tester for distributed systems: monotonic reads and writes in jetpack, covering key concepts, practical implementations, and real-world applications.

• Analyzing The Performance Of Two Phase Commit (2Pc) And Three Phase Commit (3Pc) In Geo Distributed Systems · 2019-03-27

  A comprehensive technical exploration of analyzing the performance of two phase commit (2pc) and three phase commit (3pc) in geo distributed systems, covering key concepts, practical implementations, and real-world applications.

• Implementing A Distributed Hash Table (Dht) Using Kademlia: Node Lookup, Routing, And Replication · 2019-03-25

  A comprehensive technical exploration of implementing a distributed hash table (dht) using kademlia: node lookup, routing, and replication, covering key concepts, practical implementations, and real-world applications.

• The Algorithmic Foundations Of Blockchain Consensus: Proof Of Work, Proof Of Stake, And Dag Based Approaches · 2019-03-24

  A comprehensive technical exploration of the algorithmic foundations of blockchain consensus: proof of work, proof of stake, and dag based approaches, covering key concepts, practical implementations, and real-world applications.

• Implementing A Lock Free Concurrent Hash Map: From Theoretical Foundations To Practical Performance Optimization In C++20 · 2019-03-16

  A comprehensive technical exploration of implementing a lock free concurrent hash map: from theoretical foundations to practical performance optimization in c++20, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into Corfu: A Distributed Shared Log With Object Storage And Multi Stripe Techniques · 2019-03-09

  A comprehensive technical exploration of a deep dive into corfu: a distributed shared log with object storage and multi stripe techniques, covering key concepts, practical implementations, and real-world applications.

• Building A Write Ahead Log From First Principles: Durability, Ordering, And Crash Recovery Strategies · 2019-03-08

  A comprehensive technical exploration of building a write ahead log from first principles: durability, ordering, and crash recovery strategies, covering key concepts, practical implementations, and real-world applications.

• Designing A Conflict Free Replicated Data Type (Crdt) For Collaborative Text Editing: Operational Transformation Vs. Crdt · 2019-03-02

  A comprehensive technical exploration of designing a conflict free replicated data type (crdt) for collaborative text editing: operational transformation vs. crdt, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Paxos With Multi Paxos And Fast Paxos: A Benchmarking Study Across Data Centers · 2019-02-27

  A comprehensive technical exploration of the performance of paxos with multi paxos and fast paxos: a benchmarking study across data centers, covering key concepts, practical implementations, and real-world applications.

• Implementing A Distributed Lock Service Using Redis Redlock And Its Consistency Guarantees Under Failures · 2019-02-24

  A comprehensive technical exploration of implementing a distributed lock service using redis redlock and its consistency guarantees under failures, covering key concepts, practical implementations, and real-world applications.

• A Comprehensive Analysis Of Zookeeper’S Zab Protocol: Atomic Broadcast And Recovery · 2019-02-23

  A comprehensive technical exploration of a comprehensive analysis of zookeeper’s zab protocol: atomic broadcast and recovery, covering key concepts, practical implementations, and real-world applications.

• Building A Sharded Database With Consistent Hashing: From Virtual Nodes To Rendezvous Hashing · 2019-02-08

  A comprehensive technical exploration of building a sharded database with consistent hashing: from virtual nodes to rendezvous hashing, covering key concepts, practical implementations, and real-world applications.

• Optimizing Distributed Join Algorithms For Large Scale Stream Processing With Apache Flink · 2019-02-05

  A comprehensive technical exploration of optimizing distributed join algorithms for large scale stream processing with apache flink, covering key concepts, practical implementations, and real-world applications.