How to Setup a Git Server
Setting up a Git Server allows you to create private repositories without the restrictions of the providers free plans. In this guide, we will explain how...
WeiterlesenMonth: September 2019
The Paths Perspective on Value Learning
A closer look at how Temporal Difference Learning merges paths of experience for greater statistical efficiency
WeiterlesenHow to Mount an exFAT Drive on Debian Linux
exFAT is a proprietary Microsoft file system optimized for flash memory devices such as SD cards and USB flash drives.In this tutorial, we’ll show you how...
WeiterlesenHow to Configure MySQL (MariaDB) Master-Slave Replication on Debian 10
In this guide, we will show you how to set up MariaDB Master/Slave replication with one master and one slave server on Debian 10. MariaDB is...
WeiterlesenRedirect HTTP to HTTPS in Nginx
In this guide, we will explain how to redirect the HTTP traffic to HTTPS in Nginx. The preferred method to redirect HTTP to HTTPS in Nginx...
WeiterlesenHow to Format USB Drives and SD Cards on Linux
This article explains how to format a USB Drive or SD Card on Linux using the parted utility.
WeiterlesenHow to Extract (Unzip) Tar Bz2 File
Bzip2 is one of the most popular algorithm for compressing tar files. In this tutorial, we will explain how to extract or unzip tar.bz2 and tbz2...
WeiterlesenWelcome, Prashanth!
Last March, I shared that we were starting to look for a new CEO for Stack Overflow. We were looking for that rare combination of someone...
WeiterlesenHow to Connect to MySQL through SSH Tunnel
In this guide, we will explain how to create an SSH tunnel and connect to the MySQL server from remote clients.
WeiterlesenPaste Command in Linux (Merge Lines)
paste is a command that allows you to merge lines of files horizontally. It outputs lines consisting of the sequentially corresponding lines of each file specified...
WeiterlesenPushd and Popd Commands in Linux
pushd and popd are commands that allow you to work with directory stack and change the current working directory in Linux and other Unix-like operating systems.
WeiterlesenHow to Install Go on Debian 10 Linux
Go is a modern open-source programming language created by Google, used to build reliable, simple, fast and efficient software. In this tutorial, we’ll explain how to...
WeiterlesenHow to Install Minecraft Server on Raspberry Pi
In this tutorial we will walk you through the process of installing and configuring Minecraft Server on Raspberry Pi 3 or 4. Minecraft is one of...
WeiterlesenWhereis Command in Linux
whereis is a command-line utility that allows you to find the location of the binary, source, and manual page files for a given command.
WeiterlesenSu Command in Linux (Switch User)
The su (short for substitute or switch user) command allows you to run commands with another user’s privileges, by default the root user.
WeiterlesenHow to Change File Permissions in Linux (chmod command)
In Linux, you can control file access through permissions, attributes, and ownership. This tutorial explains how to use the chmod command to change permissions on files...
WeiterlesenHow to Install Webmin on Debian 10 Linux
Webmin is an open-source web control panel for administering Linux servers. In this tutorial we’ll show you how to install Webmin on Debian 10, Buster.
WeiterlesenHow to Use the gunzip Command in Linux
Gunzip is a command-line tool for decompressing Gzip files. In this article, we will explain how to use the `gunzip` command.
WeiterlesenHow to Truncate (Empty) Files in Linux
This tutorial explains how to truncate files to zero size in Linux systems. In simple words, truncating a file means removing the file contents without deleting...
Weiterlesen
The Rise of the Electric Scooter
In an electric car, the (enormous) battery is a major part of the price. If electric car prices are decreasing, battery costs must be decreasing, because it’s not like...
WeiterlesenHow to Allow Remote Connections to MySQL Database Server
This article goes through the steps necessary to allow remote connections to a MySQL server. The same instructions apply for MariaDB.
WeiterlesenHow to Show Line Numbers in Vim / Vi
Vim supports three modes of line numbering that helps you navigate through the files. In this guide, we will show you how to display or hide...
WeiterlesenHow to Install and Use Curl on Debian 10 Linux
Curl is a command-line utility for transferring data from or to a remote server. This guide explains how to install and use the curl command on...
WeiterlesenHow to Install Arch Linux on Raspberry Pi
In this tutorial, we will show you how to set up Arch Linux ARM on Raspberry Pi. Installing Arch Linux is as simple as creating two...
WeiterlesenHow to Install Slack on Debian 10 Linux
Slack is one of the most popular collaboration platform in the world that brings all your communication together. In this tutorial we will show you how...
WeiterlesenHow to Remove (Delete) Symbolic Links in Linux
A symbolic link, also known as a symlink, is a special type of file that points to another file or directory. This guide will show you...
WeiterlesenEvolution Strategies
Stochastic gradient descent is a universal choice for optimizing deep learning models. However, it is not the only option. With black-box optimization algorithms, you can evaluate...
WeiterlesenChgrp Command in Linux (Change Group)
In Linux, each file is associated with an owner and a group and has permissions that determine which users may read, write, or execute the file....
WeiterlesenGzip Command in Linux
Gzip is one of the most popular compression algorithms that allows you to reduce the size of a file. This article will teach you how to...
WeiterlesenHow to Install GCC Compiler on Debian 10 Linux
The GNU Compiler Collection (GCC) is an open-source collection of compilers and libraries supporting C, C++, and other programming languages. This tutorial explains how to install...
WeiterlesenRm Command in Linux
rm is a command-line utility for removing files and directories. It is one of the essential commands that every Linux user should be familiar with.
Weiterlesen