Stories by Jtsummers

Compile times, and why “the obvious” might not be so

Sophomoric Parallelism and Concurrency

Innovation Starvation (2011)

SES – Simple Emacs Spreadsheet

Spark by Example

Program Development by Stepwise Refinement (1971)

Nobody Ever Gets Credit for Fixing Problems That Never Happened (2001) [pdf]

Ada 202x Support in Gnat

Book Review: Elements of Programming

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

2
3
4
5
6
7
8
9
10
11