The Little Typer With Dan Friedman and David Christiansen
When it comes to type systems “I am, so far, only in the dependent types camp” – Daniel P. Friedman You can write..
Big Ball Of Mud – Architecture and Services with Wade Waldron
In 1997, researchers analyzed the actual architectures of software in the field. The horrifying results: a large portion were best described by colorful..
God’s Programming Language With Philip Wadler
Does god code in Haskell? Professor and accomplished programming language researcher Philip Wadler believes that typed lambda calculus was discovered not invented —..
Concurrency and FP with Riccardo Terrell
When Riccardo Terrell hit the concurrency limitations in a jvm application, he thought back to the haskell he learned in a university course..
Test in Production with Charity Majors
“Metrics and Dashboards can die in a fire and every software engineer should be on-call” – Charity Majors Today’s Interview is with Charity..
Domain Driven Design and Micro Services With Vaughn Vernon
Today I talk to Vaughn Vernon about how Domain Driven Design can help with designing micro services. The guidelines that Vaughn has developed..
Http4s With Ross Baker
The promise of functional programming is code that is easier to reason about, test and maintain. Referential transparency means there is no extra..
Moves and Borrowing In Rust With Jim Blandy
The surprising thing about rust is how memory management works. Rust has the concepts of moves and borrowing. If you have heard about..
Dependent Types in Haskell with Stephanie Weirich
At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been..
Micro Service Architectures With Jan Machacek
I don’t know a lot about micro services. Like how to design them and what the various caveats and anti-patterns are. I’m currently..
Subscribe In Itunes!
- The Little Typer With Dan Friedman and David Christiansen
December 1, 2018
67 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