Blog
Posts, notes, and articles.
Trusted Execution: Intel SGX Enclaves, AMD SEV-SNP, Attestation Protocols, and the Confidential Computing Promise
2021-03-25A deep exploration of trusted execution environments — how SGX and SEV encrypt computation, the attestation protocols that verify enclave integrity, and the promise of confidential computing that protects data even from the cloud operator.
Cache‑Friendly Data Layouts: AoS vs. SoA (and the Hybrid In‑Between)
2021-03-18How memory layout choices shape the performance of your hot loops. A practical guide to arrays‑of‑structs, struct‑of‑arrays, and hybrid layouts across CPUs and GPUs.
Designing An Online Learning Algorithm For Adversarial Bandits: Exp3, Follow The Regularized Leader
2021-03-02A comprehensive technical exploration of designing an online learning algorithm for adversarial bandits: exp3, follow the regularized leader, covering key concepts, practical implementations, and real-world applications.
Capability-Based Security: CHERI Architecture, Hardware Capabilities, Spatial and Referential Safety, and Compartmentalization
2021-02-26A deep exploration of the CHERI capability architecture — how hardware-enforced capabilities provide spatial memory safety, referential integrity, and fine-grained compartmentalization at the instruction level.
The Complexity Of The Edit Distance Problem: Needleman Wunsch, Smith Waterman, And Affine Gap Penalties
2021-02-18A comprehensive technical exploration of the complexity of the edit distance problem: needleman wunsch, smith waterman, and affine gap penalties, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The Palindromic Tree (Eertree): Construction And Applications In Stringology
2021-02-17A comprehensive technical exploration of a deep dive into the palindromic tree (eertree): construction and applications in stringology, covering key concepts, practical implementations, and real-world applications.
Implementing A Fast Maximum Matching In General Graphs Using Blossom Algorithm (Edmonds)
2021-02-15A comprehensive technical exploration of implementing a fast maximum matching in general graphs using blossom algorithm (edmonds), covering key concepts, practical implementations, and real-world applications.
The Algorithmics Of Network Flow: Dinic’S Algorithm With Scaling Vs. Push Relabel With Gap Heuristics
2021-02-14A comprehensive technical exploration of the algorithmics of network flow: dinic’s algorithm with scaling vs. push relabel with gap heuristics, covering key concepts, practical implementations, and real-world applications.
Building A Game Theoretic Approach To Distributed Consensus: Rational Players, Payments, And Mechanism Design
2021-02-12A comprehensive technical exploration of building a game theoretic approach to distributed consensus: rational players, payments, and mechanism design, covering key concepts, practical implementations, and real-world applications.
The Performance Of Integer Linear Programming Solvers: Branch And Bound Vs. Cutting Planes For Real World Problems
2021-02-08A comprehensive technical exploration of the performance of integer linear programming solvers: branch and bound vs. cutting planes for real world problems, covering key concepts, practical implementations, and real-world applications.
Implementing A Linear Programming Solver Using The Simplex Algorithm: Degeneracy, Bland’S Rule, And Scaling
2021-02-03A comprehensive technical exploration of implementing a linear programming solver using the simplex algorithm: degeneracy, bland’s rule, and scaling, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of The Fast Fourier Transform: Cooley Tukey Algorithm With Radix 2 Decimation In Time
2021-01-14A comprehensive technical exploration of a rigorous analysis of the fast fourier transform: cooley tukey algorithm with radix 2 decimation in time, covering key concepts, practical implementations, and real-world applications.
Designing A Randomized Algorithm For The Min Cut Problem: Karger’S Algorithm And Contractions
2021-01-10A comprehensive technical exploration of designing a randomized algorithm for the min cut problem: karger’s algorithm and contractions, covering key concepts, practical implementations, and real-world applications.
The Complexity Of Scheduling Dags With Minimum Makespan And Dependencies: List Scheduling Vs. Critical Path
2020-12-28A comprehensive technical exploration of the complexity of scheduling dags with minimum makespan and dependencies: list scheduling vs. critical path, covering key concepts, practical implementations, and real-world applications.
Implementing A Virtual Machine For A Stack Based Language: Bytecode Interpreter And Jit Compilation
2020-12-23A comprehensive technical exploration of implementing a virtual machine for a stack based language: bytecode interpreter and jit compilation, covering key concepts, practical implementations, and real-world applications.
The Design Of A Modern Hypervisor: Virtual Memory Translation, Cpu Virtualization, And I/O Passthrough
2020-12-03A comprehensive technical exploration of the design of a modern hypervisor: virtual memory translation, cpu virtualization, and i/o passthrough, covering key concepts, practical implementations, and real-world applications.
Region-Based Memory Management: Tofte & Talpin's Region Inference, the ML Kit, Safety Proofs, and the Relationship to Rust's Lifetimes
2020-12-01A deep exploration of region-based memory management — how Tofte and Talpin's region inference eliminates garbage collection while preserving memory safety, and how their ideas echo through Rust's ownership and borrowing system.
Building A Lightweight Container Runtime From Scratch: Namespaces, Cgroups, And Copy On Write Filesystems
2020-11-29A comprehensive technical exploration of building a lightweight container runtime from scratch: namespaces, cgroups, and copy on write filesystems, covering key concepts, practical implementations, and real-world applications.
A Performance Comparison Of Epoll, Io_Uring, And Kqueue For Asynchronous I/O In Linux
2020-11-23A comprehensive technical exploration of a performance comparison of epoll, io_uring, and kqueue for asynchronous i/o in linux, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A User Level Threading Library For Cooperative Multitasking In C
2020-11-18A comprehensive technical exploration of the implementation of a user level threading library for cooperative multitasking in c, covering key concepts, practical implementations, and real-world applications.
Raft Fast‑Commit and PreVote in Practice
2020-11-09What fast‑commit and PreVote actually change in Raft, how they affect availability during leader changes, and where the footguns are.
Network Sockets and the TCP/IP Stack: How Data Travels Across Networks
2020-11-08A comprehensive exploration of network programming internals, from socket system calls through the TCP/IP protocol stack to the network interface. Understand connection establishment, flow control, and the kernel's role in networking.
Safe Rollback Strategies for Distributed Databases
2020-11-08A comprehensive guide to designing, executing, and validating rollbacks in distributed database environments without compromising data integrity or customer trust.
Designing A Non Volatile Memory (Nvm) File System: Dax, Pmdk, And Fault Tolerance For Persistent Heaps
2020-11-07A comprehensive technical exploration of designing a non volatile memory (nvm) file system: dax, pmdk, and fault tolerance for persistent heaps, covering key concepts, practical implementations, and real-world applications.