BT
x Share your thoughts on trends and content!
28:53

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

Interview with Stephanie Weirich 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

Leah Hanson on the Julia Language, Static Analysis

Interview with Leah Hanson 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.

29:21

Monica Beckwith on Tuning and Optimizing Java Garbage Collection

Interview with Monica Beckwith on  Jan 31, 2016

Performance engineer Monica Beckwith covers tuning java garbage collection, including: defining customer requirements; methodology; baselining and measurement; strengths and weaknesses of the different collectors; heap usage; causes of GC pauses; the distribution of pauses; tuning pause characteristics; going off-heap to avoid collection; scaling GC on multi-core and high memory machines.

16:40

Amir Chaudhry on Unikernels, MirageOS, HalVM, Rump Kernels

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

Andreia Gaita on .NET and Mono, Unity, VR

Interview with Andreia Gaita 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.

26:33

Bridget Kromhout on Cloud Foundry

Interview with Bridget Kromhout on  Jan 21, 2016

Bridget Kromhout explains Cloud Foundry, how to run or use it, the tools Cloud Foundry provides for automation, and much more.

18:13

Jon Moore on Hypermedia APIs and Distributed Monotonic Clocks

Interview with Jon Moore on  Jan 19, 2016 1

The interview with Jon Moore begins with a discussion on the relevance of Hypermedia APIs in the context of micro-services as well as the impact of HTTP 2.0 on APIs in general.The second half of the interview focuses on event causality in distributed systems and Moore's research on the application of population protocols for better clock synchronization.

16:40

Darach Ennis on the Pony Language, Actors, Concurrency

Interview with Darach Ennis 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.

14:58

DevOps Enterprise Adoption at E*TRADE with Manuel Edwards

Interview with Manuel Edwards on  Jan 12, 2016

Manuel Edwards on building DevOps momentum across the company with an initial success story and top-down support. Also how to empower self-supporting teams by providing them the tools to do their job.

37:00

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

Interview with Adam Wick 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.

33:20

Understanding Complex Software Systems by Embracing Chaos

Interview with Matt Ranney on  Jan 05, 2016

Modern software systems are complex and chaotic. Requirements, employee counts, and production environments change quickly. Yet the software produced under these circumstances must be understandable as well as useful. Matt Ranney, an architect at Uber, argues that to understand these complex systems you must embrace chaos, rather than run from it. You must also accept limits to our understanding.

13:59

David Hussman on the Uncertainty Movement

Interview with David Hussman on  Jan 01, 2016

David Hussman shares his thoughts around the Uncertainty Movement and moving from progress to product, as well as NonBan, Dude's Law, Cardboard and the horizon of electronic card boards.

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

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.