From 97 items, 32 important content pieces were selected
- 免费午餐已终结:软件转向并发时代 ⭐️ 9.0/10
- AI 的数学优势来自更大工作记忆,而非更深推理 ⭐️ 8.0/10
- 批评文章称 RISC-V ISA 设计带来不必要复杂性 ⭐️ 8.0/10
- 开发者用 Codex 自动研究,内核提速 232 倍 ⭐️ 8.0/10
- Unicode 的幽灵字符:困扰文本编码的幽灵 ⭐️ 8.0/10
- 浙大开源 3D 几何编辑方案,3D 指标超越 Nano Banana Pro ⭐️ 8.0/10
- 不要分类,要幻觉:用向量映射虚构标签 ⭐️ 8.0/10
- Flue 2 为代理框架引入 React 风格 Hooks,Astro 创作者 Fred Schott 解读 ⭐️ 8.0/10
- 从零构建 AI 文本检测器:端到端实战指南 ⭐️ 8.0/10
- GLM-5.3:中国实验室如何紧跟前沿 ⭐️ 8.0/10
- Gemini 3.7 Flash 发布:接近旗舰性能,价格大幅下探 ⭐️ 8.0/10
- DeepSeek 开源模块化 Harness:模型、工具与 Agent Loop 均可插拔 ⭐️ 8.0/10
- 研究发现潜在推理模型在很大程度上可解释 ⭐️ 8.0/10
- 研究将司美格鲁肽与预测性痴呆风险降低相关联 ⭐️ 7.0/10
- 解析 Claude 文本水印技术的工作原理 ⭐️ 7.0/10
- MCP 走向无状态,开发者追问:这不就是变回 API 了吗? ⭐️ 7.0/10
- Cloudflare Computer 发布:为 AI 智能体提供持久化运行环境 ⭐️ 7.0/10
- InfoQ 发布 2026 年趋势报告:聚焦文化与方法论 ⭐️ 7.0/10
- Zig 创始人抨击 Bun 用 Claude 生成的 Rust 重构版是“无人把关的烂代码” ⭐️ 7.0/10
- Claude Code 没有“魔法”,只有扎实的工程 ⭐️ 7.0/10
- DeepSeek + Pi 组合据称超越 Claude Code,Pi 创始人称早有预料 ⭐️ 7.0/10
- 从“会用”到“驾驭”:AI 编程进入生产环境的真实碰撞 ⭐️ 7.0/10
- CTO 圆桌:工程领导者谈构建 AI 原生组织 ⭐️ 7.0/10
- IBM 与 Red Hat 提出 AI 智能体交付防篡改验证方案 ⭐️ 7.0/10
- Firefox 成为唯一仍支持 uBlock Origin 的主流浏览器 ⭐️ 7.0/10
- Serokell 发布 GHC 依赖类型系列第五篇 ⭐️ 7.0/10
- 时空可组合性的编程范式 ⭐️ 7.0/10
- nixpkgs-multiverse 新增快速模式,即时获取 store path ⭐️ 7.0/10
- 2004 年 RuneScape 如何将多人 RPG 塞进 56k 拨号网络 ⭐️ 7.0/10
- curl 维护者发布性能后续文章 ⭐️ 7.0/10
- 专为运行 NES 模拟器而设计的最小内核 ⭐️ 7.0/10
- Meta 百万美元留任股票未能阻止离职潮,Grok Bot 引发疑问 ⭐️ 7.0/10
免费午餐已终结:软件转向并发时代 ⭐️ 9.0/10
Herb Sutter 在 2005 年发表的文章《免费午餐已终结》指出,依靠更高单核主频自动获得性能提升的时代正在结束。他认为未来的性能增长将来自多核处理器,迫使软件开发者转向并发编程。 这篇文章被广泛视为预测多核时代并改变软件工程优先级的奠基性呼吁。其影响延续至今,因为并发与并行仍是现代高性能计算的核心议题。 Sutter 解释了主频提升正遭遇功耗与散热的根本性瓶颈,因此硬件厂商转而推出多核芯片而非更快的单核。他强调开发者不能再只依赖硬件,而需要新的编程模型和工具来支持并行执行。
rss · Lobsters · Aug 15, 10:31
背景: 几十年来,软件开发者享受着“免费午餐”:CPU 逐年变快,现有程序无需修改代码就能自动跑得更快。这一进步得益于 Dennard 缩放定律,即晶体管缩小的同时主频和功耗可以按比例提升。大约在 2003 至 2005 年间,功率泄漏和散热问题使主频继续提升变得不切实际,行业因此转向多芯片和多核设计。Sutter 的文章抓住了这一转折点,主张软件现在必须显式利用并行性才能继续获得性能提升。
标签: #concurrency, #software engineering, #multi-core, #performance, #history
AI 的数学优势来自更大工作记忆,而非更深推理 ⭐️ 8.0/10
Davide Piffer 的新文章认为,AI 在数学上的成就主要来自其远超人类的“工作记忆”(即上下文窗口)和不知疲倦的坚持,而非更深的推理能力。这一论点在 Hacker News 上引发了广泛讨论。 这重新框定了数学领域里 AI 与人类的比较:我们不应只问模型是否“更会思考”,还应把记忆规模和持久性视为关键因素。它也为数学家提供了实用思路,例如让 AI 自动探索并记录人类很少发表的负面结果。 在大型语言模型中,工作记忆对应的就是上下文窗口,即模型一次能处理的文本量。评论者指出,AI 代理从不会疲倦或气馁,还能方便地发布和复用负面结果,而人类数学家因激励机制和时间精力限制很少这样做;像 theoremdb.org 这样的项目正试图利用这一点。
hackernews · rzk · Aug 15, 18:13 · 社区讨论
背景: 大型语言模型中的上下文窗口,是指模型在生成输出时能够“记住”或关注的 token 数量;更大的窗口让它能处理更长的输入并携带更多信息。人类的工作记忆是一个容量很小、容易过载的“预算”,而 AI 可以维持更大的活动上下文,并且不知疲倦地工作。这篇文章把这个对比具体应用到数学解题上,认为 AI 能容纳更多中间步骤并不断尝试,从而获得实用优势。
参考链接
社区讨论: 评论者大多表示认同,并补充了细节:有人认为智力常常就是“比别人记得更多”,也有人强调 AI 靠永不疲倦实现“暴力搜索”式优势。还有人引用 Michael Nielsen 的文章《Augmenting Long-Term Memory》,并指出像 theoremdb 这样的项目可以帮助发布和复用负面结果。
标签: #AI, #cognition, #mathematics, #large language models, #memory
批评文章称 RISC-V ISA 设计带来不必要复杂性 ⭐️ 8.0/10
一篇发布在 dmitry.gr 上的技术批评文章指出,RISC-V 的设计选择与扩展膨胀带来了不必要的复杂性,尤其是对嵌入式应用而言。该文在 Hacker News 上引发了大量讨论,并收到来自 CPU 设计师的反驳观点。 RISC-V 是广泛应用于从微控制器到 AI 加速器等产品的开放标准指令集架构,因此有分量的批评可能会影响架构和工具链选择。这场讨论凸显了可扩展性与碎片化之间的现实矛盾,对整个行业的 CPU/系统架构师和嵌入式开发者都有影响。 文章针对 RISC-V 的基础 ISA 以及大量可选扩展展开批评,认为这种做法使实现和工具链变得复杂。评论者则反驳说,RISC-V 应被视为“ISA 生成框架”而非固定 ISA,厂商可以自行挑选组合子集,并举出 Meta、AMD 和 NVIDIA 的成功部署作为例证。
hackernews · Lobsters · Aug 14, 12:50 · 社区讨论
背景: RISC-V 是一个基于 RISC 原理的开放指令集架构(ISA),与 x86、ARM 等专有 ISA 不同,其规范以宽容的开源许可证发布,任何人都可以免版税实现处理器。该架构由一个精简的基础指令集加上可选标准扩展组成,这些扩展由 RISC-V International 的成员协同制定并批准发布。
社区讨论: Hacker News 上的讨论整体深入且相互尊重。部分评论者认同批评中的部分观点,但强调 RISC-V 应被理解为可扩展的 ISA 生成框架,而非一个固定不变的 ISA;另一些人则以 Meta、AMD 和 NVIDIA 的实际采用为例,认为这种灵活性很有价值。业余 CPU 设计师 wren6991 表示,RISC-V 满足了他的两个核心需求——获得 LLVM/GCC 主线支持以及没有法律风险,其余问题都可以在后续阶段修正。
标签: #RISC-V, #ISA design, #CPU architecture, #embedded systems, #technical critique
开发者用 Codex 自动研究,内核提速 232 倍 ⭐️ 8.0/10
在最近一篇博客中,一位开发者使用 OpenAI 的 Codex 智能体对内核自动执行“基准测试-性能分析-验证-研究-改进”循环,实现了 232 倍的加速。这篇文章展示了 AI 驱动的自动研究如何应对底层性能优化。 这一结果凸显了基于大语言模型的智能体在性能工程领域日益增强的能力,而该领域传统上需要深厚专业知识。它也引发了关于可靠性的讨论,因为社区成员指出,这类 AI 优化的方案往往过度拟合特定输入,在分布外的用例上会失效。 作者提到,他们让智能体访问编译器的性能分析器,并加入比特流验证器以确保优化过程中的正确性。评论者还指出,在相关竞赛中,10 个由 AI 优化的顶级方案中有 8 个在竞赛之外的输入上失效,而专家手工调整的方案则保持稳健。
hackernews · tosh · Aug 15, 11:00 · 社区讨论
背景: OpenAI Codex 是一套由 AI 驱动的编码智能体,可自动化代码审查、重构和功能实现等软件工程任务。内核优化是指调整计算内核以充分利用底层硬件能力,传统上这是一项耗时且需要手动完成的工作。近期研究综述显示,利用大语言模型进行代码优化的兴趣日益增长,但正确性和泛化性问题依然存在。
参考链接
- Codex in ChatGPT | AI Coding Agents for Software... | OpenAI
- GitHub - openai / codex : Lightweight coding agent that runs in your...
- [2501.01277] Language Models for Code Optimization: Survey ... Language Models for Code Optimization: Survey, Challenges and ... An Evaluation of Large Language Models for Code Optimization GitHub - FeiLiu36/LLM4AlgorithmDesign: A Collection on Large ... GitHub - codefuse-ai/Awesome-Code-LLM: [TMLR] A curated list ... LLaMoCo: Instruction Tuning of Large Language Models for ... These are the best large language models for coding
社区讨论: 评论既包含热情也包含谨慎。有用户表示读一篇人类撰写的长文令人耳目一新,也有人好奇 GPU 内核和 SIMD 是否在训练数据中特别有代表性。多位评论者就过度拟合提出警告,提到一场竞赛中大多数 AI 优化方案在分布外输入上失效,并分享了将这些方法应用于自定义查询引擎的经验。
标签: #AI-assisted development, #kernel optimization, #performance engineering, #Codex, #machine learning
Unicode 的幽灵字符:困扰文本编码的幽灵 ⭐️ 8.0/10
日本 NLP 开发者 Paul McCann 在一篇新的深度文章中探讨了 Unicode 中的“幽灵字符”——那些来源无法查证的已编码字符——并追溯了它们如何通过 JIS 标准和 CJK 统一表意文字进入 Unicode。 由于 Unicode 是全球标准,幽灵字符一旦被编码,几乎不可能在不破坏兼容性的情况下删除;它们也会削弱文本处理和数字保存的可靠性。这篇文章指出了 CJK 字符集在构建和维护过程中一个被忽视的风险。 Unicode 从早期的 JIS 标准中继承了幽灵字符,并通过汉字统一过程生成了自己的幽灵字符;文章引用了彁等例子,其来源可能是一次有缺陷的报纸扫描。这些字符很难修改或删除,因此作为永久的兼容性负担留在标准中。
hackernews · sensanaty · Aug 15, 14:34 · 社区讨论
背景: 幽灵字符(有时称为“幻影字符”)是存在于字符标准中、但在现实世界中找不到明确来源的码点;它们往往来自错别字、误读或字典编纂过程中的错误。“汉字统一”(Han unification)将中、日、韩共用的汉字合并为 Unicode 中的单一字符集,这也意味着 JIS 等国家标准中的缺陷字符被带入了国际标准。一旦编码,由于现有系统和文档依赖这些码位,几乎不可能删除它们。
社区讨论: 评论者普遍表示赞赏,称赞 McCann 在日语 NLP 方面的工作和他通俗易懂的写作。还有人补充了技术背景:一位评论者指出有证据表明彁来自一次有缺陷的报纸扫描,另一位则指出康熙字典——CJK 字符的重要来源——中有大量内容本身就是幽灵字符,这反映了 CJK 统一过程中的哲学张力。
标签: #unicode, #character-encoding, #cjk, #text-processing, #japanese-nlp
浙大开源 3D 几何编辑方案,3D 指标超越 Nano Banana Pro ⭐️ 8.0/10
浙江大学在 ACM MM’26 上开源了一种图像编辑方法,通过显式 3D 几何约束让 AI 在平面图像中进行立体编辑。官方结果显示,其在 3D 指标上超过了 Google 的 Nano Banana Pro。 这标志着 AI 图像编辑从“靠文本猜测的 2D 编辑”向“感知几何的 3D 编辑”迈出关键一步,能明显改善形状、光照和透视一致性。由于方案开源,研究者和开发者可以复现并在此基础上继续开发,而不必完全依赖 Nano Banana Pro 等闭源商业模型。 核心思路是在编辑过程中加入显式 3D 几何约束,让模型不再仅靠文本提示去盲猜物体的空间关系。方案专门针对“平面图像中的立体编辑”场景,评测重点也放在 3D 几何指标上,而不只是传统画质或文字渲染质量。
rss · 量子位 · Aug 14, 06:09
背景: 当前主流 AI 图像编辑器大多基于多模态大模型或扩散模型,主要工作在 2D 像素空间;例如 Google 的 Nano Banana Pro 基于 Gemini 3 Pro,原生支持 4K 图、参考图和文字渲染,但空间结构仍要靠模型自行推断。浙大的方案在编辑管线中引入显式 3D 几何约束,以减少模型对 3D 结构的“盲猜”。该工作与 ACM 多媒体会议 ACM MM’26 相关,并以开源形式发布,便于社区验证和二次开发。
标签: #AI, #image editing, #3D geometry, #computer vision, #open source
不要分类,要幻觉:用向量映射虚构标签 ⭐️ 8.0/10
Simon Willison 介绍了 Doug Turnbull 的技巧:与其用 LLM 对庞大的现有标签词表进行分类,不如先让 LLM 自由“幻觉”出候选标签,再用向量嵌入将候选标签映射到最接近的真实标签。这样就能在不把全部 1856 个标签喂给模型的情况下完成打标。 这种方法解决了 LLM 的一个实际局限——标签空间过大可能超出上下文窗口或降低分类质量。它是一个巧妙且可复用的模式,很可能会启发搜索、打标、分类体系映射等许多场景中的类似做法。 示例提示词要求模型为搜索查询生成“从未见过的”家具/家居用品分类,并给出标签形状的示例(如“Furniture / Living Room Furniture / Coffee Tables & End Tables”)。Willison 提到自己的博客有 1856 个标签,数量太多,无法一次性全部交给 LLM。
rss · Simon Willison · Aug 14, 21:54
背景: 向量嵌入是词或短语的数值表示,语义相近的内容在向量空间中会彼此靠近。LLM 会“幻觉”——生成看似合理但并非基于事实的内容,这通常是个问题,但这里被有意用来发散候选标签。随后该技术依靠向量嵌入,将自由生成的候选标签连接到最接近的既有分类词条。
参考链接
标签: #LLM, #embeddings, #classification, #tagging, #NLP
Flue 2 为代理框架引入 React 风格 Hooks,Astro 创作者 Fred Schott 解读 ⭐️ 8.0/10
Flue 2 发布了新版本,核心变化是在 Agent Harness(智能体框架)中引入了类似 React 的 Hooks 机制。Astro 的创作者 Fred Schott 在 Latent Space 的访谈中解释了为什么 Agent 实际上由 Harness 而非模型本身定义。 这一设计将前端开发者熟悉的 React 编程模式带入 AI Agent 开发,可能大幅降低构建持久化、多步骤智能体的门槛。随着 Agent 生态快速发展,Harness 正在成为决定 Agent 能力与行为的关键层,Flue 2 的做法或会影响该领域的架构方向。 Flue 是一个开源的 TypeScript Agent 框架,内置 Harness,支持会话、工具、技能、指令、文件系统访问和沙箱执行。Flue 2 的 Hooks 模式借鉴了 React 的组件状态管理思路,让开发者能够在 Harness 中更简洁地管理 Agent 的生命周期和状态。
rss · Latent Space · Aug 15, 15:46
背景: Agent Harness(智能体框架)是包裹在大语言模型(LLM)外部的软件基础设施,负责工具调用、记忆、状态持久化、执行环境和反馈循环,因此有’Agent = Model + Harness’的说法。Flue 由 Astro 的创作者 Fred Schott 开发,旨在用 TypeScript 构建可编程、可移植的 Agent Harness。React 的 Hooks 让开发者以函数式方式管理组件状态,Flue 2 将这一模式借鉴到 Agent 开发中,用熟悉的抽象来组织 Agent 的上下文与行为。
参考链接
标签: #React, #Agents, #Harness, #AI, #Astro
从零构建 AI 文本检测器:端到端实战指南 ⭐️ 8.0/10
Sebastian Raschka 发布了一份端到端教程,指导读者从零构建 AI 文本检测器,涵盖数据集构建、模型训练、本地部署以及基于可验证奖励的强化学习(RLVR)。该教程定位为完整的实战项目,而非仅概念性概述。 作为公认的机器学习专家,Raschka 的实操教程为从业者提供了可复用的蓝图,帮助其构建并落地 AI 检测系统,而不仅仅是训练模型。它还展示了 RLVR 这一重要研究趋势如何应用于具体的 NLP 任务,弥合了前沿方法与生产实践之间的鸿沟。 该教程覆盖完整的项目生命周期:创建训练数据集、训练检测模型、本地部署,以及应用 RLVR 优化性能。摘要未披露具体代码、模型架构或基准测试数据,但整体方法被定位为贴近实战且对 AI 从业者友好。
rss · Ahead of AI (Sebastian Raschka) · Aug 15, 11:54
背景: RLVR 是一种强化学习范式,其奖励来自外部验证器,例如数学中的精确答案检查、代码中的单元测试或事实核查器,而非人类反馈或学习得到的奖励模型。这使得训练信号更加客观、可扩展,并且非常适合具有明确正确性标准的任务。AI 文本检测则指判断一段文本是由人类撰写还是 AI 模型生成的系统,随着大型语言模型的普及,这项任务变得越来越重要。
参考链接
- GitHub - opendilab/awesome-RLVR: A curated list of reinforcement learning with verifiable rewards (continually updated) · GitHub
- Reinforcement Learning with Verifiable Rewards: Definitions, Methods, Case Studies, and Evaluation Caveats | by Adnan Masood, PhD. | Medium
- [2506.14245] Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs
社区讨论: 该新闻项未提供读者评论,因此没有社区讨论可总结。
标签: #AI text detection, #machine learning, #tutorial, #RLVR, #NLP
GLM-5.3:中国实验室如何紧跟前沿 ⭐️ 8.0/10
GLM-5.3 是智谱 AI(Z.ai)于 2026 年 8 月发布的最新开源权重旗舰模型,基于 GLM 5.2 底座,并进行了大规模长周期后训练。Nathan Lambert 在分析中指出,中国实验室的前沿进展并非源于蒸馏(distillation)。 这一分析挑战了“中国 AI 实验室只是蒸馏西方模型”的常见说法,提供了对其独立进展更为细致的视角。此事之所以重要,是因为它重塑了研究人员和决策者对全球 AI 竞赛以及前沿模型创新来源的理解。 据社区消息,GLM-5.3 最早由 GLM 团队负责人唐杰在 2026 年 7 月初预告,直到 2026 年 8 月才正式发布。它基于 GLM 5.2 底座,并强调长周期后训练(long-horizon post-training),这一技术或许能解释超越简单蒸馏的前沿进展。
rss · Interconnects · Aug 14, 21:23
背景: 前沿 AI 模型是指在某一时刻最先进的 AI 系统,它们在海量数据上训练,以在多种任务上实现顶尖性能。知识蒸馏是一种将大型“教师”模型的知识转移给小型“学生”模型的技术,常用于构建高效模型。由智谱 AI 开发的 GLM 系列最初是一种采用自回归空白填充的语言模型,后来演变为 ChatGLM 聊天机器人,基准测试显示其在各版本中持续进步。
参考链接
标签: #AI, #GLM, #Chinese AI labs, #frontier models, #research analysis
Gemini 3.7 Flash 发布:接近旗舰性能,价格大幅下探 ⭐️ 8.0/10
谷歌 DeepMind 发布了 Gemini 3.7 Flash,这是一款原生多模态推理模型,以远低于旗舰模型的价格提供了接近旗舰的性能。该模型面向快速的智能体工作流、编程和复杂多步推理场景,可通过 Gemini API 和 OpenRouter 使用。 此次发布重塑了 AI 模型的性价比曲线,让开发者和企业能以更低成本获得先进的推理能力。同时,它也加剧了主要 AI 实验室之间的竞争,有可能降低整个行业中智能体和编程应用的使用成本。 Gemini 3.7 Flash 是 Gemini 3 系列中能力较强、原生多模态推理模型的下一代迭代版本,稳定版本号为 gemini-3.7-flash。根据谷歌开发者文档,其最新更新日期为 2026 年 8 月,该模型定位于需要响应式性能和可靠多步问题解决能力的任务。
rss · InfoQ 中文站 · Aug 15, 00:01
背景: Gemini 是谷歌 DeepMind 推出的多模态大语言模型系列,于 2023 年 12 月 6 日公布,名称源自双子座。该系列包括 Gemini Pro、Gemini Deep Think、Gemini Flash 和 Gemini Flash Lite 等不同层级。Flash 型号专为平衡速度、成本和能力而设计,适合编程助手和智能体工作流等高并发、低延迟应用场景。
参考链接
标签: #AI, #Gemini, #DeepMind, #Language Models, #Pricing
DeepSeek 开源模块化 Harness:模型、工具与 Agent Loop 均可插拔 ⭐️ 8.0/10
DeepSeek 开源了一个 AI agent harness,将模型、工具和 Agent Loop 都设计为可插拔的独立组件。这种模块化架构使开发者在构建 agent 系统时可以独立替换每个部分。 这一举措通过让模型、工具和控制循环易于自由组合,可能降低构建自定义 AI agent 的门槛。考虑到 DeepSeek 在开源 AI 领域的影响力,它可能会影响整个生态系统中 agent 框架的设计方式。 该 harness 遵循“agent = model + harness”模式,由 harness 负责工具调用、记忆、状态持久化和反馈循环。公告中未提供具体仓库、支持的模型及兼容性等细节。
rss · InfoQ 中文站 · Aug 14, 14:38
背景: Agent harness 是环绕语言模型的软件基础设施,它通过管理工具调用、记忆、执行环境和反馈循环,将无状态的模型转变为自主 agent。Agent loop 是指模型感知、行动并重新评估直至完成任务这样的迭代循环。开源这样一个 harness,意味着 DeepSeek 将其用于支持模型作为自主 agent 运行的整套脚手架共享出来。
参考链接
标签: #DeepSeek, #open-source, #AI agents, #machine learning, #agent framework
研究发现潜在推理模型在很大程度上可解释 ⭐️ 8.0/10
一项新研究对 Coconut 和 CODI 进行探测后发现,在 PrOntoQA 和 ProsQA 等逻辑基准上,它们的隐藏推理步骤很少被真正使用,性能主要来自训练数据。然而在数学问题上,当答案正确时,正确中间步骤最多有 93% 的情况可以从潜在状态中解码出来。 这一结果挑战了“潜在推理模型依靠内部思维链解决逻辑任务”的常见假设,有助于区分真正的推理与数据驱动的捷径。它还表明,隐藏状态可以作为预测模型回答正确与否的信号,这对可解释性和模型评估都很有价值。 研究人员将潜在状态解码回词汇 token 来检查推理路径,并通过改动提示中的数字来确认数学运算。对于错误的预测,这种解码很少成功,这意味着“是否存在可验证的推理路径”本身就可以作为可靠性指标。
rss · Lobsters · Aug 15, 16:17
背景: 传统大语言模型通过逐步生成思维链文本来进行推理,虽然可读但消耗大量 token。以 Meta FAIR 提出的 Coconut 为代表的潜在推理模型,则将最后的隐藏状态作为“连续思维”重新输入,从而在潜在空间中进行推理。PrOntoQA 和 ProsQA 等基准提供深度可控、本体类型可控的合成逻辑推理任务,常被用来检验模型是否真正在进行推理。
参考链接
- [2412.06769] Training Large Language Models to Reason in a ... GitHub - facebookresearch/coconut: Training Large Language ... Training Large Language Models to Reason in a Continuous ... Coconut LLM ModalityDance/latent-tts-coconut · Hugging Face Santosh Sawant - Training Large Language Models to Reason in ...
- GitHub - facebookresearch/coconut: Training Large Language ...
- PrOntoQA Benchmark
标签: #interpretability, #latent reasoning, #LLM, #ai research, #arxiv
研究将司美格鲁肽与预测性痴呆风险降低相关联 ⭐️ 7.0/10
一项由诺和诺德资助、发表在《阿尔茨海默病与痴呆症:诊断、评估及疾病监测》上的研究发现,基于预测性生物标志物,司美格鲁肽与较低的预测性痴呆风险相关。此前的专门临床试验未能显示其对认知衰退有保护作用。 由于司美格鲁肽已被数百万人用于治疗糖尿病和肥胖症,若它真能降低痴呆风险,将产生巨大的公共卫生影响。但该研究依赖预测性生物标志物,且专门试验未能证实效果,因此这一发现需谨慎解读,目前尚不能改变临床实践。 该研究使用预测性生物标志物(如血液蛋白质谱)来估计未来痴呆风险,而非追踪实际痴呆诊断。值得注意的是,诺和诺德专门的阿尔茨海默病临床试验并未证明司美格鲁肽能减缓认知衰退。
hackernews · randycupertino · Aug 15, 15:58 · 社区讨论
背景: 司美格鲁肽属于一类称为 GLP-1 受体激动剂的药物,这类药物模拟肠促胰素 GLP-1 的作用,用于治疗 2 型糖尿病和肥胖症。预测性痴呆生物标志物是与未来痴呆风险相关的可测量生物指标,但并不等同于临床诊断。先前研究提示 GLP-1 药物可能具有神经保护作用,但针对阿尔茨海默病的大型临床试验至今未能证实其对认知衰退的益处。
社区讨论: 评论区对该研究设计提出质疑,指出其由诺和诺德资助,且衡量的是预测性生物标志物而非真实痴呆结局。还有人质疑效果是否仅仅来自体重减轻,个人经验既提到益处也提到疲劳等副作用;有评论者建议谨慎,因为单一标志物变化至多只是一个“尚可的信号”。
标签: #semaglutide, #dementia, #GLP-1, #medical research, #health
解析 Claude 文本水印技术的工作原理 ⭐️ 7.0/10
塞巴斯蒂安·拉施卡(Sebastian Raschka)发布了一篇技术解析文章,基于 Anthropic 已公开的材料,清晰说明了 Claude 文本水印的工作原理。该文梳理了 Anthropic 宣布未来 Claude 模型将在生成的文本中嵌入水印这一技术方案。 文本水印是检测 AI 生成内容的一种主动手段,Claude 部署水印与欧盟《人工智能法案》的要求直接相关。这篇通俗易懂的解析有助于开发者、记者和普通用户了解该技术的能力与局限,对 AI 生成内容的信任与问责具有重要意义。 水印并不是可见的横幅或元数据字符串,而是在文本生成过程中,通过对逐 token 采样过程施加细微影响而嵌入的隐藏信号。Anthropic 表示,该方案难以在不大幅降低文本质量的情况下被去除,并与附加到文件上的签名来源元数据相辅相成。
rss · Sebastian Raschka · Aug 15, 09:28
背景: 文本水印是一种在文本中嵌入隐藏信息、以便验证其来源的技术。大语言模型通过逐 token 预测来生成文本;供应商通过受控方式微调这些选择,就能留下统计指纹。供应商随后可检查该指纹,以估算某段文本是否由 Claude 生成。欧盟《人工智能法案》要求大型 AI 提供商让 AI 生成内容更容易被识别,因此 Claude 将采用水印方案。
参考链接
标签: #AI safety, #watermarking, #Claude, #text generation, #machine learning
MCP 走向无状态,开发者追问:这不就是变回 API 了吗? ⭐️ 7.0/10
MCP 最新的 2026-07-28 规范在 Linux 基金会下属的 Agentic AI Foundation(AAIF)主导下,正式确立了完全无状态的架构,将 MCP 服务器转变为普通的 HTTP 工作负载。这一变化消除了对粘性会话和会话存储的需求。 这一架构转变将状态管理与传输层分离,为 AI 代理工具链带来了更简洁的基础设施和更强的操作灵活性。同时它也引发了开发者的根本性质疑:如果协议不再持有状态,它与传统 API 之间究竟还有多大区别? 在新的无状态模型下,MCP 服务器不再需要会话存储、粘性会话或跨实例共享状态,同时认证模型也得到了强化。这实际上让 MCP 服务器变成了普通的 HTTP 端点,同时保持了协议的可扩展性。
rss · InfoQ 中文站 · Aug 16, 08:00
背景: 模型上下文协议(MCP)是 Anthropic 于 2024 年 11 月推出的开放标准,旨在统一大语言模型与外部工具、数据源和工作流的集成方式,常被比作“AI 的 USB-C 接口”。早期版本依赖有状态会话,而本次更新将状态管理移出协议核心,促使开发者重新思考 MCP 是否仍与传统 API 设计存在有意义的区别。
参考链接
标签: #MCP, #AI, #API, #stateless architecture, #protocol
Cloudflare Computer 发布:为 AI 智能体提供持久化运行环境 ⭐️ 7.0/10
Cloudflare 宣布推出新服务 Cloudflare Computer,为 AI 智能体提供持久化运行环境。该服务旨在支持需要长时间运行且有状态的多步骤智能体工作流,而不仅仅是简单的无服务器调用。 持久化运行环境是生产级 AI 智能体面临的关键瓶颈,因为智能体通常需要在数分钟或数小时内保持状态。Cloudflare 进入这一领域,有望让开发者更轻松、更低成本地大规模部署智能体,并可能重塑边缘 AI 基础设施格局。 官方公告没有提供太多技术细节,例如定价、模型支持或可用区域。该服务基于 Cloudflare 现有的边缘网络构建,这表明智能体可能运行在全球分布式基础设施上。
rss · InfoQ 中文站 · Aug 15, 21:52
背景: AI 智能体是执行多步骤任务的软件系统,通常利用大语言模型进行推理和行动。在生产环境中,它们需要一个运行时来跨步骤保持状态、与其他智能体协调,并偶尔访问专用硬件。AWS 等主要云厂商已开始为智能体提供持久化计算,而 Northflank 等平台也提供类似工具。Cloudflare 的这项发布表明其有意进入这一新兴领域,并借助自身的分布式网络展开竞争。
参考链接
标签: #Cloudflare, #AI agents, #Edge computing, #Infrastructure
InfoQ 发布 2026 年趋势报告:聚焦文化与方法论 ⭐️ 7.0/10
InfoQ 发布了 2026 年趋势报告的文化与方法论篇,总结了正在塑造软件开发的新兴文化和方法论趋势。该报告汇集了多位作者的远见性见解,而非单一视角。 这份年度报告帮助软件工程领导者和从业者预判团队文化、流程和工作方式的变化。其重要性在于,文化与方法论的变革往往比单一工具或技术产生更广泛的影响。 这篇文章是 InfoQ 2026 年趋势报告中“文化与方法论”部分,原载于 InfoQ 中国站中文页面。报告汇集了多位作者的投稿,并标注了趋势、文化、方法论和软件工程等标签。
rss · InfoQ 中文站 · Aug 14, 15:17
背景: InfoQ 每年发布趋势报告,以捕捉软件开发在技术与非技术维度上的现状。文化与方法论部分聚焦人与组织因素,例如协作、领导力、流程设计和学习实践,这些与纯技术趋势预测形成互补。
标签: #trends, #culture, #methodology, #software engineering, #InfoQ
Zig 创始人抨击 Bun 用 Claude 生成的 Rust 重构版是“无人把关的烂代码” ⭐️ 7.0/10
Zig 创始人公开批评 Bun 使用 Anthropic 的 Claude 生成 Rust 代码进行重构,称这些代码是“没人把关的烂代码”。这一言论引发了关于 AI 生成代码质量与人工审查缺失的讨论。 这一事件意义重大,因为 Bun 是广泛使用的 JavaScript 运行时,而知名系统程序员对 AI 生成代码的质疑,凸显了业界对大型语言模型产出生产代码在可维护性、安全性和责任归属方面的担忧。这可能会影响团队在关键基础设施中是否采用 AI 辅助重构的决策。 批评针对的是 Bun 据称使用 Claude 生成的 Rust 重构版本,暗示这些代码在合并前缺乏充分的人工审查。现有内容中未包含 Bun 团队的官方回应,但这一争议反映了开源项目中围绕 AI 辅助开发的更广泛矛盾。
rss · InfoQ 中文站 · Aug 14, 14:54
背景: Zig 是一种通用系统编程语言,定位为 C 语言的改进版,以注重健壮性和显式错误处理而闻名。Bun 是一个快速的全能型 JavaScript 运行时与工具集,旨在作为 Node.js 的直接替代品;Claude 是 Anthropic 推出的大语言模型系列,越来越多地被开发者用于代码生成和重构。
标签: #AI-generated code, #Bun, #Zig, #Rust, #software quality
Claude Code 没有“魔法”,只有扎实的工程 ⭐️ 7.0/10
这篇 InfoQ 文章为 Claude Code 祛魅,指出 Anthropic 的 AI 编程助手之所以能取得效果,靠的是扎实的工程而非“魔法”。文章以务实的技术视角介绍了该工具的运作方式,包括其终端界面设计和智能体工作流。 这篇文章的意义在于让开发者对日益普及的 AI 编程工具建立合理预期,同时也推动了关于 LLM 应用如何被工程化、以及它们真实局限在哪里的更广泛讨论。 根据文章及相关资料,Claude Code 是一款基于终端的 AI 编程代理,采用 TypeScript 构建,并使用 React/Ink 实现终端用户界面。它能够读取和修改文件、执行命令,并以 CLAUDE.md 作为核心配置文件,在每次交互时重新读取以指导自身行为。
rss · InfoQ 中文站 · Aug 14, 14:44
背景: Claude Code 是 Anthropic 开发的一款智能体式编程工具,旨在帮助开发者理解代码库、编辑文件和运行命令。它基于 Anthropic 的 Claude 大语言模型系列构建,这些模型通过“宪法式”训练方法来提升伦理与合规性。类似 Claude Code 这样的 AI 编程助手,本质上是利用 LLM 来自动化软件开发流程中部分环节的应用,但它们的行为取决于精心的工程设计和配置,而非与生俱来的“智能”。
参考链接
标签: #AI coding tools, #Claude Code, #Software engineering, #LLM applications
DeepSeek + Pi 组合据称超越 Claude Code,Pi 创始人称早有预料 ⭐️ 7.0/10
据报道,DeepSeek 的语言模型与 Pi 编码代理的组合在编码任务上优于 Anthropic 的 Claude Code。Pi 的创始人表示,他早已预料到这一组合会成功。 这条新闻很重要,因为它展示了一种成本效益高、开源的替代方案,可替代专有的 AI 编码助手,可能会改变开发者的工具选择。它也强调了像 Pi 这样的可定制代理可以与不同模型配对,实现有竞争力的性能。 Pi 是一个开源的、基于终端的编码代理,仅内置四个工具(read、write、edit 和 bash),系统提示词约 300 字,强调极简和可扩展性。DeepSeek 是一家中国 AI 公司,以远低于竞争对手的成本发布强大的开源大语言模型而闻名。
rss · InfoQ 中文站 · Aug 14, 14:34
背景: DeepSeek 是一家中国人工智能公司,开发开源大语言模型,以较低的训练成本实现有竞争力的性能而受到关注。Pi 是一个开源的 AI 编码工具包,提供统一的 LLM API、代理循环和极简的编码代理 CLI,设计上强调简单和可定制性。Claude Code 是 Anthropic 基于命令行的编码助手,这一对比反映了 AI 辅助软件开发工具快速演变的格局。
参考链接
标签: #AI coding, #DeepSeek, #Pi, #Claude Code, #developer tools
从“会用”到“驾驭”:AI 编程进入生产环境的真实碰撞 ⭐️ 7.0/10
这场大会演讲探讨了 AI 编程从基础使用到生产环境的转变,分享了真实碰撞与经验教训。演讲聚焦于实践挑战而非理论能力。 随着 AI 编程工具的广泛应用,工程团队面临着将其集成到可靠生产工作流中的挑战。该演讲回应了实验性使用与真实世界可靠性之间的现实差距。 该演讲特别强调了在生产环境中部署 AI 编程时遇到的“真实碰撞”,为开发者和技术负责人提供了实践见解。现有摘要中未提及具体工具、版本或量化指标。
rss · InfoQ 中文站 · Aug 14, 14:28
背景: AI 编程工具利用生成式模型来建议或自动补全代码,旨在提高开发者生产力。然而,生产环境对正确性、安全性和可维护性要求很高,因此从“演示可用”到“生产可用”的转变常常暴露意料之外的问题。这场演讲似乎是某系列大会的一部分,从业者在其中分享此类转型的经验。
标签: #AI coding, #software engineering, #generative AI, #developer tools, #production
CTO 圆桌:工程领导者谈构建 AI 原生组织 ⭐️ 7.0/10
这篇 InfoQ 文章报道了一场 CTO 圆桌讨论,工程领导者分享了构建 AI 原生组织的实践经验与教训。内容聚焦组织设计和工程领导力策略,而非某个具体产品发布。 随着企业从将 AI 附加到传统流程转向围绕 AI 重新设计工作流,关于 AI 原生结构的领导力洞察变得愈发重要。这场圆桌为正在经历这一转型的工程高管提供了及时参考。 讨论围绕工程领导力、组织设计以及成为 AI 原生所需的文化与结构变革展开。文章并未介绍新工具或基准,而是聚焦 CTO 之间的经验分享。
rss · InfoQ 中文站 · Aug 14, 11:30
背景: AI 原生组织是从零开始将 AI 作为核心组成部分构建的企业,而非在现有架构上叠加 AI。AI 原生工程改变了工作流程,让 AI 代理承担更多执行工作,而人类提供上下文、标准和验证,这带来了人员配置、治理和跨职能团队设计上的变化。
参考链接
标签: #AI-native, #Engineering Leadership, #CTO, #Organizational Design, #Tech Trends
IBM 与 Red Hat 提出 AI 智能体交付防篡改验证方案 ⭐️ 7.0/10
IBM 与 Red Hat 提出了一套新方案,用于验证参与软件交付的 AI 智能体没有被篡改。该方案将软件供应链证明技术应用到 AI 智能体上,生成经过签名、可验证的智能体行为记录。 随着 AI 智能体进入构建、测试和发布流程,证明智能体实际做了什么对 DevSecOps 和供应链安全至关重要。该方案可以让组织和审计人员有能力验证自动化的交付步骤,从而降低软件被篡改的风险。 该方案据称利用加密日志、哈希链和时间戳锚定来生成防篡改审计追踪,外部方无需依赖云厂商的声明即可验证记录。这些记录旨在实现可移植和独立验证,与现有的软件证明实践类似。
rss · InfoQ 中文站 · Aug 14, 10:35
背景: 软件证明(software attestation)会生成经过签名、可审计的记录,说明软件的历史和安全状况,让使用方对其完整性和来源有信心。在软件供应链中,证明帮助组织验证代码在构建与部署之间没有被篡改。IBM 与 Red Hat 的方案将这个思路扩展到 AI 智能体,因为智能体同样需要一条可比的“保管链”,以证明其在交付过程中没有被操纵。
参考链接
标签: #AI agents, #software delivery, #IBM, #Red Hat, #trust
Firefox 成为唯一仍支持 uBlock Origin 的主流浏览器 ⭐️ 7.0/10
Firefox 现在是唯一仍然完整支持 uBlock Origin 的主流浏览器,因为 Chrome 和 Edge 已完成向 Manifest V3 的迁移。这一迁移导致这些基于 Chromium 的浏览器不再支持经典版 uBlock Origin 扩展。 这标志着浏览器扩展能力的一次重大转变,直接影响数百万依赖 uBlock Origin 保护隐私和拦截广告的用户。它也加剧了关于浏览器厂商如何控制扩展标准和用户选择的争论,可能促使更多用户转向 Firefox 或替代性的广告拦截方案。 Manifest V3 禁止扩展执行远程托管代码,并将声明式规则数量限制在大约 30,000 条,而有效的广告拦截通常需要 300,000 条甚至更多规则。因此,功能完整的 uBlock Origin 在 Chrome 和 Edge 中已无法继续使用,用户只能选择功能受限的替代方案或改用其他浏览器。
rss · Lobsters · Aug 15, 05:08
背景: Manifest V3(MV3)是 Chrome 推出的新扩展平台,Microsoft Edge 也已采用,它改变了扩展处理安全性、权限和代码执行的方式。与旧版 Manifest V2 不同,MV3 用 Service Worker 取代后台页面,并限制广告拦截器可使用的规则集,这一变化受到开发者广泛批评。Firefox 虽然支持 MV3,但仍保留对旧扩展模型的支持,因此 uBlock Origin 可以继续正常工作。
参考链接
标签: #privacy, #browsers, #ad-blocking, #firefox, #ublock-origin
Serokell 发布 GHC 依赖类型系列第五篇 ⭐️ 7.0/10
Serokell 发布了其 GHC 依赖类型系列博客的第五篇,继续深入探讨 Glasgow Haskell Compiler(GHC)中依赖类型的实现与设计。该文在先前几篇的基础上,进一步介绍了相关进展和细节。 该系列推动了将依赖类型引入 Haskell 的长期努力,这一特性可让程序员在类型中编码更多不变量,从而编写更安全、更具表达力的代码。它对 Haskell 开发者、编译器工程师以及关注高级类型系统研究的人都有重要意义。 这篇文章是 Serokell 正在进行的系列中的一部分,因此可能默认读者了解前几篇的上下文;文中还附有 Lobsters 上的社区讨论链接。与前几篇一样,重点在于 GHC 的内部实现,而非面向用户的教程。
rss · Lobsters · Aug 15, 10:42
背景: 依赖类型(dependent type)是定义依赖于值的类型,使得类型可以表达诸如“这个列表的长度是 n”之类的性质。Haskell 目前尚未拥有完整的依赖类型,但 GHC 的相关提案(如 0378)正在探索如何通过 TypeApplications、singletons 等扩展来引入这一特性。Agda、Idris 和 Coq 等语言已经广泛使用了依赖类型。
参考链接
标签: #Haskell, #GHC, #Dependent Types, #Functional Programming, #Compiler
时空可组合性的编程范式 ⭐️ 7.0/10
一篇新的正式论文《A Programming Paradigm for Spatiotemporal Composability》已通过 GitHub 公开发布。该论文提出了一种将效应上下文与共效应上下文统一为单一上下文类型的编程范式,并定义了用于动态组合的组件演算。 这项工作为构建具有空间与时间保证的系统提供了新的理论基础,有望提升分布式和并发系统中的模块化、验证与推理能力。它还将效应与共效应类型系统连接起来,对编程语言理论和系统研究都具有重要意义。 根据一篇中文解读,论文作者为石一帆、张伟(北京大学)和崔天一(DeepSeek-AI),全文约 88 页,采用 arXiv 风格预印本形式。该演算将时空可组合性从单个组件扩展到了整个系统。
rss · Lobsters · Aug 15, 23:11
背景: 在编程语言理论中,效应(effect)描述计算做了什么,例如执行 I/O 或修改状态;而共效应(coeffect)描述计算所需的上下文或资源,例如数据可用性或访问权限。时空可组合性指在组合组件时仍能保持其空间(位置/拓扑)和时间(调度/顺序)属性。该论文提出将效应上下文与共效应上下文统一为一种类型,再将这些机制组合成带有动态组合演算的组件模型。
参考链接
标签: #programming-paradigms, #systems, #composability, #research
nixpkgs-multiverse 新增快速模式,即时获取 store path ⭐️ 7.0/10
该博客文章宣布 nixpkgs-multiverse 新增了一个“fast”属性,可直接给出每个已索引软件包每个版本的 store path,无需再求值完整的 nixpkgs 修订版。这大大加快了历史软件包的访问速度。 这一改进降低了固定多个历史软件包的开销,以前需要拉取并求值多个 nixpkgs 修订版。它让 nixpkgs-multiverse 成为需要可复现构建且使用旧版软件包的开发者和用户更实用的工具。 “fast”属性从 JSON 数据中返回 store path,将求值时间从五个未使用 nixpkgs 引脚的约 26 秒降至 0.20 秒(包含 1,393 个修订版)。该多版本索引覆盖了 2013 年至 2026 年的 nixpkgs。
rss · Lobsters · Aug 15, 08:53
背景: Nix 是一个具有可重现构建系统的包管理器,nixpkgs 是其软件包集合。nixpkgs-multiverse 由 Farid Zakaria 创建,索引了 nixpkgs 中曾经打包过的每个软件包的每个版本,允许用户安装或固定任意历史版本。以前访问多个版本意味着需要拉取并求值多个 nixpkgs 快照,速度很慢;快速模式通过预计算 store path 避免了这一问题。
参考链接
社区讨论: Lobsters 上唯一的评论来自 vbernat,他支持这一改动,指出求值多个 nixpkgs 版本的开销是他们对旧方案的主要不满。这表明快速模式解决了用户固定大量软件包时的一个实际痛点。
标签: #Nix, #Nixpkgs, #performance, #package management
2004 年 RuneScape 如何将多人 RPG 塞进 56k 拨号网络 ⭐️ 7.0/10
这篇文章深入分析了 2004 年版《RuneScape》如何在 56k 拨号连接上实现多人游戏,重点讨论了带宽限制和协议优化。文章审视了 Jagex 在当时极低的上行带宽条件下为成千上万玩家提供服务时所面临的工程决策与约束。 这篇文章具有重要意义,因为现代游戏开发者通常默认带宽充足,而了解这种极端优化可以为低带宽或高延迟环境下的网络代码设计提供借鉴。它也保留了在线游戏历史中重要的一页,展示了约束如何在早期 MMO 架构中推动创造性工程。 该分析参考了社区对 2004 年客户端的逆向工程成果,例如日期为 2004 年 5 月 18 日的 revision 225,以及 Old Engine 协议页面等公开协议文档。文中重点介绍了在 56k 调制解调器下行约 56 kbps、上行更低的情况下,游戏仍能保持可玩性的具体技术。
rss · Lobsters · Aug 15, 04:45
背景: RuneScape 是 Jagex 开发的大型多人在线角色扮演游戏(MMORPG),于 2001 年首次发布。2004 版采用客户端-服务器模型,服务器持有权威的游戏状态,客户端负责渲染世界并发送玩家输入。当时 56k 拨号调制解调器是消费者标准连接,吞吐量极低且延迟高,因此游戏网络协议必须尽量减小数据包的大小和发送频率。那个时代常用的优化技术包括增量压缩、协议批处理,以及让客户端逻辑保持足够无状态以容忍网络延迟。
参考链接
标签: #game development, #networking, #optimization, #history, #retro computing
curl 维护者发布性能后续文章 ⭐️ 7.0/10
curl 的维护者 Daniel Stenberg 在他的网站上发布了一篇题为“Curl Performance”(第二部分)的新博客文章。这篇文章似乎延续了他对 curl 性能的持续讨论,但所提供的新闻条目中未包含完整内容。 curl 是使用最广泛的数据传输命令行工具之一,被无数系统和应用程序内置。其维护者讨论的任何性能改进都可能对依赖 curl 的软件效率产生重大影响,从简单脚本到大规模分布式系统。 所提供的摘录中不包含文章的具体基准测试和优化策略,仅包含一个 Lobsters 评论链接。建议读者访问原始博客文章以获取具体数据和细节。
rss · Lobsters · Aug 14, 11:33
背景: curl 是一个用于通过 URL 传输数据的命令行工具和库,支持 HTTP、HTTPS、FTP 等协议。对于这种广泛部署的工具,性能是一个关键问题,维护者 Daniel Stenberg 定期对其进行分析和优化,以提升速度和资源利用率。这篇文章似乎是关于 curl 性能的系列文章的一部分,但此处未提供完整内容摘要。
标签: #curl, #performance, #networking, #open-source, #optimization
专为运行 NES 模拟器而设计的最小内核 ⭐️ 7.0/10
项目’nek’推出了一款唯一目的是运行 NES 模拟器的内核,无需底层操作系统。它去除了分页、用户空间和内存保护,仅保留运行一个内嵌程序所需的最小功能。 这项工作将业余操作系统开发与游戏机模拟结合起来,为两个领域带来了新视角。它展示了极简主义在仍能运行非平凡程序的前提下能走多远,也与将应用程序和所需操作系统服务打包在一起的 unikernel 趋势相契合。 该 NES 模拟器被静态链接到内核映像中,因此一次只能运行一个 ROM。内核没有内存保护或地址空间隔离,虽然脆弱,但极其轻量。
rss · Lobsters · Aug 15, 04:45
背景: 内核是操作系统的核心组件,负责管理硬件并为应用程序提供服务。NES 模拟器会重建任天堂娱乐系统的硬件行为,使其游戏能够在其他平台上运行。’nek’项目类似于 unikernel,将应用程序及其所需的最少量操作系统代码编译成单个机器映像,直接运行在硬件或虚拟化层上。
标签: #kernel, #emulation, #NES, #hobby OS, #operating systems
Meta 百万美元留任股票未能阻止离职潮,Grok Bot 引发疑问 ⭐️ 7.0/10
Meta 正向准备离职的员工提供超过 100 万美元的留任股票奖励,但文章称这些奖励未能阻止离职潮。同一篇文章还提出,xAI 的 Grok Bot 是否会成为受管 AI 代理的“OpenClaw 时刻”。 该报道表明,即使异常丰厚的股权奖励也无法抵消 Meta 内部更深层的文化或士气问题,这可能会影响大型科技公司使用薪酬留人的方式。Grok Bot 的疑问也指向一个更广泛的讨论:开源或受管 AI 代理是否即将进入新的采用阶段。 这篇文章来自《The Pragmatic Engineer》通讯,并将这些留任奖励形容为“自找的”,指出尽管金额巨大却仍然无效。‘OpenClaw 时刻’指的是开源、自托管的 AI 代理 OpenClaw(在 GitHub 上拥有超过 18 万星标)的崛起,以及 Grok Bot 是否也能为受管代理带来类似的转变。
rss · The Pragmatic Engineer · Aug 14, 16:55
背景: OpenClaw 是一款免费、开源的自主 AI 代理,可在本地运行,并通过 Slack、Discord、Telegram、WhatsApp 等消息平台交互,提供自托管隐私且不依赖云端。受管 AI 代理(如 Anthropic 的 Claude Managed Agents)提供托管的基础设施和运行框架,无需自己构建 agent 循环即可运行长周期自主任务。GrokBot 是 xAI 运营的网络爬虫,用于收集数据以支持 Grok 聊天机器人的训练和实时信息获取。
标签: #Meta, #Tech Industry, #Retention, #AI Agents, #Equity