Propositions as Types
  Simple Energy
  Curry–Howard isomorphism
  Types and Programming Languages
  @parametricity
  Type safe printf
  Brian's talk at Strangeloop 2014

37: Propositions as Types w/ Brian McKenna

Technology

Tech News

Podcasting

Gadgets

Software How-To

100: Episode 100

fast.ai
  Objects that fool neural nets
  ACM (Association of Computing Machinery)
  Research Gate
  Lawsuits over Researchgate
  Smartbear best practice code review tips
*

101: A computer that can tell the difference between a dog and a cat

Linux Mint
  BarCamp Philly 2017
  "Program synthesis for declarative building design" by Drew Wolpert, Andrew Zukoski
  Strange Loop 2017 in Review
  LibertyJS
  Brian Barone on Twitter: "https://t.co/N4G8tgckQw"

99: It's a slippery slope

Comcast Labs – Software As Craft Conference 2017
  Kubernetes - Production-Grade Container Orchestration

98: MINISODE 2

Pam and Justin record a "minisode", which ends up being not all that mini.


  All 4 Paws
  Stripe API Docs
  Wildbit Blog: Reducing hours by focusing on your job
  The Phoenix Project
  Managing Humans

37: Propositions as Types w/ Brian McKenna

Download our free app to listen on your phone