Theory
536 posts in category “Theory”.
Building A Simple Blockchain From Scratch: Proof Of Work, Merkle Trees, And Utxo Model
2025-06-13A comprehensive technical exploration of building a simple blockchain from scratch: proof of work, merkle trees, and utxo model, covering key concepts, practical implementations, and real-world applications.
Spectral Graph Theory: How Eigenvalues Reveal the Hidden Structure of Graphs
2025-06-12Explore how the eigenvalues and eigenvectors of graph matrices — adjacency, Laplacian, normalized Laplacian — encode fundamental graph properties: connectivity, expansion, mixing time, clustering structure, and more.
The Mathematics Of Backpressure: Flow Control In Distributed Stream Processing
2025-06-12A comprehensive technical exploration of the mathematics of backpressure: flow control in distributed stream processing, covering key concepts, practical implementations, and real-world applications.
Designing A Compact Trie For Autocomplete With Efficient Prefix Search
2025-06-09A comprehensive technical exploration of designing a compact trie for autocomplete with efficient prefix search, covering key concepts, practical implementations, and real-world applications.
Implementing A Snapshot Isolation Protocol For A Distributed Database (with Silo Like Optimizations)
2025-06-07A comprehensive technical exploration of implementing a snapshot isolation protocol for a distributed database (with silo like optimizations), covering key concepts, practical implementations, and real-world applications.
Understanding The Google File System: A Detailed Implementation In Go
2025-05-31A comprehensive technical exploration of understanding the google file system: a detailed implementation in go, covering key concepts, practical implementations, and real-world applications.
The Probabilistic Method and Randomized Algorithms: From Tail Bounds to Derandomization
2025-05-30Master the probabilistic method — Paul Erdős's beautiful technique for proving existence non-constructively — alongside the tail bounds (Chernoff, Hoeffding, Azuma) that make randomized algorithms practical, and the modern methods for removing randomness.
Building A Custom Allocator For Real Time Systems: Slab, Buddy, And Region Based Approaches
2025-05-29A comprehensive technical exploration of building a custom allocator for real time systems: slab, buddy, and region based approaches, covering key concepts, practical implementations, and real-world applications.
Implementing A Scalable Web Crawler With Distributed Frontier And Politeness Policies
2025-05-28A comprehensive technical exploration of implementing a scalable web crawler with distributed frontier and politeness policies, covering key concepts, practical implementations, and real-world applications.
The Inner Workings Of A Database Query Optimizer: Cost Models, Statistics, And Join Ordering
2025-05-28A comprehensive technical exploration of the inner workings of a database query optimizer: cost models, statistics, and join ordering, covering key concepts, practical implementations, and real-world applications.
From Sockets To Epoll: Building A Non Blocking Http Server In C
2025-05-27A comprehensive technical exploration of from sockets to epoll: building a non blocking http server in c, covering key concepts, practical implementations, and real-world applications.
Designing A Distributed Queue With Exactly Once Delivery Using Idempotency Keys
2025-05-22A comprehensive technical exploration of designing a distributed queue with exactly once delivery using idempotency keys, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Xgboost Algorithm: Gradient Boosting, Regularization, And System Optimization
2025-05-21A comprehensive technical exploration of a deep dive into the xgboost algorithm: gradient boosting, regularization, and system optimization, covering key concepts, practical implementations, and real-world applications.
Implementing A Secure Multi Party Computation Protocol (garbled Circuits) From Scratch
2025-05-21A comprehensive technical exploration of implementing a secure multi party computation protocol (garbled circuits) from scratch, covering key concepts, practical implementations, and real-world applications.
Error-Correcting Codes: Reed-Solomon, LDPC, and How Distributed Storage Survives Failure
2025-05-18Build error-correcting codes from the ground up: finite field arithmetic, Reed-Solomon encoding and decoding via Lagrange interpolation, LDPC codes and belief propagation, and how modern distributed storage systems use erasure coding to survive disk failures with minimal overhead.
The Theory And Implementation Of The Boyer Moore String Search Algorithm (with Galil’s Rule)
2025-05-11A comprehensive technical exploration of the theory and implementation of the boyer moore string search algorithm (with galil’s rule), covering key concepts, practical implementations, and real-world applications.
Building A Simple Vector Database With Ivf And Hnsw Indexing For Ann Search
2025-05-07A comprehensive technical exploration of building a simple vector database with ivf and hnsw indexing for ann search, covering key concepts, practical implementations, and real-world applications.
The Lambda Calculus and Combinatory Logic: The Minimalist Foundations of All Computation
2025-05-06Rediscover the lambda calculus as the essence of computation: Church's elegant system of function definition and application, its equivalence to Turing machines, the fixed-point combinator, and its enduring influence on programming languages from Lisp to Haskell.
Using Linearizability Checking Tools: How To Prove Your Concurrent Data Structure Is Correct
2025-05-03A comprehensive technical exploration of using linearizability checking tools: how to prove your concurrent data structure is correct, covering key concepts, practical implementations, and real-world applications.
Zero-Knowledge Proofs: From Interactive Protocols to zk-SNARKs and Practical Verifiable Computation
2025-04-24Build zero-knowledge proofs from the ground up: the simulation paradigm, Schnorr's protocol for discrete log, the transformation to non-interactive via Fiat-Shamir, and the engineering of modern zk-SNARKs for verifiable computation.
The Architecture Of A High Performance Message Broker: Design Patterns From Apache Kafka
2025-04-23A comprehensive technical exploration of the architecture of a high performance message broker: design patterns from apache kafka, covering key concepts, practical implementations, and real-world applications.
Applying Bloom Filters In Practice: From Cache Filtering To Bigtable
2025-04-20A comprehensive technical exploration of applying bloom filters in practice: from cache filtering to bigtable, covering key concepts, practical implementations, and real-world applications.
Implementing A B Tree From Scratch: Storage, Concurrency, And Recovery
2025-04-20A comprehensive technical exploration of implementing a b tree from scratch: storage, concurrency, and recovery, covering key concepts, practical implementations, and real-world applications.
Writing A Custom Tcp Stack In Userspace: Performance And Pitfalls
2025-04-14A comprehensive technical exploration of writing a custom tcp stack in userspace: performance and pitfalls, covering key concepts, practical implementations, and real-world applications.