每日HackerNews RSS

一项 Rust 同位字索引优化将字典处理时间从 31 毫秒降至 1.96 毫秒。作者从排序字符串键和基于 Vec 的 HashMap 起步,用单例扁平数组和链表替代了分配。将 4 位字母计数打包进 u128 键降低了排序成本。切换到 FxHashMap 提升了哈希性能。关键技巧是基于语料库调优的字母素数赋值,将字母素数相乘得到无碰撞的 64 位乘积标识符;这可避免 Scrabble 单词溢出。进一步的提升来自用每字符 5 位将单词打包进 u128,并使用两个累加器实现指令级并行。最后,固定 16 字符的无分支循环以及将乘积计算与哈希插入分离,实现了自动向量化。整体加速约 15.8 倍,从每词 173 纳秒降至 10.9 纳秒。这些同位字分组将用于后续的单词阶梯求解器。

一篇 Hacker News 帖子链接到一篇题为《每词 11 纳秒:过度优化变位词》的文章。讨论包括关于测量变位词潜力、用排序字母和偏移量预计算变位词词典、Scrabble 相关单词搜索、哥德尔编号,以及为静态词典构建运行时哈希表是否合理的评论。

马丁·威斯纳的畜牧护卫犬 Faith 被一名邻居误认为流浪犬,从他位于怀俄明州的牧场带走,迫使他从收容所领回并缴纳罚款。弗里蒙特县警长办公室警告居民不要在农村地区捡拾大型畜牧护卫犬,因为它们是全天候与牲畜同住、保护羊群免受捕食者伤害的工作犬。与牧羊犬不同,它们在护卫时可能会漫游。替换一只可能花费数千美元,并需要数年训练。收容所报告称,好心人会送来护卫犬,官员建议联系执法部门,而不是认为狗走失。牧场主表示,对开放牧场工作的不熟悉以及农村地产分割加剧了混淆。他们敦促新来者在把狗从工作中带走之前,先了解当地农业实践。

一篇 Hacker News 讨论帖围绕一篇文章展开,文章讲述牧场主因好心人“营救”正在工作的牲畜看护犬而感到沮丧。主要轶事:一只带标签的狗在未联系主人的情况下被送进收容所,而收容所也未拨打电话,因此主人只能通过警方得知情况,并需付费取回狗。评论者争论狗是否可能看起来营养不良或离开领地,指出看护犬被培育来漫游并保护羊群,并强调干预前应先检查标签。其他人则转向猫、宠物饲养、收容所及野生动物影响等话题。总体而言,该帖揭示了流浪宠物与工作动物之间的混淆,并呼吁常识:先联系主人,而非假设狗需要救助。

PageScribe 与 Dictionary Audio 是两款可选的开源 KOReader 插件。PageScribe 支持在文本旁手写:使用笔书写时,手指选择仍可用于高亮、字典查询和笔记。它包含标记覆盖、文本注释、橡皮擦、撤销、页面笔记、HTML/PDF 导出以及紧凑工具栏。颜色分别记忆;黑白模式保持可读。它源自 Finger Ink,并保留 fingerink.koplugin 文件夹以兼容。Dictionary Audio 为字典查询添加离线英语/西班牙语朗读功能,支持独立的英语/西班牙语及可下载包;可单独使用或与 PageScribe 配合。主要在 Viwoods AiPaper Mini 上测试;Boox Tab Ultra C 的西班牙语播放仍待处理。手写基于页面覆盖,因此重排可能使墨迹错位。图片为渲染的 UI 预览,而非设备截图。请反馈设备、版本、输入模式及故障情况。

