一定要努力写文章！https://h-jr.me/https://h-jr.me/posts/tinymist-unused-declarations-detection/https://h-jr.me/posts/tinymist-unused-declarations-detection/从单文件内的集合差分，到跨文件、跨别名的声明依赖图可达性分析，在 Tinymist 中实现了一套语义驱动的无用声明检测机制。Mon, 15 Dec 2025 00:00:00 GMThttps://h-jr.me/posts/hitchhiking-voyage/https://h-jr.me/posts/hitchhiking-voyage/深夜顺风车的奇遇。Sun, 02 Nov 2025 00:00:00 GMThttps://h-jr.me/posts/sisyphus-recommendation/https://h-jr.me/posts/sisyphus-recommendation/推免的推是薛西弗斯推着上山巨石的推。Thu, 25 Sep 2025 00:00:00 GMThttps://h-jr.me/posts/2024-11-15-function-contract/https://h-jr.me/posts/2024-11-15-function-contract/学习用 Frama-C 和 WP 证明程序。Sun, 06 Jul 2025 00:00:00 GMThttps://h-jr.me/posts/2025-07-05-sop-pos/https://h-jr.me/posts/2025-07-05-sop-pos/最小项之和与最大项之积Sat, 05 Jul 2025 00:00:00 GMThttps://h-jr.me/posts/2024-08-20-verilog-breakout/https://h-jr.me/posts/2024-08-20-verilog-breakout/以 Breakout 为例分析 FPGA 设计Sat, 05 Jul 2025 00:00:00 GMThttps://h-jr.me/posts/2024-08-10-verilog-basis-grammar/https://h-jr.me/posts/2024-08-10-verilog-basis-grammar/Verilog 基础语法Thu, 12 Jun 2025 00:00:00 GMThttps://h-jr.me/posts/2024-07-30-wasm-binary-structure/https://h-jr.me/posts/2024-07-30-wasm-binary-structure/Wasm 二进制结构Mon, 02 Jun 2025 00:00:00 GMThttps://h-jr.me/posts/2024-12-25-typst-and-me-in-2024/https://h-jr.me/posts/2024-12-25-typst-and-me-in-2024/我和 Typst 的 2024Thu, 06 Feb 2025 00:00:00 GMThttps://h-jr.me/posts/2024-11-01-computer-network-tcp-lab/https://h-jr.me/posts/2024-11-01-computer-network-tcp-lab/计算机网络 TCP 大实验Tue, 24 Dec 2024 00:00:00 GMThttps://h-jr.me/posts/2024-10-15-trade-in-and-the-new-macbook/https://h-jr.me/posts/2024-10-15-trade-in-and-the-new-macbook/2024 年冬天吃的第一个亏从换电脑开始Fri, 06 Dec 2024 00:00:00 GMThttps://h-jr.me/posts/2024-10-05-learning-rust/https://h-jr.me/posts/2024-10-05-learning-rust/我学编程原神 RustSat, 05 Oct 2024 00:00:00 GMThttps://h-jr.me/posts/2024-09-20-thoughts-after-cumcm/https://h-jr.me/posts/2024-09-20-thoughts-after-cumcm/记三天数模国赛Thu, 12 Sep 2024 00:00:00 GMThttps://h-jr.me/posts/c-compile-arch/https://h-jr.me/posts/c-compile-arch/C 编译体系Fri, 26 Apr 2024 00:00:00 GMT