Craig Stuntz talks about an Incredibly Strange Programming Language: Idris.
Craig's slides for Incredibly Strange Programming LanguagesStir Trek conferenceThe Sapir-Whorf hypothesisType-Driven Development With Idris, by Edwin BradyTDD (Test Driven Development). If you've never heard of that, check out Kent Beck's seminal book, Test Driven Development: By Example.Improving EnterprisesPapers We Love - ColumbusCraig Stuntz's blogCraig Stuntz on TwitterWant to be on the next episode? You can! All you need is the willingness to talk about something technical.
Theme music is "Crosscutting Concerns" by The Dirty Truckers, check out their music on Amazon or iTunes.