Skip to content
hackertubeai

Strange Loop Conference

"A Little Taste of Dependent Types" by David Christiansen

About this video

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his book The Little Typer.

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