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
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…