Algorithms
- Implementing A Lock Free Queue With Memory Reclamation Using Epoch Based Reclamation
· 2025-02-21
A comprehensive technical exploration of implementing a lock free queue with memory reclamation using epoch based reclamation, covering key concepts, practical implementations, and real-world applications.
- The Paxos Vs. Raft Debate: A Practical Implementation And Performance Comparison
· 2025-02-21
A comprehensive technical exploration of the paxos vs. raft debate: a practical implementation and performance comparison, covering key concepts, practical implementations, and real-world applications.
- Write Ahead Logging Under The Hood: Designing A Durable Wal For An Lsm Tree Storage Engine
· 2025-02-04
A comprehensive technical exploration of write ahead logging under the hood: designing a durable wal for an lsm tree storage engine, covering key concepts, practical implementations, and real-world applications.
- Taming Tail Latency In Microservices: A Deep Dive Into Request Coalescing And Hedged Requests
· 2025-01-30
A comprehensive technical exploration of taming tail latency in microservices: a deep dive into request coalescing and hedged requests, covering key concepts, practical implementations, and real-world applications.
- Zero Knowledge Proofs In Practice: Implementing Zk Snarks For Privacy Preserving Transactions
· 2025-01-21
A comprehensive technical exploration of zero knowledge proofs in practice: implementing zk snarks for privacy preserving transactions, covering key concepts, practical implementations, and real-world applications.
- Building A Jit Compiler For A Subset Of Python Using Llvm
· 2025-01-07
A comprehensive technical exploration of building a jit compiler for a subset of python using llvm, covering key concepts, practical implementations, and real-world applications.
- The Mathematics Of Raft: Formal Verification Of Leader Election In Distributed Consensus
· 2025-01-07
A comprehensive technical exploration of the mathematics of raft: formal verification of leader election in distributed consensus, covering key concepts, practical implementations, and real-world applications.
- Implementing A Custom Bittorrent Client From Scratch: Protocol Analysis And Optimization
· 2025-01-04
A comprehensive technical exploration of implementing a custom bittorrent client from scratch: protocol analysis and optimization, covering key concepts, practical implementations, and real-world applications.
- Designing A Wait Free Concurrent Hash Table With Hazard Pointers
· 2025-01-01
A comprehensive technical exploration of designing a wait free concurrent hash table with hazard pointers, covering key concepts, practical implementations, and real-world applications.
- Designing A Privacy Preserving Ad Exchange Using Differential Privacy And Secure Aggregation
· 2024-12-29
A comprehensive technical exploration of designing a privacy preserving ad exchange using differential privacy and secure aggregation, covering key concepts, practical implementations, and real-world applications.
- The Complexity Of The N Queens Problem: Backtracking With Heuristics And Symmetry Elimination
· 2024-12-26
A comprehensive technical exploration of the complexity of the n queens problem: backtracking with heuristics and symmetry elimination, covering key concepts, practical implementations, and real-world applications.
- A Formal Proof Of The Dolev Yao Model For Security Protocol Analysis With Strand Spaces
· 2024-12-22
A comprehensive technical exploration of a formal proof of the dolev yao model for security protocol analysis with strand spaces, covering key concepts, practical implementations, and real-world applications.
- Building A Network Function Virtualization (Nfv) With Dpdk For Kernel Bypass And Poll Mode Drivers
· 2024-12-19
A comprehensive technical exploration of building a network function virtualization (nfv) with dpdk for kernel bypass and poll mode drivers, covering key concepts, practical implementations, and real-world applications.
- The Mathematics Of The Elliptic Curve Method For Integer Factorization (Ecm): Edwards Curves And Stage 1/2
· 2024-12-12
A comprehensive technical exploration of the mathematics of the elliptic curve method for integer factorization (ecm): edwards curves and stage 1/2, covering key concepts, practical implementations, and real-world applications.
- Implementing A Distributed Data Grid With Replication And Partitioning: Hazelcast Topology
· 2024-12-09
A comprehensive technical exploration of implementing a distributed data grid with replication and partitioning: hazelcast topology, covering key concepts, practical implementations, and real-world applications.
- The Performance Of The Salsa20 Stream Cipher Vs. Chacha20 In Modern Processors
· 2024-12-09
A comprehensive technical exploration of the performance of the salsa20 stream cipher vs. chacha20 in modern processors, covering key concepts, practical implementations, and real-world applications.
- A Deep Dive Into The Cmac Authentication Algorithm: Cbc Mac With A Cryptographic Key Variation
· 2024-12-05
A comprehensive technical exploration of a deep dive into the cmac authentication algorithm: cbc mac with a cryptographic key variation, covering key concepts, practical implementations, and real-world applications.
- Designing A Distributed Software Transactional Memory (Stm) Using Lazy Snapshot And Commute Op
· 2024-12-03
A comprehensive technical exploration of designing a distributed software transactional memory (stm) using lazy snapshot and commute op, covering key concepts, practical implementations, and real-world applications.
- The Complexity Of The Longest Common Subsequence: Space Optimized Dp And O(Nlogn) With Lis Transformation
· 2024-12-01
A comprehensive technical exploration of the complexity of the longest common subsequence: space optimized dp and o(nlogn) with lis transformation, covering key concepts, practical implementations, and real-world applications.
- Building A Serverless Function Orchestrator With Workflow Dag And Checkpointing
· 2024-11-24
A comprehensive technical exploration of building a serverless function orchestrator with workflow dag and checkpointing, covering key concepts, practical implementations, and real-world applications.
- The Theory Of Online Bipartite Matching: Ranking And Balance Algorithms For Adwords
· 2024-11-22
A comprehensive technical exploration of the theory of online bipartite matching: ranking and balance algorithms for adwords, covering key concepts, practical implementations, and real-world applications.
- A Rigorous Analysis Of The Lru K Page Replacement Algorithm: Historical Buffer With Sorting
· 2024-11-18
A comprehensive technical exploration of a rigorous analysis of the lru k page replacement algorithm: historical buffer with sorting, covering key concepts, practical implementations, and real-world applications.
- Implementing A Graph Coloring For Register Allocation With Chaitin Briggs And Iterated Register Coalescing
· 2024-11-15
A comprehensive technical exploration of implementing a graph coloring for register allocation with chaitin briggs and iterated register coalescing, covering key concepts, practical implementations, and real-world applications.
- The Algorithm For The Minimum Cost Flow Using Successive Shortest Path With Potentials
· 2024-10-30
A comprehensive technical exploration of the algorithm for the minimum cost flow using successive shortest path with potentials, covering key concepts, practical implementations, and real-world applications.