Blog
Writing, notes, retrospectives, and technical explorations.
(Maybe) Tracking Singapore's Blood Stock FluctuationsA beginner's experience with TLAPS (The TLA+ Proof System)A beginner's experience with TLAPS (The TLA+ Proof System)Learning TLA+ to write formal specificationsLearning TLA+ to write formal specificationsRandom LWN Kernel ArticleRedirects to a random LWN kernel article.Optimizing Haskell ProgramsOptimizing a memory-hungry Haskell ProgramPaper Review: Efficient Virtual Memory for Big Memory ServersA review of the "Efficient Virtual Memory for Big Memory Servers" paper by Basu, et al.My Favorite LWN ArticlesA list of articles that I think are great on LWNPaper Review: The Load Slice Core MicroarchitectureA review of the "Load Slice Core Microarchitecture" paper by Carlson, et al.