Stories by Jtsummers

Substitution Processes (1962)

Correctness by Construction: A Manifesto for High-Integrity Software (2005)[pdf]

The Discoveries of Continuations (1993) [pdf]

APL is more French than English (1978)

Functional Programming and Property-Based Testing

The Panopticon Is Already Here

Screamer: Efficient Implementation of Nondeterministic Common Lisp [PDF]

DOJ suggested OANN should call FBI about NPR’s tipline, emails show

Designing Software for Ease of Extension and Contraction (1979) [pdf]

Running Emacs with Systemd

White House Strips CDC of Data Collection Role for Covid-19 Hospitalizations

Generatingfunctionology (1994) [pdf]

ICFP Programming Contest 2020

The truth about Unix: The user interface is horrid (1981) [pdf]

Covid-19 Cases Are Rising, So Why Are Deaths Flatlining?

Moon's Mark Down (2016)

The danger of surrogate metrics (2007)

Feature Interaction Bugs

FAQ Sheet on Feature Interaction (2004)

Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane (2016)[pdf]

2
3
4
5
6
7
8
9
10
11