摘要：
https://olahiuj.github.io/ 某人曾经说过（原谅我不记得是哪位先贤了，不过看样子不算是太久远的先贤）： 起初随便找个托管平台写，后来自己买服务器买域名建站写，最后希望有框架拿来就写，自己只负责内容输出。 是的，我终于开始用hexo+github pages这样的现代解决方案了 阅读全文
摘要：
Zero Sum Games 即原本讨论的收益矩阵有两个，分别对应于玩家1和玩家2。零和游戏保证了 ，这说明只需要一个唯一的矩阵即可建模游戏收益，通常规定为玩家1的收益 考虑一个混合策略outcome ，对于玩家1而言收益就是 阅读全文
摘要：
Lab2-kmt 花了整个五一三天假期，最后是听了答疑才知道怎么解决栈的数据竞争的.... 痛苦的部分主要是多核 logging 和怎么用 qemu debug 的问题。搞定了这些技术上的难题，剩下就是老老实实写代码了。 设计 spinlock 去观摩了 xv6 的代码，发现不仅要自旋，还得关中断。 阅读全文
摘要：
Lab1-pmm 这里不是实验报告，可以随便吐槽和说很多废话吧（大概） 也没有泄漏啥代码，纯纯的唠嗑，应该不违反学术诚信。 感觉这次实验被我做难了....事实上只需要链表就可以实现所有的操作，buddy system 纯纯的没必要，写出来也不容易 debug （也许熟练工可以做到一次对，但是这有啥用 阅读全文
摘要：
感觉这部分穿插的有些怪 upd：最后两节课突然就悟了，因为tcs组主要是做这个的...看了看感觉就是硬广，那就学着吧。 Courant-Fischer 对于实对称矩阵 ，其最大特征值 \(\lambda_\max(A)\geq \frac{x^\intercal Ax}{x^\interc 阅读全文
