智谱两周跑通10万张国产加速卡:GLM开始“帮自己修路”
这次智谱没有发布新模型,也没有公布新的榜单成绩。它晒出来的,是一场“模型帮自己修基础设施”的工程实战。9月17日,智谱发布技术文章,介绍由GLM-5.3驱动的Infra Agent,如何参与搭建和优化GLM-5.3-Flash的推理系统。
Codex天团深度复盘:编程顶流是如何诞生的?
在AI编程工具的牌桌上,OpenAI的Codex曾长期连入场资格都没有:用户寥寥,口碑平平,团队也走到了散伙边缘。
GitHub 12万 Star,一条命令把整个项目变成AI能查的知识图谱
QUOTE让 AI 读懂整个项目, Graphify 把关系画成图。— Graphify 项目标识先说一个 AI 编程助手都躲不过的时刻。让它改老项目里的一个功能,它读了七八个文件,token 花掉一大截,最后改出来的代码调了一个早就没人用的函数。
我花了 10 个小时,用AI编了一套精美的诗集:Skills 开源,附 6 套宋代美学模板
几乎推倒重来,累计吞掉 1.697 亿 Token,从需求到最终交付,总耗时10 小时 35 分 02 秒, 317 次模型调用。
向量库是RAG的伪命题,知识图谱是答案,本体论是灵魂
做 RAG 几乎绕不开向量库,但它找的是语义相近,不是精确答案。当知识需要严格的因果与关联时,图谱才是答案,而本体论是背后那张网的建模逻辑。
Claude狂写1.8亿行证明,万亿次测试漏掉的Bug,被AI一锅端
短短48小时,全球就爆了27起重大网络攻击,现在人们都在疯传,「最暗十月」来了。短短几周,Claude拿下了123个开源代码库中的239个测试入口的形式化验证,狂飙1.8亿行Rocq数学证明代码,全部通过机器核验!
Claude Code总弹确认框?AI配置速查表
同一个项目,同事的 Claude Code 跑测试从不停下来问,我的每一步都弹确认框;同事开会话就是他要的模型,我每次手动切。差别不在会员等级,在 settings.json 里那三段:权限白名单、环境变量与默认模型、钩子。图里条越长优先级越高。
深度解读:智谱为什么要在 Infra 层搞 RSI?
这背后体现了智谱的一个核心判断:在算力受到外部严格限制的情况下,中国 AGI 能否取得突破,关键 除了拥有 多少芯片,而在于能否通过软件更高效地调动和利用算力。
C# 入门实战:CSV 转 JSON 工具(手写一个能正确处理引号的解析器)
"CSV 不就是逗号分隔吗?line.Split(',') 一行搞定。"——几乎每个第一次解析 CSV 的人都这么想,然后一定会在某天遇到一个字段里带逗号的文件。这篇我们不引库,手写一个逐字符扫描的状态机,把 CSV 的规则彻底搞明白。
开源“印钞机”、每代降价90%,DeepSeek这几年那些「神播种」
从 MoE、MLA 到开源周、再到 DeepInfer,这条路线把缓存命中折扣压到 97%,每百万 token 的价格一路降了九成。要知道大模型便不便宜,现阶段不太看输入输出价格,大家拉不开差距,更重要的是看缓存命中价格。