Stories by pron

The Blue State Model: How the Democrats Created a "Liberalism of the Rich"

Solving Towers of Hanoi with TLA+

Benchmarking High-Concurrency HTTP Servers on the JVM

Crossing the Uncanny Vally

The state has lost control: tech firms now run western politics

They Made Him a Moron

Lamport on Real World TLA+: Who Builds a Skyscraper Without Drawing Blueprints?

Podcast: Leslie Lamport on Distributed Systems (2014)

Biting the Silver Bullet: Toward a Brighter Future for System Development (1992) [pdf]

All the world is an abstract interpretation (of all the world) [pdf]

IronFleet: Proving Practical Distributed Systems Correct [pdf]

The Accountability Project

Sulong: Fast LLVM IR Execution on the JVM with Truffle and Graal

Specifying and Verifying Systems in TLA+ [pdf]

Model checking: my 27-year quest to overcome the state explosion problem (2007)

State Space Visualizations

Visualizing a Program's State Space

Silicon Valley: The Invisible Trap (how to beat bureaucracy)

Are We Fast Yet? Comparing Language Implementations

Everything That Rises – on Russian Cosmism

1
2
3
4
5
6
7
8
9
10