我是谁
我是 Ming，独立开发者。注意力放在两件事上：大模型芯片，和个人精进。
芯片这头偏硬件验证：把口述的约束变成可执行的指令流，盯住标量、枚举和地址这些容易出错的组合。 个人那头偏工具化：时间、注意力、习惯，尽量都变成能被记录和复盘的东西。
在关注什么
大模型芯片：算力从哪来，显存带宽怎么会成为真瓶颈，量化把精度压到哪里、代价是什么， 以及验证怎么覆盖住这些组合。站上的定点数、位域、字节序、RISC-V 反汇编这些工具，都是这条线上的日常。
个人精进：时间怎么被切碎、注意力怎么找回来、习惯怎么建立、复盘该看什么数据。
timeflow 就是这条线的产物——把任务、番茄钟和时间记录放进同一条时间线。
为什么叫 MingNext
mingnext 就是「下一个」：下一个版本、下一个小工具、下一次重写。
名字起得随意，但也算说中了日常——大部分时间都在做下一件事。
这个站是怎么做的
纯静态站，用 Astro 生成，没有数据库、没有后端服务。 所有工具的逻辑都跑在浏览器里——你输入的 JSON、你的时间戳、你算的房贷， 不会发到任何服务器。
这样做的好处是快、稳、没有隐私负担；代价是没法做需要账号体系的东西。 目前想的工具都不需要账号，所以这样刚好。
这里有什么
联系
有工具上的问题、想加功能、或者有项目想聊，都可以写邮件到 hello@mingnext.com。