Stories by Jtsummers

Some Meditations on Advanced Programming (1962)

Formal Verification of Legacy Code (2016)

Why books work: A rebuttal to Andy Matuschak (2019)

Safe and Secure Software (2015) [pdf]

Using Pointers in Spark

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?

2
3
4
5
6
7
8
9
10
11