Personal site · 2026

关心大模型芯片，
也关心人的长期进步。

一头是芯片：架构、带宽、量化与验证。
一头是自己：时间、注意力、习惯。
顺手做的小工具都放这里，全部在浏览器本地运行。

看作品逛工具

FlutterDartPythonSystemVerilog约束求解Astro

01 / focus

大模型芯片

算力怎么算、数据怎么搬、精度怎么降、结果怎么验。从架构到验证，一个环节一个环节往里看。

架构与算力显存带宽量化与定点硬件验证

个人精进

时间、注意力、习惯，都可以工程化。做工具、记数据、定期复盘。

时间管理注意力习惯复盘

精选作品

全部作品 →

timeflow

开发中

把任务排成一条时间线，让每个番茄都有出处

FlutterDartSQLiteTool Calling

stim_gen

开发中

把口述的硬件约束，编译成可执行的指令流

PythonYAMLtree-sitter约束求解

MingNext

已上线

就是你现在看的这个站

AstroTypeScriptNginx

Tools

打开就能用的工具

全部在浏览器本地运行，输入的内容不会上传到任何服务器。

全部工具 →

{ }

JSON 格式化

格式化、校验、压缩，实时报错

时间戳转换

Unix 时间戳与日期互转，秒毫秒自动识别

进制转换

二 / 八 / 十 / 十六进制互转，带位宽与补码

0.1

浮点数转换

FP16 / FP32 / BF16 与十进制互转，标注规格数与特殊值

位域计算器

按 MSB/LSB 拆寄存器字段，生成 C 宏

RISC-V 反汇编

机器码转汇编，支持 M/A/F/C 扩展

Writing

现在在做

timeflow v2.3 工具调用层，补测试与打包
stim_gen sv2py 约束转换器，处理多维地址不交叉
MingNext 就是这里，边写边补工具

Stack

常用技术

Flutter跨端应用
Python脚本与约束求解
SystemVerilog硬件验证
Astro这个站点

有想法想聊？

工具用着有问题、想加个功能，或者有项目想合作，都可以直接发邮件。我一般两天内回。

写邮件关于我

关心大模型芯片，也关心人的长期进步。