文章

Note: Data Flow Analysis - Foundations

NJU 李樾 & 谭添《软件分析》笔记 2

Note: Data Flow Analysis - Applications

NJU 李樾 & 谭添《软件分析》笔记 1

Rust Quiz 记录

做题记录 & 扩展笔记

Rusty Typescript -- Pattern Matching

如何用 ts 实现 rust 的 Option、Result、match 特性

rCore Camp 2022 Lab4 记录

实现 linkat 、 unlinkat，以及对文件系统的笔记

rCore Camp 2022 Lab3 记录

实现 spawn 、 stride 算法进程调度，以及进程管理的笔记