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.
Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell
Duncan Coutts explains the nature of Concurrency and Parallelism in Haskell, its threading and STM implementation, Erlang OTP's influence on CloudHaskell for distributed programming, Monads, and more.
Omer Kilic explains the use of Erlang for embedded systems and how Actors help to model hardware components and concurrency aspects. Also: the work on using Erlang to program the Raspberry Pi.
Viktor Klang talks about the features of Akka 2.x and future releases, Akka's approach to fault tolerance, the effort to unify Futures in Scala, and the state of functional programming.
James Spooner explains how Data Flow Parallelism works and how it helps to design efficient parallel algorithms. Also: OOP vs. Parallelism.
In a wide-ranging interview, LMAX's Trisha Gee talks to Charles Humble about using Java for low latency programming, and the Disruptor, an open source concurrent programming framework developed by LMAX. She also discusses the agile management techniques used at LMAX, and issues around gender and ethnic diversity in IT.
Philip Wadler talks about the role of functional programming and some of the reasons for its slow rise in the past and its influence today. Also: lambda calculus, monads, continuations and much more.
Rich Hickey explains the ideas behind the Datomic database: why Datalog is used as the query language, the functional programming concepts at its core, the role of time in the DB and much more.
John Nolan shows the state of hardware acceleration with GPUs and FPGAs, why it's hard to write efficient code for them, and why to favor polymorphism over if statements for performance.
Mike Williams, co-creator of Erlang discusses the history of and influences on Erlang as well as languages and paradigms used at Ericsson for large scale development and embedded programming.
Francesco Cesarini and Simon Thompson discuss how Erlang's design allows fault tolerance and resilience, modular error handling, details of the actor model implementation and distributed programming.