Andrew Helwer, independent software engineering consultant. BSc in CS from the University of Calgary. Currently living in Atlanta, GA (prev. Seattle, WA). Focused on distributed systems and formal methods. TLA+ enthusiast!
Joined HN: 13 years ago Karma: 9123 Previous employers: Microsoft Quantum, Microsoft Azure, Acceleware Ltd.
https://ahelwer.ca/
https://fosstodon.org/@ahelwer
https://github.com/ahelwer
https://www.linkedin.com/in/ahelwer
https://en.wikipedia.org/wiki/User:Andrew_Helwer