Blog
Posts, notes, and articles.
Implementing A Distributed Snapshot Algorithm For Global State Collection In Asynchronous Systems
2019-06-01A comprehensive technical exploration of implementing a distributed snapshot algorithm for global state collection in asynchronous systems, covering key concepts, practical implementations, and real-world applications.
Designing A Consistent Hashing With Bounded Loads Using Google’S Consistent Hashing With Sparse Representation
2019-05-23A comprehensive technical exploration of designing a consistent hashing with bounded loads using google’s consistent hashing with sparse representation, covering key concepts, practical implementations, and real-world applications.
The Microbenchmarking Of Rpc Frameworks: Grpc, Thrift, And Zeromq In High Latency Environments
2019-05-20A 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-14A 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-12A 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-11An 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-03A 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-19An 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-15A 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-13A 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-10A 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-09A 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-09A 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-01A 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-27A 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-25A 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-24A 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-16A 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-09A 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-08A 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-02A 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-27A 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-24A 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-23A 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.