BT
rss
28:08
Development Follow 746 Followers

Peter Alvaro on Distributed Programming, CRDTs, LDFI

Interview with Peter Alvaro Follow 0 Followers on  Apr 20, 2016 1

Peter Alvaro discusses some of the reasons that distributed programming is hard, Lineage-driven Fault Injection, static analysis to check deterministic behaviour, CRDTs, and much more.

33:02
Followers

William Byrd on Logic and Relational Programming, miniKanren

Interview with William Byrd Follow 0 Followers on  Feb 28, 2014

William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.

15:27
Followers

David Nolen on Logic and Constraint Programming, Core.logic, Mozart/Oz

Interview with David Nolen Follow 5 Followers on  Mar 08, 2013

David Nolen explains the ideas behind logic and constraint programming, how they're used in his Clojure core.logic library, Prolog, the features in the Oz language and Mozart/Oz, and much more.

BT