Introducing Oak, a Free and Open Certificate Transparency Log

Today we are announcing a new Certificate Transparency log called Oak. The Oak log will be operated by Let’s Encrypt and all publicly trusted certificate authorities will be welcome to submit certificates. Sectigo generously provided funding to cover a significant portion of our costs to run our CT…

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…
Post Comment