SymfonyCon Amsterdam 2019 was a blast!
06 décembre
Coq 8.10.2 is out
The 8.10.2 release of Coq is available. Main changes: Fixed a critical bug of template polymorphism and nonlinear universes Fixed a few anomalies Fixed an 8.10 regression related to the printing of coercions associated to notations Fixed uneven dimensions of CoqIDE panels when window has been resized…
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…
vendredi 06 décembre 2019
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…
jeudi 05 décembre 2019
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…
mercredi 04 décembre 2019
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…
mardi 03 décembre 2019
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…
lundi 02 décembre 2019
HHVM 4.34 is released! This release marks the end of support for 4.28; 4.29–4.33 remain supported, as…
Black Friday Deals on Docker + Kubernetes Courses
In honor of Black Friday, America’s favorite shopping holiday, we’ve rounded up the best deals on Docker…
mercredi 27 novembre 2019
In honor of Black Friday, America’s favorite shopping holiday, we’ve rounded up the best deals on Docker…
Post Comment