➡️
继续阅读
-
从AI代码到可信软件:工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准,确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性,并描述了从辅助到自主的成熟度阶段。核心是...
-
如何使用屏幕阅读器操作Discord:快速指南
Discord 对屏幕阅读器用户的可访问性已改善,但仍需技巧。本文介绍基础导航:使用焦点模式配合 F6 键在服务器、频道和消息间切换,Ctrl+K 快速跳...
-
2026 09 06 HackerNews
2026-09-06 Hacker News Top Stories # Anthropic 团队用 Claude AI 在11天内完成了费马大...
-
推理服务的缓存与调度:前缀、多级存储、集群路由
本文讨论长上下文推理服务的缓存与调度优化。核心原则是缓存未命中比命中贵几个数量级,因此设计围绕复用展开:单实例内通过块哈希实现前缀缓存;KV池采用writ...
-
显存账本:每张卡上住着什么,搬走付什么
本文介绍训练大模型时显存管理的通用记账方法。显存分为五类:权重、梯度、优化器状态、激活和通信缓冲。前三类由参数量和并行度决定,激活随输入长度增长,优化空间...
-
AI时代重审欧陆哲学:卡尔纳普语言手术刀再杀海德格
卡尔纳普一刀砍死形而上学,结果砍了个寂寞? 所有人都说逻辑实证主义是一场彻底的失败,但当代哲学家用的工具全是他们造的! 哲学圈最近吵翻了一个老话题:一个叫...