To The Assembly
How do CPUs work? How do compilers work? How does high-level code get translated into machine code? Today’s guest is Matt Godbolt and..
Memento Mori
Preparing our minds for the inevitable – death is hard. After facing terminal cancer, Kate Gregory reminded herself that this event can still..
We are teaching Functional Programming Wrong
Today Richard Feldman shares his story of going from javascript developer to elm developer to functional programming teacher. Along the way, Richard finds..
Software That Doesn’t Suck With Jim Blandy
Building Subversion Software is just the tool and it should get out of your way. In this episode, Jim discusses how to build..
Unproven Tech with Sean T Allen
Choosing The Right Tool For the Job Choosing the programming language or framework for a project can be to the success of the..
Tech Evangelism with Gabriel Gonzalez
What makes some pieces of technology take off? Why is java popular and not small talk or Haskell? Gabe is a popular blogger,..
Language Oriented Design and SICP with Hal Abelson
Adam talks to Hal Abelson about the textbook he coauthored in 1985, The Structure and Interpretation of Computer Programs and why it is..
Open Source Health and Diversity with Heather C Miller
Heather Miller is an Assistant Professor at CMU. She is concerned that key open source projects are at risk of failure and no..
Learning about Compilers and Bytecode from Thorsten Ball
What do compilers do? What is the runtime of a language? What does it mean to compile something down to bytecode and what..
Category Theory with Bartosz Milewski
Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory..
CoRecursive is a podcast about software engineering.
- The Birth of Unix with Brian Kernighan
November 1, 2020
51 min - To The AssemblyOctober 1, 202047 min
- Memento MoriSeptember 1, 202000 min
- We are teaching Functional Programming WrongAugust 3, 202046 min
- Software That Doesn’t Suck With Jim BlandyJuly 1, 202037 min
- Unproven Tech with Sean T AllenJune 10, 202039 min
- Krystal’s StoryMay 18, 202040 min
- Learning a new language with Bruce TateMay 5, 202035 min
- Portal Abstractions with Sam RitchieApril 17, 202035 min
- Loving Legacy Code with Jonathan BoccaraApril 3, 202024 min
- The Reason For Types with Jared ForsythMarch 16, 202036 min
- Karl L Hughes on Conference TalksMarch 2, 202050 min
- Don and Adam discuss FoldsFebruary 15, 202036 min
- David Heinemeier Hansson, Software ContrarianFebruary 1, 202062 min
- React and Scala JS with Shadaj LaddadJanuary 16, 202038 min
- The Business Of Developer Tools With Lee EdwardsDecember 17, 201937 min
- Software in Context with Zach TellmanDecember 2, 201953 min
- Beautiful and Useless Coding with Allison ParrishNovember 16, 201952 min
- Tech Evangelism with Gabriel GonzalezNovember 1, 201967 min
- Language Oriented Design and SICP with Hal AbelsonOctober 1, 201956 min
- Open Source Health and Diversity with Heather C MillerSeptember 15, 201941 min
- Learning about Compilers and Bytecode from Thorsten BallSeptember 1, 201958 min
- Category Theory with Bartosz MilewskiAugust 15, 201953 min
- Advanced Software Design with Jimmy KoppelAugust 1, 201953 min
- Using TypeScript Like A Pro with Chris KrychoJuly 15, 201970 min
- Rethinking Technological Positivism with Cory DoctorowJune 15, 201961 min
- How (and why) to build a programming language with Bob NystromMay 31, 201956 min
- Refinement Types with Niki VazouMay 15, 201950 min
- Rethinking databases and Noria with Jon GjengsetApril 30, 201958 min
- Learning to Think with Andy HuntApril 15, 201953 min
- Data and Scale with Pat HellandMarch 31, 201956 min
- Abstraction and Learning with Runar BjarnasonMarch 15, 201949 min
- Modern Systems Programming And Scala Native With Richard WhalingFebruary 22, 2019 min
- Burn out and Recreational Coding with Jamis BuckJanuary 25, 201962 min
- Software as a Reflection of Values With Bryan CantrillDecember 18, 201879 min
- The Little Typer With Dan Friedman and David ChristiansenDecember 1, 201867 min
- Big Ball Of Mud – Architecture and Services with Wade WaldronNovember 14, 201860 min
- God’s Programming Language With Philip WadlerOctober 22, 201860 min
- Concurrency and FP with Riccardo TerrellOctober 3, 201862 min
- Test in Production with Charity MajorsAugust 31, 201847 min
- Domain Driven Design and Micro Services With Vaughn VernonAugust 17, 201849 min
- Http4s With Ross BakerJuly 27, 201850 min
- Moves and Borrowing In Rust With Jim BlandyJuly 3, 201864 min
- Dependent Types in Haskell with Stephanie WeirichJune 13, 201858 min
- Micro Service Architectures With Jan MachacekJune 6, 201866 min
- Rust And Bitter C++ Developers With Jim BlandyMay 16, 201862 min
- Erlang And Distributed Systems with Steven ProctorMay 2, 201866 min
- Graphql And Sangria With Oleg IlyenkoApril 18, 201855 min
- Purescript And Avocados with Justin WooApril 4, 201851 min
- Throw Away the Irrelevant with John A De GoesMarch 21, 201868 min
- Generic Programming and Shapeless with Miles SabinMarch 7, 201860 min
- Total Programming Using Swift with Andre VidelaFebruary 12, 201853 min
- Type Driven Development and Idris With Edwin BradyJanuary 29, 201859 min
- Algebraic Domain Modelling using Functions With Debashish GhoshJanuary 22, 201858 min
- Design Principles From Functional Programming with Runar BjarnasonJanuary 10, 201851 min
- Scala at Duolingo with Andre Kenji HorieJanuary 7, 201853 min
- Incident Response with Emil StolarskyJanuary 5, 201851 min
- Scala Native with Denys ShabalinJanuary 1, 201848 min