Stories by ahelwer

Can we have reachability properties in TLA⁺?

Book review: Is parallel programming hard, and, if so, what can you do about it?

The changing role of finite-state model checking

TLA⁺ is more than a DSL for breadth-first search

TLA⁺ Unicode support: Learning to work with others in open source

Wrangling Monotonic Systems in TLA+

FOSS I Love: Local game streaming with Sunshine and Moonlight

Nintendo hacker Gary Bowser will be in debt to the company for rest of his life

Inlining SVGs for Dark Mode

Using TLA+ at Work: Designing a Snapshot Coordination System

Pseudocode Showdown: Python vs. PlusCal and TLA+

Google Groups has been left to die

How Big Tech rewrote the nation’s first cell phone repair law

Can sanitizers find the two bugs I wrote in C++?

Two C++ bugs I found

Writing a TLA⁺ tree-sitter grammar: my foray into free software

What's the difference between a computer and a rock?

Formal Methods at Microsoft – Nikolaj Bjørner

The Missing Prelude to the Little Typer's Trickiest Chapter

Microsoft Quantum team reports observation of a 30 μEV topological gap

1 2