Stories by Jtsummers

A day of rebranding at The Pentagon, this name change slipped under the radar

Making reliable distributed systems in the presence of software errors (2003)PDF

Subversive of What? (1948)

Software books I wish I could read

Technical issues of separation in function cells and value cells (1988)

A Sea of Nodes IR Tutorial

Space Force begins testing of first OCX software blocks for GPS sats

Weapon Systems Annual Assessment

KSAT – Vegard Sandengen, Rust Engineer [audio]

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

1
2
3
4
5
6
7
8
9
10