Skip to content
hackertubeai

ClojureTV

Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

About this video

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

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