Skip to content
hackertubeai

Strange Loop Conference

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

About this video

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

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