Theory Parsing Techniques Type Theory OS DDD Algorithm Zero Knowledge Proof Languages Mermaid scala risc-v asm sml cheatsheet JavaScript Rust Bash C Lean Databases MongoDB Database Engineering Tools Useful CLI Collection gdb git kroki iTerm System Design 布隆过滤器 高并发系统架构方法论 系统设计案例 Editors vim Misc Productivity 使用git管理dotfiles Courses ICS2021 记录 Manjaro i3 tweak记录