Blog
Posts, notes, and articles.
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.
Designing A Consistent Hashing With Load Bounds: Google’S Maglev Hasher And Its Use In Load Balancing
2022-12-31A comprehensive technical exploration of designing a consistent hashing with load bounds: google’s maglev hasher and its use in load balancing, covering key concepts, practical implementations, and real-world applications.
The Theory Of Capacity Aware Load Balancing: Power Of Two Random Choices Vs. Join Shortest Queue
2022-12-30A comprehensive technical exploration of the theory of capacity aware load balancing: power of two random choices vs. join shortest queue, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Monitor For System Health: Heartbeat, Failure Detection, And Log Collection With Kafka
2022-12-26A comprehensive technical exploration of building a distributed monitor for system health: heartbeat, failure detection, and log collection with kafka, covering key concepts, practical implementations, and real-world applications.
Multi-Party Computation: From Yao's Garbled Circuits to the SPDZ Line
2022-12-26A deep exploration of secure multi-party computation, tracing the intellectual arc from Yao's millionaires' problem through the SPDZ practical framework, with full protocol detail and modern applications.