Stories by Jtsummers

An epic treatise on scheduling, bug tracking, and triage

The Design of Parallel Programming Languages

The Small Batches Principle (2016)

The World's Most Efficient Languages (2016)

Modeling Message Queues in TLA+

The Trump Administration Flunked Its Math Homework

Ajit Pai killed rules that could have helped Florida recover from hurricane

The Dictatorship of Data (2013)

How the West Was Lost

The Age of Precarious Infrastructure

Post Agile: embracing asynchronous processes

STPA Handbook [pdf]

Introduction to SPARK

Why not program right?

Whereas types can be pervasive

Effective learning: Twenty rules of formulating knowledge (1999)

The Myth of 'Learning Styles'

You think your software works? Prove it

Linda in Context (1989) [pdf]

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

4
5
6
7
8
9
10
11
12
13