HHVM 4.18.0

HHVM 4.18 is released! This release marks the end of support for 4.12; 4.13-4.17 remain supported, as do the LTS releases 3.30 and 4.8. This release only contains minor improvements/cleanups, but there is one notable future change to be aware of. Future changes Typechecker error code 4110 (currently…

Coq 8.11+beta1 is out
The first beta release of Coq 8.11 is available for testing. There are two main changes brought by Coq…
Managing the TICK Stack with Docker App
Docker Application eases the packaging and the distribution of a Docker Compose application. The TICK…
AWS IoT Greengrass 1.10 Now Supports Docker Containers
On November 25, 2019, AWS announced the release of AWS IoT Greengrass 1.10 allowing developers to package…
Announcing Ionic React Hooks
Last month we announced Ionic React, and have been blown away by the reception from both the Ionic community…
HHVM 4.34
HHVM 4.34 is released! This release marks the end of support for 4.28; 4.29–4.33 remain supported, as…
Coq 8.10.2 is out
The 8.10.2 release of Coq is available. Main changes: Fixed a critical bug of template polymorphism…
Post Comment