Coq 8.9.1 is out
The 8.9.1 release of Coq is available. Main changes: some quality-of-life bug fixes, many improvements…
HHVM 4.6.0
HHVM 4.6 is released! This release will be supported for 6 weeks, and HHVM 4.1+ remain supported. Highlights…
Introducing Docker Kubernetes Service
Kubernetes is a powerful orchestration technology for deploying, scaling and managing distributed applications…
Your Guide to KubeCon + CloudNativeCon EU
Following on the heels of DockerCon SF, the team is packing their bags and heading to Barcelona for…
Announcing Stencil One: Beta
Today, we’re thrilled to announce the release of Stencil 1.0 beta (what we’re calling Stencil One),…
Coq 8.10+beta1 is out
The first beta release of Coq 8.10 is available for testing. Coq version 8.10 contains two major new…
PWAs Powered by Web Components with David Dal Busco
After a brief hiatus, our Bet on the Web podcast is back with a new episode. This time, we’re chatting…
v2.0-dev3
HAProxy 2.0-dev3
Introducing Oak, a Free and Open Certificate Transparency…
Today we are announcing a new Certificate Transparency log called Oak. The Oak log will be operated…
Capacitor Beta: The Road to 1.0
The Capacitor team has been heads down the last few months preparing for a version 1.0 release. Here’s…