Coq is a dependently typed language. This means that the types of the language may depend on the values of variables. Here’s our recommended free books to learn Coq.
Read more
Month: November 2021
Getting Started with Docker: Docker Images
A Docker image is a file used to execute code in a Docker container.
Read more
Getting Started with Docker: Commands
The Docker CLI has 40 separate commands. This article explains what these commands do.
Read more
Getting Started with Docker: Run Docker without sudo
Docker is a set of platform as a service (PaaS) products that use OS-level virtualization to deliver software in packages called containers.
Read more
Best Free and Open Source Software – October 2021 Updates
October 2021 updates to the largest compilation of recommended free and open source software available for Linux.
Read more
Best Free and Open Source Alternatives to Microsoft Visio
Microsoft Visio is a diagramming and vector graphics application. What are the best free and open source alternatives?
Read more
Getting Started with Docker: Install Docker Engine
Docker is a set of platform as a service (PaaS) products that use OS-level virtualization to deliver software in packages called containers.
Read more
The Emergence of Cryptocurrency in the Gaming World
Innovative methods are being developed to leverage crypto and trade it into gaming by purchasing avatars, gaming products, characters, and various other industries.
Read more
Excellent Free Tutorials to Learn Limbo
Limbo is a programming language intended for applications running distributed systems on small computers.
Read more
Linux in the Cloud: Hostworld VPS Review
For this review, we are looking at a VPS plan from hostworld.uk.
Read more