Profile Picture
Learn from software development experts. Listen here!

Latest Podcast

  • NEW

    Category Theory with Bartosz Milewski

    • August 15, 2019
    • 53 min
    Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers. The world of functional programming is rife with terminology imported from abstract algebra and Category Theory. In fact, it may be one of the most valid criticisms of functional programming more..
  • Advanced Software Design with Jimmy Koppel

    • August 1, 2019
    • 53 min
    How do we create great software? What are the important skills need to properly review a PR? How do you identify assumptions of a code base and the stable contracts of a software module? Jimmy Koppel is working on his Ph.D. in the field of program synthesis at MIT.  He was previously paid 100 thousand more..
  • Using TypeScript Like A Pro with Chris Krycho

    • July 15, 2019
    • 70 min
    How do we make javascript easier to work with? Chris Krycho has been using typescript to add types to javascript since 2016. Chris is a software developer at LinkedIn who, at his previous gig, worked on converting one of the largest Ember apps in the world to TypeScript. I was shocked by the size. Chris more..
  • Rethinking Technological Positivism with Cory Doctorow

    • June 15, 2019
    • 61 min
    Self-driving cars or armed autonomous military robots may make use of the same technologies. In a certain sense, we as software developers are helping to build and shape the future. What does the future look like and are we helping build the right one? Is technology a force for liberty or oppression. Cory Doctorow is more..
  • How (and why) to build a programming language with Bob Nystrom

    • May 31, 2019
    • 56 min
    Bob Nystrom is the author of Crafting Interpreters. I speak with Nystrom about building a programming language and an interpreter implementation for it. We talk about parsing, the difference between compiler and interpreters and a lot more. If you are wondering why many languages have hand-rolled parser implementations yet much content on building languages implementations more..
  • Refinement Types with Niki Vazou

    • May 15, 2019
    • 50 min
    Formal verification and type systems – how do they relate? Niki Vazou is on a mission to bring better formal verification to the masses. I have done a couple of episodes about dependent types and my feeling is that dependent types are super powerful and have some conceptual simplicity ( Types are a first class more..
  • Rethinking databases and Noria with Jon Gjengset

    • April 30, 2019
    • 58 min
    Can we make databases faster and remove the need for caching reads in an external cache? Can we make a distributed SQL based relational database that outperforms memcached? Jon Gjengset and the PDOS team at MIT CSAIL have done just that with Noria. Today I talk to Jon about Noria, about building a database in more..
  • Learning to Think with Andy Hunt

    • April 15, 2019
    • 53 min
    Andy Hunt is a celebrity in the world of software development. Or at least he is one to me. The Pragmatic Programmer is a classic book on software development book. He is an author of the agile manifesto and started the book company that has published many great books, including several by recent guests. Today more..

MEET THE HOST

Adam Gordon Bell

Adam Gordon Bell is a professional software developer. He loves to learn new things and talk to experts in the field. All opinions here are his own. Contact him at [email protected]

Subscribe / Listen Here

Category Theory with Bartosz Milewski