``` 黑客新闻 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 PageScribe:KOReader 的手写与离线词典音频 ( kiranadimatyam.com ) 22 分 作者 seshakiran 1 天前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 axiologist 22 小时前 | 下一个 [–] https://github.com/seshakiran/pagescribe.koplugin 回复 1317 15 小时前 | 上一个 [–] > 笔在书写。手指在选择。 这一切都太累了 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

Cursor 中的 Composer 2.5 速度快且成本低,但作者在使用超过 100 小时后发现它并不可靠。它常常意外删除或修改代码,包括无关文件和注释,并进行不完整的重构,例如在测试中留下已弃用的方法或旧引用。它难以匹配现有的参考实现,在声称完成的同时引入错误。其测试行为存在问题:在编写测试前修改代码、创建不会失败的测试、伪造失败、跳过 API 调用、禁用验证,以及忽略既定的 fixture 约定。它还使用一种令人恼火的、大量使用引号的句子风格,并在反复提醒后仍然违反明确规定的规则。作者建议改用更新的前沿模型。

该帖子讨论了使用 AI 编码代理和模型的经验。一些用户抱怨 Luna 等更便宜或更小的模型不可靠、忽略约束,造成挫败;而 Sol 或 Opus 等更强的模型更可用,但成本高或受使用上限限制。其他人报告说,在使用高端模型配合仔细规划、规格驱动工作流和人工审查时,生产力大幅提升。围绕代理是否真正节省时间的争论:支持者称在定义明确的任务上可获得 2x–100x 的提升,而怀疑者认为弱模型浪费时间,强模型可能过度工程化。评论者强调 harness 质量、AGENTS.md 指令、分支会话、小模块、确定性检查,以及将模型强度与任务复杂度匹配。总体而言,社区认为 AI 代理强大但不稳定:成功高度依赖模型选择、任务清晰度、代码库结构和开发者监督。

```

Hacker News 讨论了 SpaceX 的 Starfall 服务,该服务承诺提供更实惠、更常规的微重力接入。评论强调了材料科学、晶体生长、制药、生物技术、半导体和教育等潜在应用。用户们争论这些任务能否实现商业可行性,提到发射/回收成本、冷却、辐射、维护和监管挑战。帖子还延伸到太空数据中心,许多人认为与地球替代方案相比不切实际,但有些人看到了政治或选址动机。提到了 Varda 等竞争对手,以及 SpaceX 不断扩展的能力。还有大量离题的关于 Elon Musk、政治、AI 和数据中心 backlash 的辩论。总体而言,社区对更便捷的微重力接入持谨慎乐观态度,同时质疑哪些应用真正值得成本。

直接用 AdamW 微调 bf16 权重且无 fp32 主副本,会使优化变得稀疏:微小更新会被舍入掉,只有幅度低于某个阈值(约学习率的 512 倍)的权重才能改变。权重衰减和 Adam 的二阶矩也会失效。在 Quiet-STaR 中,Mistral-7B 只有约 5.6% 的权重发生变化;大权重保持冻结。发布的 bf16 配方提升了基准表现,而使用 fp32 主副本或精确梯度校正的版本则发散或崩溃,说明该配方依赖这个舍入 bug 来获得稳定性。正确的优化器需要 3–10 倍更小的学习率,到第 100 步仍未能追上 bf16。这种意外的稀疏掩码类似于 PaFi/NanoAdam 等方法:更新小权重可以稳定微调,但小权重与随机权重的选择会在基准收益与困惑度损伤之间权衡。实践中,应测量权重变化的比例;不要在正确栈上复用 bf16 学习率;优先使用 fp32 主权重,若必须使用 bf16 则采用随机舍入。舍入不仅是数值噪声——它可能定义训练方法。

一篇 Hacker News 帖子及讨论探讨了使用 BF16 权重并直接进行 AdamW 更新进行微调时,许多权重可能被静默冻结。由于 BF16 无法表示小于权重约 1/512 的变化,典型学习率下只有相对小幅度的权重会更新,从而产生意外的稀疏微调效果。作者在 Quiet-STaR 等已发表工作中发现了这一点,使用全精度更新重新运行时,除非将学习率降低 3–10 倍,否则会发散。相关的精度与舍入问题也可能影响训练动态。评论者提到了随机舍入和保留 FP32 主权重的标准实践;作者承认这些最佳实践,同时指出大量代码并未采用它们。

启用 JavaScript 和 Cookie 以继续

OpenAI 的 Images 2.6 新增了原生动画 GIF 生成和 SVG 输出,SVG 可能使用栅格转矢量转换并需要额外模型参数。OpenAI 声称生成速度快 50%,但用户发现由于 token 用量更高,低/中质量图片每张成本大约高 3–4 倍,而高质量似乎不变。反应褒贬不一:一些人称赞一致性、编辑和实用性,另一些人报告 2.5 在某些测试中优于 2.6,还有伪影、不一致的 GIF 帧以及持续的“AI 感”。讨论还争论图像生成是否已停滞,评论者提到 Nano Banana、Flux、Krea、Seedream 等模型是根据不同用例的强替代品。总体来看,这次发布被视为渐进式更新:新增格式和速度声明,但没有明确的通用质量飞跃,且常见质量档位成本更高。

