InfoQ Homepage GOTO Aarhus 2014 Content on InfoQ
Interviews
RSS Feed-
Todd Montgomery on Protocol Design, Security, Formal Verification Tools
Todd Montgomery explains protocol design, the advantages of binary over text protocols, formal verification tools and methods, and much more.
-
Andrew Sorensen on Real Time Programming, Live Coding Music, Memory Management
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 on the Reality of IoT, Protocols, Nuklei
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.
-
José Valim on the Elixir Language, Concurrency, Iteration
José Valim explains the ideas behind Elixir, a new programming language for the Erlang VM. Also: concurrency, handling iteration with Iteratees and other approaches, and much more.
-
David Nolen on Transit, ClojureScript, Transducers, React and Om
David Nolen explains the power of the Transit format (efficiently serializing values to JSON and MessagePack), Transducers, the power of Facebook's React when bundled with immutable data structures.
-
Marc Prud'hommeaux on the Swift Language
Marc Prud'hommeaux talks about his experience using Apple's Swift language, both to write new code and port an existing Objective-C code base. Also: immutable data structures, concurrency, and more.
