Tech Talk: Dependent Types in Haskell with Stephanie Weirich

Welcome to the year-end episode. Today is all the bonus questions. Often times I have questions that I want to ask guests, but they don't quite fit the overall theme of the episode. So today we're goi...

1 Jan 202134min

Did you ever meet somebody who seemed a little bit different than the rest of the world? Maybe they question things that others wouldn't question or said things that others would never say. Daniel i...

1 Dec 202047min

As Brian Kernighan said "UNIX since the start has become a vehicle for creating and using programming languages." Brian initiated work on what would become the UNIX system. He helped develop it to run...

1 Nov 202051min

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 he knows the answers to these questions. How he became an expert i...

1 Okt 202041min

Preparing our minds for the inevitable - death is pressing. After facing terminal cancer, Kate Gregory reminded herself that this event can still become inspiring by focusing on the positive. In this ...

1 Sep 202040min

Today Richard Feldman shares his story of going from javascript developer to elm developer to functional programming teacher.  Along the way, Richard finds that people are teaching functional programm...

3 Aug 202046min

Building Subversion Software is just the tool and it should get out of your way. In this episode, we will discuss Jim Blandy's insights on how to build and recognize improvements for a great developer...

1 Juli 202037min

Choosing The Right Tool For the Job Choosing the right programming language or framework for a project can be key to the success of the project. In today's episode, Sean Allen Sean shares a story of p...

10 Juni 202039min