h-jr.me
博客
标签
朋友
关于
Toggle theme
文章
13 篇 · h-jr.me
2025
一路顺风
深夜顺风车的奇遇。
2025-11-02
· 5 分钟
经验贴｜末九17%上岸南大计院
推免的推是薛西弗斯推着上山巨石的推。
2025-09-25
· 23 分钟
Frama-C WP Tutorial | 函数契约
学习用 Frama-C 和 WP 证明程序。
2025-07-06
· 2 分钟
SOP 和 POS
最小项之和与最大项之积
2025-07-05
· 1 分钟
Verilog 打砖块游戏
以 Breakout 为例分析 FPGA 设计
2025-07-05
· 2 分钟
Verilog 基础语法
Verilog 基础语法
2025-06-12
· 6 分钟
Wasm 二进制结构
Wasm 二进制结构
2025-06-02
· 8 分钟
我和 Typst 的 2024
我和 Typst 的 2024
2025-02-06
· 9 分钟
2024
计算机网络 TCP 大实验
计算机网络 TCP 大实验
2024-12-24
· 15 分钟
2024 年冬天吃的第一个亏从换电脑开始
2024 年冬天吃的第一个亏从换电脑开始
2024-12-06
· 5 分钟
我学编程原神 Rust
我学编程原神 Rust
2024-10-05
· 6 分钟
记三天数模国赛
记三天数模国赛
2024-09-12
· 8 分钟
C 编译体系
C 编译体系
2024-04-26
· 3 分钟
