启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
AI 代理经常与 Git 交互，消耗了大量 shell 命令 token，占比高达 7.4%（对于 Codex 超过 10%）。这是因为 Git 的人类可读输出冗长，包含机器不需要的额外信息。为了解决这个问题，作者创建了 **nit**，一个用 Zig 编写的 Git 替代品，它通过 `libgit2` 直接访问 Git 对象数据库。 Nit 优先考虑机器使用，提供显著的 token 节省——`log` 命令最多节省 87%，`diff` 命令最多节省 35%——并提高了速度（`status` 命令最快可提升 1.64 倍）。一个关键的优化是将 diff 上下文减少到一行（U1），出乎意料的是，测试表明这并没有影响 Claude 的理解能力。 Nit 有两种模式：紧凑的、机器优化的默认模式和人类可读模式（`-H`）。它采用直通设计，对于不支持的命令会回退到标准的 Git，从而确保完整的功能并允许逐步优化。可以通过 `brew install fielding/tap/nit` 安装，并可以安全地将其别名为 `git=nit`。
对不起。
启用 JavaScript 和 Cookie 以继续。
对不起。
## LLM 中的“忽略！”漏洞
大型语言模型 (LLM) 存在一种名为“忽略！”的安全漏洞——本质上，恶意行为者劫持 LLM 的上下文窗口（其输入），以覆盖指令并获得意想不到的、可能有害的输出。 这是一种“提示注入”的形式。
共享上下文窗口——无论是合并外部数据（如搜索结果）还是允许用户输入——都会带来风险。 试图使用“AI 护栏”来防御此漏洞是无效的，这导致了与攻击者之间的军备竞赛。 核心问题不是不受信任的*用户*，而是任何类型的不受信任的*材料*——API、搜索结果，甚至共享的网络文件。
解决方案有限。 完全避免不受信任的输入会严重限制 LLM 的实用性。 人工审查会增加成本并破坏自动化目标。 将 LLM 输出转换为传统代码以供执行可以提供一些安全性，因为代码解释器不受提示操作的影响。
最终，接受开放式输入的便利性与安全性相冲突。 正如无人看管的“键盘”容易招致麻烦一样，与不受信任的来源共享上下文窗口也会招致利用。 OpenAI 等公司 постоянно 面临这一挑战，而真正可靠的解决方案仍然难以捉摸。
## LLVM 优化：深度剖析摘要
本文深入探讨了 LLVM 编译器的优化过程，展示了看似微小的代码改动如何对性能产生巨大影响。文章强调，虽然现代编译器功能强大，但理解其内部机制对于编写真正高效的代码至关重要。
作者使用了两个案例研究：模数递增优化和字节序转换。第一个案例展示了如何通过 `[[assume]]` 属性或断言向编译器提供信息，从而用更廉价的条件移动指令替换昂贵的除法运算，利用 `InstCombine` 优化通道。第二个案例展示了如何将处理不同字节序数据的通用函数优化到与专用函数相同的水平，但需要理解优化通道的顺序，例如 `AggressiveInstCombine` 和 `CodeGenPrepare`。
关键要点包括：早期优化的重要性、利用语言特性（如模板）来引导编译器、坚持常见的代码模式，以及认识到优化通常是一种权衡。文章强调使用 Compiler Explorer 等工具来检查优化流水线，并理解特定转换发生（或不发生）的原因。最终，实现最佳性能需要结合编码技巧和编译器意识，将优化视为一门科学和艺术。
文章还为希望亲身体验 LLVM 优化的读者提供了大量的练习。
## 编译器优化研究：摘要
最近在Hacker News上讨论的两项关于编译器优化的研究，强调了过度依赖编译器“魔法”的复杂性和潜在陷阱。研究作者指出，为了让编译器（特别是LLVM）进行更好的优化而积极地操纵源代码，通常是脆弱且适得其反的。他们提倡编写清晰、惯用的代码，并理解优化流程的大致框架，而不是试图超越编译器。
讨论的重点是需要更好的方法来验证编译器的行为。建议包括使用断言来表明意图，并可能加入一种语言特性，允许开发者通过内联汇编和编译时检查“固定”特定的、经过验证的优化。另一些人则建议使用自动化的性能回归测试，作为一种更直接的方式来确保期望的性能，而不会限制编译器的灵活性。
一个关键的结论是微优化与代码清晰/正确性之间的紧张关系。虽然小的收益在性能关键型应用中可能很重要，但工具和语言的生态系统常常会引入脆弱性和意外行为。许多评论者指出，通过自定义编译器或中间表示，可以更好地控制编译过程。
广泛引用的论文中存在虚假声明，未更正，也未受到任何后果。
False claims in a widely-cited paper. No corrections. No consequences
2 天前
启用 JavaScript 和 Cookie 以继续。
雷恩勒夏托，一个位于法国比利牛斯山脉的小村庄，因其19世纪的神父贝朗热·索尼埃的故事而成为阴谋论的磁石。他在翻新教堂时神秘地积累了财富，引发了关于隐藏宝藏的传言——从卡塔尔教派的遗物和圣杯到失落的王室财富。
虽然历史记录表明索尼埃的资金很可能来自不正当手段，例如出售赎罪券，但对宏大秘密的迷恋仍然存在。当地企业家诺埃尔·科布利用这种神秘感，推广宝藏的故事并吸引好奇的游客。记者阿尔贝·萨拉蒙在1956年发表的耸人听闻的文章进一步激起了公众的兴趣，将该村庄与古代秘密联系起来，并引发了数十年的寻宝活动。
如今，雷恩勒夏托作为一个旅游目的地而繁荣发展，吸引着那些着迷于伪历史和对隐藏的、可知的真相的安慰性想法的人们。这个村庄体现了人类对神秘的渴望，证明即使在不确定的时代，一个好的阴谋论也可能出人意料地令人感到舒适。尽管有揭穿的努力，但传奇依然存在，确保雷恩勒夏托仍然是那些在历史混乱的格局中寻求答案——或仅仅是一个引人入胜的故事的人们关注的焦点。
对不起。
对不起。
通过我们超过900个的安全集成，座席可以执行几乎任何数字工作：使用Perplexity研究潜在客户，通过Apollo丰富CRM数据，管理日程，或执行复杂的API调用。如果人类可以在浏览器中完成，座席很可能可以自动化它。
对不起。
启用 JavaScript 和 Cookie 以继续。