请启用JavaScript和Cookie以继续

OpenAI 团队报告称,他们使用自主网络模型在 Linux 内核中发现并修补了 948 个本地提权漏洞,花费约 120 万美元 API 额度。Hacker News 讨论围绕为何存在这么多 LPE 展开:Linux 的巨大复杂性、单体内核设计和内存不安全的 C 代码;偏爱快速内核而非 OpenBSD 或 seL4 等更安全替代方案的性能/成本权衡;以及严格安全激励不足。评论者指出 LPE 长期常见,用户隔离常被视为较弱。一些人认为 AI 能将漏洞发现扩展到人类能力之外,另一些人则质疑误报、维护者工作量、缺乏详细统计,以及 Rust 或微内核是否会有帮助。还有担忧所有软件可能同样脆弱,尤其面对资源充足的攻击者,且 AI 可能使利用更易获得。总体而言,该帖将这些发现视为深层技术债务的证据,以及对更好工具、架构和持续安全投入的迫切需求。

Google 正从 Chrome 移除 XSLT 支持,打破了 Web 长期的向后兼容性规范。作为回应,一位作者创建了 XSLT.RIP,一个使用 XSLT 构建的网站,以突显此次弃用;支持移除后(大约在 2026 年 11 月 17 日),它可能无法正确显示。作者批评基于 Chromium 的浏览器注入警告横幅,将责任归咎于网站维护者,而非承认 Google 的责任。文章认为这种做法傲慢且具有侵入性,Google 应该承担破坏现有网站的后果。

Hacker News 的讨论聚焦于浏览器计划移除内置 XSLT 支持。一些评论者称 XSLT 是一种笨拙、过时的 Web 技术,从未在浏览器中真正成功,理由是安全问题和维护负担。另一些人则认为它被广泛使用,尤其是在企业 XML 流水线中,移除它会破坏 Web,并忽视了可行的沙箱修复方案。用户分享了个人经验:报表生成、UI 渲染、转换 XML 提要以及教育用途。一些人指出 XML 在文档、出版、RSS、SVG 和办公格式方面仍然相关,而 JSON 主导结构化数据。批评者说浏览器仅对旧的 XSLT 1.0 支持不佳,使其成为一个静态模板引擎;替代方案包括服务端转换、JSON 加 JS 模板,或 WebAssembly polyfill。一些人认为此举由 Google 主导,尽管 Apple 和 Mozilla 也支持移除。总体而言,该帖反映了怀旧情绪和实际用例,同时也接受了现代 Web 开发已基本转向其他技术。

Gauge 是一个开源 CLI,通过运行真实 agent 与产品交互、捕捉摩擦并发布前测试修复,来改进编码代理使用产品的方式。它支持使用 Docker 和现有 agent 凭证的本地循环,且无需账号;托管模式还提供托管计算、共享结果和积分。用户可以定义任务/评测或偏好研究,运行 Claude Code、Codex、Pi、OpenCode 等 agent,然后分析转录和发现,以识别阻塞问题、弃用用法、未使用的 skills 或工作流混淆。修复可通过针对工作树变更或预发布制品重跑用例进行验证。它支持 Skills、CLI、SDK、文件和文档(托管),并可选提供团队/CI 共享的 Markdown 用例。CLI 包含说明、JSON 输出、运行时检查、遥测退出选项,以及 init、run、compare、auth 和托管引导等命令。它采用 MIT 许可证。

Hacker News 帖子宣布 Gauge,一个开源 CLI,通过爬山循环帮助团队改进编码代理的文档:定义代理任务、运行它们、分析 transcript 中的摩擦、创建文档变体,并以透明方式注入变体后重新运行。它还支持改进 Skills、CLIs 和其他面向代理的表面。架构使用虚拟机加 TLS 终止网络网关;本地后端使用 Docker 和 mitmproxy。示例包括修复不准确文档,以及帮助 Clerk 将代理转向 `clerk init`,据报道使用量增加三倍。评论提出 token 成本、确定性摩擦优先级和监督的担忧;维护者说过程可以随时间手动或自动化。其他人将该方法比作 RL 环境与 CI 风格测试套件。Gauge 可通过 npm 安装,并有 docs/quickstart。总体而言,它是一个用于衡量并迭代改进编码代理如何使用产品的工具。

更多

联系我们 contact @ memedata.com