The stories and people behind the code. Hear stories of software development from interesting people.
http://corecursive.com
Gesamtlänge aller Episoden: 3 days 10 hours 52 minutes
episode 39: Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson
Tech Talks are in-depth technical discussions. Adam talks to Hal Abelson about the textbook he coauthored in 1984, SICP and why it is still popular and influential today. "If you pick up almost any computing book it starts out 'here are these...
episode 38: Tech Talk: Open Source Health and Diversity with Heather C Miller
Tech Talks are in-depth technical discussions. Heather C Miller is an Assistant Processor at CMU. She is concerned that key open source projects are at risk of failure and no one is paying attention. Adam talks to her about open source, how it grows,...
episode 37: Tech Talk: Compiling to Bytecode with Thorsten Ball
Tech Talks are in-depth technical discussions. What do compilers do? What is the runtime of a language? What does it mean to compile something down to bytecode and what executes the byte code. Throsten Ball Answers these questions in this interview...
episode 36: Tech Talk: Category Theory with Bartosz Milewski
Tech Talks are in-depth technical discussions. 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...
episode 35: Tech Talk: Jimmy Koppel on Advanced Software Design
Tech Talks are in-depth technical discussions. 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...
episode 34: Tech Talk: Typescript with Chris Krycho
Tech Talks are in-depth technical discussions. 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...
episode 33: Radicalized Tech with Cory Doctorow
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...
episode 32: Crafting Interpreters With Bob Nystrom
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...
episode 31: Refinement Types With Niki Vazou
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...
episode 30: Rethinking databases and Noria with Jon Gjengset
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....