BT
Older rss
16:40

Todd Montgomery on Protocol Design, Security, Formal Verification Tools

Posted by Todd Montgomery on  Dec 19, 2014

Todd Montgomery explains protocol design, the advantages of binary over text protocols, formal verification tools and methods, and much more.

25:29

Andrew Sorensen on Real Time Programming, Live Coding Music, Memory Management

Posted by Andrew Sorensen on  Dec 13, 2014 3

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.

13:53

Todd Montgomery on the Reality of IoT, Protocols, Nuklei

Posted by Todd Montgomery on  Dec 01, 2014

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.

20:06

Timothy Baldridge on Clojure's Core.Async

Posted by Timothy Baldridge on  Feb 20, 2014 1

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.

38:18

Felix Klock II on Rust: Concurrency, GCs, Type System

Posted by Felix Klock II on  Jan 30, 2014

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.

39:52

Jessica Kerr on Scala, scalaz, scalaz-stream, Testing with ScalaCheck

Posted by Jessica Kerr on  Jan 24, 2014

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.

18:59

Victor Grazi on Java, Process and being a Java Champion

Posted by Victor Grazi on  Nov 04, 2013

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.

21:52

Richard Minerich on Functional Programming, F#, Type Providers and Dynamic Languages

Posted by Richard Minerich on  Sep 04, 2013

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.

15:27

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

Posted by David Nolen 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.

36:10

Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell

Posted by Duncan Coutts on  Feb 21, 2013

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 on Erlang, Using the Actor Model for Embedded Systems, Raspberry Pi

Posted by Omer Kilic on  Jan 28, 2013 4

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.

Erik Meijer discusses programming language design, effects and some web programming problems

Posted by Erik Meijer on  Dec 21, 2012 3

Erik Meijer distinguishes between two kinds of programming languages, pure functional and all the others. He emphasizes some issues regarding mixing higher order programming with effects. Erik then talks about the nature of Javascript, and true problems we need to solve in web programming.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT