48: Is Everyone Trying Their Best?
Software is broken. In this episode, Derek and Sean discuss why exactly it's broken, and what we can do to make it better.
- The origin of "software engineering"
- The Coq Proof Assistant
- NASA's 10 rules for developing safety critical code
- The differences between strong and static typing
- "If it compiles it works"
- Derek adds IS NULL to Diesel
- "Quickcheck in Ruby"
- Note: Shopify is fewer than 700 developers
Support The Bike Shed