Episode Details

Table of Contents

• AI and Software Reliability
  • AI will make formal verification go mainstream
  • Announcing the Beta release of ty
• Privacy Concerns
  • alpr.watch
  • No AI* Here – A Response to Mozilla's Next Chapter
• Graphics and Computing Evolution
  • No Graphics API
  • I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
• Market Trends and Innovations
  • Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
  • Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
• Neuroscience and Philosophy
  • 40 percent of fMRI signals do not correspond to actual brain activity
  • Thin desires are eating life