每日HackerNews RSS
这条 Hacker News 讨论帖探讨了“霍尔木兹海峡实时交通追踪”网站无法访问的问题，用户们调侃该网站是遭遇了“Slashdot 效应”。对话很快转向了霍尔木兹海峡持续的地缘政治紧张局势。
参与者们讨论了美国与伊朗封锁行动的有效性、对全球石油市场的影响以及航运公司的角色。一些用户认为，当前的波动将迫使全球在长期内减少对该海峡的依赖，并可能加速向替代能源的转型。
讨论中还出现了关于伊朗政权的政治动机、美国制裁的历史作用，以及关于伤亡人数和核野心的虚假信息指控等激烈争论。除了地缘政治分析外，帖子还包含了一些关于互联网论坛用户老龄化的元评论，以及对吞并该海峡的政治提议的质疑——一些人将其描述为危险的边缘政策。总体而言，该讨论帖是技术故障排除、历史趣闻以及对中东局势根深蒂固的政治分歧之间混乱的交汇点。
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
抱歉。
文件 `brazil_2026_election_filter.rs` 是 xAI 推荐系统中的一个配置组件。其主要目的是通过过滤与 2026 年大选相关的内容，以确保符合巴西选举法的要求。 该代码维护了一个 `LazyLock` 哈希集合，其中包含了众多政治人物和候选人的混淆用户 ID 及其对应的用户名。根据随附的文档，法律要求平台提供商在选举期间从用户搜索结果中排除这些个人的频道、个人资料和非付费内容。该文件充当黑名单以实现合规自动化，确保被举报给选举法院的账户受到平台推荐算法的限制。
X（前身为 Twitter）已开始限制其“为你推荐”（For You）时间线中约 700 个巴西官方选举候选人账号的算法推荐。此举旨在遵守巴西选举法，该法律要求平台确保所有候选人获得平等的曝光机会，防止平台推荐算法偏袒特定个人。
这些账号发布的内容对于明确关注它们的用户仍然可见，且账号本身并未被封禁。此举在 Hacker News 上引发了关于“审查”定义的激烈讨论。一些参与者称赞其透明度，认为这是确保选举公正、防止平台算法扭曲舆论的必要措施；另一些人则认为，限制传播范围（即使是普遍限制）也属于一种软性审查。批评者还对司法越权以及保持中立的难度表示担忧，而支持者则认为，此类监管在许多国家是限制金钱和算法对民主进程影响的标准做法。
几何推理 Geometric Reasoning
76 天前
方法论：我们通过翻转率（flip rate）来衡量推理能力，这是一种配对测试，旨在排除大多数模型用于投机取巧通过传统评估的表面特征启发式方法。测量的单位是配对项，而非单项。是推理，而非记忆。查看评估工具包 →
抱歉。
使用 Codex 进行自动研究：我是如何实现 232 倍内核加速的 Auto-research with codex: How I achieved a 232x Faster Kernel
76 天前
请启用 JavaScript 和 Cookie 以继续。
抱歉。
Debian 项目正在就其关于在项目贡献中使用大型语言模型（LLM）和生成式人工智能的政策进行正式投票。投票于 2026 年 8 月 15 日至 8 月 28 日向所有 Debian 开发者开放。 该项决议包含九个投票选项，反映了多种不同的理念： * **限制性方针：** 提案范围从为了稳定性及版权清晰而完全禁止使用 LLM 辅助贡献（选项 1），到倾向于仅限人工输入并严格执行《行为准则》（选项 3/7）。 * **宽松/准则导向方针：** 其他选项允许使用 LLM，但要求必须进行披露、由人工承担责任、符合法律合规性，并避免使用敏感数据（选项 2、4、5 和 6）。 * **伦理/环境导向：** 选项 8 将 LLM 基础设施对环境的影响作为核心关切点。 开发者须通过签名电子邮件将排序后的选票发送至 `[email protected]`。此过程遵循《Debian 章程》，项目组将通过加密哈希值确保投票者隐私。完整文本及详细信息可在 Debian 官方投票网站查看。
Debian 目前正在进行投票，以确定其关于在项目贡献中使用人工智能（AI）和大语言模型（LLM）的官方政策。投票方案包括多种提议，从基于版权和伦理考量的严格禁止，到考虑到 AI 生成代码难以检测而采取的更宽松立场。
Hacker News 上的讨论突出了几个关键主题：
* **治理：** Debian 成员正在通过复杂的民主程序，正式确定 AI 生成的内容是否会影响项目严格的许可和版权标准。
* **技术与法律挑战：** 参与者争论 AI 代码是否带来了独特的法律风险，或者无论其来源如何，都应仅根据其技术价值进行评估。
* **投票完整性：** 此次投票采用了密码学哈希技术，允许投票者验证自己的选票，这引发了关于投票透明度与防止胁迫之间权衡的广泛讨论。
虽然一些用户认为这次投票是社区制定标准的必要举措，但另一些人则认为，这反映了关于 AI 在开源开发中作用的意识形态分歧。
由于标准传感器——以及人类感知能力——难以应对复杂的光谱，摄影和日常任务常常会受到色彩还原不准确的困扰。标准数码相机基于红、绿、蓝数值记录色彩，这种方式仅在光源完全平滑且一致的情况下才能产生准确的结果，而这种情况在现实中极为罕见。这就是为什么色彩在室内和室外看起来往往不同，从而导致在电子维修、服装搭配或化妆等活动中产生挫败感。
为了更好地理解这些局限性，作者使用单反相机、衍射光栅和镜头搭建了一个自制光谱仪。通过分析各种光源，作者证明了金属卤化物灯和荧光灯等传统灯具会产生不规则的“线状”光谱，导致色彩还原效果不佳。虽然蓝色调的白炽灯提供了最平滑的光线，但其效率极低。
分析结论认为，现代白光 LED 优于紧凑型荧光灯（CFL）和气体放电灯。尽管白光 LED 通常存在轻微的“青色间隙”，但它们提供的光谱比荧光灯替代品更宽广、更均衡，在高能效和准确色彩还原之间提供了最佳折中方案。因此，作者主张将家庭照明全面更换为经过严格筛选的 LED 技术。
抱歉。
Raph Levien 介绍了“超贝塞尔曲线”（hyperbezier），这是一种旨在取代二维矢量设计中三次贝塞尔曲线的新型曲线族。尽管三次贝塞尔曲线用途广泛，但它们缺乏像欧拉螺旋线那样的平滑曲率变化。Levien 提出了一种由切萨罗方程（以弧长为自变量的曲率函数）定义的曲线，它在平滑曲率与处理高张力峰值之间实现了更优的平衡。
超贝塞尔曲线在交互式编辑中的表现与三次贝塞尔曲线相似，但在后者难以胜任的领域表现出色，例如拟合双曲线、逼近圆弧以及表示尖锐的超椭圆。从数学上讲，该曲线族包含了欧拉螺旋线和对数审美曲线，且其弧长参数化避免了标准参数曲线所涉及的复杂反问题。
虽然目前这还只是一个数学提案，但 Levien 计划将超贝塞尔曲线开发为实用工具，这可能实现比三次贝塞尔曲线更易于拟合和优化的 G2 连续样条曲线。通过弥合物理“弹性”曲线与计算机辅助设计之间的差距，超贝塞尔曲线为专业矢量图形提供了一种更具潜力且更自然的选择。
抱歉。
在支持宽指针且无蹦床的情况下使用 GCC 的嵌套函数（二） Using GCC's Nested Functions with Wide Pointers and No Trampolines II
76 天前
Martin Uecker 探讨了消除 GCC 嵌套函数运行时“蹦床”（trampolines）的进展。这是一种必要但存在安全隐患的传统方案，因为它要求栈内存具备可执行权限。 **GCC 16** 引入了一项保证：不进行变量捕获的嵌套函数（例如使用静态变量或通过上下文指针传递数据的函数）不再需要蹦床。虽然这提高了安全性，但过去处理数据访问时需要编写手动样板代码。 **GCC 17** 标志着一个重大转变，它引入了内置函数（`__builtin_call_code_address` 和 `__builtin_call_static_chain`），使嵌套函数无需蹦床即可捕获父级变量。编译器会自动将这些调用转换为使用 ABI 现有静态链寄存器的高效调用。通过将这些内置函数封装在宏中以创建“宽指针”（结合函数代码和静态链），开发者能够编写出更简洁的代码，并由编译器优化为高效的汇编指令。 这些更新为蹦床提供了一种更安全、性能更好的替代方案，有效地在 C 语言中实现了闭包。Uecker 计划在未来的讨论中探讨其与 Clang 的兼容性以及针对旧版 GCC 的解决方案。
抱歉。
Eigendrum 是一款交互式网络工具，用于可视化并模拟鼓面振动的物理过程。该软件基于特征值问题 $-\nabla^2u = \lambda u$，通过将用户自定义的形状进行三角形网格划分并计算有限元矩阵，从而求解出驻波（模态）。 该平台展示了打击位置如何决定哪些模态被激发，因为击打“节点线”会使相应的模态静音。用户可以通过参数方程定义自定义几何形状，探索形状如何影响频率。该网站还通过引入“卡茨鼓”（Kac drums）——即两个几何形状不同但频谱相同的鼓，来探讨著名的数学悖论：“能否听出鼓的形状？” Eigendrum 强调科学准确性，通过与已知解（如圆形和矩形）进行比对来测试其数值结果，确保输出结果能量最小化且可靠。虽然张力、密度和阻尼等参数可调，但几何形状与频率之间的核心关系始终遵循物理定律。Eigendrum 完全在用户的浏览器中运行，无需后端安装，既是教育资源，也是对声学数学的严谨探索。请访问 eigendrum.com 了解详情。
**Eigendrum** 是由 Basel Ashraf 开发的一款网页工具，用户可以通过绘制任意形状来模拟并聆听其作为鼓时的声学特性。该项目利用有限元分析（FEM）在三角网格上求解二维波动方程，从而将几何形状映射为声音频谱。
**主要功能包括：**
* **基于物理的合成：** 声音模型考虑了敲击位置、槌头宽度和瑞利阻尼。
* **高精度：** 经圆形和矩形的封闭形式解验证，误差小于 0.1%。
* **易用性：** 轻量级、无依赖的网页工具，无需构建步骤。
该项目在 Hacker News 上引起了广泛关注，用户对其技术新颖性以及在波动方程可视化方面的教育价值给予了高度评价。尽管社区就 VST 插件支持和张力控制等未来改进提出了建议，但其发布初期曾因激进且不友好的 Cookie 及广告同意横幅而受到诟病。开发者此后已就这些疏忽道歉，移除了广告追踪，并解决了移动端浏览器的兼容性问题。
源代码和技术实现细节可在 [GitHub](https://github.com/BaselAshraf81/eigendrum) 获取。