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..
Typescript Like a Pro With Chris Krycho – Transcript
Here is a machine transcription of https://corecursive.com/034-chris-krycho-typescript/ If you are a transcript reader, let me know what you think (via comment or [email protected]). ..
Advanced Software Design with Jimmy Koppel
How do we create great software? What are the important skills need to properly review a PR? How do you identify assumptions of..
Using TypeScript Like A Pro with Chris Krycho
How do we make javascript easier to work with? Chris Krycho has been using typescript to add types to javascript since 2016. Chris..
Rethinking Technological Positivism 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..
How (and why) to build a programming language 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...
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..
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..
Learning to Think with Andy Hunt
Andy Hunt is a celebrity in the world of software development. Or at least he is one to me. The Pragmatic Programmer is..
Data and Scale with Pat Helland
Pat Helland has a wealth of knowledge on building distributed data stores. He has been working on distributed data stores since 1978, when..
- 1
- 2
- 3
- 4
- Next Page →
Subscribe / Listen Here
- Category Theory with Bartosz Milewski
August 15, 2019
53 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