Coq 8.11.2 is out
The 8.11.2 release of Coq is available. This version brings in a few minor fixes. See the changelog…
How to Develop Inside a Container Using Visual Studio…
This is a guest post from Jochen Zehnder. Jochen is a Docker Community Leader and working as a Site…
Announcing your Ioniconf Speakers Part 2
Last week, we announced our entire lineup of speakers at Ioniconf. In addition to that, we also highlighted…
HHVM 4.62
HHVM 4.62 is released! HHVM 4.57–4.61 remain supported, as do the 4.32 and 4.56 LTS releases. Highlights…
DockerCon 2020: Top Rated Sessions – The Fundamentals
Of all the sessions from DockerCon LIVE 2020, the Best Practices + How To’s track sessions received…
Announcing your Ioniconf Speakers
When we announced Ioniconf a few weeks ago, we were thrilled to see the response and sign-ups from all…
Containerize Your Go Developer Environment – Part…
When joining a development team, it takes some time to become productive. This is usually a combination…
v2.2-dev9
HAProxy 2.2-dev9
How To Manage Docker Hub Organizations and Teams
Docker Hub has two major constructs to help with managing users access to your repository images. Organizations…
HHVM 4.61
HHVM 4.61 is released! This release marks the end of support for 4.55; HHVM 4.56–4.60 remain supported,…