Mike Ashley


July 20, 2014

Use of Formal Methods at Amazon Web Services
Practice report of how Amazon has used TLA+ to eliminate design bugs in their distributed systems.
Corporate OpenSource Anti-Patterns
Bryan Cantrill's talk on how companies can avoid mistakes in sponsoring open source projects.
The Developer's Dystopian Future
Sentiments also shared by others.
Robots Will Pave the Way to Mars
Outlines some of the problems with and possible solutions to getting around Earth's gravity well in order to start building real infrastructure in space.
What Problems to Solve
Letter from Richard Feynman to a former student.