Profile Picture
Learn from software development experts. Listen here!

Latest Podcast

  • 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..
  • Data and Scale with Pat Helland

    • March 31, 2019
    • 56 min
    Pat Helland has a wealth of knowledge on building distributed data stores. He has been working on distributed data stores since 1978, when he worked on the tandem fault-tolerant database. Since then he has been involved in many distributed database projects. Here is the key thing, he is also a master at explaining the key more..
  • Abstraction and Learning with Runar Bjarnason

    • March 15, 2019
    • 49 min
    What is abstraction?  Can we have a precise definition of abstraction that, once understood, makes writing software simpler? Runar has thought a lot about abstraction and how we can choose the proper level for the software we write. In this interview, he explains these concepts using examples from the real world. Examples include SQL, effectful more..
  • Modern Systems Programming And Scala Native With Richard Whaling

    • February 22, 2019
    Richard Whaling has an interesting perspective on software development. If you write software for the JVM or if you are interested in low level system programming, or even doing data heavy or network heavy IO programming then you will find this interview interesting. We discuss how to build faster software in a modern fashion by more..
  • Burn out and Recreational Coding with Jamis Buck

    • January 25, 2019
    • 62 min
    A decade ago Jamis Buck was not loving his job. He was an important open source contributor. He worked for the hottest trendiest software company at the time, 37 signals, creator of ruby on rails. He was on top of the world but also he was burnt out. Today Jamis talks about how he overcame more..


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

The Reason For Types with Jared Forsyth