启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
最近的 Hacker News 讨论触及了数学令人惊讶的复杂性，即使对于该领域的从业者来说也是如此。一位用户在谈论集合论时指出，用于描述相同概念的符号多种多样——集合、元组等，强调了数学缺乏像编程语言那样清晰文档的明确“手册”或唯一真理来源。
这引发了一位回复者引用约翰·冯·诺伊曼的观点，认为数学家并不旨在*理解*数学，而是*适应*它。这场对话强调了数学并非总是直观的，并且由于其多样的表示和基础上的模糊性，即使经过大量学习，也可能难以掌握。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2025 Google LLC
一位Hacker News用户分享了一段视频，展示了以*时间*而非地理空间为基础的可视化地图。一位名为Terretta的评论者随后提供了一个实际应用链接：一个旅行时间地图（[https://app.traveltime.com/search?aId=0&0-lat=40.7811007&0-l...](https://app.traveltime.com/search?aId=0&0-lat=40.7811007&0-l...))，显示了通过公共交通从纽约自然历史博物馆出发15分钟内可到达的区域——这对于根据通勤时间寻找最佳地点很有用。
Terretta还指出了视频方法的一个基本局限性。准确表示旅行时间需要考虑不同的速度和连接，实际上需要第三维度来避免失真。他们用高速公路环线举例说明，地图上的邻近距离并不反映实际的旅行距离。
## 多线程 Vulkan 渲染器：TBB 与 C++26 执行器
本文详细介绍了一项实验，比较了用于加速 Vulkan 渲染器项目启动的多线程方法。作者在优化《Stellaris》等游戏启动时间方面经验丰富，旨在利用多线程进行资源加载——具体来说是着色器编译和纹理解压缩——在渲染器开发期间。
最初，该过程是串行的。作者通过并行化着色器编译和纹理处理，对比了 TBB（线程构建块）实现，并取得了显著的速度提升。TBB 可预测的线程池以及与分析工具（Optick）的集成被证明很有价值。
接下来，作者测试了即将推出的 C++26 执行器（使用 NVIDIA 的 `stdexec` 实现）。虽然声明式、流水线风格的语法很有吸引力，但初步结果令人失望，任务串行执行。需要使用 `continues_on()` 解决方法来强制并行执行，这表明可能存在错误或可用性问题。
最终，作者发现 C++26 执行器比 TBB 更冗长和复杂，并担心隐藏的性能陷阱和编译时间增加。他们质疑如此复杂的功能是否应该直接包含在标准中，建议采用库优先的方法可能更明智，类似于 `unique_ptr` 和 `optional` 等功能的成功标准化。目前，他们计划继续使用 TBB 进行生产代码。
一个Hacker News讨论强调了C++26 executors的复杂性，特别是异步操作的“发送者/接收者”模型。核心思想是通过一系列步骤将同步函数转换为异步函数：添加继续执行部分，将函数咖喱化以稍后接受参数，最后，添加另一层延迟求值。
本质上，它从直接函数调用 (`foo(params)`) 变为一连串的可调用对象，最终执行 (`operation();`)。这种方法虽然复杂——涉及具有命名方法的结构、错误处理继续执行部分以及地址稳定性要求——但具有优点，例如与协程的无缝集成以及与传统异步方法相比潜在的内存分配减少。评论员指出，通过尝试简化实现可以更深入地理解。
Codeberg 服务状态 抱歉，您似乎没有启用 JavaScript，或者您的浏览器不支持 JavaScript。本网站需要 JavaScript 才能正常运行。请在浏览器设置中启用 JavaScript 以继续。
Codeberg 宕机 (status.codeberg.org)
10 分 x3ro 发表于 39 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论
x3ro 发表于 39 分钟前 | 下一个 [–]
鉴于最近一些知名项目迁移到 Codeberg，而且我正尝试注册，可能对 HN 的用户有兴趣 :) 回复
dodos 发表于 11 分钟前 | 父评论 | 下一个 [–]
我在想同样的事情，看起来是拥堵导致无法访问。回复
xz18r 发表于 6 分钟前 | 上一个 [–]
我之前的一些更新失败了，因为部分内容托管在 Codeberg 上。如果说有什么，这表明人们正在迁移过去。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
研究人员发现一种能够从火星土壤中产生氧气的微生物。
Researchers Find Microbe Capable of Producing Oxygen from Martian Soil
4 小时前
## 火星氧气：微生物的潜力 长期在火星上维持人类生命的一个主要障碍是可持续的氧气生产。从地球运输氧气是不切实际的，但一项新研究的微生物——*Chroococcidiopsis*，提供了一个有希望的解决方案。这种“极端微生物”在恶劣条件下茁壮成长，并且关键的是，*产生氧气*，同时生长在类似于火星风化层的土壤上。 实验室测试证明了这种微生物的韧性——它不仅能存活，而且能在模拟的火星环境中繁荣生长，甚至能修复受辐射损伤的DNA。这种无需地球资源就能在当地产生氧气的能力，可以彻底改变火星殖民地的规划，摆脱代价高昂且风险重重的补给任务。 虽然扩大生产规模和维持稳定性仍然是挑战，但这项研究代表着朝着自给自足的火星定居点迈出的重要一步。此外，这种微生物的生存能力暗示着在太阳系其他地方可能存在生命，展示了生命的非凡适应性。最终，*Chroococcidiopsis* 提供了一条在火星上“种植”氧气的潜在途径，减少我们对地球的依赖。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
研究人员发现一种能够从火星土壤中产生氧气的微生物 (scienceclock.com)
8 分，作者 ashishgupta2209 2小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
canadiantim 20分钟前 | 下一个 [–]
标题很糟糕。火星上没有发现生命，他们只是在火星土壤中培养了一种微生物。回复
ChrisArchitect 2小时前 | 上一个 [–]
来源：https://www.universetoday.com/articles/one-extremophile-eats...回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## AI 与档案：从布尔的孤独到现代转录
本文反思了获取历史手写文件的途径演变，源于作者试图破译 19 世纪数学家乔治·布尔的信件的挣扎。 最初，阅读布尔的手稿——一项代表“单调”的任务——被认为对于理解其作品背后的情感至关重要。 然而，这种困难凸显了对超越传统古文字学的更好工具的需求。
早期自动转录尝试，如众包和神经网络（Transkribus），由于笔迹本身的多样性而面临准确性问题。 近期人工智能的进步，特别是像 Gemini 3 Pro 这样的模型，正在发生戏剧性的变化。 Gemini 成功地转录了布尔的信件，准确度惊人，甚至详细说明了其推理过程—— 模仿了古文字学学生的步骤。
这一突破有望使庞大的档案可搜索和可读，使研究人员摆脱繁琐的转录工作，并专注于解读。 虽然人工智能可以帮助理解，但作者警告不要依赖它*来*理解，强调了与历史声音建立人类联系的价值。 相反，人工智能的见解——例如 Gemini 的详细分析——可以用来*增强*人类的学习和研究，最终促进更深入地参与历史。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
手写识别的末日已来 (dancohen.org)
10 分，by speckx 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。 提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。
Zig编程语言正在将其主仓库从GitHub迁移到Codeberg，原因是微软日益关注人工智能对该服务不利。该创建者认为GitHub变得越来越没用，特别提到了一个有缺陷的仪表盘更新。
此举引发了关于更分散版本控制系统（VCS）生态系统的讨论。虽然一些人担心碎片化，但另一些人则认为增加多样性是积极的。人们对跨多个平台模块托管的潜在问题以及对改进的项目跟踪工具的需求表示担忧，以促进迁移。
许多评论员指出，越来越多的项目正在离开GitHub，并强调了对该平台现有的不满——例如，难以报告错误以及缺乏对高级拉取请求工作流程的支持——这些与人工智能问题无关。有趣的是，一个主要的用Zig编写的项目Bun，最近与一家人工智能公司合作，引发了对未来潜在冲突的质疑。
巴黎、布鲁塞尔和阿姆斯特丹等城市以及75多个组织敦促欧盟官员重新考虑与美国最近达成的车辆标准贸易协议。该协议暗示欧盟“打算接受”较低的美国法规，批评人士担心此举将危及道路安全、公共健康和气候政策数十年的进展。 自2010年以来，欧盟标准促使道路死亡人数*减少*了36%，而美国道路交通事故死亡人数在同一时期*增加*了30%。接受较弱的美国规则也可能恶化空气质量，并可能将车辆生产——以及就业机会——从欧洲转移到美国。 签署方强调，许多美国车辆（如特斯拉Cybertruck）缺乏的现有欧盟安全要求对于保护行人与自行车骑行者至关重要。他们强调需要维持甚至收紧现有法规，特别是解决允许不符合标准的美国车辆进入欧洲道路的漏洞问题，并宣布欧盟标准“不可谈判”。
## 美国汽车标准威胁欧洲道路安全
Hacker News上的讨论强调，在欧洲采用美国汽车标准可能会逆转道路安全方面的显著进展。欧盟车辆法规自2010年以来已使道路死亡人数*减少*了36%，而美国死亡人数*增加*了30%（行人死亡人数增加80%，自行车骑行者死亡人数增加50%）。
问题集中在美国大型车辆上，例如道奇公羊，越来越多地通过漏洞（“个别车辆批准”）进口到欧洲，并且经常注册为商业车辆以获取税收优惠。由于其尺寸和设计，这些车辆对行人和骑自行车的人构成更大的风险，尤其是在为共享道路使用而设计的密集人口区域。
评论员指出这些车辆危险的设计——大的盲点、碰撞中的能量传递——并质疑削弱欧洲标准的动机，认为这可能是为了支持 struggling 的汽车工业或受到美国贸易压力。人们还担心像特斯拉Cybertruck这样超大型车辆的兴起及其对道路安全的潜在影响。最终，讨论强调了美国和欧洲在安全结果方面的鲜明对比，以及危及欧洲进展的风险。
这次黑客新闻的讨论集中在定义音乐认知“普遍性”的困难上。一位评论员指出，构成“音乐”的本质存在内在的主观性，并以约翰·凯奇的《4’33”》（四分三十三秒的寂静）为例。
虽然有些人可能不认为寂静是“音乐”，但另一些人则通过文化背景和参与将其体验*为*音乐——例如参加演出，将其视为社交活动。核心论点是，缺乏对音乐本身的客观定义，阻碍了对音乐认知的真正普遍的科学研究。
不同的文化可能有音乐实践，甚至*不使用*“音乐”这个标签。因此，任何试图进行广泛的“折衷”定义，都有可能变得过于模糊，以至于对科学分析毫无意义。这场讨论强调了将内在的认知反应与对声音的文化学习解释区分开来的挑战。
启用 JavaScript 和 Cookie 以继续。
PostgreSQL 19 为聚合查询引入了显著的性能改进。 以前，查询计划器通常在分组*之前*执行连接，这在处理大型事实表和小型维度表时会导致开销。 现在，计划器可以选择“先聚合，后连接”。
这种新方法在连接*之前*部分聚合大型表，从而大大减少需要查找和处理的行数。 测试表明，在某些情况下，速度提高了 5 倍以上。 这有利于分析查询，特别是那些具有高基数的事实表，并减少内存/I/O 使用。
然而，关于这如何与数据倾斜、索引和高级 SQL 功能等因素交互，仍然存在疑问。
后续评论强烈反对未经修改地发布人工智能生成的内容，提倡在 Hacker News 上进行人与人之间的讨论。