podcast – Mostly Erlang

061 Idris

Mar 31, 2015

00:00

Creator website

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

Elixir Conf EU April 23-24, Krakow http://www.elixirconf.eu/
PolyConf Krakow July 2-4 http://polyconf.com/
Erlang User Conference in Stockholm June 11-12 www.erlang-factory.com/euc2015
Code Mesh, London, November 2-4 http://lanyrd.com/2015/codemeshio/

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.

Best podcast app

JD Stuart

App Store

I’ve been using Snipd for about a year and this app has been life changing. I listen to about 17 hours of podcasts a week and I want to take notes on 95% of them. Snipd makes it so easy to do. I can triple click my headphones and record a snip. The app also improves rapidly which is welcomed. It’s an easy subscription for me to pay.

No 1 podcast app

Steven

App Store

I tried everything and snipd is the no 1 app for podcasts if you like to remember things. Just tap your headphones three times and a snipped is created, transcribed, and saved to you library.