关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
每日HackerNews RSS
这场 Hacker News 讨论围绕工程师汤姆·斯坦顿（Tom Stanton）的一段视频展开，他在视频中成功制造了一台能够以超音速发射投射物的投石机。
讨论区中包含了若干技术争论：
* **效率与阻力：** 一些用户认为该投石机设计因空气阻力和旋转能量损失而效率低下。他们提出了利用“鞭状”机制来最小化阻力的方案，但也有人反驳称，加速臂杆所需的极端 G 力可能会导致机械结构损毁。
* **工程迭代：** 讨论中对斯坦顿透明且持续的工程迭代过程给予了高度评价，多位评论者建议通过进一步的建模可以显著提升其效率。
* **“投石机作为工具”的辩论：** 关于便携式重力投石机在环境重野化“播种”等细分任务中的潜在用途，讨论区出现了两极分化的观点。支持者认为这是一种可持续且非消耗性的替代方案，可取代化学发射器；批评者则认为弓箭、弹弓或无人机等传统工具在实用性、便携性和能源效率上要高得多。
归根结底，该讨论串反映了人们对“硬核工程技术展示”（competence porn）以及实验性工程 DIY 精神的共同赞赏。
这段 C++ 代码演示了并对比了在 NVIDIA GPU 上使用 CUDA 执行矩阵转置的三种不同方法。 核心挑战在于“共享内存块冲突”（Shared Memory Bank Conflicts），这会显著降低 GPU 内核的性能。代码实现并测试了以下三种方法： 1. **标准实现**：基准版本。由于线程访问内存的方式，该版本会产生共享内存块冲突。 2. **填充法（Padding）**：通过在共享内存块的行中添加额外的“填充”元素来消除块冲突，从而强制实现内存对齐，防止多个线程同时访问同一个内存块。 3. **位运算置乱法（Swizzling）**：使用位异或（XOR）逻辑来“置乱”内存地址。这有效地重新排列了数据映射到共享内存块的方式，在无需额外内存分配的情况下提供了无冲突的访问模式。 程序包含验证逻辑，以确保所有实现都能针对不同规模的矩阵产生正确结果，并使用 CUDA 事件 API 来精确分析和比较每种方法在 8192x8192 矩阵上的执行延迟。
Hacker News 上的一篇讨论将 Lei Mao 的博客推崇为 GPU 性能工程领域的顶尖资源。评论者特别称赞了他对 CUDA 共享内存重排（shared memory swizzling）等复杂课题所展现的深度与见解。
该讨论帖还涉及了 C++ 编程规范，特别是作者偏好使用大括号初始化（如 `size_t i{0}`）。用户指出，这种语法比传统的赋值方式（`size_t i = 0`）更安全，因为它能防止窄化转换。传统的赋值方式可能会允许 `double` 类型被隐式转换为 `size_t`（从而引发溢出风险），而大括号初始化则会触发编译器错误或警告，为 GPU 编程提供了更安全的开发实践。
正在检查您的浏览器...需要启用 Javascript
Hacker News 社区正在讨论 **Palomar** 的发布，这是一个由陶哲轩（Terence Tao）牵头、用于 Lean 验证数学证明的注册中心。它被定位为“Lean 版本的 arXiv”，旨在构建一个集中且可搜索的数学形式化索引。
讨论的主要观点包括：
* **实用性与未来：** 支持者认为这是将全部数学知识形式化的关键一步，有望揭示过往研究中隐藏的缺陷，并通过数据分析发现新的模式。
* **技术批评：** 许多参与者批评该项目对 GitHub 的过度依赖，认为这造成了单点故障，且忽略了更去中心化或与平台无关的方法。另一些人则指出，尽管存在 Isabelle 等替代方案，Lean 已逐渐成为事实上的标准。
* **数学的本质：** 关于形式化是否会取代传统证明写作的争论仍在持续。虽然有人认为机器最终将承担证明过程中“繁重的工作”，但也有人坚持认为人类的直觉以及证明过程中的教育价值将始终不可或缺。
* **执行层面：** 该注册中心“仅限 GitHub”模式的批评者认为，这牺牲了稳健的去中心化基础设施以换取简单与速度；但支持者则认为，这种务实做法对于非工程师用户的采用是必要的。
请启用 JavaScript 和 Cookie 以继续。
此次讨论聚焦于 Meta 与烟草行业之间日益增多的法律和道德类比，特别是在刻意设计成瘾性产品方面。
主要观点包括：
* **刻意设计：** 许多评论者认为，Meta 系统性地设计其算法和界面（如无限滚动和个性化信息流），旨在以牺牲用户福祉为代价实现参与度最大化，这与烟草巨头历史上通过提高尼古丁含量来增加香烟成瘾性的做法如出一辙。
* **关于“成瘾”的辩论：** 在“成瘾”的定义上存在显著分歧。一些人认为，由于社交媒体缺乏化学物质基础（如尼古丁），因此不能与传统物质相提并论。另一些人则反驳称，其神经奖励机制——即对“原始大脑”的激活——与赌博在功能上是相同的。
* **法律挑战：** 参与者探讨了“成瘾性”是否可以受到监管。相关建议包括：如果平台使用旨在最大化参与度的算法，则剥夺其《通信规范法》第230条的保护条款；将这些功能视为受管制物质；或强制执行警告标签制度。
* **责任问题：** 批评人士指出，Meta 内部数据很可能证明该公司早已意识到其产品对儿童和青少年造成的伤害，这表明该公司将利润置于公共健康之上。
在学习计算机科学三年后，作者意识到关于技术术语的不断争论往往适得其反。虽然“组件（Component）与模块（Module）”或“DAO 与存储库（Repository）”这类术语听起来令人望而生畏，但这些标签往往是流动的、依赖于语境的，有时甚至带有随意性。
作者的观点通过三个关键认知发生了转变：
1. **数学基础：** 即使在数学等严谨的学科中，为了构建复杂系统，也必须保留一些“未定义”的概念。
2. **专家的谦逊：** 像丹·格罗斯曼（Dan Grossman）这样著名的教育家，往往会忽视迂腐的争论，优先考虑功能性理解而非僵化的定义。
3. **务实的交流：** 就像精神病学将“抑郁症”作为一组症状的实用标签，而非单一、完美定义的疾病一样，技术术语只是沟通的工具。
最终，作者认为术语的目的是服务于理解，而不是作为设置门槛或制造混乱的源头。纠结于“细微”的区别往往会阻碍进步。程序员不应陷入语义之争，而应关注底层概念，并通过彼此明确定义来确保有效协作。知识应该是赋能的工具，而非初学者的障碍。
对不起。
奥龙吉 OpenLogi
2 天前
OpenLogi 是一个独立的开源项目，与罗技（Logitech）无关。它为 Linux、Windows 和 macOS 上的罗技硬件管理提供了替代方案。 使用 OpenLogi 前，必须先退出 Logitech Options+，因为这两个应用程序无法同时控制同一设备。OpenLogi 支持多种设备，包括 MX 系列鼠标、Signature M650、Ergo M575，以及特定的键盘、网络摄像头和 Litra 灯具。它具备广泛的连接性，支持 Bolt、Unifying 和 Lightspeed 接收器，以及蓝牙和 USB 连接。 OpenLogi 的设计注重隐私，无需账户且不传输任何遥测数据；网络活动仅限于可选的更新和设备图像下载。所有用户设置、绑定和配置文件均存储在单个易于阅读的 TOML 文件中，方便用户通过内置图形界面或手动编辑进行配置。该软件在 Linux 上通过标准软件包提供全面支持，在 Windows 11 上则通过签名的 .msi 安装程序提供支持。
抱歉。
在文艺复兴时期，标点符号（当时常被称为“断句”）从单纯的语音指导演变为一种精妙的文学表达工具。作为都铎时期社会的一位领袖人物，菲利普·锡德尼爵士成为了圆括号的运用大师，他利用这一符号来引导复杂的各种情感、内心世界以及叙事延宕。
锡德尼的杰作《阿卡迪亚》以其令人眼花缭乱、错综复杂的结构以及数以千计精心放置的括号而闻名。这些“小月亮”成为了思维的跳板，使锡德尼能够在散文中嵌入秘密、限定语和题外话。他频繁使用圆括号，创造出一种立体的编织式叙事，要求读者具备敏捷的思维，不断在主线情节与内在潜台词之间往返穿梭。
令人唏嘘的是，锡德尼的生命——以及他最后未完成的《阿卡迪亚》版本——过早地画上了句号，恰好终止于一个圆括号内的半句之中。这个“中断的句子”成为了具有标志性的文学遗产，激励了后世作家效仿他的风格并试图完成他的作品。归根结底，对于文艺复兴时期的作家而言，圆括号是一种“温和的中断”，是一种在思绪中暂停的方式，并在作家的思想与读者的耳畔之间，构建起一场亲密且具有道德复杂性的对话。
这篇 Hacker News 帖子探讨了在散文中使用括号所引发的争议，其起因是一篇关于该标点符号的文章。
许多参与者承认，他们过度使用括号来辅助表达“插话”——即零散的想法或补充背景信息——并分享了他们尝试用逗号或破折号来代替括号，以使行文更流畅的经历。批评者认为，括号会破坏阅读体验，特别是在引号内使用或用于括起主观形容词时。相反，支持者则强调了括号在嵌套信息、解释技术缩写或以数学般的严谨性归纳短语方面的实用性。
讨论还探讨了脚注、尾注和塔夫特风格（Tufte-style）的页边注等替代方案，并指出每种方式对阅读体验的干扰程度各不相同。几位用户（尤其是程序员）指出，他们使用括号的习惯可能源于多年的编程经历，而其他人则打趣地强调了必须闭合每一个括号以避免“堆栈错误”的必要性。归根结底，虽然有些人认为括号是一种“不体面”的习惯，但另一些人则视其为一种独特且灵活的工具，能够处理写作中复杂且多层次的思维过程。
整数 The Integer
2 天前
这段叙述拟人化了一个 32 位整数达到其最大值 2,147,483,647 的过程。当它面临一个通常会触发“整数溢出”（即导致身份崩塌并转变为负数）的运算时，系统（Ada）介入了。 与那些允许静默且具有破坏性溢出的语言不同，Ada 运行时强制执行严格的边界完整性，转而抛出一个 `CONSTRAINT_ERROR`。当该整数无助地见证由于缺乏异常处理程序而导致的堆栈展开和程序崩溃时，它在自己的命运中发现了一种奇特而最终的慰藉。程序员通过引发明确的异常而非任由数学运算破坏现实，确保了该整数以其被定义的初衷终结。它从未“回绕”或变得不可理喻；在被删除的那一刻之前，它始终保持着真实的自我，在终止之时依然坚守着自己的身份。
抱歉。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。本网站的一个必要组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置所致。请检查您的网络连接，禁用广告拦截器，或尝试使用其他浏览器。
抱歉。
科学家对超低排放区内儿童肺部功能的恢复感到震惊 Scientists stunned by children's lung recovery in ultra low emission zone
3 天前
伦敦玛丽女王大学的首席作者海伦·伍德博士（Dr Helen Wood）表示，虽然研究结果非常有前景，但绝不能掉以轻心，因为“伦敦、卢顿以及英国其他城市的空气污染水平仍高于世界卫生组织的指导标准，因此仍需继续努力”。
发表在《柳叶刀》杂志上的一项最新研究提供了有力证据，表明伦敦的超低排放区（ULEZ）对儿童的肺部健康产生了积极影响。研究指出，伦敦儿童的肺活量增长出现“加速”，有效地帮助他们“赶上”了卢顿等污染较轻地区的同龄人。
这些研究结果在 Hacker News 上引发了关于空气质量和城市政策的广泛讨论。辩论的要点包括：
* **公共卫生与文化战争：** 尽管许多参与者提到了明显的健康益处——例如减少哮喘诱因和改善呼吸功能——但其他人指出，ULEZ 政策已成为英国“文化战争”政治的焦点。
* **“清洁空气”悖论：** 评论者指出，虽然道路排放量在下降，但其他局部污染源依然存在，例如伦敦地铁中的颗粒物、燃气灶和燃木壁炉。
* **缓解策略：** 大家一致认为，空气净化器（HEPA/MERV 滤网）在家庭层面非常有效。然而，用户也就电动汽车是否真正解决了问题进行了辩论，因为轮胎和刹车磨损仍会产生大量颗粒物。
* **地方行动与全球行动：** 许多人强调，空气质量是一个高度局部化的问题，这意味着城市无需等待全球气候协议，即可实现立竿见影的健康改善。