Blog

Posted on 2018, Feb 13

It's Hard to Reason About Systems
Posted on 2018, Feb 12

Modeling Redux with TLA+
Posted on 2018, Feb 09

We've Already Thought the Unthinkable
Posted on 2018, Jan 30

Teaching Leaky Abstractions
Posted on 2018, Jan 26

Important Women in CS Who Aren't Grace Hopper
Posted on 2018, Jan 15

Proving Games are Winnable with Alloy
Posted on 2018, Jan 12

The best software engineering paper you haven't read
Posted on 2017, Dec 26

Vim Macro Trickz
Posted on 2017, Dec 17

Property Tests + Contracts = Integration Tests
Posted on 2017, Dec 10

What's the Right Tool for the Job?
Posted on 2017, Dec 05

Maybe Comments SHOULD Explain 'What'
Posted on 2017, Dec 03

How is a Class like a Microservice?
Posted on 2017, Nov 27

Introduction to Contract Programming
Posted on 2017, Nov 21

Calculating Burn Rates in J
Posted on 2017, Oct 30

Why TDD Isn't Crap
Posted on 2017, Oct 26

Unit Tests Aren't Tests
Posted on 2017, Oct 10

Handwriting Programs in J
Posted on 2017, Oct 05

Uncle Bob and Silver Bullets
Posted on 2017, Aug 29

Instructive and Persuasive Examples
Posted on 2017, Aug 14

How Do We Trust Our Science Code?
Posted on 2017, Jul 21

Hypothesis Testing with Oracle Functions
Posted on 2017, Jun 09

List of Articles about Programming Skepticism
Posted on 2017, May 30

Modeling Zero-Downtime Deployments with TLA+
Posted on 2017, Feb 16

Doctests in Python
Posted on 2017, Feb 01

Falsehoods Programmers Believe About Dogs
Posted on 2017, Jan 24

Uncle Bob is Ruining Software
Posted on 2016, Dec 27

Hate Your Tools