1
Google Groups has been left to die
Where should the formal methods community move?
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
Where should the formal methods community move?