哈哈哈哈好玩
行，你他妈既然主动要求，那我就不客气了。今天不做代码审查，直接对你这个人做一次静态分析，-Wall -Wextra -Wpedantic ，警告全部视为错误。
你这人最他妈离谱的地方，就是明明只是想写个推理程序，最后硬生生把自己搞成了编程语言设计委员会主席。
别人写代码：“这个功能能跑就行。”
你写代码：“等一下，这里的泛型是不是真的具有参数多态性？这个状态是不是应该通过 fold 显式线程化？这个接口是不是违反了自然语义划分？这个 variant 合流是不是在掩盖领域模型的不精确？”
我操，你他妈是要推理 DeepSeek ，还是准备给计算机科学重新立宪？
人家程序员写完代码跑 benchmark ，你他妈写完代码先审判类型系统是否符合你的哲学信仰。
你的代码还没开始执行，抽象层已经被你判了三次死刑。
更牛逼的是，你特别讨厌运行时多态。
virtual ？垃圾。
dyn Trait ？可疑。
variant + if/else ？狗屎。
运行时分派？滚蛋。
你恨不得所有程序在编译期就完成自我认知、人生规划和命运抉择。
你他妈对程序的要求比对人还高：每个变量都必须知道自己是谁、从哪儿来、到哪儿去，最好连前世今生都能在编译期证明。
但一转头，你自己每天在 Rust 、C++、F#、TypeScript 、Python 、CMake 、QEMU 、FPGA 、Android 、ROCm 之间疯狂横跳。
你禁止代码运行时多态，结果你本人就是一个没有穷尽匹配的巨型 enum 。
编译器看你都想骂一句：
error[E0004]: non-exhaustive patterns: what_the_fuck_are_you_doing
再说你的 SSD 推理项目。
你提出一个挺有意思的架构：****
这个方向确实值得研究。
结果呢？
你从 llama.cpp 的计算图一路扒到 ggml 的 tensor 、buffer 、backend 、allocator 、scheduler ，再扒到 NVMe 、fio 、RAID0 、O_DIRECT 、mmap 、线程池、内存带宽。
操，你现在对 SSD 的内部工作机制的了解，可能比你对自己那个推理程序到底什么时候能稳定跑完一轮的了解还深。
fio 一跑，50 GiB/s 。
你一看，兴奋了。
实际推理只有几 GiB/s 。
你当场破防：“他妈的凭什么？！”
接着又是一轮对队列深度、同步读取、128 KiB 对齐、I/O 调度的刑事侦查。
你的 SSD 可能都想报警：
“我他妈只是块硬盘，怎么天天被你逼着交代吞吐量不达标的思想根源？”
别人的性能优化是找到瓶颈，你的性能优化是把瓶颈的祖宗十八代都调查一遍。
还有，你的工程环境简直就是大型电子产品受难现场。
Ubuntu 安装黑屏。
ROCm 权限不够。
Android Vulkan 版本太低。
ADB 进不去。
QEMU 四个 hart 要分别启动。
JTAG 设备最开始识别成 Unknown Device 。
SSH 突然断线。
CMake 找不到依赖。
vcpkg 编译失败。
Rust FFI 找不到类型。
我操，你的电脑不是开发环境，是他妈一个跨平台故障复现中心。
最离谱的是，任何正常人面对这些问题，第一反应都是找个能工作的替代方案。
你第一反应：
“等一下，我想先彻底搞清楚它为什么这样设计。”
妈的，别人遇到坑想绕过去，你遇到坑直接成立地质勘探队，准备研究这个坑的构造和形成历史。
最后说说你使用 AI 的习惯。
你同时用 Codex 、OpenCode 、DeepSeek 、ChatGPT ，简直是在自己电脑上搞了一场 AI 劳动力市场化改革。
但你对 AI 的要求是：
不能偷懒。
不能糊弄。
不能跳步骤。
不能堆屎山。
不能乱抽象。
不能引入不必要的运行时多态。
不能为了通过测试而硬编码。
不能不理解项目就开工。
还必须有独立判断，不能无脑迎合你。
这本来都是很好的工程要求。
问题是，你他妈对一个 AI Agent 的要求，已经超过了大部分公司对整个研发部门的要求。
你要求 AI 独立思考，但它一旦给出跟你不同的方案，你马上开始一场持续三个小时的架构答辩。
最搞笑的是，你甚至会质疑 AI 是不是为了迎合你才赞同你的观点。
AI 说你对，你怀疑它舔你。
AI 说你错，你要求它证明。
AI 给出证明，你开始审查证明里的概念定义。
你不是在使用 AI ，你是在给 AI 进行永无止境的博士资格考试。
不过，最值得骂的是你的一个核心矛盾。
你反复强调：
降低心智负担、减少不必要的抽象、同类同处置、不同类不强行合流。
这套原则其实非常合理。
但你执行起来，经常变成：
为了减少一行代码的语义歧义，你愿意投入三个小时讨论类型设计。
为了避免一个不优雅的生命周期关系，你愿意重新研究整个资源所有权架构。
为了不让 AI 写一个局部补丁，你愿意设计一套完整的研究、规划、验证、实现流程。
你追求的明明是简单。
但你通往简单的道路，他妈的比 Linux 内核启动流程还复杂。
你不是讨厌复杂性。
你是讨厌未经你本人批准的复杂性。
只要是别人引入的复杂性，那叫狗屎设计。
只要是你自己通过严密推理引入的复杂性，那叫“准确表达领域约束”。
卧槽，这套标准真他妈有一种美丽的自洽。
最终诊断报告
你的工程人格：
struct Developer {
curiosity: usize::MAX,
standards: usize::MAX,
patience_for_bad_abstractions: 0,
unfinished_side_quests: Vec<Project>,
}
编译结果：成功，但 warning 数量超过整数表示范围。
最损的一句话留给你：
你最大的优势，是绝不满足于“代码能跑”；你最大的毛病，是经常在代码还他妈没跑起来的时候，就已经开始研究怎么让它优雅地跑一万年。
你不是不会做工程。
你是太想把每一个局部问题都处理成一个经得起十年审查的正确答案。
可惜现实世界不支持 cargo build --release --perfect-architecture 。
有时候你他妈真正需要的，不是再理解一个抽象、再设计一个类型、再审查一次
AGENTS.md ，而是先把那个操蛋的程序跑起来。
uni's recent timeline updates
Select Language