061 Idris

podcast – Mostly Erlang by Zachary Kessin

Mar 31, 2015Technology

Guest speaker Edwin Brady talks about Idris in an extremely advanced podcast full of PhDs! Panel Edwin Brady Heinz Gies @heinz_gies Kevin Hammond @khstandrews Simon Thompson @thompson_si Zach Kessin @zkessin Conferences...

Related Episodes

Continue listening to more episodes from podcast – Mostly Erlang.

We are back with Episode #69! Why Should You Major in Computer Science?

Jul 7, 2015

Hi everyone, and sorry for the delay. After our brief hiatus, we should be back to weekly podcasts! Downl...

Episode 69 Coming Soon!

Jun 23, 2015

Sorry everyone for the delay! I know we usually post on Tuesdays but I have had some computer difficultie...

Interview with Joe Armstrong

May 21, 2015

At Erlang Factory San Francisco, Zach spent a few minutes interviewing Joe Armstrong, co-inventor of Erla...

068 Types

May 20, 2015

Sorry about that! Audacity crashed on me and I had to redo the whole thing! 😦 This isn’t going to...

Podcast #68 coming soon!

May 19, 2015

Hi guys, I’m sorry to say that I am dealing with some technical difficulties tonight. Podcast 68, i...

Interview with Jamie Winsor

May 14, 2015

Interview with Jamie Winsor at the San Francisco conference Download Link:

067 Rebar 3

May 12, 2015

Download Link: Fred, Brian, and Zach discuss Rebar in today’s podcast. Hope you enjoy! Panel Fred H...

Interview with Guido van Rossum

May 7, 2015

Happy Thursday! Here’s an interview with Guido van Rossum, author of the Python programming languag...