Software Engineer · Physicist · Researcher. Writing about theoretical CS, physics, and systems engineering.https://jiilan.me/enhttps://jiilan.me/writing/quantum-error-correction-complexity/https://jiilan.me/writing/quantum-error-correction-complexity/Exploring the computational overhead of quantum error correction, the decoding problem as optimization, and why decoder complexity is the central bottleneck for fault-tolerant quantum computing.Tue, 18 Mar 2025 00:00:00 GMThttps://jiilan.me/writing/distributed-systems-consistency/https://jiilan.me/writing/distributed-systems-consistency/On the persistent confusion between consistency as a safety property and consistency as a liveness property, and why most systems that claim linearizability don't actually implement it.Tue, 04 Feb 2025 00:00:00 GMThttps://jiilan.me/writing/geometry-gradient-descent/https://jiilan.me/writing/geometry-gradient-descent/Gradient descent understood as a dynamical system on a manifold. How loss landscape curvature, saddle points, and SGD noise geometry determine convergence and generalization.Sat, 11 Jan 2025 00:00:00 GMThttps://jiilan.me/writing/compiler-correctness-notes/https://jiilan.me/writing/compiler-correctness-notes/What compiler correctness means formally, the CompCert approach to verified compilation via simulation relations, and the economics of formal verification for safety-critical systems.Fri, 29 Nov 2024 00:00:00 GMThttps://jiilan.me/writing/information-theory-compression/https://jiilan.me/writing/information-theory-compression/Shannon's source coding theorem as a hard boundary, the Kolmogorov connection, and why compression is the dual of prediction — a mathematical equivalence that drives modern neural compression.Thu, 03 Oct 2024 00:00:00 GMT