Todd Montgomery explains protocol design, the advantages of binary over text protocols, formal verification tools and methods, and much more.
Andrew Sorensen explains live music coding with Extempore, the challenges of real time programming, garbage collection, static analysis to determine real time code meets its deadlines, hotswapping code, and much more.
Todd Montgomery talks about the Internet of Things: what it is and is not, looking at languages and protocols that will be useful, concurrency, manual memory management vs GC, and much more. Also: Kaazing's Nuklei project.
Timothy Baldridge explains the concepts behind Clojure's core.async, the programming model, the macro implementation, using core.async in Clojure and ClojureScript and much more.
Felix Klock II explains concepts of the Rust language: the concurrency model, the type system, allocation and ownership models, the macro system, its style of FP and OOP, and much more.
Jessica Kerr explains the reasons to use Scala (best of FP and OOP worlds), scalaz, I/O and async programming with scalaz-stream, property-based testing with ScalaCheck, and much more.
Victor Grazi talks to InfoQ about his popular tutorial application Java Concurrent Animated, and other things on his mind including Java, the financial industry, software development lifecycle, and being a Java Champion.
Richard Minerich explains the reasons for choosing F#, how F# Type Providers help to integrate languages like R, how to bring Functional Programming to enterprise developers, and much more.
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.