Stories by Jtsummers

Introducing tmux-rs

Language Workbenches: The Killer-App for Domain Specific Languages? (2005)

Teaching Program Verification in Dafny at Amazon (2023)

Space Force official: Commercial satellites can do a lot more than we thought

GOP sneaks decade-long AI regulation ban into spending bill

Situated Software (2004)

Design in TDD

Attorney representing a student protester detained by federal immigration agents

Donald Trump takes his trade war to the tiniest nations

An 'Administrative Error' Sends a Maryland Father to a Salvadoran Prison

The Bird-Flu Tipping Point

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

1
2
3
4
5
6
7
8
9
10