Coq 8.13.1 is out

The Coq development team is proud to announce the immediate availability of Coq 8.13.1 Hotfix: Fix arities of VM opcodes for some floating-point operations that could cause memory corruption Please see the changelog to learn more about this release.

v2.4-dev10
HAProxy 2.4-dev10
Coq Platform 2021.02.0 is out
The Coq development team is proud to announce the immediate availability of the Coq Platform 2021.02.0…
Captains Take 5 – Nick Janetakis
Docker Captains are select members of the community that are both experts in their field and are passionate…
Security Update
A security update has been released for all supported HHVM versions. Please update to one of the following…
Managing State in Vue with Vuex
Every app at some point will need to tackle one of the most contentious subjects in front end development:…
Compiling Qt with Docker Using Caching
This is a guest post from Viktor Petersson, CEO of Screenly.io. Screenly is the most popular digital…
Post Comment