2023
77 posts from 2023
The Theory Of Count Min Sketch With Conservative Update For Frequency Estimation Under Skewed Distributions
2023-12-31A comprehensive technical exploration of the theory of count min sketch with conservative update for frequency estimation under skewed distributions, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Data Stream Sampling Algorithm: Reservoir Sampling Vs. Priority Sampling
2023-12-26A comprehensive technical exploration of a rigorous analysis of the data stream sampling algorithm: reservoir sampling vs. priority sampling, covering key concepts, practical implementations, and real-world applications.
Implementing A Non Volatile Memory Friendly Hash Table: Nvhtm With Failure Atomic Operations
2023-12-18A comprehensive technical exploration of implementing a non volatile memory friendly hash table: nvhtm with failure atomic operations, covering key concepts, practical implementations, and real-world applications.
The Performance Of Multi Version Concurrency Control With Snapshot Isolation Under Contention
2023-12-14A comprehensive technical exploration of the performance of multi version concurrency control with snapshot isolation under contention, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Ginreth Blockchain: Parallel Evm And Trie Level Concurrency
2023-12-06A comprehensive technical exploration of a deep dive into the ginreth blockchain: parallel evm and trie level concurrency, covering key concepts, practical implementations, and real-world applications.
Building A Parameter Server For Federated Learning: Secure Aggregation And Client Selection
2023-11-17A comprehensive technical exploration of building a parameter server for federated learning: secure aggregation and client selection, covering key concepts, practical implementations, and real-world applications.
Designing A Resource Bundle Allocation With Bipartite Matching For Data Center Energy Optimization
2023-11-08A comprehensive technical exploration of designing a resource bundle allocation with bipartite matching for data center energy optimization, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Dynamic Pricing Algorithm For Cloud Spot Instances Using Reinforcement Learning
2023-11-04A comprehensive technical exploration of the complexity of the dynamic pricing algorithm for cloud spot instances using reinforcement learning, covering key concepts, practical implementations, and real-world applications.
A Formal Verification Of The Lamport’S Paxos Consensus Using The Tla+ Proof System
2023-10-28A comprehensive technical exploration of a formal verification of the lamport’s paxos consensus using the tla+ proof system, covering key concepts, practical implementations, and real-world applications.
Implementing A High Performance Hash Table Using Intel’S Tbb Concurrency And Fine Grained Locking
2023-10-23A comprehensive technical exploration of implementing a high performance hash table using intel’s tbb concurrency and fine grained locking, covering key concepts, practical implementations, and real-world applications.
The Design Of A B Tree With Wal For In Memory And On Disk Hybrid Storage (Sqlite Internals)
2023-10-20A comprehensive technical exploration of the design of a b tree with wal for in memory and on disk hybrid storage (sqlite internals), covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Disco Distributed File System: Erasure Coding Vs. Replication For Durability
2023-10-16A comprehensive technical exploration of a deep dive into the disco distributed file system: erasure coding vs. replication for durability, covering key concepts, practical implementations, and real-world applications.
Building A Lightweight Database Sharding Proxy Using Consistent Hashing And Connection Pooling
2023-10-16A comprehensive technical exploration of building a lightweight database sharding proxy using consistent hashing and connection pooling, covering key concepts, practical implementations, and real-world applications.
Sealing the Supply Chain: Zero-Trust Build Pipelines That Scale
2023-10-08An engineer’s map for rebuilding the software supply chain around zero-trust principles without stopping delivery.
Designing A Distributed Transaction Log With Raft Consensus: A Step By Step Implementation And Failure Testing In Go
2023-10-06A comprehensive technical exploration of designing a distributed transaction log with raft consensus: a step by step implementation and failure testing in go, covering key concepts, practical implementations, and real-world applications.
The Performance Of Jit Compilation For Dynamic Languages: Pypy’S Tracing Jit Vs. Naive Interpreter
2023-10-02A comprehensive technical exploration of the performance of jit compilation for dynamic languages: pypy’s tracing jit vs. naive interpreter, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Python Global Interpreter Lock (Gil): Effects On Multithreaded Performance
2023-09-30A comprehensive technical exploration of a rigorous analysis of the python global interpreter lock (gil): effects on multithreaded performance, covering key concepts, practical implementations, and real-world applications.
Implementing A Regular Expression Engine With Nfa Simulation And Lookahead Optimizations
2023-09-30A comprehensive technical exploration of implementing a regular expression engine with nfa simulation and lookahead optimizations, covering key concepts, practical implementations, and real-world applications.
Superscalar Processors: Register Renaming, Reorder Buffers, and How Modern Cores Extract ILP
2023-09-28A microarchitectural deep dive into superscalar execution: register renaming, the reorder buffer, reservation stations, and the issue queue, examining how Haswell, M1, and Zen4 extract instruction-level parallelism from sequential code.
The Complexity Of The Coin Change Problem: Dynamic Programming Vs. Greedy For Different Denominations
2023-09-28A comprehensive technical exploration of the complexity of the coin change problem: dynamic programming vs. greedy for different denominations, covering key concepts, practical implementations, and real-world applications.
Building A Ray Tracing Engine Using Kd Trees For Accelerated Nearest Neighbors In 3D Space
2023-09-27A comprehensive technical exploration of building a ray tracing engine using kd trees for accelerated nearest neighbors in 3d space, covering key concepts, practical implementations, and real-world applications.
Anonymous Communication: Onion Routing, Mix Networks, DC-Nets, and the Anonymity Trilemma
2023-09-25A rigorous analysis of anonymous communication systems from Tor's onion routing through mix networks like Loopix and Nym to DC-nets, exploring the anonymity trilemma and traffic analysis resistance.
File Systems and Storage Internals: How Data Persists on Disk
2023-09-22A comprehensive exploration of file system architecture, from inodes and directories to journaling and copy-on-write. Understand how operating systems organize, protect, and efficiently access persistent data.
Designing A Minimum Spanning Tree On A Graph With Euclidean Distances: Delaunay Triangulation And Prim’S
2023-09-19A comprehensive technical exploration of designing a minimum spanning tree on a graph with euclidean distances: delaunay triangulation and prim’s, covering key concepts, practical implementations, and real-world applications.
The Algorithmic Foundations Of Suffix Automaton: Construction And Applications In Substring Problems
2023-09-16A comprehensive technical exploration of the algorithmic foundations of suffix automaton: construction and applications in substring problems, covering key concepts, practical implementations, and real-world applications.
Smart Contract Security: Reentrancy, Front-Running, and Verification with Certora and Foundry
2023-09-15A rigorous treatment of smart contract vulnerabilities—reentrancy, integer overflow, front-running/sandwich attacks—and the modern verification toolkit including the Certora Prover and Foundry fuzzing framework.
Memory Allocators: From malloc to Modern Arena Allocators
2023-09-14A deep dive into memory allocation strategies, from the classic malloc implementations to modern arena allocators, jemalloc, tcmalloc, and custom allocators that power high-performance systems.
A Deep Dive Into The Radix Tree For Ip Routing: Trie Compression And Cam Emulation
2023-09-10A comprehensive technical exploration of a deep dive into the radix tree for ip routing: trie compression and cam emulation, covering key concepts, practical implementations, and real-world applications.
Implementing A Hardware Accelerated Crc32 Implementation Using Clmul Instruction Set
2023-09-01A comprehensive technical exploration of implementing a hardware accelerated crc32 implementation using clmul instruction set, covering key concepts, practical implementations, and real-world applications.
The Performance Of Systolic Arrays For Matrix Multiplication In Vision Transformers
2023-08-28A comprehensive technical exploration of the performance of systolic arrays for matrix multiplication in vision transformers, covering key concepts, practical implementations, and real-world applications.
Building An Efficient External Sort: Multiway Merge With Replacement Selection For Disk Bound Sorting
2023-08-27A comprehensive technical exploration of building an efficient external sort: multiway merge with replacement selection for disk bound sorting, covering key concepts, practical implementations, and real-world applications.
Designing An Online Algorithm For K Server With The Randomized Work Function Algorithm
2023-08-18A comprehensive technical exploration of designing an online algorithm for k server with the randomized work function algorithm, covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Maximum Cut Problem: Goemans Williamson Sdp Relaxation With Randomized Rounding
2023-08-03A comprehensive technical exploration of the complexity of the maximum cut problem: goemans williamson sdp relaxation with randomized rounding, covering key concepts, practical implementations, and real-world applications.
A Formal Proof Of The Lower Bound For 2 Approximation Of Vertex Cover Using Pcp Theorem
2023-07-28A comprehensive technical exploration of a formal proof of the lower bound for 2 approximation of vertex cover using pcp theorem, covering key concepts, practical implementations, and real-world applications.
Reverse Indexing and Inverted Files: How Search Engines Fly
2023-07-19Tokenization, postings lists, skip pointers, and WAND: a tour of the data structures that make full‑text search fast.
Implementing A Verifiable Secret Sharing Scheme Using Pedersen Commitments And Feldman’S Vss
2023-07-10A comprehensive technical exploration of implementing a verifiable secret sharing scheme using pedersen commitments and feldman’s vss, covering key concepts, practical implementations, and real-world applications.
Blockchain Consensus: Nakamoto Consensus, Casper FFG, Tendermint BFT, and the Safety-Liveness Tradeoff
2023-07-02A rigorous analysis of blockchain consensus protocols from PoW through PoS to BFT, exploring the fundamental safety-liveness tradeoff in permissionless settings and the role of finality gadgets.
The Mathematics Of Secure Multiparty Computation For Machine Learning: Beaver Triples And Oblivious Transfer
2023-07-01A comprehensive technical exploration of the mathematics of secure multiparty computation for machine learning: beaver triples and oblivious transfer, covering key concepts, practical implementations, and real-world applications.
Building A Privacy Preserving Contact Tracing System Using Bloom Filters And Cuckoo Hashing With Dp
2023-06-27A comprehensive technical exploration of building a privacy preserving contact tracing system using bloom filters and cuckoo hashing with dp, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Threshold Cryptography For Distributed Key Generation And Decryption
2023-06-18A comprehensive technical exploration of a deep dive into the threshold cryptography for distributed key generation and decryption, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Consensus With Asynchronous Byzantine Fault Tolerance (Honeybadgerbft)
2023-06-16A comprehensive technical exploration of implementing a distributed consensus with asynchronous byzantine fault tolerance (honeybadgerbft), covering key concepts, practical implementations, and real-world applications.
The Complexity Of The Gossip Based Membership Protocol: Λ Gossip, Push Pull, And Epidemic Dissemination
2023-06-13A comprehensive technical exploration of the complexity of the gossip based membership protocol: λ gossip, push pull, and epidemic dissemination, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Stability Of The Bittorrent Protocol Under Churn: Dht And Peer Selection
2023-06-09A comprehensive technical exploration of a rigorous analysis of the stability of the bittorrent protocol under churn: dht and peer selection, covering key concepts, practical implementations, and real-world applications.
Designing A Decentralized Identity System With Verifiable Credentials And Pseudonymity
2023-06-01A comprehensive technical exploration of designing a decentralized identity system with verifiable credentials and pseudonymity, covering key concepts, practical implementations, and real-world applications.
The Performance Of Crdts For Collaborative Text: Rga, Lseq, Treedoc, And Correctness Proofs
2023-05-15A comprehensive technical exploration of the performance of crdts for collaborative text: rga, lseq, treedoc, and correctness proofs, covering key concepts, practical implementations, and real-world applications.
A Comprehensive Look At Operational Transformation Control Algorithms: Ttf, Cc, And Jupiter With Tombstone
2023-05-10A comprehensive technical exploration of a comprehensive look at operational transformation control algorithms: ttf, cc, and jupiter with tombstone, covering key concepts, practical implementations, and real-world applications.
Implementing A Conflict Detection And Resolution System For Real Time Collaborative Editing (Ot)
2023-05-10A comprehensive technical exploration of implementing a conflict detection and resolution system for real time collaborative editing (ot), covering key concepts, practical implementations, and real-world applications.
Building A Deterministic Database With Calvin: Distributed Log, Lock Free Processing, And Configuration
2023-04-29A comprehensive technical exploration of building a deterministic database with calvin: distributed log, lock free processing, and configuration, covering key concepts, practical implementations, and real-world applications.
The Algorithm For Distributed Transactions In Fauna: Calvin With Snapshot Isolation And Commit Protocol
2023-04-29A comprehensive technical exploration of the algorithm for distributed transactions in fauna: calvin with snapshot isolation and commit protocol, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Google’S Spanner Database: Truetime, Two Phase Commit, And External Consistency
2023-04-23A comprehensive technical exploration of a deep dive into the google’s spanner database: truetime, two phase commit, and external consistency, covering key concepts, practical implementations, and real-world applications.
The Performance Of Log Replication In Raft Under High Throughput: Batching, Pipelining, And Pipelined Raft
2023-04-14A comprehensive technical exploration of the performance of log replication in raft under high throughput: batching, pipelining, and pipelined raft, covering key concepts, practical implementations, and real-world applications.
Implementing A Distributed Key Value Store With Strong Consistency And Elastic Scalability Using Raft
2023-04-12A comprehensive technical exploration of implementing a distributed key value store with strong consistency and elastic scalability using raft, covering key concepts, practical implementations, and real-world applications.
Designing A Time Bounded Consensus Protocol For Real Time Systems: Replicated State Machines With Deadlines
2023-04-07A comprehensive technical exploration of designing a time bounded consensus protocol for real time systems: replicated state machines with deadlines, covering key concepts, practical implementations, and real-world applications.
Formal Verification of Cryptographic Protocols: ProVerif, Tamarin, and the TLS 1.3 Verification Story
2023-04-06An exploration of the Dolev-Yao model, ProVerif and Tamarin provers, computational soundness results, and how formal methods proved TLS 1.3 secure before deployment.
Microarchitectural Attacks: Spectre, Meltdown, and the Transient Execution Apocalypse
2023-04-06A deep analysis of Spectre v1-v4, Meltdown, and the root cause in speculative execution, covering the endless cycle of mitigations and new attack variants that exploit the microarchitectural state.
Side-Channel Attacks: Timing, Power Analysis, Cache-Timing, and the Constant-Time Discipline
2023-04-04A rigorous exploration of side-channel cryptanalysis from Kocher's 1996 timing attack through differential power analysis to cache-timing attacks like Prime+Probe and Flush+Reload, with the countermeasure of constant-time programming.
The Complexity Of The Vector Clock Algorithm For Causal Ordering And Garbage Collection
2023-04-02A comprehensive technical exploration of the complexity of the vector clock algorithm for causal ordering and garbage collection, covering key concepts, practical implementations, and real-world applications.
A Rigorous Proof Of The Chandy Lamport Distributed Snapshot Algorithm For Channel State Capture
2023-04-01A comprehensive technical exploration of a rigorous proof of the chandy lamport distributed snapshot algorithm for channel state capture, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Actor Framework On Top Of Tcp: Messaging, Supervision, And Location Transparency
2023-04-01A comprehensive technical exploration of building a distributed actor framework on top of tcp: messaging, supervision, and location transparency, covering key concepts, practical implementations, and real-world applications.
Searchable Encryption: Querying Encrypted Databases, Forward Privacy, and the Leakage-Abuse Frontier
2023-03-31An in-depth analysis of symmetric searchable encryption from Curtmola et al. through forward privacy, leakage-abuse attacks, and the modern systems that balance security with performance.
Latency-Aware Edge Inference Platforms: Engineering Consistent AI Experiences
2023-03-12A full-stack guide to designing, deploying, and operating low-latency edge inference systems that stay predictable under real-world constraints.
The Algebraic Model Of The Actor Model: Mailboxes, Behavior, And Fail Silent Vs. Fail Stop Semantics
2023-03-08A comprehensive technical exploration of the algebraic model of the actor model: mailboxes, behavior, and fail silent vs. fail stop semantics, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A User Space Thread Library In Rust: Stack Allocation, Cooperative Yielding, And I/O Reactors
2023-03-04A comprehensive technical exploration of the implementation of a user space thread library in rust: stack allocation, cooperative yielding, and i/o reactors, covering key concepts, practical implementations, and real-world applications.
Format-Preserving Encryption: The FFX Mode, Rank-Encipher-Unrank, and Legacy Database Protection
2023-02-25A technical deep dive into FPE: the Feistel-based FFX mode with AES, the rank-encipher-unrank construction, and practical applications in encrypting legacy databases and tokenization systems without breaking schemas.
A Deep Dive Into The Linux Completely Fair Scheduler (Cfs): Red Black Tree, Virtual Runtime, And Group Scheduling
2023-02-19A comprehensive technical exploration of a deep dive into the linux completely fair scheduler (cfs): red black tree, virtual runtime, and group scheduling, covering key concepts, practical implementations, and real-world applications.
Keeping the Model Awake: Building a Self-Healing ML Inference Platform
2023-02-14A field report on taming production machine learning inference with proactive healing, adaptive scaling, and human empathy.
TCP Congestion Control: From Slow Start to BBR
2023-02-11A comprehensive exploration of TCP congestion control algorithms, from classic approaches like Tahoe and Reno to modern innovations like BBR. Learn how these algorithms balance throughput, fairness, and latency across diverse network conditions.
Floating Point: How Computers Represent Real Numbers
2023-02-08A deep exploration of IEEE 754 floating point representation, the mathematics behind binary fractions, precision limits, and the subtle bugs that can arise when working with real numbers in code.
Designing A Cache Coherent Non Uniform Memory Access (Ccnuma) Simulator For Algorithm Evaluation
2023-02-05A comprehensive technical exploration of designing a cache coherent non uniform memory access (ccnuma) simulator for algorithm evaluation, covering key concepts, practical implementations, and real-world applications.
The Performance Of Hardware Transactional Memory On Intel Haswell: Profiling Of Conflict Aborts And Commit Latency
2023-02-04A comprehensive technical exploration of the performance of hardware transactional memory on intel haswell: profiling of conflict aborts and commit latency, covering key concepts, practical implementations, and real-world applications.
Threshold Cryptography: Distributed Key Generation, Threshold ECDSA, and the Validator Use Case
2023-02-03A rigorous look at threshold cryptography from Shamir secret sharing through GJKR distributed key generation to modern threshold ECDSA and BLS signatures for blockchain validators.
Building A Concurrency Testing Framework Using Shashki’S Deterministic Replay And Schedule Reduction
2023-01-30A comprehensive technical exploration of building a concurrency testing framework using shashki’s deterministic replay and schedule reduction, covering key concepts, practical implementations, and real-world applications.
The Formal Semantics Of The Go Memory Model: Happens Before, Data Races, And Synchronization Primitives
2023-01-25A comprehensive technical exploration of the formal semantics of the go memory model: happens before, data races, and synchronization primitives, covering key concepts, practical implementations, and real-world applications.
Verifiable Delay Functions: Wesolowski, Pietrzak, and the Sequentiality Assumption
2023-01-21An exploration of VDFs from their cryptographic foundations through practical constructions, with emphasis on randomness beacons, blockchain consensus, and the sequential computation lower bounds.
Oblivious RAM and Private Information Retrieval: Hiding Access Patterns from the Storage Server
2023-01-10A comprehensive tour of ORAM and PIR: the square-root construction, tree-based Path ORAM, computational and information-theoretic PIR schemes, and the fundamental lower bounds that constrain the overhead.
Implementing A Non Blocking Universal Construction (Herlihy’S Method) Using Compare And Swap And Help First
2023-01-08A comprehensive technical exploration of implementing a non blocking universal construction (herlihy’s method) using compare and swap and help first, covering key concepts, practical implementations, and real-world applications.
A Comprehensive Comparison Of Lock Free And Wait Free Data Structures: Definitions, Progress Conditions, And Examples
2023-01-07A comprehensive technical exploration of a comprehensive comparison of lock free and wait free data structures: definitions, progress conditions, and examples, covering key concepts, practical implementations, and real-world applications.