Stories by Jtsummers

Soundness and Completeness: Defined with Precision (2019)

Agile Manifesto co-author blasts failure rates report

ICFP Contest 2024

New heroes of spaceflight: Not the astronauts but the software nerds

New heroes of spaceflight: Not the astronauts but the software nerds

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

1
2
3
4
5
6
7
8
9
10