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.
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.
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.
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.
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.
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.
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.
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.
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.
Rick Hudson talks to Charles Humble about the evolution of Go’s garbage collector, comparing 1.5 to the forthcoming 1.6 release, and also touching on plans for 1.7.
Bryan Cantrill explains Triton (a way to run secure Linux containers on bare metal), the history of DTrace and ZFS and their (lack of) adoption on Linux, the relevance of OS R&D, Unikernels and more.
Felienne Hermans explains the how and why of applying software engineering methods (testing, static analysis, refactoring) to spreadsheets.