Stories by Jtsummers

DOGE's AI use in government doesn't add up

The Telepathy Trap

Satellite firm bucks miniaturization trend, aims to build big for big rockets

Trump's likely FCC chair wrote Project 2025 chapter on how he'd run the agency

The Debugging Book

We're Entering Uncharted Territory for Math

Static Program Analysis [pdf]

Researchers hack electronic shifters with a few hundred dollars of hardware

Soundness and Completeness: Defined with Precision (2019)

Agile Manifesto co-author blasts failure rates report

ICFP Contest 2024

New heroes of spaceflight: Not the astronauts but the software nerds

New heroes of spaceflight: Not the astronauts but the software nerds

Automata via Macros (2006)

The surprise is not that Boeing lost commercial crew but that it finished at all

IT Doesn't Matter

How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf]

TDD's Missing Skill: Behavioral Composition

Automate Your Way to Better Code: Advanced Property Tests [video]

1
2
3
4
5
6
7
8
9
10