CoRecursive - Software Engineering Interviews
By Adam Bell
To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to podcasts.
CoRecursive features In-Depth technical interviews with software developers. Learn about programming languages such as Scala, Haskell, Idris, Kotlin, Erlang and Functional Programming and Type Theory from experts in one on one interviews. Similar to podcasts software engineering daily, functional geekery and hanselminutes technology podcast.
||CleanBig Ball Of Mud||Architecture and Services with Wade Waldron||11/14/2018||Free||View in iTunes|
||CleanGod's Programming Language||Today I talk to Professor Philip Wadler, a very accomplished programming language researcher. Phil walks us through a principle that has guided his career. That principle is that typed lambda calculus is not invented but a discovery of a...||10/22/2018||Free||View in iTunes|
||Clean020 - 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 and decided to rewrite the entire thing in haskell. The immutability of the haskell solution made the...||10/3/2018||Free||View in iTunes|
||Explicit019 - Test in Production with Charity Majors||Metrics and Dashboards can die in a fire and every software engineer should be on-call||8/31/2018||Free||View in iTunes|
||Clean018 - 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 in his work on DDD can provide guidance for where service and consistency boundaries should be...||8/17/2018||Free||View in iTunes|
||Clean017 - 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 context to worry about, we can just focus on inputs and outputs. Examples of functional programming in...||7/26/2018||Free||View in iTunes|
||Clean016 - 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 Rust, you may have heard people talking about the borrow checker and trying to make it happy. In this...||7/2/2018||Free||View in iTunes|
||Clean015 - 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 python if you squinted, passing dictionaries around, no type annotations anywhere. Yet key look up in the dictionary was validated at..||6/12/2018||Free||View in iTunes|
||Clean014 - 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 working on a project that involves decomposing a monolithic application into separate parts, integrated...||6/5/2018||Free||View in iTunes|
||Clean013 - Rust And Bitter C++ Developers With Jim Blandy||Rust, the programming language, seems to be really trendy these days. Trendy to me means shows up a lot on hacker news. Rust is really interesting language though, and I think the growing popularity is deserved. Today I...||5/15/2018||Free||View in iTunes|
||Clean012 - Erlang And Distributed Systems with Steven Proctor||Today's interview is with Steven Proctor, the host of the functional geekery podcast. We talk about distributed programming in general and specifically how erlang supports distributed computing. We also talk about things he's learned about...||5/1/2018||Free||View in iTunes|
||Clean011 - Graphql And Sangria With Oleg Ilyenko||Oleg Illyenko is primary creator of Sangria, a graphql implementation used by twitter, The New Yorks Times and many other companies. We discuss the problems that graphql solves, how sangria works and the problems of api design. Show Notes:...||4/18/2018||Free||View in iTunes|
||Clean009 - Throw Away the Irrelevant with John A De Goes||Today's interview is with John A De Goes. We talk about performance problems with monad transformer on the jvm, various flavours of IO monads and reasoning about polymorphic type signatures. On the lighter side of things, we discuss how...||3/20/2018||Free||View in iTunes|
||Clean008 - Generic Programming and Shapeless with Miles Sabin||When Miles Sabin applied to speak at a conference on generic programming, he bluffed a little bit. He would present on porting Simon Peytons Jone’s scrap your boilerplate functionality to Scala. Once his talk was accepted, he only had one...||3/7/2018||Free||View in iTunes|
||Clean007 - Total Programming Using Swift with Andre Videla||In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of only total functions. A non-total, or partial function, would be a function that can...||2/11/2018||Free||View in iTunes|
||Clean006 - Type Driven Development and Idris With Edwin Brady||Edwin Brady is the creator of the Idris programming language and Author of the book Type-Driven Development with Idris and a computer science lecturer. The book, the language and Edwin himself all seem to be chock full of ideas for improving the...||1/28/2018||Free||View in iTunes|
||Clean005 - Algebraic Domain Modelling using Functions With Debashish Ghosh||In object oriented languages, modeling a complex problem domain is a well understood process. Books like Domain Driven Design contain techniques for breaking down a problem domain and earlier books like the gang of four book catalogue design...||1/21/2018||Free||View in iTunes|
||Clean004 - Design Principles From Functional Programming with Runar Bjarnason||Runar Bjarnason has been exploring how writing in a functional style increases modularity and compositionality of software for many years. He is co-author of functional programming in scala, a book that teaches these principles in scala. It is a very...||1/10/2018||Free||View in iTunes|
||Clean003 - Scala at Duolingo with Andre Kenji Horie||Doulingo is a language learning platform with over 200 million users. On a daily basis millions of users receive customized language lessons targeted specifically to them. These lessons are generated by a system called the session...||1/7/2018||Free||View in iTunes|
||Clean002 - Incident Response with Emil Stolarsky||As a system becomes more complex, the chance of failure increases. At a large enough scale, failures are inevitable. Incident response is the practice of preparing for and effectively recovering from these failures. An engineering team can use...||1/5/2018||Free||View in iTunes|
||Clean001 - Scala Native with Denys Shabalin||Scala is a functional and object oriented programming language built on the JVM. Scala Native takes this language, loved by many, and brings it to bare metal. Scala Native is an optimizing ahead-of-time compiler and lightweight managed runtime...||1/1/2018||Free||View in iTunes|
Great new Podcast!
Very informative and the host is great!