Skip to content
hackertubeai

Code Sync

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

About this video

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

functional programming

Keep your curiosity going.

A few more ideas from the same corner of the archive.

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

Confreaks

The spelled-out intro to neural networks and backpropagation: building micrograd

Andrej Karpathy

How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework

Видео с мероприятий {speach!

RailsConf 2014 - All the Little Things by Sandi Metz

Confreaks