Dealing with New Kinds of Trouble

Coding as a tool of thought

Battleshorts, exaptations, and the limits of STAMP

How did software get so reliable without proof?

How did software get so reliable without proof?