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