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