软件所的形式化课直接教 Coq, 牛. 跟着课堂内容记录一下学习的过程, 整理的东西可能需要穿插着看.

最近打算搞 IoT 静态分析, 先来入门一下 IoT.

听了几节讲什么语法文法的课, 听不懂. 实验和这个一点关系也没有, 建议不讲这些奇奇怪怪的, 讲点 LLVM 多好.

这题当时做的时候思路完全错误, 看了一天都没做出来. 之后想去 discord 看看做法, 结果进不去他频道, 然后就搁置了. 某天心血来潮搜了一下, 有 WP 了. 复现.

欧洲人复活了黑色幸存者1, 但是电脑已经没有 windows 了, 私服又用的是 discord 的 game sdk 怎么办呢?

都研究生了还在期末速通.