Posts by hongjr03

• 

  一路顺风

  深夜顺风车的奇遇。

  h hongjr03

  2025年11月2日

  5 分钟

  碎片
• 

  经验贴｜末九17%上岸南大计院

  推免的推是薛西弗斯推着上山巨石的推。

  h hongjr03

  2025年9月25日

  23 分钟

  保研 经验贴

• Frama-C WP Tutorial | 函数契约

  学习用 Frama-C 和 WP 证明程序。

  h hongjr03

  2025年7月6日

  2 分钟

  Frama-C
• 

  SOP 和 POS

  最小项之和与最大项之积

  h hongjr03

  2025年7月5日

  1 分钟

  Verilog 数字逻辑
• 

  Verilog 打砖块游戏

  以 Breakout 为例分析 FPGA 设计

  h hongjr03

  2025年7月5日

  2 分钟

  Verilog
• 

  Verilog 基础语法

  Verilog 基础语法

  h hongjr03

  2025年6月12日

  6 分钟

  Verilog
• 

  Wasm 二进制结构

  Wasm 二进制结构

  h hongjr03

  2025年6月2日

  8 分钟

  WebAssembly
• 

  我和 Typst 的 2024

  我和 Typst 的 2024

  h hongjr03

  2025年2月6日

  9 分钟

  Typst 碎片
• 

  计算机网络 TCP 大实验

  计算机网络 TCP 大实验

  h hongjr03

  2024年12月24日

  15 分钟

  实验作业
• 

  2024 年冬天吃的第一个亏从换电脑开始

  2024 年冬天吃的第一个亏从换电脑开始

  h hongjr03

  2024年12月6日

  5 分钟

  碎片
• 

  我学编程原神 Rust

  我学编程原神 Rust

  h hongjr03

  2024年10月5日

  6 分钟

  Rust
• 

  记三天数模国赛

  记三天数模国赛

  h hongjr03

  2024年9月12日

  8 分钟

  碎片

• C 编译体系

  C 编译体系

  h hongjr03

  2024年4月26日

  3 分钟

  C 编译