Stories by Jtsummers

You think your software works? Prove it

Linda in Context (1989) [pdf]

Why am I doing this Pi-Calculus Language Thing? (2007)

TryAPL

‘The Twilight Zone,’ from a to Z

Coinbase is mistakenly draining customers' bank accounts, and people are freaked

Agile is Dead (2016)

Lean Software Development: The Backstory

An Introduction to Lean

Please Stop Writing Secure Messaging Tools (2015)

Pruning the search tree

How One Woman Brought the 'Mother's Curse' to Canada

The Chemist Who Thought He Could Harness Hurricanes

Git as a Document Format (2013)

Programming from Specifications (1998) [pdf]

Applied Formal Logic: The Bug in Quick Search

The Art of the Propagator (2008) [pdf]

Pubsub on IPFS

The Nomad Who’s Exploding the Internet into Pieces

The FCC has received 128,000 identical anti-net neutrality comments

6
7
8
9
10
11
12
13
14