Software engineer with over a decade of professional experience. Currently working as a Senior Software Engineer at Microsoft Azure Storage in Seattle, WA, USA. BSc in Computer Science from the University of Calgary. See my full résumé here. Technical interests include deterministic simulation testing, distributed…
Visit ahelwer.ca → RSS feedOn Hacker News Apr 2020 – Sep 2026
Software Engineering 5Systems & Performance 2Math & Algorithms 2Web & Frontend 1Society, Policy & Culture 1Security & Privacy 1
Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language. Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, I enrolled in MATH 273: Numbers and Proofs at the University of Calgary. This wasn’t my first encounter with…