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
Here are my thoughts on the free online textbook Is Parallel Programming Hard, And, If So, What Can You Do About It? by Paul E. McKenney, author of the Linux kernel’s RCU synchronization mechanism. I read a lot of this textbook, got my fill, and probably won’t read more of it in the near future so wanted to write this…
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I…
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…
A few days ago I published a short post about two bugs I wrote while developing the C++ external scanner for my TLA⁺ tree-sitter grammar. Reactions were mixed! Many people were supportive, but there were of course the usual drive-by claims by developers that the bugs were trivial, they would’ve found & fixed them…
My foray into free software