Blog
Posts, notes, and articles.
Designing A Dynamic Programming Optimized For The Knapsack Problem With Large Weights
2024-08-12A comprehensive technical exploration of designing a dynamic programming optimized for the knapsack problem with large weights, covering key concepts, practical implementations, and real-world applications.
The Complexity Of Minimum Spanning Tree On A Sparse Graph: Borůvka’S Algorithm And Parallelization
2024-08-11A comprehensive technical exploration of the complexity of minimum spanning tree on a sparse graph: borůvka’s algorithm and parallelization, covering key concepts, practical implementations, and real-world applications.
Lock-Free Data Structures: Concurrency Without the Wait
2024-07-18Explore how lock-free algorithms achieve thread-safe data access without traditional locks. Learn the theory behind compare-and-swap, the ABA problem, memory ordering, and practical implementations that power high-performance systems.
A Rigorous Analysis Of The Internal Hash Table In Redis: Hash Type With Ziplist And Dict
2024-07-13A comprehensive technical exploration of a rigorous analysis of the internal hash table in redis: hash type with ziplist and dict, covering key concepts, practical implementations, and real-world applications.
The Algorithm Of The Password Hashing Competition Winner Argon2: Memory Hard And Data Independent
2024-07-05A comprehensive technical exploration of the algorithm of the password hashing competition winner argon2: memory hard and data independent, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Mongodb Storage Engine: Wiredtiger’S B Tree Compression And Document Model
2024-06-28A comprehensive technical exploration of a deep dive into the mongodb storage engine: wiredtiger’s b tree compression and document model, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Search Engine With Inverted Index: Term Partitioning And Decentralized Crawling
2024-06-28A comprehensive technical exploration of building a distributed search engine with inverted index: term partitioning and decentralized crawling, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Virtual Machine For Smart Contracts: Evm Bytecode Execution And Gas Metre
2024-06-27A comprehensive technical exploration of the implementation of a virtual machine for smart contracts: evm bytecode execution and gas metre, covering key concepts, practical implementations, and real-world applications.
Amdahl’s Law vs. Gustafson’s Law: What They Really Predict
2024-06-15When does parallelism pay off? Compare Amdahl’s and Gustafson’s models, see where each applies, and learn how to reason about speedups in practice.
Designing A Cache Coherence Protocol For Cpu Gpu Heterogeneous Systems: Hsa With Unified Memory
2024-06-13A comprehensive technical exploration of designing a cache coherence protocol for cpu gpu heterogeneous systems: hsa with unified memory, covering key concepts, practical implementations, and real-world applications.
A Formal Proof Of The Ranked Pairs Voting System: Condorcet Efficiency And Complexity
2024-06-02A comprehensive technical exploration of a formal proof of the ranked pairs voting system: condorcet efficiency and complexity, covering key concepts, practical implementations, and real-world applications.
The Performance Of B Tree Vs. Lsm Tree On Write Intensive Workloads In Ssds
2024-06-02A comprehensive technical exploration of the performance of b tree vs. lsm tree on write intensive workloads in ssds, covering key concepts, practical implementations, and real-world applications.
Building A Reliable Udp Messaging Protocol: Packet Loss Recovery With Fec And Selective Acks
2024-05-22A comprehensive technical exploration of building a reliable udp messaging protocol: packet loss recovery with fec and selective acks, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Hungarian Algorithm For Assignment Problem: O(N^3) Implementation Details
2024-05-18A comprehensive technical exploration of the complexity of the hungarian algorithm for assignment problem: o(n^3) implementation details, covering key concepts, practical implementations, and real-world applications.
Implementing A Minimal Perfect Hash Function For Static Sets Using Seed Chord And Bucket Hashing
2024-05-09A comprehensive technical exploration of implementing a minimal perfect hash function for static sets using seed chord and bucket hashing, covering key concepts, practical implementations, and real-world applications.
Designing A Social Graph Recommendation Algorithm With Pagerank And Personalized Pagerank
2024-05-04A comprehensive technical exploration of designing a social graph recommendation algorithm with pagerank and personalized pagerank, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of The Birch Reduction: Min Wise Hashing For Document Similarity At Scale
2024-05-03A comprehensive technical exploration of the mathematics of the birch reduction: min wise hashing for document similarity at scale, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Voldemort Key Value Store: Partitioning, Replication, And Version Vectors
2024-04-30A comprehensive technical exploration of a deep dive into the voldemort key value store: partitioning, replication, and version vectors, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Time Series Data Store With Distributed B Tree: Architecture And Write Amplification
2024-04-23A comprehensive technical exploration of building a distributed time series data store with distributed b tree: architecture and write amplification, covering key concepts, practical implementations, and real-world applications.
The Performance Of Asynchronous Replication Vs. Synchronous Replication In Distributed Databases
2024-04-07A comprehensive technical exploration of the performance of asynchronous replication vs. synchronous replication in distributed databases, covering key concepts, practical implementations, and real-world applications.
A Rigorous Proof Of The Liveness Property In The Bakery Algorithm: Starvation Freedom And Fairness
2024-03-31A comprehensive technical exploration of a rigorous proof of the liveness property in the bakery algorithm: starvation freedom and fairness, covering key concepts, practical implementations, and real-world applications.
Concurrency Primitives and Synchronization: From Spinlocks to Lock-Free Data Structures
2024-03-15A comprehensive exploration of concurrent programming fundamentals, covering mutexes, spinlocks, semaphores, condition variables, memory ordering, and lock-free programming techniques that enable safe parallel execution.
Unicode and Character Encoding: From ASCII to UTF-8 and Beyond
2024-03-15A comprehensive guide to how computers represent text. Understand the evolution from ASCII through Unicode, the mechanics of UTF-8 encoding, and how to handle text correctly in modern software.
Interconnects: PCIe, CXL, NVLink, and the Emerging Composable-Disaggregated Architecture
2024-03-08A deep technical survey of modern interconnects—PCIe generations 1-6, CXL.io/cache/memory protocols, NVLink and NVSwitch—and how they enable composable-disaggregated infrastructure.