Month: June 2020

Article originally posted on InfoQ. Visit InfoQ

Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.

By Viktor Kunčak

Article originally posted on InfoQ. Visit InfoQ

Cahlen Humphreys, Tiffany Chang discuss why Enfuse.io chose Apache Geode and Pivotal Cloud Cache for their data processing needs.

By Cahlen Humphreys, Tiffany Chang

Article originally posted on InfoQ. Visit InfoQ

Viktor Gamov, Gary Russell discuss the concepts of events, their relevance to software and data engineers, and their powers for effectively unifying architectures.

By Viktor Gamov, Gary Russell

Article originally posted on InfoQ. Visit InfoQ

With the release of Safari 13.1, the Web Animations API now ships with all evergreen browsers.

By Dylan Schiemann

Article originally posted on InfoQ. Visit InfoQ

Julia Lawall gives an introduction to the use of Coccinelle and gives an overview of its impact on the Linux kernel. Over the years, Coccinelle has been extensively used in Linux kernel development, resulting in over 7000 commits to the Linux kernel, and has found its place as part of the Linux kernel development process.

By Julia Lawall

Article originally posted on InfoQ. Visit InfoQ

Zoey Fan, product manager for Flutter, recently announced that Codepen, a popular online code playground, is now supporting Flutter. Flutter developers interested in sharing code snippets, or developers interested in quickly trying Flutter out without installation nor setup, can interactively write Flutter code in a Codepen window and observe the web output in another one.

By Bruno Couriol

Article originally posted on InfoQ. Visit InfoQ

This includes massive, root-and-branch changes such as Project Valhalla as well as some of the more incremental deliveries coming from Project Amber – such as Records and Sealed Types.

By InfoQ

Article originally posted on InfoQ. Visit InfoQ

Greg Law talks about the various implementations of record and replay systems that can be used to debug software applications. He discusses of the current state of the art, from both academia and the real world. He provides an overview of the pros and cons, mostly along the axis of ease of implementation versus the capabilities of the implementation.

By Greg Law

Article originally posted on InfoQ. Visit InfoQ

In this podcast, Rob Skillington, co-founder and CTO at Chronosphere, sat down with InfoQ podcast co-host Daniel Bryant. Topics discussed included: metrics collection at scale, multi-dimensional metrics and high-cardinality, developer experience with platform tooling, and open standards related to observability.

By Rob Skillington

Article originally posted on InfoQ. Visit InfoQ

Creating a Cloud Migration Framework gives you a tool for management, accountability, and status reporting. This article looks at three common phases of the migration.

By Will Kelly