Blog
Posts, notes, and articles.
Linear Logic: Girard's Resource-Sensitive Logic, Exponential Modalities, and Linear Types in Rust
2021-09-29A comprehensive exploration of linear logic's resource-conscious foundations, proof nets, the ! and ? modalities translating intuitionistic to linear, and how Rust's ownership system mirrors these ideas.
A Rigorous Proof Of The No Free Lunch Theorem In Optimization: Convex Vs. Non Convex Landscapes
2021-09-28A comprehensive technical exploration of a rigorous proof of the no free lunch theorem in optimization: convex vs. non convex landscapes, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Sampler From Scratch: Parallel Mcmc With Consensus And Mode Seeking
2021-09-24A comprehensive technical exploration of building a distributed sampler from scratch: parallel mcmc with consensus and mode seeking, covering key concepts, practical implementations, and real-world applications.
The Mathematical Foundations Of The Metropolis Hastings Algorithm For Markov Chain Monte Carlo
2021-09-17A comprehensive technical exploration of the mathematical foundations of the metropolis hastings algorithm for markov chain monte carlo, covering key concepts, practical implementations, and real-world applications.
Implementing A Finger Table For Consistent Hashing With Replication And Fault Tolerance
2021-09-11A comprehensive technical exploration of implementing a finger table for consistent hashing with replication and fault tolerance, covering key concepts, practical implementations, and real-world applications.
The Performance Of Minimal Perfect Hashing: Chd Algorithm, Empirical Hash Seeds, And Space Efficiency
2021-09-06A comprehensive technical exploration of the performance of minimal perfect hashing: chd algorithm, empirical hash seeds, and space efficiency, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Cuckoo Filter: Lower Memory Footprint Than Bloom Filters And Deletion Support
2021-08-28A comprehensive technical exploration of a deep dive into the cuckoo filter: lower memory footprint than bloom filters and deletion support, covering key concepts, practical implementations, and real-world applications.
The Design Of A Probabilistic Skip List With Path Compression And Concurrency Support
2021-08-24A comprehensive technical exploration of the design of a probabilistic skip list with path compression and concurrency support, covering key concepts, practical implementations, and real-world applications.
Optimizing Distributed Consensus: Comparing Fast Paxos, Epaxos, And Multi Paxos In Wan Deployments With Latency Benchmarks
2021-08-20A comprehensive technical exploration of optimizing distributed consensus, comparing Fast Paxos, Epaxos, and Multi Paxos in WAN deployments with latency benchmarks, covering key concepts, practical implementations, and real-world applications.
Implementing A Bloom Filter Cascade For Efficient Set Intersection And Summarization
2021-08-16A comprehensive technical exploration of implementing a bloom filter cascade for efficient set intersection and summarization, covering key concepts, practical implementations, and real-world applications.
Branch Prediction and Speculative Execution: How Modern CPUs Gamble on the Future
2021-08-15Explore how modern processors predict branch outcomes and execute instructions speculatively, the algorithms behind branch predictors, the performance implications for your code, and the security vulnerabilities like Spectre that emerged from these optimizations.
A Thorough Explanation Of The Hyperloglog Algorithm: Counting Cardinalities With Log Log Estimation And Bias Correction
2021-08-12A comprehensive technical exploration of a thorough explanation of the hyperloglog algorithm: counting cardinalities with log log estimation and bias correction, covering key concepts, practical implementations, and real-world applications.
Virtual Memory and Page Tables: How Operating Systems Manage Memory
2021-08-12A comprehensive exploration of virtual memory systems, page tables, address translation, and the hardware-software collaboration that enables modern multitasking. Understand TLBs, page faults, and memory protection.
Homotopy Type Theory: The Univalence Axiom, Higher Inductive Types, and ∞-Groupoids
2021-08-11A deep dive into the univalent foundations of mathematics, where equality is homotopy, types are spaces, and the universe mirrors the ∞-groupoid of all ∞-groupoids.
Category Theory for Programmers: Functors, Monads, and Natural Transformations
2021-08-10A rigorous yet intuitive journey through the categorical structures that secretly power functional programming—from categories and functors to adjunctions and the monad-as-monoid correspondence.
Building A Count Min Sketch With Conservative Update For Heavy Hitters In Network Traffic
2021-08-07A comprehensive technical exploration of building a count min sketch with conservative update for heavy hitters in network traffic, covering key concepts, practical implementations, and real-world applications.
The Algorithm Of The T Digest: Order Statistics, Merging, And Quantile Approximations For Streaming Data
2021-08-04A comprehensive technical exploration of the algorithm of the t digest: order statistics, merging, and quantile approximations for streaming data, covering key concepts, practical implementations, and real-world applications.
State Machine Replication: Viewstamped Replication Protocol, Zab (ZooKeeper Atomic Broadcast), and the Consensus-Scalability Continuum
2021-07-27A deep exploration of state machine replication — how Viewstamped Replication and Zab enable fault-tolerant services through ordered command execution, and how the consensus-scalability continuum shapes modern distributed systems design.
Designing A Time Series Database With Downsampling And Continuous Aggregates: Timescaledb Internals
2021-07-23A comprehensive technical exploration of designing a time series database with downsampling and continuous aggregates: timescaledb internals, covering key concepts, practical implementations, and real-world applications.
Streaming Systems: Apache Flink Checkpointing, Kafka Log Compaction, Watermarks and Event-Time Processing, and Exactly-Once Semantics
2021-07-22A deep exploration of streaming systems — how Flink's distributed checkpointing provides exactly-once state consistency, how Kafka's log compaction enables durable event storage, and how watermarks solve the event-time vs processing-time dilemma.
A Formal Analysis Of Multi Version Concurrency Control (Mvcc) In Postgresql: Snapshots, Garbage Collection, And Serializable Isolation
2021-07-17A comprehensive technical exploration of a formal analysis of multi version concurrency control (mvcc) in postgresql: snapshots, garbage collection, and serializable isolation, covering key concepts, practical implementations, and real-world applications.
Implementing A B+ Tree With Bulk Loading And Prefix Compression For Write Optimized Databases
2021-07-16A comprehensive technical exploration of implementing a b+ tree with bulk loading and prefix compression for write optimized databases, covering key concepts, practical implementations, and real-world applications.
B-Trees and LSM-Trees: The Foundations of Modern Storage Engines
2021-07-14An in-depth exploration of B-Trees and LSM-Trees, the two dominant data structures powering databases from PostgreSQL to RocksDB. Learn their trade-offs, internal mechanics, and when to choose each for your workload.