Blog
Posts, notes, and articles.
Implementing A Lock Free Memory Pool With Epoch Based Reclamation For Hazard Pointer Mitigation
2022-12-14A comprehensive technical exploration of implementing a lock free memory pool with epoch based reclamation for hazard pointer mitigation, covering key concepts, practical implementations, and real-world applications.
The Performance Of Gpu Stream Assisted Asynchronous Multiplications For Deep Neural Networks
2022-12-09A comprehensive technical exploration of the performance of gpu stream assisted asynchronous multiplications for deep neural networks, covering key concepts, practical implementations, and real-world applications.
Garbage Collection Algorithms: From Mark-and-Sweep to ZGC
2022-11-22A comprehensive exploration of garbage collection algorithms, from classic mark-and-sweep to modern concurrent collectors like G1, Shenandoah, and ZGC. Learn how automatic memory management works and the trade-offs that shape collector design.
A Deep Dive Into The Cuda Thread Hierarchy And Memory Model: Global, Shared, Local, And Uniform
2022-11-21A comprehensive technical exploration of a deep dive into the cuda thread hierarchy and memory model: global, shared, local, and uniform, covering key concepts, practical implementations, and real-world applications.
Designing A Task Based Parallelism Runtime: Openmp Tasks, Dependencies, And Scheduling Algorithm
2022-11-12A comprehensive technical exploration of designing a task based parallelism runtime: openmp tasks, dependencies, and scheduling algorithm, covering key concepts, practical implementations, and real-world applications.
The Complexity Of Markov Decision Processes: Value Iteration Vs. Policy Iteration With Optimistic Initialization
2022-11-10A comprehensive technical exploration of the complexity of markov decision processes: value iteration vs. policy iteration with optimistic initialization, covering key concepts, practical implementations, and real-world applications.
Analytic Combinatorics: The Symbolic Method, Generating Functions, and Average-Case Algorithm Analysis
2022-11-09A rigorous exploration of analytic combinatorics—the symbolic method for deriving generating functions, singularity analysis, saddle-point asymptotics, and applications to average-case analysis of algorithms and random structures.
From Lru To Arc: A Technical Survey Of Cache Eviction Policies And Their Performance In Web Scale Distributed Caches
2022-10-30A comprehensive technical exploration of cache eviction policies, from LRU to ARC, covering their performance in web-scale distributed caches, key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Texas Hold’Em Poker Endgame: Nash Equilibrium And Cfr+ (Counterfactual Regret Minimization)
2022-10-28A comprehensive technical exploration of a rigorous analysis of the texas hold’em poker endgame: nash equilibrium and cfr+ (counterfactual regret minimization), covering key concepts, practical implementations, and real-world applications.
Implementing A Persistent Memory Log With Concurrency And Fault Recovery Across System Crashes
2022-10-26A comprehensive technical exploration of implementing a persistent memory log with concurrency and fault recovery across system crashes, covering key concepts, practical implementations, and real-world applications.
Additive Combinatorics: Szemerédi's Theorem, Sumset Inequalities, and Applications in Property Testing
2022-10-25A rigorous exploration of additive combinatorics—Szemerédi's theorem on arithmetic progressions, Plünnecke-Ruzsa inequalities, the Balog-Szemerédi-Gowers theorem, and their applications in property testing and pseudorandomness.
The Algorithm Of The Buddy Memory Allocation System: Binary Trees And O(1) Free Block Coalescing
2022-10-20A comprehensive technical exploration of the algorithm of the buddy memory allocation system: binary trees and o(1) free block coalescing, covering key concepts, practical implementations, and real-world applications.
Building A Custom Memory Allocator With Size Classes, Thread Caching, And Segregated Lists (Tcmalloc)
2022-10-17A comprehensive technical exploration of building a custom memory allocator with size classes, thread caching, and segregated lists (tcmalloc), covering key concepts, practical implementations, and real-world applications.
Designing A Buffer Pool With Prefetching And Replacement Policies: Statistical Lru, Fbr, And Lirs
2022-10-17A comprehensive technical exploration of designing a buffer pool with prefetching and replacement policies: statistical lru, fbr, and lirs, covering key concepts, practical implementations, and real-world applications.
Combinatorial Designs and Coding Theory: Block Designs, Steiner Systems, and Finite Geometry
2022-10-10An exploration of combinatorial design theory—block designs, Steiner systems, finite projective planes—and their deep connections to error-correcting codes and experimental design.
The Performance Of Memory Mapping Vs. Traditional Read/Write For Database Files On Modern Nvme Drives
2022-10-10A comprehensive technical exploration of the performance of memory mapping vs. traditional read/write for database files on modern nvme drives, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Sha 3 Sponge Construction: Keccak F Permutation, Padding, And Security Margins
2022-09-26A comprehensive technical exploration of a deep dive into the sha 3 sponge construction: keccak f permutation, padding, and security margins, covering key concepts, practical implementations, and real-world applications.
Tropical Geometry: Algorithmic Applications in Optimization, Phylogenetics, and Deep Learning
2022-09-15A rigorous exploration of tropical geometry—the min-plus semiring, tropical varieties, and the unexpected connections between algebraic geometry and combinatorial algorithms.
Implementing A Fully Homomorphic Encryption Scheme With Boosted Bootstrapping (Fhew/Tfhe)
2022-09-11A comprehensive technical exploration of implementing a fully homomorphic encryption scheme with boosted bootstrapping (fhew/tfhe), covering key concepts, practical implementations, and real-world applications.
Timeouts, Retries, and Idempotency Keys: A Practical Guide
2022-09-08Make your distributed calls safe under partial failure. How to budget timeouts, avoid retry storms, and use idempotency keys without shooting yourself in the foot.
Teaching GraphQL to Cache at the Edge
2022-09-03A deep dive into making GraphQL play nicely with edge caches without breaking declarative APIs.
The Complexity Of Lattice Reduction For Lwe: Basis Reduction Algorithms Bkz And G6K
2022-08-31A comprehensive technical exploration of the complexity of lattice reduction for lwe: basis reduction algorithms bkz and g6k, covering key concepts, practical implementations, and real-world applications.
Building A Side Channel Secure Elliptic Curve Scalar Multiplication Using Montgomery Ladder
2022-08-26A comprehensive technical exploration of building a side channel secure elliptic curve scalar multiplication using montgomery ladder, covering key concepts, practical implementations, and real-world applications.
Algebraic Geometry in Computer Science: Gröbner Bases, the Nullstellensatz, and Applications in Cryptography and Coding Theory
2022-08-21A rigorous exploration of how algebraic geometry—Gröbner bases, Hilbert's Nullstellensatz, and elliptic curves—powers modern cryptography, error-correcting codes, and complexity theory.