Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Independent software engineering consultant with over a decade of professional experience.Previously worked at Acceleware, Microsoft Azure Compute, Microsoft Azure Networking, and Microsoft Quantum.BSc in Computer Science from the University of Calgary.From Canada, currently based out of Seattle…
News
Laptops all have built-in security tokens these days
I've been a fan of security tokens for a decade now and have accrued quite a collection. This redundancy isn't a bad thing, as security tokens are easily misplaced and the only way to recover from a lost token is using a second token that is also register
Read more
Report
Let go of StackOverflow; communities must take ownership
Despite the title this is less a directive and more a description of what has already happened, and how I came to realize it. Still, there are many who remember StackOverflow as a revelation in the mid-2010s and think some vestige of those times remain. T
Read more
Report
A supposedly worthwhile contract I'll never do again
Here I'll talk about a type of TLA contract I've worked on a few times, and why it didn't work out as well as hoped. I'm not trying to torpedo other peoples' contracts here - I just hope to share this experience so others can structure their TLA contracts
Read more
Report
The current state of TLA development
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-hucksterishl
Read more
Report
TLA is more than a DSL for breadth-first search
Although it isn't usually taught that way, a lot of TLA newcomers develop the understanding that TLA is just a fancy domain-specific language (DSL) for breadth-first search. If you want to model all possible executions of a concurrent system - so the thin
Read more
Report
Pro access
Upgrade to see all 29 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.