Notes & Thoughts
Occasional writings on computer science, academia, and technology.
The Undecidable Codebase: Rice’s Theorem and the Limits of Static Analysis
“We demand our tooling definitively prove our code is bug-free, blissfully ignoring that mathematics forbade this a century ago.”
The Silent Drip: A Comprehensive Architecture of Memory Leaks
“A single forgotten byte, repeated infinitely, can ground a fleet of commercial airplanes.”
From Two Mallocs to Scudo: A Modern Tour of Android Native Memory Allocation
“If you want to understand native memory corruption, you have to realize the allocator is no longer just finding free RAM—it is your frontline security boundary.”
The Ghost in the Architecture
“In a distributed system, the most difficult problem is knowing whether a node is dead or just incredibly slow.”
The Statistical Mirage and the Universal Topology of Graphs
“Summary statistics are a compression algorithm. And like all lossy compression, they discard the truth to save space.”
The Calculus of Scale: A Unified Dictionary of System Design Theorems
“Architecture is not about drawing boxes on a whiteboard; it is about navigating unforgiving mathematical boundaries.”
The Continuous NAND Gate: A Mathematical Deconstruction of the EML Function
“What if the entirety of continuous mathematics could be reduced to a single binary operation and the number 1?”
The Logic of the Absurd: 20 Paradoxes That Govern Complex Systems
“A paradox is not a contradiction; it is a truth standing on its head to attract your attention.”
The Logic of the Absurd: 20 Canonical Paradoxes Across Mathematics, Science, and Philosophy
A rigorous tour of twenty canonical paradoxes that have shaped logic, mathematics, science, philosophy, probability, economics, and computer science.
The Architecture of Misery: Ten Axioms for Guaranteed Unhappiness
“To construct a truly miserable existence, one must simply refuse to accept reality exactly as it presents itself.”
The Linux PCB and the /proc Filesystem
Master Linux process management by looking under the hood of the kernel's task_struct. This deep dive explores how to leverage the /proc virtual filesystem to track memory leaks, decode process states, and debug production systems using nothing but native CLI tools.
From Clunky LMS to GitOps: Building an Automated Academic Portal
Discover why I abandoned traditional Learning Management Systems for a fully automated, GitOps-driven academic portal. This post breaks down the architecture of treating course content as code using Hugo, Markdown, and CI/CD pipelines to create a frictionless, lightning-fast teaching infrastructure.
