了不起的 VSCode VSCode是目前我心目中最好用的编辑器了。我们暂且不谈论Linux系统上的编辑器，在那边，Vim是绝对的王者，如果一定要说有竞争对手的话，Emacs也能算一个。 2022-03-20 · aopstudio · VSCode 编辑器 · 0 评论 · 0 浏览
软件工程形式化方法初学体会 最近在上一门叫做新技术讲座的课，我估计好多同学是看到讲座这两个字感觉这课会很水才选的，但实际上这门课讲的内容是非常硬核的软件工程形式化方法，而且授课老师也是国内第 2022-02-19 · aopstudio · 软件工程 形式化 学习 · 0 评论 · 0 浏览
我的开源