Spring Security OAuth 2.5.0 Released
28 mai
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…
Managing Deep Links with URLgenius
The following is a guest post from our friends over at URLgenius, a cloud-based service for helping…
vendredi 29 mai 2020
The following is a guest post from our friends over at URLgenius, a cloud-based service for helping…
DockerCon LIVE is here!
DockerCon LIVE 2020 is about to kick off and there are over 64,000 community members, users and customers…
jeudi 28 mai 2020
DockerCon LIVE 2020 is about to kick off and there are over 64,000 community members, users and customers…
Shortening the developer commute with Docker and Microsoft…
Do you remember the first time you used Docker? I do. It was about six years ago and like many folks…
mercredi 27 mai 2020
Do you remember the first time you used Docker? I do. It was about six years ago and like many folks…
HHVM 4.59
HHVM 4.59 is released! This release marks the end of support for 4.53; HHVM 4.54–4.58 remain supported,…
mardi 26 mai 2020
HHVM 4.59 is released! This release marks the end of support for 4.53; HHVM 4.54–4.58 remain supported,…
v2.2-dev8
HAProxy 2.2-dev8
vendredi 22 mai 2020
HAProxy 2.2-dev8
Announcing Ioniconf 2020
It’s finally happening! The moment that’s been talked about, questioned, speculated, humbly requested,…
jeudi 21 mai 2020
It’s finally happening! The moment that’s been talked about, questioned, speculated, humbly requested,…
Post Comment
