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.
Big Tech and startups, from the inside. Highly relevant for software engineers and managers, useful for those working in tech.