BT
Older rss
28:53
Development Follow 547 Followers

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Interview with Stephanie Weirich Follow 0 Followers on  Feb 05, 2016

Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.

26:59
Development Follow 547 Followers

Leah Hanson on the Julia Language, Static Analysis

Interview with Leah Hanson Follow 0 Followers on  Feb 04, 2016

Leah Hanson explains the characteristics of the Julia language, its type system, how to use and implement static analysis for the Julia language in the Julia language, and much more.

16:40
Development Follow 547 Followers

Amir Chaudhry on Unikernels, MirageOS, HalVM, Rump Kernels

Interview with Amir Chaudhry Follow 1 Followers on  Jan 29, 2016

Amir Chaudhry explains the ideas behind Unikernels, implementations like the OCaml-based MirageOS and Haskell-based HalVM, Rump Kernels for integrating with legacy code and much more.

26:34
.NET Follow 326 Followers

Andreia Gaita on .NET and Mono, Unity, VR

Interview with Andreia Gaita Follow 0 Followers on  Jan 23, 2016

Andreia Gaita takes a look at the state of Core CLR and Mono, Unity, cross platform mobile apps with Mono, the state of VR and the many challenges VR developers face.

16:40
Development Follow 547 Followers

Darach Ennis on the Pony Language, Actors, Concurrency

Interview with Darach Ennis Follow 0 Followers on  Jan 17, 2016

Darach Ennis talks about the actor-model language Pony, its distinguishing approaches to memory management and concurrency, how it relates to Erlang, and much more.

30:10
Development Follow 547 Followers

Sylvan Clebsch on the Actor-Model Language Pony, Garbage Collection, Capabilities, Concurrency

Interview with Sylvan Clebsch Follow 1 Followers on  Dec 24, 2015 1

Sylvan Clebsch introduces Pony, a language built on the actor model which combines new approaches to garbage collection and concepts like capabilities to write high performance, concurrent code.

24:39
Development Follow 547 Followers

Felienne Hermans on Applying Software Engineering Methods to Spreadsheets

Interview with Felienne Hermans Follow 0 Followers on  Dec 17, 2015

Felienne Hermans explains the how and why of applying software engineering methods (testing, static analysis, refactoring) to spreadsheets.

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.

20:06
Followers

Timothy Baldridge on Clojure's Core.Async

Interview with Timothy Baldridge Follow 0 Followers 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.

21:36
Followers

Felix Klock II on Parallel JavaScript

Interview with Felix Klock II Follow 0 Followers on  Feb 10, 2014

Felix Klock II explains Parallel JavaScript (née RiverTrail): how it brings parallelism to JavaScript, what data structures and types it supports, how it relates to ECMAScript 6 specs and much more.

41:33
Followers

Deepak Giridharagopal on Puppet, Immutable Deployments, Analyzing Systems with PuppetDB

Interview with Deepak Giridharagopal Follow 0 Followers on  Feb 06, 2014

Deepak Giridharagopal explains the config management and automation tool Puppet, the concept of Immutable Deployments, and how Puppet DB (written in Clojure) allows to monitor and query systems managed with Puppet. Also: why PuppetDB is written in Clojure.

38:18
Followers

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

Interview with Felix Klock II Follow 0 Followers 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.

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