ARTS DEV-RSS tips Y-2024 Y-2022 summary c++ Y-2019 DP 2019-10 2019 tools rsync leadership backtrace architect Y-2023 PKI 2019-09 杂货铺 工具 word vpn vim trie tool tmux thesis sql observer management logs linux libyue greedy gossip git g3log demo debug configuration comics awk Segfault Review OpenMP Latex IDE Engineering DynamicPlanning BSearch 2019-08 2019