败犬日报 2025-02-18

• 1. stantard library hardening
• 2. assume 太开放了
• 3. 群友锐评 jyy 的 OS 课

1. stantard library hardening

会通过 contract 对标准库中的很多行为做检查。

2. assume 太开放了

assume 可以写任意表达式，实际上只有特定形式才会有效果。（例如 len % 8 == 0、ptr != 0）

3. 群友锐评 jyy 的 OS 课

https://jyywiki.cn/OS/Overview_new.md

这样的教学比起讲具体内核的实现更容易让学生理解 system 的顶会。