我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
每日HackerNews RSS
## Polymarket 投注与内幕信息担忧
Polymarket 预测市场上的一个新账户据报道通过押注美国将打击伊朗赚取了超过 50 万美元。 这引发了 Hacker News 上的讨论，关于这些市场的完整性，许多评论员表达了对潜在内幕交易和腐败的担忧。
几位用户指出该账户早在几个月前就已建立，并且一直在积极进行预测，质疑“新账户”的说法。 一个核心论点是，旨在进行准确预测的投注市场反而吸引了那些拥有特权信息的人，本质上将期货合约游戏化。 一些人认为这些市场会激励人们为了利润而影响事件，或泄露机密信息。
另一些人则为预测市场辩护，认为它们可以减少交易摩擦，并提供有价值的价格发现。 然而，一种普遍的观点是，对少数个人做出的决策进行投注，本质上容易受到利用。 许多人同意，虽然揭露腐败*可能*是积极的，但这些市场会产生扭曲的激励，并奖励那些利用它们的人，从而可能损害整个系统。 争论也涉及此类市场是否应该存在，考虑到其潜在的滥用可能性。
## 监控的武器化 在斯诺登事件揭露八年后，美国国家安全局的大规模数据收集基础设施已经演变成一个强大、由人工智能驱动的监控和目标定位系统。该系统被像移民及海关执法局（ICE）这样的机构积极利用，超越了被动的数据收集，开始*预测*威胁并自动化执法行动——包括驱逐出境和政治镇压。 ICE已与Palantir等公司签订合同，构建“移民操作系统”（ImmigrationOS）和“ELITE”等平台，整合来自各种来源的数据——包括社交媒体、财务记录，甚至应用程序的位置数据——以创建详细的个人资料和“可信度评分”。像Zignal Labs这样的人工智能工具每天监控数十亿条社交媒体帖子，根据用户的在线活动标记个人进行审查，甚至通过地理定位追踪他们。 政府通过从数据经纪人处购买数据，绕过传统的搜查令要求，获取以前受第四修正案保护的信息。面部识别技术被部署在边境各地，尽管人们对其准确性和偏见存在担忧，但其使用范围在缺乏有效监督的情况下不断扩大。此外，旨在监控ICE活动的应用程序经常从应用商店中移除，而政府继续扩大其监控能力，引发了对言论自由的寒蝉效应和公民自由侵蚀的严重担忧。专家警告说，这种不受控制的扩张类似于一个危险的循环，反映了社交媒体时代的陷阱，但规模远大于以往。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
《全景监狱已至：美国政府如何构建人工智能超级武器》（matt728243.substack.com）
11 分，由 resters 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
lich_king 9 分钟前 | 下一个 [–]
这看起来是一篇旨在吸引点击的人工智能文章。我知道它说了我们喜欢的话，但你实际上是在为输入一个标题党提示的人点赞。回复
Ancalagon 23 分钟前 | 上一个 [–]
《一九八四》但真实发生。我们能直接跳到《华氏451》吗？我不想让我的孩子经历那种生活……回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## gzpeek：揭示Gzip文件中的隐藏数据
Gzip文件除了压缩数据外，还包含着丰富的元数据。一个新的工具，**gzpeek**，允许用户检查这些隐藏的信息。Gzip头部会显示诸如用于压缩的操作系统（尽管可靠性各异——有些工具会硬编码值或将其设置为“未知”）、原始文件的修改时间、指示潜在文本数据的标志、压缩级别、原始文件名，甚至可选的注释或任意数据等细节。
作者出于对文件格式规范的兴趣以及学习Zig语言的愿望，创建了gzpeek来探索这些细节。虽然操作系统标志并不总是准确，并且修改时间存在日期限制，但这些元数据提供了对文件历史的有趣见解。
gzpeek是一个命令行工具，可以提取这些信息，从而比以往任何时候都更深入地了解gzip文件。它可供使用，作者鼓励用户探索并分享他们的发现。
Hacker News新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交登录
Gzpeek: 解析 Gzip 元数据的工具 (evanhahn.com)
11 分，ingve 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
mzajc 发表于 2 分钟前 [–]
有趣的东西！有点奇怪的是 gzip 本身不会显示（有时甚至不会写入）这些值。另一个显示这些值的一些工具是 file(1)，至少在 Debian 的 libmagic-mgc 中，例如：gzip 压缩数据，曾为“file.txt”，最后修改时间：2026 年 3 月 1 日 20:21:34，来自 Unix，原始大小模 2^32 为 5
gzip 压缩数据，附加字段，有评论，最后修改时间：2017 年 12 月 20 日 10:30:35，来自 Unix
（奇怪的是，它没有显示实际的评论字符串）回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## MicroGPT：200行代码实现的LLM Andrej Karpathy 使用200行Python代码创建了一个完全可用的GPT语言模型，展示了像ChatGPT这样的模型背后的核心原理，*无需*依赖外部库。该模型从32,000个示例的数据集中学习生成合理的人名。 过程首先将名称转换为数字标记——为每个字符分配一个ID，以及一个“序列开始”标记。然后，模型预测序列中的下一个标记，学习字符之间的统计关系。这种预测依赖于“注意力”机制，允许模型权衡输入不同部分的重要性。 至关重要的是，模型通过反向传播学习，使用交叉熵方法调整其参数以最小化预测误差（损失）。这涉及计算梯度并通过像Adam这样的优化器更新参数。 虽然这个micro-GPT使用简单的Python标量，但其底层算法与更大的LLM相同——这只是规模的问题。差异在于利用GPU、更大的数据集、更复杂的标记化以及大幅增加的模型大小（参数和层）。最终，核心循环保持不变：预测下一个标记，衡量误差，并完善模型。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
Microgpt 交互式解释 (growingswe.com)
19 分，来自 growingswe 1 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 帮助
politelemon 14 分钟前 | 下一个 [–]
> 训练结束时，模型会生成“kamon”、“karai”、“anna”和“anton”等名字。这些名字都不是从数据集中复制的。
你好，我能在数据集中看到 kamon、karai、anna 和 anton，使用其他名字可能更好：https://raw.githubusercontent.com/karpathy/makemore/988aa59/...回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.
中东地区（具体为阿联酋阿布扎比地区）的一个AWS数据中心正在经历中断，据报道原因是冲突期间的袭击。虽然一个可用区（AZ）受到影响，但该区域内的其他AZ仍然运行，从而最大限度地减少了对使用跨多个可用区冗余的客户的影响。
Hacker News上的用户推测了事故原因，从意外袭击到蓄意行动不等，并承认基础设施面临的地缘政治风险日益增加。一些人注意到南欧存在间歇性连接问题，但与AWS中断的关联尚未得到证实。这起事件凸显了云基础设施在冲突地区的脆弱性，并促使人们反思在这些地区运营的固有风险。
几位民主党人和所有共和党人在今晚特朗普宣布禁止股票交易时起立鼓掌。有趣的是，共和党人曾试图阻止本党人乔希·霍利（@HawleyMO）的干净法案——一项直接禁止在任期间交易个人股票的法案。该法案仅以委员会投票（8-7）通过，因为所有7名民主党人加入了霍利。所有共和党成员都投了反对票。霍利的法案还将禁止总统和副总统（从2028年开始）。自2025年7月30日以来，该法案一直搁置。⬇️ 现在，正在推动的“禁令”恰好只适用于国会——不包括行政部门。
Servo 一月份：预加载、改进的表单、细节样式等。
January in Servo: preloads, better forms, details styling, and more
3 小时前
## Servo 0.0.5：实验性浏览器重大更新
Servo 0.0.5 在网络平台功能、性能和稳定性方面带来了显著改进。主要新增内容包括对 `<link rel=preload>`、`<style blocking>` 和 `<img align>` 的支持，以及对 `<select disabled>`、`<audio>`（现在可以播放 OGG 文件）和 CSS 功能（如 `cursor-color` 和 `<details>` 元素的样式设置）的增强功能。
在底层，Servo 拥有新的 Web Cryptography 算法（ML-KEM、ML-DSA、AES-OCB），改进了 JS 模块加载，支持循环导入和 JSON 模块，并启用了 `navigator.sendBeacon()` 以实现更快的分析。网络改进包括 HTTPS 代理支持和更完善的错误处理。
性能提升得益于优化的 IPC 通道和缓存策略，而稳定性则通过大量的错误修复和防止崩溃措施得到加强。开发者工具也得到了增强，具有更好的 UI 分类和调试功能。
最后，该更新强调了持续的社区支持，通过捐赠和赞助来推动持续开发和基础设施建设。此版本代表着 Servo 作为下一代 Web 浏览器引擎向前迈出的重要一步。
这个Hacker News讨论强调了Servo浏览器项目的进展。开发者很高兴看到Servo专注于预加载和改进的表单处理等现代功能，而不是仅仅解决遗留兼容性问题。
用户希望Servo能够成为Chromium的一个轻量级、可嵌入的替代方案，提供访问前沿浏览器功能的同时避免臃肿。一个关键的障碍仍然是苹果对替代浏览器引擎的限制，但有人指出他们已被迫在某些地区允许使用。
对话还涉及具体的的技术细节，例如一位用户希望Servo能够取代QtWebEngine中的Chromium，并解决目前困扰Chromium用户的证书存储问题。总体而言，人们对Servo作为未来浏览器引擎的潜力持乐观态度。
## Dada 的基于位置的权限：摘要 Dada 是一种新的编程语言概念，旨在通过“基于位置的权限”系统改进 Rust 的借用检查器。Dada 不跟踪生命周期，而是跟踪数据从 *哪里* 借用——变量的“位置”。这简化了理解并实现了更灵活的借用。 Dada 与 Rust 的一个关键区别在于它处理移动和借用的方式。虽然 Rust 阻止在数据被借用时移动数据，但 Dada 允许这样做。这是可能的，因为 Dada 的引用不是指针，而是浅拷贝，并且类型系统通过更新变量类型来跟踪移动。例如，从变量借用然后移动该变量会更新借用以指向新位置。 Dada 默认使用引用，并使用类似于 `ref[variable] Type` 的语法来表示借用的数据。这与 Rust 的以指针为中心的方法形成对比。该系统在 `dada-model` 仓库中建模，展示了移动期间类型更新以及防止从错误位置借用的功能。 作者认为类似的改进可以应用于 Rust，可能利用正在进行的工作，例如字段投影，以允许更灵活的借用而不会牺牲安全性。最终，Dada 的目标是建立一个系统，程序员可以将变量视为对象，简化内存管理，而无需深入了解底层内存表示。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Dada 如何实现内部引用 (smallcultfollowing.com)
9 分，vrnvu 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助
nine_k 发表于 13 分钟前 | 下一个 [–]
这很有趣，而且某种程度上很简洁，但它的可靠性如何？生命周期基于仿射类型，仿射类型有一些经过验证的数学基础来支持其属性。这保证了无效引用的不存在，无畏并发等。
基于位置的系统有什么支持，有什么形式上证明它总是有效？回复
cc-d 发表于 5 分钟前 | 上一个 [–]
同意
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## SAS-音频处理器：一套25种音频工具
SAS-音频处理器是一套包含25种音频处理工具的集合——包括修剪、归一化、EQ、混响、音高变换以及BPM检测和调性识别等分析功能，可通过DeclarAgent的MCP（多命令协议）访问。这些工具接受WAV文件并输出结构化的JSON数据。
该套件分为处理、效果、分析、MIDI和复合工具几类，提供静音移除、压缩和旋律提取等功能。用户可以将工具链式连接起来，执行复杂操作，例如母带处理过程（归一化 -> 压缩 -> 限制）。
**集成：** 该处理器通过简单的配置更新，可与Claude Code和其他MCP客户端（如Cursor、Windsurf和Copilot）集成。
**用法：** 工具通过类似`sas-processor analyze --input <文件>`的命令调用，结果以JSON形式返回。 快速入门指南提供了示例对话，展示了在Claude Code中的使用方法。
**安装：** 安装涉及克隆GitHub仓库、设置Python虚拟环境和安装依赖项。 提供适用于macOS的预构建二进制文件。 该项目还包括全面的测试和覆盖报告。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Show HN: 代理的音频工具包 (github.com/shiehn)
8 分，stevehiehn 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
enmerk4r 发表于 2 小时前 [–]
这在 A2A 代理中实现会很有趣！非常酷。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Python 类型检查器中的空容器类型推断 Python 代码经常在填充之前初始化空容器（如列表或字典）。这给类型检查器带来挑战：如何确定容器最终类型，当它一开始是空的。不同的类型检查器采用不同的策略，各有优缺点。 **存在三种主要方法：** 1. **推断 `Any`：** (Pyright, Ty, Pyre) – 最简单，假定容器元素类型为 `Any`，避免错误但牺牲类型安全。可能遗漏运行时错误。 2. **从所有用法推断：** (Pytype) – 分析容器的 *所有* 用法，推断可能的类型联合（例如 `list[int | str]`）。 镜像运行时行为，但可能在远离实际错误的地点报告错误。 3. **从首次用法推断：** (Mypy, Pyrefly) – 根据添加的 *第一个* 元素猜测类型。提供更可操作的错误消息，但如果初始用法不具代表性，可能会产生误报。 最佳策略取决于项目优先级。`Any` 具有许可性但不可安全。从所有用法推断是运行时准确的，但调试困难。从首次用法推断平衡了安全性和可用性，但当初始猜测不正确时需要注释。 Pyrefly 优先考虑可操作的错误，并默认使用首次用法推断，提供切换到基于 `Any` 的推断的选项，以获得更大的灵活性。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Python 类型检查器比较：空容器推断 (pyrefly.org)
8 分，来自 ocamoss 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：