48: Is Everyone Trying Their Best?
Episode 48 · January 21st, 2016 · 34 mins 44 secs
About this Episode
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 NULLto Diesel - "Quickcheck in Ruby"
- Note: Shopify is fewer than 700 developers