Stories by Jtsummers

Test-Last Development

Testing in the Twenties

The Practice of Programming: A War Story (1999)

Everything VPN Is New Again

Why Property Testing Finds Bugs Unit Testing Does Not

An Entire Group of Whales Has Somehow Escaped Human Attention

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

1
2
3
4
5
6
7
8
9
10