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