BT
rss
28:08
Development Follow 576 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 1 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.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT