48: Is Everyone Trying Their Best?

The Bike Shed

• Episode: 48: Is Everyone Trying Their Best?
• Website: The Bike Shed
• Feed URL: https://www.bikeshed.fm/rss
• Duration: 00:34:44
• Published: 2016-01-21 16:00

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