BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

Older rss
28:53
Development Follow 104 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.

16:40
Development Follow 104 Followers

Amir Chaudhry on Unikernels, MirageOS, HalVM, Rump Kernels

Interview with Amir Chaudhry Follow 0 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.

16:40
Development Follow 104 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.

37:00
Development Follow 104 Followers

Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Interview with Adam Wick Follow 0 Followers on  Jan 08, 2016

Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.

30:10
Development Follow 104 Followers

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

Interview with Sylvan Clebsch Follow 0 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.

28:42
Culture & Methods Follow 134 Followers

Mik Kersten on Current and Future ALM Trends

Interview with Mik Kersten Follow 0 Followers on  Nov 07, 2015

Mik Kersten talks about current and future trends in ALM and the support for approaches like large scale Agile, DevOps, Docker, Big Data, functional languages and the Internet of Things.

26:37
Java Follow 324 Followers

Chris Richardson on Functional Programming in Scala and Java, Event Sourcing

Interview with Chris Richardson Follow 12 Followers on  Oct 09, 2015

Chris Richardson explains the appeal of Scala, functional programming in Java and other languages, the basics of Event Sourcing, and his perspective on the state of the Java ecosystem.

37:35
Followers

Sadek Drobi on Architecture, Scala

Interview with Sadek Drobi Follow 0 Followers on  Jun 21, 2015

Sadek Drobi explains ways to simplify software architectures by reframing the problem and requirements. Also: Scala, Prismic.io, and much more.

17:17
Followers

Anil Madhavapeddy on Unikernels and OCaml

Interview with Anil Madhavapeddy Follow 0 Followers on  Jun 15, 2015

Anil Madhavapeddy describes why unikernels have important security properties, how they can be built, and how they can be utilised alongside of Docker containers. He stresses the importance of type safe languages, particularly OCaml, which was used for the Mirage OS project, but also touches upon Go and Rust.

11:10
Followers

Mathias Brandewinder on F# for Data Science

Interview with Mathias Brandewinder Follow 0 Followers on  Mar 02, 2015

Mathias Brandewinder explains why F# is well suited for data science: the REPL, type providers for seamless data access, functional programming concepts and much more.

16:45
Followers

Yan Cui on Graph Databases for Modeling Game Economies, Actors and DSLs with F#

Interview with Yan Cui Follow 0 Followers on  Feb 21, 2015

Yan Cui talks about the advantages of using F# to build DSLs and using the actor model. Also: why and how to use graph databases to model (game) economies.

10:44
Followers

Natalia Chechina on Scaling Distributed Erlang with SD Erlang

Interview with Natalia Chechina Follow 0 Followers on  Feb 13, 2015

Natalia Chechina explains the challenges of scaling distributed Erlang beyond a certain number of systems and how SD Erlang helps to overcome those problems.

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