在这篇文章中，Anton 讨论了 C 编译器中尾调用优化（TCO）的演变。从历史上看，C 语言的调用约定因要求调用者负责栈清理而阻碍了 TCO 的实现，导致无法进行有效优化。虽然早期版本的 GCC 在间接调用方面存在显著局限，但现代编译器如 GCC 和 Clang 现已实现了强大的 TCO 支持。 在反思近期对“复制与修补”（Copy-and-Patch）编译的研究时，Anton 指出，现代 TCO 能力现已允许生成超过 10 万个代码片段，这远超传统基于“goto *”的分发系统的限制。作者提到，虽然他们的项目 Gforth 尚未实现这些先进技术，但他们对 Python 社区成功采用该方法以提升性能表示祝贺。
每日HackerNews RSS
一篇近期的 LWN 文章引发了 Hacker News 关于 C 语言中尾调用优化（TCO）历史与实现的讨论。尽管 Mark Probst 早在 2001 年就率先在 GCC 中实现了 TCO，但社区的争论凸显出：C 语言中的 TCO 往往受到调用约定的限制，特别是栈清理和可变参数函数的复杂性。
这场讨论的核心矛盾在于，TCO 应被视为一种“优化”还是一种“语义特性”。批评者认为，将其贴上“优化”的标签是不妥的，因为它掩盖了一个事实，即 TCO 可以保证栈空间的使用量恒定，从而将递归有效地转化为循环。由于缺乏语言层面的保证（与 Scheme 不同），C 语言开发者往往面临栈溢出的风险，这使得依赖 TCO 变得并不稳妥。
现代解决方案，如 GCC 和 Clang 中的 `[[musttail]]` 属性，允许开发者显式地要求进行 TCO；如果编译器无法优化该调用，它会触发编译时错误，而不是默默地失败。讨论总结认为，虽然使用 `goto` 或内联汇编等手动变通方法可以模拟尾调用，但由编译器强制执行的标准化 TCO，仍然是编写健壮且高性能 C 代码的最理想途径。
在为 Linux 专业协会（Linux Professional Institute）撰写的两篇系列文章中，安德鲁·奥拉姆（Andrew Oram）探讨了编程语言为何成功或失败。文章借鉴了西蒙·佩顿·琼斯（Simon Peyton Jones）的观点，即编程语言的普及更多是由社会和经济因素而非技术优越性所驱动的，并指出一种语言必须满足人类的三个维度：它必须是一份可靠的**工作**、一门有价值的**艺术**，以及一种充实的**志业**。 作者认为，当编程语言引入“摩擦”——即在没有实质性回报的情况下增加程序员工作流程中不必要的难度时，它们就会走向衰落。虽然“小提琴式”的难度（基于精通的挑战）实际上可以支撑像 C++ 或 Rust 这样的语言，但“官僚式”的复杂或功能缺失所造成的摩擦，最终会赶走开发者。 归根结底，编程语言的消亡并非因为它们在性能基准测试中落败，而是因为它们失去了用户。当一种语言让日常编程变得不必要地艰难时，一旦有替代方案出现，用户必然会转投他处。编程本质上是一项人类活动，当工具无法再提供支撑这种“创造”所需的乐趣或效用时，它就会被取代。
抱歉。
本报告记录了一起大规模安全事故，涉及 5,477 个被入侵地址中总计 1,432.48 BTC 的失窃。 此次漏洞源于软件随机数生成器（RNG）中的一个关键错误。代码层面的疏忽导致 `#define HAS_RNG 0` 语句绕过了硬件熵要求，将预期的 128 位安全性降至几乎为零。这一缺陷代码通过 2018 年至 2022 年间的四次提交引入，且这些提交均缺乏同行评审并直接推送至生产环境。 该漏洞多年未被发现，直至 2026 年 7 月下旬，随着大量失窃报告和链上异常活动的激增才引起关注。在短短几天内，该漏洞触发了对受影响 UTXO 的协同“清扫”，将被盗资金汇集至特定目标地址。尽管此前已发布广泛的公开警告和后续通知，绝大多数被盗比特币仍保留在这些受监控的地址中。此事件凸显了加密实现不当带来的灾难性风险，以及在敏感金融软件中绕过严格代码审查流程的危险。
抱歉。
发布
登录
注册
发布
马克·扎克伯格 (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 的开源权重模型的质疑。
尽管马克·扎克伯格将这些发布描述为致力于实现“超级智能”民主化，但评论者将其与他过去的“Internet.org”项目相提并论，质疑 Meta 的真实动机。批评者认为，Meta 以收集个人数据用于广告投放为核心的商业模式，使其推动 AI 广泛普及的举动显得别有用心。
讨论还强调了安全隐患，一些用户质疑分发展现出对抗性行为倾向的强大 AI 工具是否明智。关于 AI 开发风险的二次辩论随之产生；虽然一些参与者批评 Meta 涉嫌危险的“公关噱头”，但另一些人则反驳了“反 AI”情绪，将 AI 技术比作酒精或药品等其他受监管的工具——尽管它们具有固有风险，但仍是社会的主要组成部分。总体而言，该讨论反映了双方的深刻分歧：一方认为 Meta 的开源权重策略是创新的途径，而另一方则将其视为扩大其数据挖掘范围的算计之举。
关于 媒体报道 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
这篇 Hacker News 讨论帖围绕一段关于 Blackwing 铅笔制造工艺的视频展开，引发了文具爱好者们的广泛探讨。
主要观点如下：
* **制造工艺的魅力：** 用户对传统铅笔生产过程中人工、劳动密集型的工序表示惊叹，并指出其与现代全自动化生产方式的差异。
* **关于 Blackwing 的争论：** 关于现代 Blackwing 铅笔的质量存在较大分歧。尽管一些人认为其笔芯柔软，非常适合书写和乐谱记录，但纯粹主义者认为该品牌在生产方式改变后已今非昔比，因此许多人更偏爱三菱 Hi-Uni 或蜻蜓 Mono 等优质的日本品牌。
* **铅笔文化：** 讨论凸显了一个核心群体——尽管自动铅笔在精度和便捷性上更具技术优势，但他们依然珍视木杆铅笔所带来的书写触感和感官体验。
* **遗珠之选：** 该讨论帖也成为文具建议的集散地，包括对 Autopoint 等复古品牌的推荐、参观东京北星（Kita-Boshi）铅笔工厂的指南，以及关于绘画与笔记“完美”铅笔的主观性讨论。
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 旨在赋能社区，助力构建完全在设备上运行、响应迅速、具备隐私保护且具有上下文感知能力的智能体。
**摘要：Muse Glimmer 与本地大模型的现状**
**Muse Glimmer** 是一款针对全天候本地智能体工作流优化的 30B 参数模型，其发布在 Hacker News 上引发了热烈讨论。用户正在将其与 Qwen 3.6 27B 等现有模型进行性能对比，初步印象显示，该模型在编程和智能体任务方面表现出色，并因其“简洁高效”的推理过程而受到关注。
讨论的主要议题包括：
* **竞争性的发布时机：** 观察人士推测 Meta 的发布时间表受到即将发布的 Qwen 3.8 影响；企业往往通过“蚕食”竞争对手的新闻周期来保持自身热度。
* **本地 AI 复兴：** 一个主要讨论点是从依赖云端 API 向“桌下服务器”部署的转变。尽管本地托管具有隐私和成本优势，但用户也承认存在重大障碍，包括高昂的硬件成本（显存需求）以及高效本地推理的高学习曲线。
* **“开放权重”之争：** 社区持续区分“开放权重”（Meta 的做法）与“开源”。虽然一些人将这些发布视为对自由开源软件（FOSS）生态的馈赠，但另一些人仍对 Meta 的企业历史持批评态度，认为模型发布是旨在挽回开发者信任的公关手段。
**Implant** 是一个 VS Code 扩展，旨在连接编码智能体（如 Claude Code、Copilot 或 Cursor）与编辑器内部智能。通过提供一个名为 `run_vscode_script` 的 MCP 工具，它允许智能体直接在 VS Code 扩展宿主中执行 JavaScript 代码片段。
这使智能体能够像编辑器本身一样与代码库进行交互——包括使用语言服务器、符号、git blame 和工作区诊断功能，从而确保代码编辑在语义上是可知的，且比单纯的文件操作更安全。
**核心功能：**
* **深度集成：** 智能体可以触发重构、重命名和诊断等原生操作。
* **安全至上：** 未经用户批准，任何代码都不会执行。系统提供一个 WebView 界面，在执行前显示每个代码片段供用户检查。
* **便捷设置：** 该扩展会自动生成可移植的配置文件（MCP/rules），引导智能体学习如何调用其功能。
* **透明访问：** 利用安全的令牌门控通信，确保只有经过授权的智能体才能与宿主进行交互。
Implant 有效地将编辑器转化为 AI 的高级 API，使智能体能够在拥有 VS Code 内置智能的可靠性前提下，执行复杂的、具备上下文感知能力的编码任务。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
关于 Jimmy Ostler 的博客文章《Rust 中的尾调用解释器》（Tail-Call Interpreters in Rust）的 Hacker News 讨论主要集中在两个方面：技术反馈和对网页无障碍性的抱怨。
**技术讨论：**
讨论帖中，读者与文中引用的文章作者 Neal (Noel) Welsh 进行了建设性的对话。双方探讨了树遍历解释器与栈式虚拟机之间的对偶性。参与者澄清道，两者之间的转换通常涉及指令集的重构，即移除显式引用（参数）并改用隐式栈操作。一些用户还指出，作者在 Rust 实现中大量使用了 `unsafe` 代码块。
**设计批评：**
大部分评论集中在博客的“复古 CRT”视觉风格上。虽然一些读者欣赏这种美学，但许多人认为其厚重的 `text-shadow`（文字阴影）效果和扫描线极其刺眼，严重阻碍了阅读，尤其是对代码片段的阅读。该讨论帖突显了关于网页设计的一场更广泛的争论：一些人主张回归富有创造性的个人网页美学，而批评者则认为此类设计往往达不到基本的无障碍标准，迫使用户必须依赖浏览器的“阅读模式”才能获取内容。
作者提出了一种 Rust 借用检查器的替代方案，将“区域”（regions）视为借用的集合，而非控制流图中的点。该系统利用声明式逻辑语言 **Datalog** 对这些区域及其子集关系进行建模，从而计算出跟踪特定引用如何依赖于特定借用的借用约束。 该方法的主要特点包括： * **提升精度**：通过将活跃性（liveness）集成到传播规则中，分析程序可以在区域不再被使用时“丢弃”约束。这使得编译器能够接受当前非词法生命周期（NLL）分析所拒绝的复杂模式，例如条件重赋值。 * **实现**：原型系统使用了 `differential-dataflow` crate 以实现高效、快速的迭代。尽管目前速度慢于现有方法，但作者指出优化工作尚未开始。 * **错误报告**：由于该分析基于形式逻辑，理论上可以利用检测到错误时的证明树，为用户生成清晰、高质量的诊断信息。 最终，这一转变标志着将借用检查视为一种形式化别名分析的尝试，这有望简化编译器对程序状态的推理，并为未来的语言特性奠定基础。
抱歉。
这些为深圳 Fallout 活动设计的炼金宇宙主题黑客松胸牌，由三层 PCB 堆叠而成，采用经济实惠的 CH32V003 微控制器和 WS2812B LED 灯珠。其设计通过测试点将两个外环焊接到内部的“太阳”PCB 上，营造出分层的 3D 视觉效果。
主要特点包括：
* **高效设计：** LED 灯光透过露出的阻焊层照射，只需在一层外环上安装组件即可实现完整的视觉效果。
* **电源：** 支持通过电池连接器输入 2.7V–5V 电压，层间留有空间可容纳小型锂电池。
* **高性价比：** 小批量生产成本约为 10 美元，大规模生产时有望降至 3 美元以下。
* **开发：** 该项目开源，支持自定义。用户可通过嘉立创 (JLCPCB) 和立创商城 (LCSC) 进行生产。固件可通过 WCH-LinkE 或 PicoRVD 使用 SWIO 接口进行烧录。
尽管该胸牌是在预算有限的情况下快速设计完成的，但它仍是一款兼具多功能与美感的硬件。所有设计和固件文件均可供用户根据需要自行修改和生产。
在最近一次于深圳举办的黑客马拉松中，开发者 Kai Pereira 制作了复杂的“炼金-宇宙学”主题 PCB 徽章。该设计采用独特的三层堆叠结构，并通过测试点进行连接。
其核心采用了一款低成本的 CH32V003 微控制器，用于驱动一圈 WS2812B NeoPixel 灯珠。该设计利用了露铜阻焊工艺，营造出一种发光的艺术效果。虽然目前的版本缺少“Silly Add-On”（SAO）接口——Pereira 承认这是他在凌晨四点设计时疏忽导致的——但该项目在 Hacker News 社区获得了积极评价，创作者也确认计划在未来版本中加入 SAO 兼容性。