Blog
Posts, notes, and articles.
A Rigorous Analysis Of The Diffie Hellman Key Exchange In The Group Of Prime Field Elliptic Curves
2022-05-04A comprehensive technical exploration of a rigorous analysis of the diffie hellman key exchange in the group of prime field elliptic curves, covering key concepts, practical implementations, and real-world applications.
Building An Orthogonal Range Counting Data Structure With A Kd Tree: Query Complexity And Construction
2022-04-28A comprehensive technical exploration of building an orthogonal range counting data structure with a kd tree: query complexity and construction, covering key concepts, practical implementations, and real-world applications.
The Theory Of Lossy Compression With Jpeg: Dct, Quantization Table, And Huffman Coding For Chroma Subsampling
2022-04-23A comprehensive technical exploration of the theory of lossy compression with jpeg: dct, quantization table, and huffman coding for chroma subsampling, covering key concepts, practical implementations, and real-world applications.
Implementing A Universal Data Compressor Using Arithmetic Coding With Finite Precision And Range Coder
2022-04-22A comprehensive technical exploration of implementing a universal data compressor using arithmetic coding with finite precision and range coder, covering key concepts, practical implementations, and real-world applications.
Software Supply Chain Security: SBOMs, Sigstore, Reproducible Builds, and Attestation
2022-04-19An in-depth guide to securing the software supply chain: SBOMs, provenance, Sigstore, SLSA, reproducible builds, code signing, and operational best practices.
A Deep Dive Into The Boyer Moore String Search Algorithm: Bad Character And Good Suffix Heuristics
2022-04-17A comprehensive technical exploration of a deep dive into the boyer moore string search algorithm: bad character and good suffix heuristics, covering key concepts, practical implementations, and real-world applications.
Designing An Approximate String Matching Algorithm Using Bitap (Shift Or) With Nfa Simulation
2022-04-16A comprehensive technical exploration of designing an approximate string matching algorithm using bitap (shift or) with nfa simulation, covering key concepts, practical implementations, and real-world applications.
Online Learning: Regret Minimization, the Multiplicative Weights Algorithm, and Adversarial Bandits
2022-04-15A rigorous treatment of online learning—regret minimization, multiplicative weights, EXP3 for adversarial bandits, and the deep connections to game theory and boosting.
The Complexity Of The Knuth Morris Pratt String Matching Algorithm: Prefix Function And Border Properties
2022-04-03A comprehensive technical exploration of the complexity of the knuth morris pratt string matching algorithm: prefix function and border properties, covering key concepts, practical implementations, and real-world applications.
Building A Huffman Coding Implementation With Canonical Huffman Trees And Bit Packing
2022-04-02A comprehensive technical exploration of building a huffman coding implementation with canonical huffman trees and bit packing, covering key concepts, practical implementations, and real-world applications.
Statistical Learning Theory: PAC Learning, VC Dimension, and the Bias-Complexity Tradeoff
2022-03-31A rigorous development of statistical learning theory—the PAC framework, VC dimension and Sauer's lemma, the fundamental theorem, Rademacher complexity, and the mathematical limits of learning from data.
A Detailed Analysis Of The Lempel Ziv Welch (Lzw) Compression Algorithm: Dictionary Design And Decoding
2022-03-30A comprehensive technical exploration of a detailed analysis of the lempel ziv welch (lzw) compression algorithm: dictionary design and decoding, covering key concepts, practical implementations, and real-world applications.
The Performance Of Run Length Encoding (Rle) Vs. Burrows Wheeler Transform (Bwt) In Text Compression
2022-03-30A comprehensive technical exploration of the performance of run length encoding (rle) vs. burrows wheeler transform (bwt) in text compression, covering key concepts, practical implementations, and real-world applications.
Implementing A Real Time Anomaly Detection System Using Exponential Weighted Moving Average (Ewma) And Holt Winters
2022-03-28A comprehensive technical exploration of implementing a real time anomaly detection system using exponential weighted moving average (ewma) and holt winters, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Pairwise Differencing For Time Series: Self Joins And Online Algorithms For Change Detection
2022-03-21A comprehensive technical exploration of the mathematics of pairwise differencing for time series: self joins and online algorithms for change detection, covering key concepts, practical implementations, and real-world applications.
Building A Secure Password Authenticated Key Exchange (Pake) From Oblivious Pseudorandom Functions (Oprf)
2022-03-11A comprehensive technical exploration of building a secure password authenticated key exchange (pake) from oblivious pseudorandom functions (oprf), covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Yggdrasil Network: Crypto Based Routing With Dht And Spanning Trees
2022-03-06A comprehensive technical exploration of a deep dive into the yggdrasil network: crypto based routing with dht and spanning trees, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Distributed Hash Table Using Chord: Leaf Sets, Stabilization, And Finger Table Maintenance
2022-02-21A comprehensive technical exploration of the implementation of a distributed hash table using chord: leaf sets, stabilization, and finger table maintenance, covering key concepts, practical implementations, and real-world applications.
Large Deviations Theory: Cramér's Theorem, Importance Sampling, and Rare Event Simulation
2022-02-13A rigorous exploration of large deviations—the theory of exponentially rare events—from Cramér's theorem to Sanov's theorem, and their application to importance sampling for reliable networks.
Renewal Theory for Computer Science: The Renewal Equation, Key Renewal Theorem, and Applications in Cache Analysis and Failure Recovery
2022-02-12A rigorous journey through renewal theory—the mathematics of recurring events—from the renewal equation and key renewal theorem to applications in garbage collection, cache replacement, and fault-tolerant system analysis.
Stochastic Processes for Computer Science: Poisson, Brownian Motion, Queueing and Reliability
2022-02-12A rigorous treatment of continuous-time stochastic processes—Poisson processes, CTMCs, Brownian motion with the reflection principle—and their applications in queueing theory, reliability engineering, and network performance.
Designing A P2P Network For File Sharing: Bittorrent’S Choking Algorithm, Piece Selection, And Rarest First
2022-02-05A comprehensive technical exploration of designing a p2p network for file sharing: bittorrent’s choking algorithm, piece selection, and rarest first, covering key concepts, practical implementations, and real-world applications.
A Rigorous Proof Of The A* Algorithm Admissibility And Consistency: Manhatten Vs. Euclidean Heuristics
2022-02-03A comprehensive technical exploration of a rigorous proof of the a* algorithm admissibility and consistency: manhatten vs. euclidean heuristics, covering key concepts, practical implementations, and real-world applications.
Markov Chains for Computer Science: MCMC, Mixing Times, and Randomized Algorithms
2022-01-31A rigorous treatment of Markov chains from a computer science perspective—Metropolis-Hastings, coupling bounds, spectral gaps, and the role of rapid mixing in modern randomized algorithms.