Coq 8.10.0 is out

The 8.10.0 release of Coq is available. Main changes: some quality-of-life bug fixes; a critical bug fix related to template polymorphism; native 63-bit machine integers; a new sort of definitionally proof-irrelevant propositions: SProp; private universes for opaque polymorphic constants; string notations…

Attend a #LearnDocker Workshop This Fall
From October through December, Docker User Groups all over the world are hosting a workshop for their…
Women in Tech Week Profile: Renee Mascarinas
In this Women in Tech Week profile, we talk with Rene Mascarinas, a Product Designer, about her career…
v2.2.6
Release v2.2.6
Announcing Ionic React
Today we’re thrilled to announce the general availability of Ionic React, a native React version of…
Designing Your First App in Kubernetes: An Overview
I wrote a blog series recently where I walk you through the basics of architecting an application for…
HHVM 4.27.0
HHVM 4.27 is released! This release marks the end of support for 4.21; 4.22–4.26 remain supported, as…
Post Comment