研究解读
- 关键开源包中 AI 披露的过去一年
- Compiler Explorer 2026 年 AWS 架构与运行内幕
- SigV4 认证远比想象中复杂
- Zig 的 Io.Threaded 设计精妙
- 创建一个技术上敏捷但在原公寓外无效的伪敏捷包装器（第四部分）
- 随机性并非难点：先决条件有向无环图（DAG）教学序列中的归约与复杂性
- FormBharo：为印度农村地区对话式填表而设计与评估的语音代理
- 它够具智能体特性吗？在自有工具上对开源模型进行基准测试
- cos(200!) 的计算奥秘：为什么大数的三角函数需要高精度算术
- Maxis 的生平与时代，第三部分：《模拟人生》
- 相同的注意力，不同的真相：结合 Logit-Lens 与视觉注意力来检测和缓解 LVLM 对象幻觉
- 面向存算分离 GPU 推理的拓扑感知数据传输技术
- 当大模型智能体进行博弈：供应链中的私有信息与动态讨价还价
- 包管理器之间的代码共享
- MathShikkha：针对孟加拉语数学推理的小型语言模型中“仅答案”与“思维链”监督的对照研究
- 理解大语言模型免训练低秩压缩中的校准与截断误差传播
- 二阶 Muon 优化算法的正确实现：谱几何与曲率的原则性结合
- 无攻击者的游戏：选择压力下大模型驱动搜索中的基准测试指纹识别
- OpenTelemetry 进展受阻：一场关于稳定性、规模与维护者的危机
- 用强化学习削减AI数据中心能耗：从单GPU到整个集群的LLM训练实测功耗控制
- NASA水手9号探测器是如何进行图像编码的
- FluctlightDB：面向 AI Agent 的数据内存模型
- 训练强化学习模型玩转 Bonk.io
- 我们的仆人会代劳：自动化与人类工作的未来
- 逼近游戏：有理数与无理数
- 什么是推理？
- 你的边缘设备是以单次前向传递进行基准测试的，但你的Agent将运行循环
- 衡量语音识别中的基准过拟合现象
- 解码 AI：智能体循环架构与供应商经济学
- Claude 如何为 AI 生成的文本添加水印
- 轨道倾角带来的差异
- 地球的形状：大地测量学史
- 快节奏与硬核代码
- 儿童的学习效率为何依然超越AI——至今仍是一个谜
- 修正贝塞尔函数到底“修正”在哪里？
- AI新方法揭示基因组模型从DNA中学习的内容并暴露出隐藏的实验偏差
- 阶乘到底有多大？
- 荧光灯（其实）没有耳朵
- 陷入疯狂的递归：当AI不断吞噬自己的输出
- 3×3 棋盘上的 2048 游戏博弈分析
- 爬坡 SWE 智能体：1700 个编程任务教会了 Kimi K2.7 什么
- 脚手架内部的上下文工程：战胜长程任务中上下文溢出与目标迷失的 4 大机制
- 2026 年各类 Unix 系统的平均负载机制深度剖析
- Meta 推出 ZGateway：统一 ZippyDB 流量、每秒处理超 10 亿次请求的无状态代理层
- Z.ai 详解基于 10 万张国产芯片的 GLM-5.3-Flash 推理系统架构构建
- 我是如何借助 AI 与 Lean 证明康威50年猜想的：Dan Abramov 的一月通关实录
- 让 AI 智能体编写超越现有SOTA性能的 Rust 极限代码：迭代压测实战指南
- 包管理器沙盒化演进：操作系统级隔离、代码移除与 AI 智能体供应链安全
- 软件包管理规范全景图：标准组织、生态提案与碎片化现实
- 低秩词表矩阵的探索之旅：LoRE 架构在削减 20% 参数的同时如何意外降低测试损失
- 从准同步到同步：数字电话通信网络的世纪演进历程
- 扩展代码智能体团队的经验教训：仅用 30% 成本触达前沿能力
- Anthropic 称 Claude 破译 NIST ECDSA 椭圆曲线神秘种子来源：三十年密码学谜题告破
- 你的 MCP 服务器足够安全，但其背后的账本系统并非如此
- 为什么现代系统逐渐摒弃对 /proc 文件系统的过度依赖
- Anthropic 重构版本控制系统：从 Git 迁移至自研 Scion
- 基于受信任虚拟机的机密推理：Anthropic 构筑用户隐私与模型权重安全屏障
- Anthropic 重构版本控制系统：迈向智能体时代的自研系统 Scion
- 根证书信任库也是软件依赖：开源生态中被忽视的证书安全盲区
- 深入 Cohere Model Vault：构建可验证的机密 AI 推理技术
- 构建智能体：何时应当将子智能体合并回主智能体循环
- 大语言模型助力形式化软件验证实现规模化突破
- Kimina-Prover-RL：面向 Lean 4 形式化定理证明的高效开源强化学习训练方案
- Eclypsium 最新研究：受损计算硬件可在运行时篡改 AI 模型输出
- 每任务成本优化：使用轻量级分类器实现 Gemini 多模型与思考层级动态路由