#人工智能
《当 Agent 走向生产，Infra 面临哪些挑战？》
引用文章中的话，从给人写infra到给agent写infra，面临两个变换：
《当 Agent 走向生产，Infra 面临哪些挑战？》
引用文章中的话，从给人写infra到给agent写infra，面临两个变换：
变换一是主体：从人到 Agent。这不只是换了个用户：Agent 以机器速度和机器规模干活，还自主决策，7×24 不停。
变换二是系统性质：从确定性到随机性。模型的输出是非确定的，Agent 的任务是长时运行、有状态的。
#开源项目
Rust实现的linux 0.11版内核linux-0.11-rs。作者还开源了自己参加全国大学生比赛的编译器作品 GeeGeeGee。
在遥远的二十年前，同济大学的一位老师，也是完整解剖了这个版本的代码：《Linux 内核 0.11 完全注释》
Rust实现的linux 0.11版内核linux-0.11-rs。作者还开源了自己参加全国大学生比赛的编译器作品 GeeGeeGee。
在遥远的二十年前，同济大学的一位老师，也是完整解剖了这个版本的代码：《Linux 内核 0.11 完全注释》
GitHub
GitHub - Poseidon-fan/linux-0.11-rs: Linux 0.11 rewritten in idiomatic Rust: kernel, std-style user library, and 60+ coreutils…
Linux 0.11 rewritten in idiomatic Rust: kernel, std-style user library, and 60+ coreutils — boots on i386 in QEMU. - Poseidon-fan/linux-0.11-rs
❤3
#数学
《菲尔兹奖没有意外！两位中国籍数学家创造历史》
中国籍数学家邓煜、王虹同时获得2026年菲尔茨奖。（以前在频道里提到过王虹，履历不算是一个数学天才型选手，非数学竞赛生出身）
和丘成桐、陶哲轩两位曾经获得菲尔茨奖的数学家不同的是，这两位一直到本科阶段，接受的都是中国大陆的教育。某种程度上，我认为他们的得奖是大陆基础教育的胜利。
《菲尔兹奖没有意外！两位中国籍数学家创造历史》
中国籍数学家邓煜、王虹同时获得2026年菲尔茨奖。（以前在频道里提到过王虹，履历不算是一个数学天才型选手，非数学竞赛生出身）
和丘成桐、陶哲轩两位曾经获得菲尔茨奖的数学家不同的是，这两位一直到本科阶段，接受的都是中国大陆的教育。某种程度上，我认为他们的得奖是大陆基础教育的胜利。
❤7🌚4🤣1
#人工智能
《Clean Code for AI Agents》
这篇文章讨论了在2026年，当代码的主要读者从人类程序员转变为AI代理（如Claude Code、Cursor等）时，《Clean Code》原则需要如何重新排序和调整。
AI代理有独特的技术约束——上下文窗口有限、文件截断、依赖grep导航、每次工具调用都消耗token和延迟。因此，传统的代码整洁原则需要按新的优先级重新整理：
最重要的原则：小函数和小文件（适配代理的一次性读取）、单一职责（方便隔离推理）、独特有意义的命名（grep友好）、带原因和背景的注释（代理爱读注释，且不应被删掉）、显式类型（避免类型推断错误）、DRY（防止代理漏改重复代码）、可无头运行的测试（TDD成为技术义务）。
《Clean Code for AI Agents》
这篇文章讨论了在2026年，当代码的主要读者从人类程序员转变为AI代理（如Claude Code、Cursor等）时，《Clean Code》原则需要如何重新排序和调整。
AI代理有独特的技术约束——上下文窗口有限、文件截断、依赖grep导航、每次工具调用都消耗token和延迟。因此，传统的代码整洁原则需要按新的优先级重新整理：
最重要的原则：小函数和小文件（适配代理的一次性读取）、单一职责（方便隔离推理）、独特有意义的命名（grep友好）、带原因和背景的注释（代理爱读注释，且不应被删掉）、显式类型（避免类型推断错误）、DRY（防止代理漏改重复代码）、可无头运行的测试（TDD成为技术义务）。
Akitaonrails
Clean Code for AI Agents
Clean Code carries different weight when an agent is the primary reader: small code, greppable names, provenance context, headless tests, and explicit rules reduce navigation, cost, and errors.
🐳4