随笔 面向对象 计算机组成 机器学习 编译原理 操作系统 Hexo Git HPC 数据库 linux 卡夫卡 组合数学