20jul2014
- 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.
