正在检查您的浏览器……需要启用 JavaScript
每日HackerNews RSS
抱歉。
**balrogg** 是一款专为 Ogg Vorbis 和 Opus 音频文件进行无损重压缩而设计的命令行工具。它通过使用 .blr 文件格式，可以显著节省存储空间——通常 Vorbis 可节省 8–12%，Opus 可节省 3–8%。 主要特性包括： * **性能：** 提供九种压缩等级。较高的等级（最高 -9）会增加编码时的搜索时间，但仍能保持快速且一致的解码速度。 * **批量处理：** 支持多线程执行以处理大型音频库，并可选择显示进度报告。 * **可移植性与安全性：** 使用 C99 编写，具有极高的可移植性，经证实支持 Windows（包括 Win95 目标平台）和 MS-DOS。它会对输入文件进行严格校验，拒绝任何无法被精确还原的数据，以确保比特级的完整性。 * **易于使用：** 简洁的命令语法（`e` 用于编码，`d` 用于解码），便于无缝集成。 该工具采用 GNU GPLv3 协议授权，源代码和二进制文件可在 [GitHub](https://github.com/iczelia/balrogg) 获取。该工具设计轻量，仅依赖标准 C 库和数学库，是实现高效、可靠且与平台无关的音频存档的稳健选择。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
这篇 Hacker News 的讨论围绕着 LTT Labs 发布的一篇关于英特尔 i9-14900KS 处理器的 CT 扫描文章展开。用户对这些 X 光图像表现出浓厚兴趣，它们清晰地展示了 CPU 的内部架构，包括配电网络和核心布局。技术类评论者解释称，虽然标准的芯片照片通过光线揭示核心结构，但 CT 扫描则是通过突出铜互连层的密度差异来识别这些组件。
讨论帖还谈到了 LTT Labs 的内容在平台上的可见度问题。参与者注意到，该实验室员工 Lucas 提交的内容经常被系统“自动标记为无效”（auto-dead）。用户推测这是因为该账户发布的全部是其自身内容，这违反了 Hacker News 关于自我推广的准则。尽管一些用户认为考虑到该实验室技术内容的高质量，这种过滤可能过于严苛，但其他人则指出，该网站有严格的政策，要求用户在推广个人作品之外也要积极参与社区互动。
这本 OCaml 书籍是法文原版书的英文译本（由 Urmila Nair 翻译）。翻译工作由 OCaml 软件基金会资助。本书采用 CC BY SA 4.0 协议开源。获取书籍（1.9Mb PDF 文件） 获取书籍（2.3Mb EPUB 文件） 获取代码 勘误反馈请点击此处。法律声明
这场 Hacker News 讨论的核心在于：OCaml 是否是学习计算机科学的合适语言，以及从更广泛的层面来看，在大语言模型（LLM）时代，人工编程是否依然具有重要意义。
**语言教学法：**
参与者就各种“第一门编程语言”的优劣展开了辩论。ML 系列语言（如 OCaml）的支持者认为，这些语言能提供更好的抽象能力和逻辑基础。相反，C 语言的倡导者认为，它能提供对内存管理和硬件交互的必要理解。一些人建议，每种范式各学一门语言（例如用 C 学习命令式编程，用 OCaml 学习函数式编程，用 Lisp 学习“代码即数据”的理念），是成为全面型工程师的最佳途径。
**LLM 时代的编程角色：**
一个反复出现的主题是：当 AI 已经可以生成代码时，学习 OCaml 这种“小众”语言是否还值得。大多数贡献者认为，编程是一种必不可少的认知训练。学习这些语言不仅仅是为了掌握语法，更是为了构建驾驭 LLM、验证输出结果以及理解代码背后逻辑所需的思维模型。几位用户指出，得益于其快速的编译速度、强大的类型系统以及清晰的接口文件，OCaml 在 LLM 工作流中表现出色，能有效减少 AI 幻觉带来的错误。
我喜欢劳动节假期。对我而言，这正是每年“重返校园”的时刻。小时候在达拉斯长大，我们都是在劳动节之后才开学，所以那个周末就是夏天结束、秋天开始的标志。 十年前我曾写道，阵亡将士纪念日和劳动节是夏天的两端。 如今的不同之处在于，我已经 60 岁，快要 61 岁了，最近我开始更多地思考自己真正关心的东西。 昨天艾米给我发来了这样一份清单： 生活中真正的奢侈品： 时间 健康 宁静的心境 悠闲的早晨 旅行的能力 毫无负罪感的休息 一晚好睡眠 平静且“无聊”的日子 有意义的对话 家常便饭 你爱的人 爱你的人 这是一份很棒的清单。 享受这个长周末吧。
抱歉。
本摘要探讨了 Rust 与 C++ 在多态性方面的差异，强调了两者虽概念相似，但底层理念迥异。
**核心要点：**
* **静态与动态派发：** 与 C++ 的 CRTP（奇异递归模板模式）类似，Rust 使用“单态化”（monomorphization）来实现静态派发，在编译时生成代码，且无运行时开销。对于动态派发，Rust 使用 `dyn Trait` 和“宽指针”（同时包含数据指针和虚函数表指针）。与 C++ 中对象自带虚函数表指针不同，Rust 仅在明确要求时才进行绑定，从而保持了较小的对象体积。
* **零尺寸类型（ZSTs）：** 一个显著差异是 Rust 支持 ZST。C++ 为确保对象内存地址唯一性，强制要求最小尺寸为 1 字节；而 Rust 利用基于所有权机制的借用检查器在编译时追踪身份，使得某些结构体可以不占用任何内存。
* **对象安全性：** 并非所有 Rust Trait 都能用作 `dyn Trait`。返回 `Self` 或包含泛型参数的方法是被禁止的，因为编译器无法在运行时确定所需的大小或虚函数表条目。
* **设计理念：** Rust 将派发方式的选择权从类定义移至调用处，在内存管理方面提供了更高的灵活性与精确度。
抱歉。
斯特芬多面体（Steffen’s polyhedron）是柔性多面体的一个著名例子，这类形状在保持各个三角形面刚性的同时，能够改变其整体结构。凸多面体无法弯曲，而斯特芬的设计通过利用非凸的球形拓扑结构实现了这一点。
该结构由 14 个三角形组成，依赖于两个相同的“类金字塔”子单元。每个子单元的基础是一个具有特定几何属性的非平面四边形：即使底座发生弯曲，某些关键顶点之间的距离依然保持不变。通过沿共享边连接这两个单元，形成了一个具有两个自由度的结构。再增加两个最终的三角形面并固定一条边的长度后，会抵消一个自由度，从而使最终形成的多面体能够自由弯曲。
虽然该结构长期以来被认为是此类现象的最小示例，但研究仍在不断演进；特别是在 2024 年，人们发现了一个仅有八个顶点的柔性多面体。斯特芬的工作依然是理解复杂非凸几何如何保持内部运动的基石，为刚性面几何与数学流动性之间的迷人交集提供了重要参考。
抱歉。
阻止不可阻挡之物：当不可阻挡的力量遇上缓冲器 Stopping the Unstoppable: When an unstoppable force meets a dashpot snubber
71 天前
近期在霍博肯和布鲁克林车站发生的备受瞩目的列车事故，凸显了仅依赖人工操作的危险性。调查显示，通常由未确诊的睡眠呼吸暂停症引起的列车员疲劳是导致这些碰撞的原因。 列车制动是一个涉及质量和动能的复杂物理问题。传统的“阻车器”通常不足以应对，因为它们仅针对低速碰撞设计，且这种刚性停止方式可能会产生剧烈的破坏力。设计安全的制动方案需要在制动距离和减速度之间取得平衡；距离越长，乘客所受的冲击力就越小。 解决方案因环境而异： * **滑动摩擦制动：** 利用与轨道的摩擦力在一定距离内消耗能量，从而降低峰值冲击力。 * **液压缓冲器：** 提供平稳、持续的减速，且通常可自动复位，是客运车站的理想选择。 * **混合系统：** 结合液压和摩擦力，以实现最大程度的控制。 * **被动屏障：** 土堆作为最后一道粗暴的防御手段。 虽然机械解决方案充当了“肌肉”，但现代的“大脑”——如列车自动控制系统（PTC）——利用数字传感器自动停止列车，从而在事故发生前防止人为失误。
抱歉。
Flock 被用于追踪一名记录交通执法的退伍军人超过 100 次。 Flock used >100 times to track veteran who recorded traffic stop
71 天前
2025年5月，退伍海军士兵拿破仑·琼斯（Napoleon Jones）在威斯康星州苏塞克斯（Sussex）拍摄警察交通拦截时，被沃基沙县治安官副警长布兰登·谢伊霍恩（Brandon Shayhorn）非法逮捕。尽管琼斯未受指控即被释放，且随后有主管告知他该拦截行动属于非法，但他仍遭到了进一步的报复。 琼斯随后提交了公民投诉，由此引发的调查发现，他的车辆在“Flock Safety”车牌识别数据库中被进行了100多次未经授权的查询。这些查询发生在那次事件几周后，而当时并无任何犯罪活动的证据。目前，琼斯已对该部门提起诉讼，指控警员利用监控技术对他行使宪法第一修正案赋予的拍摄警察权利进行报复。 此案凸显了人们对执法技术滥用的严重担忧。涉案警员被指控将追踪软件武器化，用于针对质疑其行为的普通公民；这引发了关于自动化监控系统监管缺失，以及政府权力可能被用于压制受保护言论的严峻质疑。
这篇 Hacker News 讨论聚焦于《Reason》的一篇报道，内容涉及警方如何利用 Flock Safety 的监控摄像头网络，对一名曾拍摄交通执法的退伍军人进行百余次跟踪与骚扰。
评论者的观点存在严重分歧。许多人认为，这一事件证实了人们对大规模监控的长期担忧：即那些旨在“公共安全”的系统，在缺乏对警察不当行为的有效问责机制下，本质上极易被滥用。批评者指出，警察工会以及“合格豁免权”等现行法律保护措施，使得警员即使公然侵犯公民权利，也极少受到实质性惩罚。
相反，一些用户为该技术辩护，称其在侦破绑架等重大犯罪方面行之有效。这些支持者认为，问题不在于工具本身，而在于需要更好的监管、更严格的搜查令要求，以及对个人“害群之马”的起诉。
归根结底，这篇讨论反映了两种观点的根本冲突：一方认为大规模监控是对自由社会的必然威胁，而另一方则认为，通过改善监管和司法监督，可以保留这类技术所带来的益处。
鲍勃和范 Bob and Van
71 天前
作者在回首俄亥俄州的童年时光时，深情地怀念起昔日的邻居鲍勃和凡——他们是友善且乐于助人的人，两人的政治观点如何，在彼此的交往中既不为人所知，也毫不相干。无论是扑灭火灾还是铲除积雪，这些互动都是建立在相互支持而非意识形态一致的基础之上。 作者将此与当今的社会氛围进行了对比：在当下的环境中，政治极化日益要求我们根据邻居、同事及当地店主在复杂社会和政治议题上的立场来评判他们。他质疑我们是否应当被要求去谴责或排挤那些与自己观点相左的人。归根结底，他认为这种要求人们对每场争议都公开表态的持续压力，正在侵蚀我们社区的社会结构。他指出，当我们将关注点放在共有的人性和邻里间的善意，而非审视身边人的私下信仰时，社会才会更好。若将意识形态的纯洁性置于随和且互助的关系之上，我们便有失去那些让社区产生归属感的根本纽带的风险。
抱歉。