Profile Picture
Stimulating conversations about software development.
Listen here!

All Episodes:

  • Category Theory with Bartosz Milewski

    Category Theory with Bartosz Milewski

    • Aug 15, 19
    • 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

    Advanced Software Design with Jimmy Koppel

    • Aug 01, 19
    • 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

    Using TypeScript Like A Pro with Chris Krycho

    • Jul 15, 19
    • 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

    Rethinking Technological Positivism with Cory Doctorow

    • Jun 15, 19
    • 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

    How (and why) to build a programming language with Bob Nystrom

    • May 31, 19
    • 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

    Refinement Types with Niki Vazou

    • May 15, 19
    • 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

    Rethinking databases and Noria with Jon Gjengset

    • Apr 30, 19
    • 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

    Learning to Think with Andy Hunt

    • Apr 15, 19
    • 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..

Audio Player
00:00
00:00
34:26

2020 Year End