48: Is Everyone Trying Their Best? - a podcast by thoughtbot

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

Further episodes of The Bike Shed

Further podcasts by thoughtbot

Website of thoughtbot