thoughtbot The Bike Shed Episode #48-49

48: Is Everyone Trying Their Best? | The Bike Shed

• software quality in general
  • software crisis
• Coq is a formal proof management system
  • Welcome! | The Coq Proof Assistant
• coding standard for NASA
• GitHub - sgrif/diesel: A safe, extensible ORM and Query Builder for Rust
  • ORM and Query Builder for Rust

---

49: A More Practical Haskell | The Bike Shed

• Rust traits
  • haskell typeclasses
• Iron and Nickel web frameworks for Rust
  • Sinatra