从高威到柏林，欧洲各地的独立书店纷纷报告称，收到了一大批可疑的、大规模的在线订单，内容多为内容驳杂且通常冷门的书籍。零售商怀疑这些采购是由人工智能驱动的机器人策划的，旨在获取纸质书以“喂养”大型语言模型。 这种做法与人工智能公司Anthropic的“巴拿马计划”（Project Panama）如出一辙，该计划涉及购买、扫描并销毁数百万本书籍，以训练其Claude聊天机器人。尽管Anthropic否认使用了稀有或古籍，但欧洲书商认为，第三方供应商正在整个欧洲大陆搜集书籍，以规避欧洲更严格的版权法，并很可能将其运往“合理使用”政策更为宽松的美国。 行业专家认为，这种大规模扫描并将其制成纸浆的操作既具有破坏性，也侵犯了知识产权。除了法律顾虑外，书商还担心这些做法的长期影响，从对独立零售商的生存威胁，到对人类批判性思维的潜在侵蚀。许多书商现在拒绝参与其中，呼应了高威书商托马斯·肯尼（Tomás Kenny）的观点：如果目标是未经授权地攫取知识产权，他们绝不参与。
每日HackerNews RSS
《爱尔兰时报》近期的一篇报道指出，一笔涉及5000本冷门书籍的巨额订单在Hacker News上引发了关于人工智能训练与实体媒介之间关系的争论。讨论的核心在于：为进行数字化扫描而大规模购入书籍——即通过拆除书脊来实现数字化——究竟是弊大于利，还是属于数字保存的一种形式。
评论者对此意见不一：有人认为，既然这些书籍中的许多本已面临化浆处理的命运，那么将其用于人工智能训练反而是一种改善，前提是由此产生的数据能够公之于众。另一些人则对可能存在的珍稀或绝版书籍被毁感到担忧，认为这是一种将企业数据收集置于文化保存之上的“版权洗白”行为。
部分参与者批评了对这类订单的怀疑态度，认为书商应当欢迎这些收入；而另一些人则将这种激进的“训练材料最大化”与“回形针制造机”的思想实验相提并论。归根结底，这一讨论凸显了关于人工智能发展伦理、实体档案脆弱性，以及使用受版权保护材料进行机器学习所带来的法律模糊性等深层次的矛盾。
在这篇文章中，Anton 讨论了 C 编译器中尾调用优化（TCO）的演变。从历史上看，C 语言的调用约定因要求调用者负责栈清理而阻碍了 TCO 的实现，导致无法进行有效优化。虽然早期版本的 GCC 在间接调用方面存在显著局限，但现代编译器如 GCC 和 Clang 现已实现了强大的 TCO 支持。 在反思近期对“复制与修补”（Copy-and-Patch）编译的研究时，Anton 指出，现代 TCO 能力现已允许生成超过 10 万个代码片段，这远超传统基于“goto *”的分发系统的限制。作者提到，虽然他们的项目 Gforth 尚未实现这些先进技术，但他们对 Python 社区成功采用该方法以提升性能表示祝贺。
这篇 Hacker News 的讨论围绕一篇关于 C 语言尾调用优化（TCO）历史的 LWN 文章展开，重点探讨了 GCC 编译器中的实现。用户们讨论了追溯到 21 世纪初的这项实现是否应被视为“近期”技术，并指出 ML 等语言更早便已支持 TCO。
主要观点包括：
* **技术局限性：** 参与者强调，早期的 GCC 实现存在显著限制，例如无法处理间接调用，而这对于某些编程模式至关重要。
* **语言对比：** 评论者将 C 语言的实现与 JavaScript（TCO 被加入后又被移除）以及 Common Lisp（缺乏强制性 TCO 常使 Scheme 程序员受阻）进行了对比。
* **元评论：** 除了技术讨论外，用户还批评了现代网络写作风格，认为其过度追求“互动”和占用读者时间，而非提供清晰、简洁的信息。
总的来说，该讨论串将 TCO 视为各个编程语言生态系统中长期存在的争议点和技术复杂性问题。
在为 Linux 专业协会（Linux Professional Institute）撰写的两篇系列文章中，安德鲁·奥拉姆（Andrew Oram）探讨了编程语言为何成功或失败。文章借鉴了西蒙·佩顿·琼斯（Simon Peyton Jones）的观点，即编程语言的普及更多是由社会和经济因素而非技术优越性所驱动的，并指出一种语言必须满足人类的三个维度：它必须是一份可靠的**工作**、一门有价值的**艺术**，以及一种充实的**志业**。 作者认为，当编程语言引入“摩擦”——即在没有实质性回报的情况下增加程序员工作流程中不必要的难度时，它们就会走向衰落。虽然“小提琴式”的难度（基于精通的挑战）实际上可以支撑像 C++ 或 Rust 这样的语言，但“官僚式”的复杂或功能缺失所造成的摩擦，最终会赶走开发者。 归根结底，编程语言的消亡并非因为它们在性能基准测试中落败，而是因为它们失去了用户。当一种语言让日常编程变得不必要地艰难时，一旦有替代方案出现，用户必然会转投他处。编程本质上是一项人类活动，当工具无法再提供支撑这种“创造”所需的乐趣或效用时，它就会被取代。
这份 Hacker News 讨论围绕文章《因为不够有趣：编程语言为何失败》展开，探讨了编程语言成功与失败的评判标准。
讨论帖的主要观点包括：
* **成功与技术质量：** 参与者认为，语言的成功很少取决于技术上的优越性，而更多依赖于外部采用的势头和社区实用性。许多语言因曲高和寡而“失败”，但其思想往往被更易于使用的后续语言所继承。
* **关于“失败”的定义：** 社区反驳了 Python 等语言已经“失败”的说法，并指出 Python 目前的主导地位是一种令人羡慕的状态，而非衰落。
* **编程：艺术还是苦力活：** 讨论将编程与音乐创作进行了类比。有人认为人工智能有助于自动化“苦力”代码生成，但另一些人则认为这种方式缺乏真正设计所需的“灵魂”或灵感。
* **人工智能带来的问题：** 原作者指出，由于 AI 代码生成遵循算法而非真正的设计直觉，其产出往往是“垃圾”。这凸显了即使在代码生成变得容易的情况下，许多程序员在概念设计阶段依然面临困难。
本报告记录了一起大规模安全事故，涉及 5,477 个被入侵地址中总计 1,432.48 BTC 的失窃。 此次漏洞源于软件随机数生成器（RNG）中的一个关键错误。代码层面的疏忽导致 `#define HAS_RNG 0` 语句绕过了硬件熵要求，将预期的 128 位安全性降至几乎为零。这一缺陷代码通过 2018 年至 2022 年间的四次提交引入，且这些提交均缺乏同行评审并直接推送至生产环境。 该漏洞多年未被发现，直至 2026 年 7 月下旬，随着大量失窃报告和链上异常活动的激增才引起关注。在短短几天内，该漏洞触发了对受影响 UTXO 的协同“清扫”，将被盗资金汇集至特定目标地址。尽管此前已发布广泛的公开警告和后续通知，绝大多数被盗比特币仍保留在这些受监控的地址中。此事件凸显了加密实现不当带来的灾难性风险，以及在敏感金融软件中绕过严格代码审查流程的危险。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
COLDCARD 的随机数不可靠 (coldcard.rip)
7 分，作者：bialyalibaba，2 小时前 | 隐藏 | 过往 | 收藏 | 讨论
帮助
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索：
发布
登录
注册
发布
马克·扎克伯格 (Mark Zuckerberg)
@finkd
我相信每个人都应该拥有使用超级智能的机会，我写了一篇长文，阐述了 Meta 在构建人人共享的美好未来方面的理念和价值观。
meta.com/thefutureisfor…
上午 10:01 · 2026年8月10日
30.3万次浏览
530 377 3.9万 785
𝕱𝖚𝖑𝖑 𝕶𝖊𝖑𝖑𝖞
@full_kelly
57分钟前
113 82 2.1万
Ricardo Dias
@theslowtell
1小时前
“每个人都应该拥有使用超级智能的机会”听起来固然很好，但当你意识到“每个人”包含了所有人时，情况就不同了。
获取权限是其功能所在。
同时，获取权限也是其风险所在。
31 28 3.3万
Air Katakana
@airkatakana
1小时前
包括基地组织吗？
112 11 1.3万
登录或注册 X
查看正在发生的事情并加入对话
通过手机号继续
通过 Apple 继续
通过 Google 继续
或使用用户名或电子邮件登录
相关人物
马克·扎克伯格 @finkd
关注
当前趋势
条款 · 隐私 · Cookie · 无障碍 · 广告信息 · 更多
© 2026 X Corp.
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Meta 新推出的开源权重模型瞄准本地代理 AI (twitter.com/finkd)
10 分，由 bakigul 发布于 36 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
Gecko4072 3 分钟前 [–]
https://news.ycombinator.com/item?id=49241679
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
关于 媒体报道 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Blackwing 铅笔是如何制造的 [视频] (youtube.com)
10 点，由 NaOH 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Meta Superintelligence Labs 发布了 **Muse Glimmer**，这是一款拥有 300 亿参数的模型，专门针对全天候运行的本地智能体（agent）工作流进行了优化。该模型采用 Apache 2.0 许可证发布，旨在能在 Mac 或配备单显卡的 PC 等消费级硬件上高效运行。 主要功能包括： * **智能体能力：** 在多步推理、精准工具调用、故障恢复和多模态输入处理方面表现卓越。 * **优化：** 通过先进的量化技术和推测解码（使用 DFlash“起草”模型），Muse Glimmer 可在 24–32 GB 内存范围内运行，同时保持极高的生成速度。 * **性能：** 在智能体基准测试（如 SWE-Bench、𝛕-Bench）中表现优异，并支持超过 100 种语言。 * **易用性：** 该模型现已在 Hugging Face 上线。Meta 确保了其与 `llama.cpp`、MLX 和 ExecuTorch 等主流框架的兼容性，使开发者能够构建并部署无需依赖云端或互联网的本地化私有智能体。 通过开源 Muse Glimmer，Meta 旨在赋能社区，助力构建完全在设备上运行、响应迅速、具备隐私保护且具有上下文感知能力的智能体。
Hacker News 社区正在热议 Meta 发布的新款 30B 参数“Muse Glimmer”开源权重编程模型。尽管许多用户赞赏 Meta 对开源的一贯承诺，但讨论也强调了一些现实挑战与期望：
* **硬件门槛：** 用户指出了显著的硬件要求，强调在本地运行 30B 模型需要 32–64GB 的内存，这使得没有高端昂贵设备的用户难以使用。
* **性能与规模：** 对于 30B 模型是否具备足够智能以与更大型的顶尖模型竞争，人们持怀疑态度。一些人主张开发针对特定编程语言或工具调用能力的小型专业化模型。
* **竞争格局：** 社区渴望将 Muse Glimmer 与即将发布的 Qwen3.8 27B 等模型进行比较，并指出密集型 30B 模型正在重新流行。
* **伦理担忧：** 一些批评声音指向 Meta 的数据抓取行为，有用户对 Meta 忽视 `robots.txt` 并导致公司产生额外基础设施成本表示不满。
总体而言，随着开发者准备使用 `llama.cpp` 等工具测试该模型，社区氛围呈现出一种审慎的兴奋感。
**Implant** 是一个 VS Code 扩展，旨在连接编码智能体（如 Claude Code、Copilot 或 Cursor）与编辑器内部智能。通过提供一个名为 `run_vscode_script` 的 MCP 工具，它允许智能体直接在 VS Code 扩展宿主中执行 JavaScript 代码片段。
这使智能体能够像编辑器本身一样与代码库进行交互——包括使用语言服务器、符号、git blame 和工作区诊断功能，从而确保代码编辑在语义上是可知的，且比单纯的文件操作更安全。
**核心功能：**
* **深度集成：** 智能体可以触发重构、重命名和诊断等原生操作。
* **安全至上：** 未经用户批准，任何代码都不会执行。系统提供一个 WebView 界面，在执行前显示每个代码片段供用户检查。
* **便捷设置：** 该扩展会自动生成可移植的配置文件（MCP/rules），引导智能体学习如何调用其功能。
* **透明访问：** 利用安全的令牌门控通信，确保只有经过授权的智能体才能与宿主进行交互。
Implant 有效地将编辑器转化为 AI 的高级 API，使智能体能够在拥有 VS Code 内置智能的可靠性前提下，执行复杂的、具备上下文感知能力的编码任务。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Implant – 一个将 VS Code API 暴露给编程代理的插件 (visualstudio.com)
5 分 | 由 strangepleasure 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 和 Cookie 以继续。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
Rust 中的尾调用解释器 – Jimmy Ostler (lordgoati.us)
15 分，amatheus 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者提出了一种 Rust 借用检查器的替代方案，将“区域”（regions）视为借用的集合，而非控制流图中的点。该系统利用声明式逻辑语言 **Datalog** 对这些区域及其子集关系进行建模，从而计算出跟踪特定引用如何依赖于特定借用的借用约束。 该方法的主要特点包括： * **提升精度**：通过将活跃性（liveness）集成到传播规则中，分析程序可以在区域不再被使用时“丢弃”约束。这使得编译器能够接受当前非词法生命周期（NLL）分析所拒绝的复杂模式，例如条件重赋值。 * **实现**：原型系统使用了 `differential-dataflow` crate 以实现高效、快速的迭代。尽管目前速度慢于现有方法，但作者指出优化工作尚未开始。 * **错误报告**：由于该分析基于形式逻辑，理论上可以利用检测到错误时的证明树，为用户生成清晰、高质量的诊断信息。 最终，这一转变标志着将借用检查视为一种形式化别名分析的尝试，这有望简化编译器对程序状态的推理，并为未来的语言特性奠定基础。
```Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 工作 | 提交
登录
基于别名的借用检查器表述 (2018) (smallcultfollowing.com)
4 点，由 parksb 发布于 2 小时前 | 隐藏 | 往日 | 收藏 | 讨论
帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```