Substack on history of science and computing.
Research assistant at UIUC working on compilers. Interested in performance engineering, formal semantics, formal verification and domain-specific programming languages. Also interested in history of science, philosophy and computing.