Stories by ahelwer

Ask HN: Why have chorded keyboards not become popular among software engineers?

Multi-Paxos in Python, Tested with Jepsen

Russian Stove

Biden splitting frozen funds for Afghan relief, 9/11 victims

What’s Next for Psychology’s Embattled Field of Social Priming (2019)

Tell HN: Twitter is growing increasingly unusable without an account

Regexes in the Z3 Theorem Prover: Analyzing Teleport RBAC

A Man Who Ended History: A Documentary [pdf]

Model-Based Testing

Operator precedence: we can do better

Rockfall destroys pipeline to USA's oldest operating hydroelectric power plant

Edmund M. Clarke, recipient of 2007 Turing Award, passes away from Covid-19

Two Pictures of Quantum Computation

Alexamenos Graffito

Walking the faster-than-light tightrope: quantum entanglement and the CHSH game

How do you reason about a probabilistic distributed system?

Meditation: Sadly my only weapon against the attention economy

Taking my home work setup seriously: ergonomics and setting in for the long haul

Imperial Wars Always Come Home

Doing a math assignment with the Lean theorem prover

1 2