Rico's Nerd Cluster

「离开世界之前 一切都是过程」

Python - Functions

Map-Reduce-Filter, Lambda (Under Active Updates)

Map, Reduce, Filter Map, Reduce, Filter are paradigms of functional programming. WIth them, we can write simpler and shorter programs. They are applied on iterables. Map map(callable, iterable) ...

Adoc

📄 What is AsciiDoc? An .adoc file is a text file written in AsciiDoc format—a lightweight and readable markup language used for writing technical documentation, software manuals, README files, and...

Gitlab Misc.

Access Control, Gitlab CI

Basic Navigation create a new project in the personal space: The hamburger list menu -> your work Access Control If you are not sure who have the merge privileges, Go to your project....

Git - Workflows

Git Test Runners, CI/CD, PyPi

Local Git Repo Setup Copy ssh key to Github Set up email and username: 1 2 git config --global user.name "Your Name" git config --global user.email "your_email@example.com" Regular Git ...

Git and VCS

Gitalk, CI/CD, vcstools

Gitalk Gitalk is a free, open-source commenting system that uses GitHub issues for comment storage. It’s an excellent option for developers hosting websites on platforms like GitHub Pages. Cre...

Git and VCS

Gitalk, CI/CD, vcstools

Gitalk Gitalk is a free, open-source commenting system that uses GitHub issues for comment storage. It’s an excellent option for developers hosting websites on platforms like GitHub Pages. Cre...

Google Drive

Shortcuts

Shortcuts Make fonts larger: ctrl-shift-.

VSCode

Debugging ROS2 Projects, Remote SSH, Latex Support, Agentic Workflows

Useful Shortcuts Debugger; F11: step into; Shift f11: step out F5 continue F10: step over ctrl-shift-y to open debug console Set Up VSCode For ROS2 Development In Docker Reference T...

Docker Image Management

Dockerfile, Image Building, Image Copying

Structure of a Docker Image and Its Build Process A Docker image is like a box of Oreos. The final image is made of multiple Oreos (layers) stacked on top of each other. A layer can be built from ...

Docker - Docker Basics

What is Docker, Basic Docker Operations, Docker Run, Docker Cp

What Is Docker? Deploying and updating software across different operating systems can be cumbersome. Docker simplifies this by providing an isolated environment that runs independently of the hos...