Stories by Jtsummers

Metaobject protocols: Why we want them and what else they can do (1993) [pdf]

Go to Statement Considered Harmful: A Retrospective

Why there is no Hitchhiker’s Guide to Mathematics for Programmers (2013)

The Computer Scientist as Toolsmith II (1996) [pdf]

Computer Science: A Discipline Misnamed

Design Principles Behind Smalltalk (1981)

Five Things We Need to Know About Technological Change (1998) [pdf]

Leverage Points: Places to Intervene in a System (1999)

The Dogged Pursuit of Bug-Free C Programs: Frama-C Software Analysis Platform

Check the Fine Print for That Remote Job

A New Approach to Designing Work (2017)

EWD472: Guarded commands, nondeterminacy and formal derivation of programs -1975

Rethinking software testing: perspectives from the world of hardware (2019)

ICFP Contest 2021

Concurrency is not parallelism (2013)

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

1
2
3
4
5
6
7
8
9
10