深入了解我对生活和技术的思考，融合了内省和创新。敬请关注新的见解和更新！
学习用 Frama-C 和 WP 证明程序。
最小项之和与最大项之积
以 Breakout 为例分析 FPGA 设计
Verilog 基础语法
Wasm 二进制结构
我和 Typst 的 2024
计算机网络 TCP 大实验
2024 年冬天吃的第一个亏从换电脑开始
我学编程原神 Rust
记三天数模国赛
C 编译体系
© 2025 Aria
