启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
## Hacker News Python 分发讨论
一篇关于新框架的文章引发了 Hacker News 上关于原生 Python 分发的讨论，该框架旨在简化并行化。作者希望找到一种易于横向扩展项目的方法，而无需像 Prefect 或 Ray 这样现有框架的复杂性，优先考虑速度并避免臃肿的库。
对话揭示了类似的尝试历史，可以追溯到 Pyro (1998) 和 RPyC 等项目，突出了 Python 中透明集群和 RPC 的持久挑战。人们对分布式系统中的性能可预测性表示担忧，因为存在网络延迟以及潜在的不可管理复杂性。
许多评论员指出，Celery、Dask 和 Erlang/Elixir 等现有解决方案是成熟的方法，其中 Erlang 本身就是原生分布式的。与代码序列化 (cloudpickle) 相关的安全漏洞以及对强大身份验证/授权的需求也得到了讨论。虽然有些人认为探索新方法是有价值的，但另一些人强调了分布式计算的固有困难和谬误，建议成熟的框架提供了实用的解决方案。作者承认这些挑战，但为该项目辩护，称其为一次有趣的探索，以及对更简单扩展选项的真正需求的响应。
以色列和伊朗之间的冲突加剧，对全球能源市场造成冲击，油价飙升至四年高点每桶116美元——自2月以来上涨了60%。卡塔尔和伊朗天然气田的袭击加剧了人们对能源供应，特别是液化天然气的长期中断的担忧，卡塔尔能源公司报告称损失严重，需要3-5年才能修复。 欧洲和英国的天然气价格已经翻倍以上，威胁到家庭账单增加。袭击还引发了亚洲、欧洲和美国股市的抛售。人们越来越担心持续的能源冲击，并警告油价可能达到每桶150美元。 局势因升级威胁（包括来自唐纳德·特朗普的威胁）以及海湾地区航运风险增加而进一步复杂化。专家警告可能出现二次通胀效应，并可能逆转此前预期的降息，市场现在预计可能加息。这场冲突的影响超越了经济领域，引发了对地区稳定和船舶安全通航的担忧。
## Traccar Geocoder：快速、自托管的反向地理编码 Traccar Geocoder 是一款高性能、自托管的反向地理编码服务，基于 OpenStreetMap (OSM) 数据构建。它能快速将经纬坐标转换为人类可读的地址——包括门牌号、街道、城市、州和国家——查询延迟低于毫秒级。 该服务是 Traccar GPS 跟踪平台的核心组件，但也可独立使用，包括托管选项。它采用两部分架构：一个 C++ Builder 用于处理 OSM 数据（可从 Geofabrik 下载）并将其转换为紧凑的二进制索引，以及一个 Rust Server 用于通过 HTTP/HTTPS 高效地处理查询。 借助 Docker 支持，部署流程已简化，提供自动 PBF 下载和索引、从预构建索引服务以及使用 Let's Encrypt 自动配置 HTTPS 的选项。配置通过环境变量管理，允许灵活自定义。响应格式与 Nominatim 相同，在可用时提供详细的地址信息。它采用 Apache 2.0 许可。
tananaev构建了一个新的、高度优化的反向地理编码API，并在Hacker News上分享。该系统利用C++构建器将OpenStreetMap (OSM)数据解析为紧凑的二进制索引，然后通过一个兼容Nominatim API的Rust服务器提供服务，查询延迟低于毫秒级。
构建索引在大约8-10小时内完成（在一台强大的机器上，例如192GB Hetzner），生成一个相对较小的18GB文件。用户强调了它相对于现有解决方案（如Pelias）的速度优势，快100倍到1000倍，并指出它*只*关注反向地理编码。
讨论还涉及Nominatim格式的局限性、与LLM的潜在集成，以及自托管地理编码系统的挑战，并提出了MOTIS等替代方案。项目文档中关于OSM PBF文件来源的细节也进行了一处小修正。
## macOS 26.3.1 DNS 漏洞总结 macOS 26.3.1 (Darwin 25.3.0) 中最近发现的一个漏洞破坏了标准 `/etc/resolver/` 针对自定义或私有顶级域名 (TLD) – 例如 `.internal`、`.test` 或 `.home.arpa` – 的域名 DNS 配置。 以前，macOS 可靠地使用这些文件将特定域名的 DNS 查询路由到指定名称服务器（例如本地 dnsmasq 实例）。 现在，`mDNSResponder` 错误地拦截了这些未在 IANA 注册的 TLD 的查询，将其视为多播 DNS (mDNS) 请求，而不是将其转发到指定的单播名称服务器。 这导致依赖这些自定义域名的应用程序无法解析域名，影响本地开发工作流程、Docker 容器 DNS 以及 Vagrant 和 Kubernetes 等工具。 虽然像 `google.com` 这样的标准 TLD 仍然不受影响，但此漏洞会导致解析静默失败，`scutil --dns` 显示配置的解析器，但实际 DNS 流量并未发送到目标服务器。 一种解决方法是手动将条目添加到 `/etc/hosts`，但这对于动态环境来说是不切实际的。 已经向 Apple 提交了错误报告：[https://feedbackassistant.apple.com/feedback/22280434](https://feedbackassistant.apple.com/feedback/22280434)。
## Coalton 0.2：重大进展 Coalton 是一种静态类型函数式编程语言，嵌入在 Common Lisp 中，其发展基于工业应用中的经验。即将发布的 0.2 版本侧重于解决生产使用中发现的限制，显著影响代码清晰度、效率和类型安全性。 最大的变化是采用**固定参数函数**，取代了之前的 Haskell 风格的柯里化。这使得关键字参数、改进的类型错误消息以及更高效的编译成为可能。虽然柯里化仍然可以实现，但需要更明确的代码。 进一步的改进包括**多值返回**的本机支持（取代了复杂的元组解包系统）、**作用域类型变量**以获得更简洁的代码，以及使用方括号和推导式的新语法来处理**集合和关联**。一个新的标准库模块 **`coalton/xmath`** 引入了对**实代数数**的支持，从而为诸如验证几何相等性之类的计算提供精确算术。 在底层，类型系统已被加强，以解决与可变运算符相关的 unsoundness 问题。标准库已更名以提高清晰度，并且 Coalton 现在将正式进行版本控制，0.2 版本计划于 2026 年 3 月 23 日发布。未来的开发可能会探索线性类型和资源管理。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Coalton 0.2 预览 (coalton-lang.github.io)
49 分，作者 varjag，1 天前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
arn3n 1 天前 | 下一个 [–]
我喜欢他们关于柯里化的讨论。柯里化在理论上非常酷，但我同意它确实会导致一些错误，而且并不常用。大多数函数式编译器自动柯里化我的函数并提供部分应用，这很棒，但我更希望它们强制提供所有参数，并在必要时显式地创建部分函数。回复
a-french-anon 1 天前 | 父评论 | 下一个 [–]
强烈同意，这完全属于我不喜欢的“自动魔法”范畴；简洁的 lambda 语法已经使其变得不必要。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## 不等式的几何直觉
受圆形可视化的启发，作者探索了用几何方式表示代数不等式，并创建动画以建立直觉。核心重点是可视化著名的算术-几何平均值不等式——算术平均值总是大于或等于几何平均值。
这是通过几种几何作图实现的：比较相交圆形成的直角三角形的半径和直角边，分析半圆内的线段，以及检查立方体与长方体体积的关系。这些视觉效果展示了如何对称性（等边）最大化面积/体积，直接说明了不等式。
进一步的探索包括使用维维安尼定理和等边三角形可视化内斯比特不等式，揭示了中心平衡如何最小化表达式。作者得出结论，虽然许多不等式不易转化为基本的几何图形，但尝试可以更深入地理解数学背后的物理原理以及对称性的重要性。最终，这些可视化旨在表明对称性不仅仅是关于美学，而是数学本身中的一项基本原则。
## 不等式的形态 - 摘要
一个Hacker News的讨论围绕着对数学不等式的可视化探索，特别是算术平均数 (AM)、几何平均数 (GM) 和调和平均数 (HM) 之间的关系。核心思想是，迭代地将这些平均数应用于一对数字会收敛到一个极限——从HM和GM开始时收敛到几何-调和平均数，而从“极端”的AM和HM开始时，令人惊讶地收敛到GM。
对话延伸到相关的数学概念，如算术-几何平均数 (AGM) 及其与计算Pi的联系、延森不等式和广义幂平均数不等式。用户指出，这些材料通常介于高中和大学水平的数学之间，并讨论了它们与数学竞赛以及更广泛的数学教育的相关性。
原作者Andrei积极参与反馈，承认并修复了伴随这些概念的动画中的错误。 许多评论者推荐了相关的资源，如Terry Tao的博客和《当更少即是更多》这本书。
## Gluon：扩展 Triton 用于 GPU 内核编程 Gluon 是一种新的 GPU 内核编程方法，建立在 Triton 语言和编译器之上。与平衡可移植性和性能的 Triton 不同，Gluon 通过直接暴露 Triton GPU (ttg) 中间表示 (IR) 来优先考虑开发人员的控制，以实现潜在的更高性能。这意味着开发人员管理编译器先前处理的优化，例如软件流水线和显式共享内存管理。 Gluon 的关键特性包括对 GPU 布局、架构特定功能和 warp 级别编程的显式控制——允许进行更细粒度的优化，以利用不断发展的 GPU 硬件，如张量核心。虽然这提高了性能潜力，但与 Triton 相比，牺牲了可移植性。 作者将通用编译器（优先考虑可移植性）与特定领域编译器（如 Triton 和 Gluon，优先考虑性能）进行了对比。他们认为，强大的 LLM 的兴起正在改变格局，可能有利于定制的、特定领域的解决方案。Gluon 以及类似语言可以充当 LLM 生成代码的“契约”和“验证器”，确保在定义域内的安全性和可理解性。最终，Gluon 代表着在智能体 AI 开发时代，在控制、性能和易用性之间取得新的平衡迈出的重要一步。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Gluon: 明确的性能 (lei.chat)
22点 由 matt_d 1天前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这个解释用投票类比来可视化共识的核心概念——在群体中达成一致。它首先说明了简单的多数投票，强调了它在分裂投票时可能陷入僵局的潜力。为了克服这个问题，指定一个领导者来做决定，其他人批准。然而，领导者失效需要一个更强大的系统。
提出的解决方案是系列并发投票，并轮换领导者，可视化为一个二维棋盘。虽然这允许即使部分成员不可用也能取得进展，但可能会导致不同“列”（投票系列）之间出现相互冲突的多数。为了解决这个问题，系统要求任何达成多数的列之间达成一致。
关键见解是，参与者可以专注于防止与他们左侧做出的决定发生冲突，假设其他人遵循相同的规则。这是通过在某些列中策略性地让多数人弃权来实现的，从而保证不会出现相互冲突的多数。最终，共识是通过遵循第一列达成稳定多数来实现的，因为知道其他颜色随后无法达成多数。这个抽象模型构成了更复杂的分布式系统的基础，在这些系统中，通信是不完美的，知识是延迟的。
## OpenBSD PF 数据包过滤器的带宽限制已移除 OpenBSD 的 PF 数据包过滤器最近的补丁移除了长期存在的带宽配置限制。 之前，HFSC 调度器中的 32 位整数上限会静默地将队列带宽限制在约 4.29 Gbps，导致与现代 10G、25G 和 100G 网络接口出现问题。 该更新将带宽字段扩展到 64 位整数，允许精确配置高达 999G。 这解决了较高速度下的不可预测的调度行为，并修复了 `pftop(1)` 中一个显示错误，该错误之前错误地表示超过 4Gbps 的带宽值。 使用低于 4G 带宽的现有配置不受影响。 此更改确保 PF 队列带宽配置能够与当前和未来的高速网络硬件按预期工作。 该补丁计划于 2026 年 3 月 20 日提交。
## OpenBSD PF 过滤更新
OpenBSD 的数据包过滤器 PF 收到更新，去除了一个 32 位限制，该限制将带宽值限制在约 4.29 Gbps。 此限制之前导致尝试使用 10G 或更高速度的网络接口时，带宽配置发生静默环绕，从而导致不可预测的行为。
此次更新将内核 HFSC 调度器中的带宽字段扩展为 64 位整数，现在支持高达约 1 Tbps 的值。 尽管 OpenBSD 传统上不侧重于原始性能，但更快的网络硬件和内核改进的日益普及促成了这一变化。
讨论强调了对 OpenBSD 历史上优先考虑安全而非速度的担忧，有时难以理解的错误报告，以及与 FreeBSD 和 Linux 相比的驱动程序支持。 一些用户质疑在如此高的速度下整形流量的必要性，而另一些用户则强调其在数据中心管理各种网络流量方面的重要性。 此更新解决了瓶颈，但关于 OpenBSD 在高带宽环境中的作用，更广泛的问题仍然存在。
下次关于面部识别使用的争论可能发生在超市。
The next fight over the use of facial recognition could be in the supermarkets
6 天前
启用 JavaScript 和 Cookie 以继续。
## 面部识别扩展到超市 – Hacker News 摘要
最近一篇《政治报》的文章讨论了面部识别和身份扫描在超市中日益普及的问题，引发了 Hacker News 的讨论。最初的帖子强调了一名 Target 员工扫描顾客的驾照以购买非处方止咳糖浆，尽管顾客的年龄远超过了年龄限制。
讨论迅速集中在扫描身份证明的*原因*上——除了简单的年龄验证之外。许多人认为零售商正在追踪特定药物的购买情况（例如含有伪麻黄碱的药物），以监测潜在的非法药物制造。人们对数据隐私表示担忧，质疑扫描与仅仅*查看*身份证明的必要性，以及收集的信息可能被滥用的可能性。
几位评论员分享了类似的经历，包括药店将购买记录在州数据库中，以及使用 Flock 等“安全”摄像头，引发了对更广泛监控和对日常生活潜在影响的担忧。一个反复出现的主题是对零售商声称的原因持怀疑态度（例如防止盗窃），认为数据收集和价格操纵是主要动机。最终，这场对话凸显了对数据实践日益增长的不信任感，以及在日常交易中失去隐私的感觉。