Stories by Jtsummers

Automata via Macros (2006)

The surprise is not that Boeing lost commercial crew but that it finished at all

IT Doesn't Matter

How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf]

TDD's Missing Skill: Behavioral Composition

Automate Your Way to Better Code: Advanced Property Tests [video]

On the Design and Development of Program Families (1976) [pdf]

Nobody ever gets credit for fixing problems that never happened (2001) [pdf]

The Apple Vision Pro is spectacular and sad

An Incremental Approach to Compiler Construction (2006) [pdf]

The strengths of the academic enterprise (1994)

A full online version of Object-Oriented Software Construction, 2nd Ed. (1997)

FAQ Sheet on Feature Interaction (2004)

Local-first software: You own your data, in spite of the cloud (2019)

An Air Force sergeant spotted pulsars months before astronomers

How do we tell truths that might hurt? (1975)

How Did Software Get So Reliable Without Proof? (1996) [pdf]

Computation and State Machines (2008) [pdf]

Logic Programming is Underrated (2013)

Programming Pearls: A Literate Program (1986) [pdf]

1
2
3
4
5
6
7
8
9
10