Cross Cutting Concerns Podcast

Craig Stuntz talks about an Incredibly Strange Programming Language: Idris. Show notes: Craig's slides for Incredibly Strange Programming Languages Stir Trek conference The Sapir-Whorf hypothesis Type-Driven Development With Idris, by Edwin Brady TDD (Test Driven Development). If you've never heard of that, check out Kent Beck's seminal book, Test Driven Development: By Example. Improving Enterprises Papers We Love - Columbus Craig Stuntz's blog Craig Stuntz on Twitter Want 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.