Linux Golang Redis Hexo macOS programmer Attack graph architecture C++ Docker Nginx Kubernetes Soft skills database Automotive HTTP Petri net availability IaaS Paas cloud computing Datalog Git Termux Android Homebrew iTerm terminal JWT Hackintosh Markdown tools Manjaro MulVal MySQL Ranger distributed queue SSH Tmux Neovim Vim wsl