Stories by Jtsummers

SPARKNaCl with Gnat and Spark Community 2021: Port, Proof and Performance

SPARK Ada for the Misra C Developer

Previewing SwiftUI layouts in Emacs (revisited)

Why America Doesn’t Make Solar Panels Anymore

Why Gemini is not my favorite internet protocol

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

1
2
3
4
5
6
7
8
9
10