你需要启用 JavaScript 才能运行此应用。
每日HackerNews RSS
代码搜索的未来不是正则表达式 – 比 ripgrep 快 100 倍
The future of code search is not regex – 100x faster than ripgrep
6 天前
对不起。
这篇帖子详细介绍了对《疯狂出租车》`.shp`文件格式的反向工程过程，该格式被怀疑包含3D模型数据。在之前解码`.all`存档格式的基础上，作者以`cube0.shp`作为起点，认为其名称和大小暗示了一个简单的立方体模型。
调查包括在十六进制编辑器中分析文件结构，记录模式和偏移量。通过理解GameCube的图形流水线（Flipper GPU & GX API）——特别是顶点数据和显示列表的处理方式，不断完善最初的猜测。主要发现包括识别顶点位置、颜色和纹理坐标的部分，以及包含绘制调用的显示列表。
数据使用定点表示法（Q8.8）进行解释，并与GameCube的顶点属性表结构对齐。最终，这使得能够在浏览器中使用noclip.website的GX模拟层成功渲染立方体，验证了反向工程的格式。作者强调了在反向工程过程中详细记录、用代码测试理论以及利用现有文档的重要性。下一步是处理剩余的2700个`.shp`文件及其可能更复杂的结构。
对不起。
## Suga 与订阅轰炸的兴起
最近，Suga 检测到一种微妙但恶意的攻击，名为“订阅轰炸”。这种攻击涉及机器人使用真实用户的电子邮件地址在大量网站上注册虚假名称，用不必要的“欢迎”和验证邮件淹没他们的收件箱。攻击目标并非入侵账户本身，而是将关键安全警报——例如密码重置请求或金融交易确认——淹没在噪音中，从而使攻击者能够实施欺诈。
Suga 最初注意到少量不活跃账户拥有无意义的名称，并伴随着“忘记密码”页面的活动增加。分析显示，机器人使用被盗电子邮件地址注册，然后立即请求密码重置，在几分钟内向受害者发送大量电子邮件。该攻击旨在低容量并规避典型的机器人检测。
为了应对这种情况，Suga 实施了 Cloudflare Turnstile，一种 CAPTCHA 替代方案，并限制电子邮件发送，*仅*在地址确认之前发送验证电子邮件。这些更改有效地阻止了攻击。虽然 Suga 受到的直接影响很小，但团队认识到对受害者的重大危害，并主动解决了漏洞，强调了所有网站进行电子邮件验证的重要性，以防止成为这种有害行为的帮凶。
嵌入将法律文本转化为向量，聚类步骤将讨论相关宪法主题的向量分组。在国家模式下，颜色显示政治来源。在聚类模式下，颜色显示主题邻域。大型、密集的云团通常表示重复出现的宪法思想，例如权利、机构、紧急权力、选举或修正案规则。孤立的点通常标记不寻常的条款、罕见的措辞或特定国家的宪法设计选择。该平台提供两种类型的搜索：关键词搜索查找字面术语出现，而语义搜索检索概念上附近的段落，即使没有匹配的术语。搜索结果突出显示3D画布中的语义空间区域，将您阅读的内容与其位置联系起来。
## 宪法语义图谱：摘要
一个名为[constitutionalmap.ai](https://constitutionalmap.ai)的新项目，提供了一种比较宪法的新方法。开发者joaoli131利用Gemini嵌入和UMAP投影创建了一个3D“语义图谱”，其中包含188个国家/地区的30,828条宪法条款。
这使得用户能够找到概念上相似的条款，*即使措辞不同*，从而克服了传统关键词搜索或复杂法律工具的局限性。该项目托管在GitHub上，源代码可供审查。
初步反馈表明，可以将该项目扩展到包括历史宪法，以可视化法律框架随时间推移的演变——对于宪法频繁变化的国家（如巴西）来说，这是一个特别有趣的前景。一位评论员还提出了根据理想主义或乌托邦元素过滤宪法的问题，突出了法律文件与社会现实之间的复杂关系。
## 哥德尔不完备定理：摘要 1931年，库尔特·哥德尔在25岁时发表了一项具有深远影响的数学证明。在300年来，数学家们一直致力于统一核心原理，旨在从单一的基础系统推导出所有真理——就像牛顿统一了地球和天体上的引力一样。弗雷格的集合论以及罗素和怀特海的《数学原理》等尝试，旨在创建一个完整且一致的系统，能够证明所有正确的数学陈述，而不会产生矛盾。 哥德尔证明了这一追求从根本上是不可能的。他表明，在任何足够复杂的形式系统（如《数学原理》）中，该系统能够表示基本的算术，那么其中*总是*存在无法在该系统内证明的真命题。 他通过巧妙地将数学陈述编码为数字来实现这一点，使系统能够“自我指涉”。这种自指导致了一个悖论性的陈述——本质上是“这个陈述是不可证明的”——如果这个陈述为真，则证明了不完备性；如果这个陈述为假，则证明了一致性。 哥德尔定理并没有使数学无效，但它们揭示了内在的局限性。它们表明数学真理超出了任何单一形式系统内的可证明范围，并且没有系统能够明确证明自身的自洽性。这一发现的影响超越了数学领域，暗示了纯粹的算法或形式推理所能达到的极限。
## 哥德尔不完备定理：摘要
一篇最近的博文引发了关于库尔特·哥德尔不完备定理的讨论，评论者们争论着理解它们的最佳方式。虽然该文章侧重于哥德尔编码（一种将语句编码为数字的方法），但有人认为这是一个掩盖核心思想的技术细节。更易理解的方法是利用勒布定理。
本质上，哥德尔证明了在任何足够复杂、一致的公理系统中（例如数学），总会*始终*存在无法在该系统内证明的真命题。这并非由于我们的局限性，而是形式系统的一个基本属性。
核心概念与能够“自我指涉”的系统有关。如果一个系统能够断言自身的一致性，哥德尔表明它一定是矛盾的。这打破了对所有数学乃至描述复杂现象（如狗的行为）的单一、完备且一致的公理系统的希望。这些定理适用于任何能够表达自我指涉的系统，突出了形式化的局限性。虽然更强的公理*可以*证明一致性，但它们会引入新的不可证明的命题，从而产生无限回归。
2026年3月，Steam在Linux上的用户份额大幅增长，达到创纪录的5.33%——是macOS (2.35%)的两倍以上，比2月增长了3.1%。此前，Steam在Linux上的增长缓慢，之前在2025年底达到约3.5%的峰值。
此次增长与Valve Steam China数据的修正同时发生，显示简体中文用户大幅下降，而英语使用量有所增加。目前，约25%的Linux玩家使用Steam OS。
值得注意的是，Windows市场份额下降了4.28%，降至92.33%。AMD CPU在Linux Steam用户中仍然占据主导地位，接近70%，这可能是由于Steam Deck的AMD硬件以及AMD产品与Linux的开源兼容性所致。这些数据突显了Linux游戏在Steam生态系统内日益增长的趋势。
## Claude 代码泄露：超越代码本身 最近 Claude 代码的源代码泄露引发了讨论，但其重要性在于它揭示了不断演变的软件格局，而不在于代码的质量——据一些人说，令人惊讶的是“垃圾”。泄露事件凸显了软件创作的入门门槛正在降低；即使是存在缺陷的代码，如果与市场需求高度契合，也能取得巨大成功，Claude 代码的快速增长就是一个例证。 Anthropic 的开发方法优先考虑代码*做什么*，而不是*如何做*，侧重于强大的可观察性和自我修复系统，以快速迭代和解决问题。这表明，传统的编码标准可能不如功能强大、快速演进的产品重要。 版权影响也值得关注，这与 Anthropic 自身关于人工智能生成内容的论点相呼应。最终，泄露事件强化了用户更看重无缝集成和问题解决，而不是完美的代码。开源代码不会对 Claude 代码的价值产生重大影响，因为用户为整体*体验*——一个完整、良好集成的服务——付费，而不是底层机制。人工智能的未来在于模型与应用的协同作用，证明了感知和结果比代码完美更重要。
## 道路的悲剧：奥加拉拉含水层带来的教训
就像高效灌溉技术耗尽了奥加拉拉含水层——美国农田的重要水源——新技术正面临着使我们的道路网络不堪重负的风险。该含水层减少了超过2.86亿英亩-英尺的水量，这成为了“共有地悲剧”的警示故事，不受限制的获取导致资源枯竭。
现在，自动驾驶汽车承诺带来类似的转变。虽然它们提供了潜在的好处，例如增加道路通行能力和舒适的旅行体验——设想移动办公室或睡眠隔间——但它们也可能加剧交通拥堵。如果道路使用没有成本，这些车辆将被*过度*使用，导致交通堵塞，因为人们会选择便利性而不是速度。
避免这种情况的关键在于实施道路定价，效仿其他基础设施中使用的成功策略。“对等原则”——收取道路使用费*并*投资于改进——加上“祖父条款”（将收费应用于新技术，而非现有司机）可以使这些政策在政治上可行。英国最近对电动汽车征税就体现了这种方法。
在自动驾驶汽车占据主导地位*之前*立即采取行动至关重要。否则，我们就有可能让我们的道路变成另一个枯竭的共有资源。
对不起。
## 东南亚与新加坡天气概况
新加坡目前气温88°F，多云，体感温度98°F。风来自东方，风速5英里/小时，湿度61%。其他区域城市如柔佛巴鲁、吉隆坡和 pekanbaru 也报告了相似的温暖气温（86-89°F），云量各异。
新加坡今日预报多云，下午有40%的降雨概率，最高气温90°F。今晚将是部分多云到多云，最低气温77°F。
周末天气预报温暖，最高气温在90多度左右。周五将是部分多云，周六可能有雷暴，周日和周一有阵雨，最低气温稳定在78°F左右。目前月亮处于满月阶段。
对不起。
## 阳台太阳能：让可再生能源普及化
太阳能已从大型项目发展到易于使用的屋顶安装。然而，租房者和公寓住户在很大程度上被排除在外——直到“阳台太阳能”的兴起，这项技术由德国率先推广，并正在全球范围内获得发展。
受到面板成本下降和能源价格上涨的推动，这些系统涉及小型、易于安装的太阳能电池板（通常为600-800瓦，最高可达2000瓦），直接插入标准插座。这种DIY方式绕过了传统安装的复杂性和成本，无需电工或与电力公司的协议。虽然输出有限且安装并非总是最佳，但它提供了一条可行的自发电路径。
德国拥有超过一百万套阳台太阳能系统，这得益于易于获得且价格实惠的套件。其他欧洲国家和美国犹他州、弗吉尼亚州等正在采用类似的框架来鼓励这些小型安装。
虽然阳台太阳能并非改变电网的解决方案，但它表明了公众对可再生能源获取的强烈愿望，并为可持续发展扩展到城市环境提供了一个重要的商业机会。它是一种简单、经济实惠的方式，让更多人参与到太阳能革命中。
对不起。