Episode Details

Table of Contents

• Theory and Foundations
  • Type Theory and Functional Programming (1999) [pdf]
  • Category Theory Illustrated – Natural Transformations
• Identity and Technology
  • Our efforts, in part, define us
  • Imgur pulls out of UK as data watchdog threatens fine
• Innovations in Efficiency
  • High-resolution efficient image generation from WiFi Mapping
  • Intelligent Kubernetes Load Balancing at Databricks
• Tech Breakthroughs and Developments
  • Boeing has started working on a 737 MAX replacement
  • Blockdiff: We built our own file format for VM disk snapshots