Andy has a grand vision of seeing the words "proof" and "correctness" as common as "test" and "spec" already are. More realistically, he'd be elated to see better failure modes become the norm. By day he writes Scala at Originate for all kinds of work; the rest of the time he keeps...
Read More →