The Power of Ten - Rules for Developing Safety Critical Code The “Power of Ten” is a set of coding rules designed by NASA’s Gerard J. Holzmann to improve the safety, reliability, and maintainability of safety-critical software. The document outlines ten essential rules for writing robust, verifiable code in critical systems, with a focus on simplicity, strict control flow, memory management, and code clarity. ...
Git submodules are a powerful feature that allows you to include and manage other repositories as part of your main repository. This is especially useful for projects where you want to use external repositories (e.g., a custom Neovim configuration) while keeping them independent. In this post, we’ll cover how to set up, update, and manage Git submodules with a practical example. What Are Git Submodules? A submodule in Git is a pointer to a specific commit of another repository. It allows you to include that repository as a part of your main project without merging its content directly into your repository. ...
Neovim is a modern take on Vim, designed for power users and developers. In this guide, we’ll install Neovim and set it up for basic usage. Why Use Neovim? Extensibility: Lua-based configuration. Modern Features: Built-in LSP, tree-sitter support, etc. Installation Linux Use your package manager: apt update && sudo apt install neovim macOS Install using Homebrew: brew install neovim Windows Install using choco or scoop: choco install neovim Verify the Installation Run nvim in your terminal and create a basic configuration: ...
Link Sparks: Essential Knowledge for Programmers A treasure trove of resources that every programmer should know. This curated list covers a wide range of essential topics, including algorithms, memory management, security, and best practices for writing clean and efficient code. Whether you’re just starting or looking to refine your skills, this guide has something valuable for everyone. Explore the list on GitHub
Getting Started with Python Environments: Conda, venv, and Installing Dependencies Managing Python projects efficiently requires a solid understanding of virtual environments and dependency management. This guide introduces you to two popular tools—conda and venv—and shows you how to set up a project and install dependencies from a requirements.txt file. Why Use Virtual Environments? Virtual environments allow you to: Isolate dependencies for each project. Avoid conflicts between package versions. Maintain a clean global Python installation. Both conda and Python’s built-in venv module are excellent tools for creating virtual environments. ...
If you’ve recently upgraded the disk size of a volume on Hetzner Cloud, you’ll find that the additional space is not automatically available for use. This is because the filesystem on the disk needs to be resized to utilize the new space. Here’s a straightforward guide on how to resize your filesystem on a Hetzner Cloud virtual machine (VM). ...
Symlinks (symbolic links) are like the ultimate shortcuts in the world of operating systems. They help you point to files and folders from multiple locations without creating duplicates. Let’s dive into how you can create and manage symlinks, making your life easier whether you’re navigating the Linux terminal or the Windows Command Prompt. Linux: Creating and Managing Symlinks Making a Symlink In Linux, creating a symlink is as simple as striking a few keys: ...
This is a set of commands for installing Zsh on Ubuntu 18, 20 and 22. Updating the system sudo apt update && sudo apt dist-upgrade -y Installing Zsh sudo apt install zsh zsh --version Installing Oh-My-Zsh Plugin On-My-Zsh plugin provides some amazing shell enhancements to ZSH. You can install the plugin by typing this command in your terminal: sudo apt install git-core curl fonts-powerline sh -c "$(curl -fsSL https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" Link https://ohmyz.sh/#install PLugins Open the zsh config file like this: ...
Setting Up SSH Keys on a New Installation New installations often require setting up SSH keys. Here’s a quick guide on how I configured my new computer with existing SSH keys that were already generated and installed on a remote server. Step 1: Copy the Private Key First, navigate to the SSH directory: cd ~/.ssh/ Step 2: Set the Correct Access Privileges It’s important to set the correct read and write permissions for your private key: ...
Hey Here’s just a simple cheatsheet for the most basic git commands. git init git add file/files git status git commit git push git pull git clone git branch https://github.github.com/training-kit/downloads/github-git-cheat-sheet.pdf