关于我#

🔭 当前探索#

• 编程语言与运行时：从零构建小型解释器和虚拟机，走完 source → AST → IR → bytecode → runtime 的全链路，理解不同计算模型如何相互表示。
• 硬件与计算机体系结构：用 Chisel 探索 RISC-V 处理器设计，研究流水线、冒险、内存系统与验证方法，借助仿真与形式化建模理解硬件行为。
• 形式化方法与系统建模：学习 TLA+ 描述并发系统与状态转换，用可执行模型推理复杂设计。

🛠️ 工具栈#

• 语言：Python · Scala · C/C++ · Rust（学习中）
• 硬件：Chisel · Verilog/SystemVerilog · Bluespec SystemVerilog
• 建模：TLA+
• 系统：Linux · RISC-V 生态

📚 哲学#

Small experiments, incomplete prototypes, and imperfect models are often the fastest way for me to understand a system.

本博客启用于 2024 年 11 月，主要记录学习笔记与生活感悟。

📌 代表仓库#