两名民主党参议员罗恩·怀登和亚当·希夫指责特朗普政府非法扣留一项秘密法庭裁决，以向国会施压重新授权《外国情报监视法》第702条款，该条款允许对美国人通信进行无搜查令搜索。七个月前，外国情报监视法庭反对允许分析师在未经必要批准的情况下提取美国人消息的搜索过滤器，但仍然批准了再进行一年的监控。该裁决从未公开，政府的180天发布期限已于9月13日到期。第702条款已于6月失效，但收集仍在继续。怀登和希夫要求在11月6日前作出解释并提供相关官员姓名，警告说如果政府不遵守这一指令，国会就不能信任它遵守其他法律限制。包括美国公民自由联盟在内的公民自由团体敦促国会在信息被扣留期间不要重新授权第702条款。政府此前曾承诺发布该裁决——司法部长托德·布兰奇在7月的承诺中回答“是”——但尚未兑现。参议员马克·华纳期望新任国家情报总监杰伊·克莱顿依法解密该裁决。
每日HackerNews RSS
一篇 Hacker News 讨论串讨论 Wired 的报道：美国政府正在扣留一项关于根据第 702 条监视美国人的秘密法院裁决。参议员 Ron Wyden 警告说，多届政府依赖一种保密的法律解释，若解密将令公众震惊。评论者认为秘密法律解释和秘密法院与民主不相容，援引“国家机密特权”等滥用。讨论串指出两党对监视的支持，Wyden 是罕见例外，并争论该解释是否可能允许政府在没有搜查令的情况下购买和汇总公民的商业收集批量数据。其他人讨论新闻媒体失职、民法与普通法的区别，以及对人工智能和大规模监视的担忧。总体共识是，保密使行政权不受制衡，并侵蚀公民自由。
请启用 Cookie。 错误 1005 Ray ID: a5145057aff66020 2026-10-27 20:05:08 UTC 访问被拒绝 发生了什么？ 该网站（gizmodo.com）的所有者已禁止你的 IP 地址所属的自治系统号（ASN）（45102）访问该网站。 请访问 https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 了解更多详情。 此页面有帮助吗？ 是 否 感谢您的反馈！ Cloudflare Ray ID： a5145057aff66020 您的 IP： 点击显示 47.245.80.60 性能与安全由 Cloudflare 提供
微软及其他公司反对加密平台将其股票代币化。讨论中，代币化股票被描述为由中介机构持有的实际股票支持的区块链代币，价值与标的股票挂钩。评论者就其是否带来真正效用展开争论：支持者列举全天候交易、碎股所有权、更快结算、跨国访问和 DeFi 可组合性；怀疑者称其为不必要的中间层、对手方风险，或逃避监管、KYC 和税收的工具。其他人指出类似工具早已存在，如互换和衍生品，而如果代币化被阻止，永续期货可能替代。讨论还涉及关于股票价值（股息与回购）的更广泛争论，以及加密货币是否在投机和稳定币之外找到产品市场契合。总体而言，它凸显了传统股票市场与基于加密的包装工具之间的紧张关系，监管与信任问题居中。
LFM3 是 Liquid AI 新一代面向专用端侧智能的多模态基础模型家族。初始发布以基于 1.7B 参数底座的 2B 级模型为中心，提供文本、视觉、音频、全模态和决策变体。基于全新三混合架构并在 22T tokens 上训练，LFM3 比以往 LFM 模型更具表达力且更高效，可在边缘设备运行，支持最高 256K 上下文，并可在单个 GPU 上微调。模型为开放权重，可通过 Hugging Face、Liquid AI API 和 Playground 获取。LFM3-1.7B 提升了代理、指令遵循和工具使用性能，同时保持快速且内存高效。LFM3-VL-2B 增加了支持视频的视觉推理；LFM3-Audio-2B 支持多语言语音、推理和工具调用；LFM3-Omni-2B 统一了视觉、音频和语言；d1 模型可基于文本、图像和音频进行快速结构化决策。此次发布还包含专用机器人与领域微调示例，以及广泛的硬件/平台支持。
黑客新闻
抱歉，我们无法如此快速地处理您的请求。
重新加载
WikiProject AI Cleanup的创始成员Ellia Lebleu表示，维基百科的AI问题在2023年末通过明显的ChatGPT套话显现出来。到2025年，迹象变得更加微妙，包括结构模式以及不准确或编造的引用。Pangram估计，2025年末有20%的新文章和草稿由AI生成，到2026年初降至15–16%，但尚不清楚是政策还是更好的模型导致了下降。英文维基百科现在禁止由大语言模型生成的文章，而AI来源验证器和Paste Check等工具有助于检测AI。大多数AI内容来自初学者，因此规则正被突出展示。Lebleu还指出维基百科作为人工撰写语料库的价值，并讨论了未来的“Google Zero”风险、AI归属框架，以及维基百科与AI之间可能的共生关系。
Hacker News 讨论涵盖维基百科移除 AI 生成内容的努力。编辑和社区成员使用检测工具和审核流程识别并撤销低质量、编造或 LLM 风格的编辑，尽管一些贡献者报告自动化机器人误撤销了合法修正。讨论提出更广泛担忧：AI 垃圾内容可能压垮人类审核者，虚假引用侵蚀信任，维基百科的人工编辑模式可能承压。评论者还辩论 AI 作为研究或清理辅助工具的可能用途、文章偏见与质量，以及如果模型从维基百科学习，训练数据污染的风险。一些人认为准确的 AI 生成文本可以接受，而另一些人说百科全书需要可验证的人类问责。总体而言，讨论偏向保持维基百科由人类编写，并谨慎使用 AI，而不是直接作为内容生成器。
GoAhead 是一款用于数亿台设备的嵌入式 Web 服务器，在 6.1.0 及更早版本中存在三个 TLS 集成缺陷。在 OpenSSL 兼容的构建版本中，已配置的 CRL 被加载但从未执行，导致被吊销的客户端证书可完成 mTLS 握手（严重，CVE-2026-115881）。在 Mbed TLS 构建版本中，缓冲区长度拼写错误将 2048 位 DH 模数缩小为一个字节，使 TLS 1.2 DHE_RSA 会话在客户端接受该错误参数时可被被动观察者解密（中等）。在 LibreSSL 旧版验证器构建版本中，当 VERIFY_PEER=1 但 VERIFY_ISSUER=0 时，过深的客户端链可能被接受，绕过链深度限制（高，CVE-2026-115884）。影响取决于 TLS 后端、版本和验证配置。修复：升级到 GoAhead 6.1.1 或更高版本；对于 Mbed TLS，还应禁用有限域 DHE 套件或使用 OpenSSL 后端；对于 LibreSSL，启用 VERIFY_ISSUER=1 并配合受信任的 CA 证书包，或使用 OpenSSL/LibreSSL 4.x。ECDHE 和 TLS 1.3 不受 DH 问题影响。
抱歉，我们无法如此快速地处理您的请求。重新加载
CPython的实验性JIT编译器（2024年加入）正在从主项目撤出。在指导委员会要求提供定义支持、维护和成功指标的标准轨道PEP后，维护者创建了PEP 836，但后来因带宽不足而撤回。委员会曾对内存、安全、平台一致性、用户可见行为和兼容性测试时间表提出担忧，并希望获得更多社区共识。CPython主仓库中的工作将停止，JIT代码可能很快被移除，以准备Python 3.16。作者仍对技术方向感到乐观，并可能为他人留下参考实现，但没有主动开发计划；未来工作取决于社区兴趣。
Python 的实验性 JIT 在其 PEP 被撤回后将被移除，此前指导委员会担忧其范围、成功标准、维护和兼容性不够明确。开发者表示缺乏推进建议的带宽。评论者争论 PEP 流程是否适合 JIT，指出 JIT 本质上是迭代式的，难以预先明确规范，而另一些人认为 CPython 需要稳定性和清晰计划。讨论的替代方案包括 PyPy、GraalPy、Numba、CinderX、Cython 和 mypyc。有些人将优化难度归咎于 Python 的动态语义和 C API；另一些人表示性能敏感代码已使用原生扩展。自由线程仍然是单独的变更。总体而言，移除反映了核心 Python 实验与治理期望之间的张力，使 Python 的长期性能战略前景不明。
获取个性化产品推荐，比较型号，查看已保存商品，并跟踪订单。另外，现在选择接收更新，了解新品、促销活动、灵活支付选项和门店活动。扫描二维码开始使用。
Hacker News 关于新款 M6 iMac 的讨论聚焦于其溢价是否合理。支持者称赞一体化设计、高 DPI 显示屏、扬声器、摄像头、配色选项、简洁性，以及家庭电脑、前台、厨房设备等小众用途。批评者认为其价格远高于搭配相当显示器的 Mac mini，却仅提供 24 英寸 60Hz 屏幕、最多 32GB 内存，且没有 Pro/Max 芯片选项。部分用户提到老款 iMac 的耐用性，并对失去 Target Display Mode 表示遗憾；另一些用户则讨论本地 AI，指出在该场景下内存带宽和更高端芯片比代际更重要。总体而言，评论者认为 iMac 对休闲、非技术或注重设计的买家颇具吸引力，但对专业人士、追求性价比的用户，或需要更大显示屏、更多内存或 Linux 灵活性的用户则吸引力不足。
研究人员正在整理文献勘误，并已完成第一代有限单群分类证明的完整 Lean 形式化。该分类定理指出，每个有限单群要么是素数阶循环群，要么是交错群，要么是 Lie 型群，要么是 26 个散在群之一。他们的 Lean 证明用 Lean 的内核检查每一步逻辑。他们还报告在已发表的 Unbalanced Group Theorem 论证中发现一个问题，并在随附论文中描述了替代路线。该项目依托数百个源文献和众多贡献者，并提供交互式证明地图与在线仓库。规模指标包括 4310 万行 Lean 代码、205 万声明、715 篇论文和书籍，以及 108 个里程碑。
Hacker News 上的一个帖子讨论了 Axiom Math 在 Lean 中对有限单群分类的形式化。证明跨越 4310 万行并引用 500 多个来源；智能体在翻译它们的同时还调和了不兼容的形式化。这次努力还发现了并修复了已发表证明中的一个有缺陷的论证。评论者辩论前沿大语言模型是否能自动形式化教科书，指出定义差异、证明简化和构建连贯库等挑战。其他人讨论 Lean 与同伦类型论、对 Lean 内核的信任、定理的巨大复杂性以及 AI 在数学中的作用。总体而言，这一形式化验证了一个约 10,000 页的里程碑式结果，并展示了机器检查数学的前景与难度。
Apple 发布了搭载 M6 芯片的 14 英寸 MacBook Pro，配备 12 核 CPU 和 12 核 GPU，图形处理速度比 M5 快高达 30%，AI 工作负载比 M5 快高达 25%，AI 性能比 M1 快高达 13 倍。它包含双 16 核神经引擎用于设备端 AI、Wi-Fi 7、蓝牙 6、长达 24 小时的电池续航、16GB 统一内存（可配置至 32GB）、Liquid Retina XDR 显示屏、1200 万像素 Center Stage 摄像头以及六扬声器音频。提供深空黑色和银色可选，10 月 28 日开始预购，11 月 6 日正式发售。预装 macOS 27 Golden Gate，新增 Siri AI 和 Apple Intelligence 功能。采用 45% 回收材料打造，包括 100% 回收铝金属机身，还支持快充、多接口以及与 iPhone 的连续互通功能。提供教育优惠价格和 AppleCare 选项。
Hacker News 上的帖子讨论了苹果新款 14 英寸 MacBook Pro with M6，评论者关注高定价、长寿命的 M1 机型，以及是否应推迟升级到 M7。许多用户称赞 M1 Air/Pro 的性能，并表示当前 Mac 多年来仍保持快速；另一些人则提到成本上涨、RAM/SSD 价格和以旧换新价值。一个主要的分支讨论强调备份，尤其是对于存储芯片焊接的设备，并辩论 iCloud 同步、Time Machine 以及真正的多地点备份。其他主题包括对 Liquid Glass UI 的不满、无障碍担忧、macOS UI 怀旧、触屏传闻，以及基础版与 Pro/Max/Ultra 芯片之间令人困惑的 M 系列命名。评论者指出，基础版 M6 的 170GB/s 内存带宽不如 Pro/Max/Ultra 变体适合本地 LLM。一些用户运行 Asahi Linux、租用 GPU 或使用远程开发机器。总体而言，该帖子反映出对硬件的强烈满意，但对定价、软件/UI 变化和升级时机感到沮丧。
Ghostty 1.4.0 是一个主要版本，包含大幅性能和内存改进、100% 完整的 Kitty 图形实现（动画、相对放置）、通过新的 `ghostty +ssh` 实现 SSH 集成，以及数百项修复。它修复了涵盖粘贴保护、Kitty 图形、tmux 控制模式、shell 集成和 macOS 链接处理的多项安全公告。支持 macOS 27；GTK 应用现在要求 GTK 4.18/libadwaita 1.7，并通过新的 EGL/DMABUF 管线以真实分数缩放渲染。回滚缓冲区被透明压缩（内存减少 70–90%），默认限制从 10 MB 提高到 50 MB。macOS 上 I/O 吞吐量提升 25–55%，VT 处理、调整大小、渲染和搜索更快。新功能包括 Kitty 剪贴板协议（OSC 5522）、GTK 分割拖放，以及 scrollback-limit-lines 和 middle-click-action 等新配置选项。libghostty-vt 的 C API 显著扩展。构建现在需要 Zig 0.17。
Ghostty 1.4 在 Hacker News 上发布。维护者强调了 libghostty——一个可移植、可嵌入的终端核心——具有近乎完整的内核覆盖、多平台构建与测试、多语言绑定、大幅内存减少，以及被 JetBrains、Neovim（讨论中）、Emacs ghostel 等采用。他们计划很快推出 libghostty 1.0/ABI 稳定版。评论者称赞了手写更新说明和 libghostty；KDE 正在基于 libghostty-vt 构建新的前端。许多用户将 Ghostty 与 iTerm2、Konsole、Kitty、WezTerm、Alacritty 等进行比较。常见主题：Ghostty 的速度、跨平台一致性、简单的文本配置和现代协议；缺失的功能如 Kitty 提示、tmux 控制模式、窗口状态恢复、查找快捷键和 Windows 支持。一些人报告性能或启动时间问题，而另一些人更喜欢成熟的终端。关于 OSC8 超链接的安全问题也出现了。总体而言，此次发布引发了对终端模拟器权衡的热议与争论。