美国民众对政府腐败的认知已达到20年来的最高点。目前,89%的成年人认为腐败现象普遍存在,较去年上升了10个百分点。这一激增主要源于民主党人(91%)担忧程度的急剧上升,而独立人士(90%)和共和党人(83%)的悲观情绪也与之相当。 尽管许多国家都存在对政府腐败的担忧,但美国与其他发达经济体之间的差距正日益扩大。到2025年,美国在经合组织(OECD)国家中被认为腐败程度最高,且这一差距今年可能进一步拉大。值得注意的是,美国人认为政府的腐败程度远高于商业领域,目前两者18个百分点的差距是有记录以来的最高水平。 与往年党派偏见严重影响此类认知不同,当前创纪录的高位反映出一种罕见的跨党派共识。即使在政治领导层更迭后,各政治派别的美国人也越来越认为系统性的政府腐败是一个普遍存在的问题,这使得美国在全球政府腐败认知程度最高的国家中占据一席之地。

盖洛普近期的一项民调显示,89%的美国人认为政府腐败现象普遍存在,创下历史新高。Hacker News上的讨论凸显了公众日益增长的幻灭感,用户们就这种情绪的影响展开了辩论。 评论者表达了担忧,认为这种猖獗且公开的腐败表明政府已不再对公民负责,这可能标志着民主制度的衰落。一些参与者将这一趋势与政治独立性的兴起联系起来,因为选民正逐渐疏远传统的政党派别。另一些人则发表了愤世嫉俗的评论,指出试图“打破”现有体制的讽刺意味;有人质疑那11%认为不存在腐败的人究竟是谁,还有人观察到选民倾向于指责“对方阵营”,却对自己支持的政客网开一面。总体而言,人们对当前治理的廉洁程度持深切的怀疑态度。

在欧洲乃至更广阔的地区,各国政府正日益将其数字基础设施标准化为基于 PHP 的应用程序。从德国投资 1.08 亿欧元打造的标准化 TYPO3 政府网站构建器,到欧盟委员会庞大的 Drupal 驱动网络,PHP 已成为公共部门“数字主权”的基石。其他重要的实施案例,包括用于主权办公环境的 Nextcloud,以及在英国、荷兰和澳大利亚广泛应用的 Drupal,都证实了这些并非试点项目,而是关键任务平台。 然而,存在一种结构性不对称:尽管政府在关键服务上严重依赖 PHP,但目前尚无既定机制为其核心维护提供资金。尽管 PHP 在全球治理中发挥着关键作用,但 PHP 基金会的资金依然严重不足,仅依赖有限的自愿捐款。 为了弥补这一差距,作者提议将维护工作纳入公共采购。通过强制要求将合同预算的 2% 至 5% 分配给上游维护、在招标中为开源贡献打分,并强制执行代码共享规则,政府可以确保其所依赖工具的可持续性。展望未来,公共行政部门及其供应商必须将上游维护视为标准的商业成本,而非慈善行为。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 数字主权是用 PHP 编写的 (thephp.foundation) 19 点,由 taubek 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 Avicebron 3 分钟前 [–] 我很欣赏这种热情。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

一位名为“penlu”的用户在 X 上发文称,他们成功对 RSA-260 进行了因数分解,这是整数分解领域的一个重要里程碑。该消息迅速走红,获得了超过 1500 万次浏览和数千次互动。包括 Alec Muffett 在内的知名人士认可了这一成就,而埃隆·马斯克则幽默地将这一长串数学字符在平台上获得的高可见度归功于 X 增加的字符限制。该帖代表了计算数学领域的一项重大进展,标志着一个 260 位的 RSA 数被成功破解。

RSA-260 是一个 260 位的数字,它已被成功分解,这是 RSA 分解挑战赛的又一个里程碑。Hacker News 上的讨论指出,这一成果很可能是硬件渐进式改进和微小优化的结果,而非算法上的重大突破,因为据估计该任务的难度仅为 2020 年 RSA-250 分解任务的 2 到 3 倍。 这则新闻引发了网络安全界对 RSA 加密历史的反思。评论者指出,虽然过去人们曾对分解技术的快速发展可能导致 RSA 不再安全感到担忧,但通用数域筛法(GNFS)仍是行业标准,且至今尚未出现威胁 RSA 密钥的革命性新技术。因此,1024 位和 2048 位等旧版 RSA 密钥标准已被证明具有极强的韧性,尽管历经多年,其在密码学上依然安全。虽然现代最佳实践倾向于轮换密钥并向椭圆曲线密码学(ECC)过渡,但 RSA 背后的核心数学原理在很大程度上仍能满足数字时代的需求。

约柜是宗教与符号表征风险的一个历史案例。约柜最初被设计为存放十诫的容器,后来却演变成一种“形象”,进而成为一种武器化的护身符,最终背离了其神圣初衷,并遭到以色列人和非利士人的误解。 这一现象凸显了人类历史上持续存在的张力:表征(即“偶像”)往往会与其本源脱钩,并获得一种独立的、常被扭曲的现实性。无论是柏拉图对模仿艺术的恐惧、伊斯兰教对“以物配主”(偶像崇拜)的禁令,还是拜占庭的毁坏圣像运动,各种文化都认识到人类的心智是一座“永恒的造神工厂”,容易将次要的影像与终极真理混为一谈。 今天,这种古老的焦虑因机械化的图像生成而加剧。通过将人类的“心智锻造”外包给算法,我们正面临陷入超现实状态的风险——符号完全遮蔽了本源,导致“真实”的丧失。随着这些表征的激增,它们经历了一个失控的变异过程,最终创造出一个虚构与现实无法区分的世界,正如一张日益模糊的地图,终将使其所覆盖的疆域变得毫无意义。

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 投稿 | 登录 Icons as a Service (nravic.com) 3 分,由 nravic 发布于 48 分钟前 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本文深入介绍了 **HEIR**,这是一个开源编译器,旨在将标准程序转换为能在同态加密(HE)数据上运行的代码。通过在不进行解密的情况下对加密输入进行计算,HEIR 为机器学习模型提供了完美的隐私推理方案。 尽管同态加密以往因速度缓慢而著称,但作者强调 HEIR 在性能和表达能力方面正在取得重大进展。通过诸如信用卡欺诈检测器等演示,该项目证明了同态加密可以达到“合理”的运行速度,特别是在 GPU 加速的情况下。该编译器目前支持多个后端,并允许进行详细的计时和精度调试。 作者认为,同态加密的“杀手级应用”未必是大型语言模型(LLM),而是那些对隐私和模型安全性都有极高要求的特定高价值领域,例如远程诊断、B2B 分析以及特定的生物识别任务。展望未来,HEIR 的路线图专注于更深层次的密码学集成、硬件加速(支持 GPU/TPU/ASIC)以及基准测试的标准化。HEIR 旨在超越研究范畴,为那些对编译器基础设施与先进密码学交叉领域感兴趣的开发者提供一套稳健、可用于生产环境的工具集。

对不起。

继近期的讨论和 POSETTE 会议演讲之后,作者对 PostgreSQL 的 `random_page_cost` 参数进行了反思。虽然最初将其理论化为反映现代存储 I/O 速度的一种方式,但作者得出结论:其默认值并非磁盘性能的原始测量值。 相反,`random_page_cost` 是当前成本模型无法考量的复杂因素(特别是**内存使用、缓存效应和数据局部性**)的重要替代指标。查询规划器在简化的假设下运行,忽略了顺序扫描如何将“重要”数据从内存中置换出去,也忽略了相互竞争的查询如何影响带宽。 由于 `random_page_cost` 弥补了这些缺失的因素,因此不存在仅基于硬件基准测试的“正确”值。调低该值通常更倾向于使用局部索引扫描,以保护“活跃数据集”,但调整该参数仍然高度依赖于具体系统。作者建议,管理员不应仅依赖存储层面的性能分析,而应根据经验反馈和对特定工作负载的性能监控来调整 `random_page_cost`。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 关于 random_page_cost 的更多思考 (vondra.me) 4 点积分 由 blueshoess 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

GPT-6 Astra 是 OpenAI 的旗舰模型,专为处理高要求的端到端工作而设计。它适用于高级分析、软件工程、深度研究、科学工作及文档创作,在涉及计算机和浏览器操作的长期代理任务中表现尤为出色。

最近在 Hacker News 上,关于通过 OpenRouter 使用“GPT-6 Astra”的讨论成为热点。用户反映访问权限各不相同,并指出该模型在延迟之后终于向 Pro 和 Business 订阅用户开放。 社区对此反应不一。虽然一些用户对新功能感到兴奋,但另一些用户则对推广过程和高昂成本表示不满。讨论的一个主要焦点在于 Astra 的性能提升是否足以抵消其高昂的价格(据报道比其他模型高出 2 到 4 倍)。一些用户还对 OpenAI 各个层级(Flex、Fast 和标准版)之间的区别提出了疑问,并就其在 Azure 等平台上的实现提出了技术性问题。总体而言,这种情绪反映了对该技术的期待与对其当前价值主张的怀疑并存。

请提供您需要翻译的内容。

一项影响所有 Chromium 浏览器版本的严重远程代码执行(RCE)漏洞已通过 NIST 公告披露。虽然该漏洞的 CVSS 评分为 8.8,但专家指出,由于漏洞发生在浏览器的沙箱内,因此要获得完整的系统访问权限,很可能需要与第二个零日漏洞结合使用。 Hacker News 上的讨论集中在安全更新的紧迫性上,用户们对比了 Brave 和 Vanadium(GrapheneOS)等浏览器的补丁发布速度。截至讨论时,最新的 Chromium 更新(152.0.7977.82 及以上版本)已包含必要的修复程序,各大浏览器已开始向用户推送更新。精通技术的人员正在讨论标准恶意 JavaScript 执行与此次沙箱级 RCE 所带来的具体风险之间的实际区别。

Fomu 是一款紧凑且可编程的 FPGA 设备,专为直接插入 USB Type-A 接口而设计。它为学习 FPGA 和 RISC-V 架构提供了一个易于入门的平台,无需专门的培训,也无需安装庞大的专有软件。 主要功能特点包括: * **开源生态系统:** Fomu 使用完全开源的工具链,用户无需签署保密协议或注册账户即可进行代码开发。 * **多功能性:** 该设备采用 Lattice ICE40UP5K FPGA,凭借其 128 KB 的 RAM 和 1 MB 的 SPI 闪存,能够运行 RISC-V 软核,甚至可以直接运行 Python。 * **硬件设计:** 该电路板配有四个用户输入触控板、一个可控 RGB LED 灯,并装在定制的塑料外壳中,工作时外壳会发光。 Fomu 弥合了复杂硬件开发与用户友好性之间的差距。无论您是要修改 CPU 指令、创建自定义硬件模块,还是学习 RISC-V,Fomu 都提供了一个便携、开放且强大的平台,简化了传统的 FPGA 开发流程。其设计经过严苛的工程周期打磨,确保了在超小尺寸下的可靠性。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Fomu:一款可以插在 USB 接口里的 FPGA 开发板 (crowdsupply.com) 11 分,Bluestein 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 jauntywundrkind 0 分钟前 | 下一条 [–] 这板子很酷!大约 7 年前它的第二次提交获得了一些关注。 https://news.ycombinator.com/item?id=19488397 这里有一个关于 ice40 FPGA 创意布线的有趣且有启发性的课程。我上周偶然又重新发现了它。 https://danielmangum.com/posts/spi-routing-ice40-fpga/ 制作者之一 Tim 非常棒。他最近在社交媒体上比较低调,但在这儿:https://bsky.app/profile/mith.ro 回复 amelius 9 分钟前 | 上一条 [–] 但它的速度够跑 USB 3 吗? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

若昂·阿劳霍(Joao Araujo)是一位被戏称为“科学怪人医生”的整形外科医生。他在美国因手术失败和欺诈面临14项重罪指控,现已成功逃往巴西。在剪断脚踝监控器后,阿劳霍厚颜无耻地详细描述了他经由巴哈马和巴拿马的逃亡路线,并在此过程中嘲弄了美国执法部门。 关键在于,阿劳霍声称他得到了巴西驻迈阿密外交官员的积极协助,暗示他们帮助他获得了新护照并促成了他的外逃。如果属实,这种参与将构成对外交礼仪的严重违反,并可能构成刑事从犯。虽然外交豁免权使这些人免于立即被起诉,但根据《维也纳公约》,他们可能被宣布为“不受欢迎的人”。 尽管阿劳霍已经潜逃,但他的未来依然充满变数。虽然巴西宪法通常禁止引渡本国公民,但预计美国将发出国际刑警组织逮捕令。这将严重限制他的国际旅行能力,因为他在巴西以外的任何国家都有被当局逮捕的风险。此次事件进一步加剧了美国与巴西卢拉·达席尔瓦总统政府之间本已紧张的外交关系。

正在检查您的浏览器……需要启用 JavaScript

在最近的一篇 Hacker News 帖子中,用户 `rznicolet` 分享了关于虚构虫洞物理设定与设计的“琐碎吐槽”。这场讨论聚焦于科幻旅行传送门在逻辑上的不自洽,强调了事件视界的危险性,以及实现此类穿越所必需的“魔法装置”。 评论者们讨论了各种体裁套路,特别是探讨了传统虫洞与《星际之门》(Stargates)等装置之间的区别——后者通常被描绘为需要稳定技术才能运作的单向传送门。对话还提到了诸如《Schlock Mercenary》等网络漫画,在赞赏其太空旅行创意手法的同时,也指出了大多数虚构媒体所忽略的潮汐力和边界物理的残酷现实。总的来说,这个帖子以轻松的方式分析了科幻创作者们是如何处理时空穿越这一复杂科学课题的。

你好,同为 Web 开发者!我叫 Eric。我认为互联网变得过于复杂了。层级太多、供应商太多,我们也在不知不觉中将太多的信任交给了幕后的美国公司。谁在背后支撑你的基础设施,以及它部署在哪里,这至关重要。我厌倦了那些运行在美国云服务器上的所谓“欧洲”托管服务。所以我构建了一个替代方案——一种从 Git 部署到 CDN,每一层技术栈都运行在由欧洲公司拥有的欧洲基础设施上的静态托管服务。没有 AWS,没有 Cloudflare,绝无例外。 来自斯德哥尔摩的问候, Eric Selin statichost.eu 创始人

Hacker News 社区正在讨论一家总部位于欧洲的静态网站托管服务商 **Statichost.eu**。 尽管一些用户认为该平台是一个可行的免费托管替代方案,但评论中也指出了几个令人困扰的问题: * **工作流限制:** 用户指出,该平台依赖 Git 仓库进行更新,不如 SFTP 或 rsync 等传统方式方便。 * **功能需求:** 批评者指出该服务不支持 WebDAV 和 CGI 目录;还有人对“构建时长”(build minutes)这一指标表示困惑,并指出静态托管通常不需要服务端构建。 * **竞争对手:** 评论中提到了 OVH 等已运行十年的老牌免费静态托管服务,认为其更加可靠。 总的来说,虽然人们对欧洲的新托管选择颇感兴趣,但共识认为,与现有的传统方法相比,该服务当前的工作流程可能显得过于受限。

正在检查您的浏览器...需要启用 Javascript

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 费马大定理:Anthropic 抢先我一步 (xenaproject.wordpress.com) 22 分,发布者:ravenical,30 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论 | 帮助 ChrisArchitect 12 分钟前 [–] 讨论:https://news.ycombinator.com/item?id=49568506 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

内政部长道格·伯格姆宣布,为纪念美国建国250周年而提议建造的凯旋门,其挖掘工作定于两周内开始。这座250英尺高的建筑灵感源自巴黎凯旋门,顶部将矗立一座60英尺高的自由女神像,并铭刻“上帝之下的统一国家”和“人人享有自由与正义”字样。这是特朗普总统美化华盛顿特区宏大计划的一部分。 然而,该项目面临巨大阻力。一群退伍军人和一位历史学家已提起联邦诉讼,试图阻止施工,理由是担心这座拱门会破坏林肯纪念堂和阿灵顿故居等标志性地标之间的历史景观。尽管美国国家公园管理局和美国美术委员会已推进该项目,但国家首都规划委员会尚未给予最终批准。尽管面临法律挑战,政府仍坚称该项目已获得国会对此地块长久以来的授权。

本仓库使用 Lean 4 定理证明器提供了费马大定理(Fermat's Last Theorem)的完整机器校验证明。该证明基于 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的策略,经由 Lean 4.33.1 内核验证,并严格依赖三个标准公理:`propext`、`Classical.choice` 和 `Quot.sound`。 为确保完整性,该证明经过了严格的外部验证: * **比较器(Comparator):** 通过 `leanprover/comparator` 检查,确认了定理陈述符合 Mathlib 的要求,并验证了整个推导过程。 * **Nanoda:** 一个独立的基于 Rust 的 Lean 内核验证了整个证明导出过程,确认了超过 100 万个声明的逻辑有效性。 本项目结构为研究产物,完整的证明层次结构记录在 `PROOF-PATH.md` 中,并附带可供离线浏览的 HTML 导航界面。虽然 Lean 源代码是为优先考虑可校验性而进行机器生成的,但它整合了伦敦帝国理工学院 FLT 项目和 Mathlib 的基础工作。构建过程资源密集,需要较大的磁盘空间和内存。本项目在 Apache License 2.0 协议下发布。

Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 费马大定理在 Lean 4 中的实现 (github.com/anthropics) 12 分,aaraujo002 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 rawling 1 小时前 | 下一条 [–] 首页讨论:https://news.ycombinator.com/item?id=49568506 回复 ks2048 27 分钟前 | 上一条 | 下一条 [–] 现在我们有了费马当年试图写在页边空白处的东西了:aa2d8b34692b16c70f699536de0d8e75b9a3e9ef 回复 DoctorOetker 2 小时前 | 上一条 [–] 不过我那个要短得多…… 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

本指南介绍了如何在 Linux (Ubuntu) 系统上配置 Tor 出口节点。尽管出口节点对于 Tor 网络至关重要,但由于您是外部流量的最终连接点,运行此类节点存在风险。运营商可能会面临来自 ISP 的骚扰或潜在的法律审查,因此强烈建议通过专用服务商托管,而非使用家庭网络。 **步骤摘要:** 1. **安装:** 添加 Tor 项目软件源,安装 `tor`、`tor-arm`、`nginx` 和 `socat`。 2. **配置:** 配置 `torrc` 文件以定义带宽限制、设置 `ContactInfo`(电子邮箱)并建立 `ExitPolicy`(出口策略)。 3. **流量重定向:** 由于 Tor 无法直接绑定到低位端口,请使用 `socat` 将 443 端口流量重定向至 Tor 服务。 4. **信息页面:** 设置 `nginx` 以提供“关于此节点”的页面,并包含用于透明化的 `vnstat` 带宽图表。 5. **端口转发:** 在路由器或防火墙上开放 80、443 和 9030 端口以允许公共访问。 6. **管理:** 使用 `arm` 监控您的节点,并注册反向 DNS 记录,以便在他人调查您的 IP 时提高透明度。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录如何创建 Tor 出口节点 (madpsy.uk)由 Eridanus2 于 45 分钟前发布,6 点 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 p0w3n3d 1 分钟前 | 下一条 [–] 我在想,从法律角度来看,除了引用那句“拥有钢铁般的意志”之外,维护出口节点会有什么后果?回复functionmouse 0 分钟前 | 上一条 [–] 最好别这样,伙计们回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

美国司法部(DOJ)发布了一项新的法律意见,明确规定如果非法移民申请某些联邦福利,各州必须将其相关信息报告给国土安全部(DHS)。 该裁决推翻了克林顿政府时期于1998年做出的限制性报告要求的解释。司法部现已明确,根据1996年的《个人责任与工作机会协调法案》,任何参与“贫困家庭临时援助”(TANF)或“补充保障收入”(SSI)等计划的州机构,都有法律义务向联邦当局披露非法移民的存在。 助理司法部长T. Elliot Gaiser表示,未能遵守这些报告要求的州可能会面临失去联邦资金的风险。司法部强调,这一变化并非设立新的强制规定,而是恢复了1996年法案的最初立法意图,即确保联邦资金仅用于合规的受益人,并以此遏制非法移民。这项新政策仅适用于未来,这意味着各州不会因此前遵守现已撤销的1998年指导方针而受到处罚。

密苏里州众议院第161选区的共和党候选人托马斯·罗斯(Thomas Ross)正面临联邦指控,他被指策划了一场陷害其党内初选对手路易丝·塞克(Louise Secker)的阴谋。当局指控罗斯指使前竞选经理在塞克的物品中放置可卡因和处方安非他命,意图通过栽赃陷害破坏她的竞选。 罗斯在8月4日的初选中以33票的微弱优势获胜,但此后他的竞选活动遭到了广泛谴责。包括主席彼得·金德(Peter Kinder)在内的密苏里州共和党领导层已要求他立即退出11月的选票。 目前被拘留且不得保释的罗斯被控一项共谋分发管制药物的罪名。联邦检察官R·马修·普赖斯(R. Matthew Price)强调,检方致力于维护选举公正,并表示候选人必须诚实参选。在被证明有罪之前,罗斯被推定为无罪,他尚未进行抗辩。根据州法律,他必须在9月8日前将自己的名字从大选选票中撤出。

“扑克脸”摄影(Deadpan photography)是一种模仿科学调查、建筑类型学和系统性记录之客观语言的风格化表现。通过运用平淡的光线、对称的构图以及冷静、抽离的视角,像安德烈亚斯·古尔斯基(Andreas Gursky)和贝歇夫妇(the Bechers)这样的摄影师创造出了一种仿佛脱离了编辑或主观偏见的图像。 然而,这种中立性是一种精心营造的幻觉。“扑克脸”美学的力量在于其表演性:摄影师选择隐藏自己的主观抉择,而观众则默契地参与到这种假象之中。当这种手法邀请观众去分析系统——例如工业建筑或消费网络——并有效地将解读工作移交给受众时,其效果最为显著。 当题材涉及社会不公或人类苦难等高风险议题时,这种风格的局限性便显现出来。在这些语境下,拒绝表态从一种有趣的智力游戏转变成了一种令人不安、甚至带有共谋意味的行为。归根结底,“扑克脸”摄影并没有解决客观性的问题;相反,它让摄影这种“谎言”的机制变得清晰可见。它迫使我们承认每一张图像都是一种建构,从而将评判的重担从艺术家身上转移到了观众手中。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 无表情摄影:享受这种伪装 (photoni.st) 5 点,由 NaOH 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 RattlesnakeJake 5 分钟前 | 下一条 [–] 我觉得这个词也可以用来形容韦斯·安德森的电影风格。静态镜头和绝对居中的构图,与场景中发生的任何事情一样,都是一种无表情喜剧特征。回复 abstractspoon 28 分钟前 | 上一条 [–] > 现在注意到你正在被注视。这张照片正在看着你观察它。它知道自己在做什么。 就在那时我停止了阅读。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

检查某个域名是否包含在 Quad9 拦截的数百万个恶意域名中。输入主机名或域名以检查其是否被 Quad9 拦截。搜索已列出该域名的受限威胁情报提供商。

抱歉。

尽管人工智能模型与电子设计工具的交互能力日益增强,但衡量其输出的真实质量仍是一项挑战。由于 AI 难以驾驭传统的图形界面(GUI)CAD 工具,**EEBench** 的开发者利用了 *atopile*——一种将电路表示为声明式代码的语言。这使得模型能够直接构建、模拟并优化设计。 EEBench 不仅测试模型的理论知识,还测试其在现实工程权衡中的表现,例如元件公差、成本和物理限制等。通过运行(基于 SPICE 的)模拟来检查“最坏情况”下的故障,该基准测试为模型的工程能力提供了一种客观且确定性的评估。 目前的结果显示,Claude Opus 和 Grok 等模型表现优异,已从生成“貌似合理”的原理图转向实现功能性工程设计。随着 AI 实验室将电子领域的专业训练纳入其中,这些模型在处理复杂硬件设计方面的能力正显著提升。虽然我们尚不能将起搏器等关键系统的设计完全交给 AI,但 EEBench 证实,对于日益增多的电路任务而言,AI 已经证明了自己能够胜任工程助手的工作。

Hacker News 社区目前正在热议 AI 在电路板设计领域的实际能力。用户的使用体验褒贬不一:尽管一些爱好者已成功利用 KiCAD 和 Codex 等工具验证了简单的 PCB 布局,但大多数人反馈,在面对复杂设计时,AI 往往会生成“胡言乱语”,尤其是在处理模拟和射频约束方面。 讨论中的关键点包括: * **能力:** 目前 AI 最有效的用途是作为辅助工具,用于管理物料清单 (BOM)、整理库文件、检查封装以及总结数据手册信息。 * **局限性:** 实际的 PCB 布局需要当前模型所缺乏的隐性知识和精确度。用户指出,AI 在元件放置、接地回路和电源走线优化方面表现挣扎,常常导致设计出现“幻觉”。 * **展望:** 虽然许多人认为目前的 AI 工具在完整电路板生成方面表现为“惊人的失败”,但人们仍抱有谨慎的乐观态度,认为智能体循环(agentic loops)和视觉集成模型(如 Astra)的进步,最终将弥合“提示词”与可生产硬件之间的差距。 总的来说,共识是:虽然 AI 可以加速设计过程,但为了避免代价高昂的重复性错误,人工监督仍然必不可少。

在这篇评论中,詹姆斯·霍华德·昆斯特勒(James Howard Kunstler)认为,民主党所呼吁的“我们的民主”不过是其敲诈勒索行为的借口,旨在巩固权力并摧毁政治对手。他声称,诺姆·艾森(Norm Eisen)和马克·埃利亚斯(Marc Elias)等人正在利用“法律战”以及一个国际非政府组织网络来操纵选举并颠覆美国的政治进程。 昆斯特勒指出,民主党建制派正极力阻挠唐纳德·特朗普推行选举诚信措施,例如《保护美国选民资格法案》(SAVE Act),或是关于选民身份和公民身份核实的潜在国家安全行政命令。他警告称,该党正在为选后的社会动荡以及州政府对抗联邦选举协议做准备。 作者最后总结道,这种抗衡可能会迫使特朗普援引《叛乱法》以恢复秩序。尽管昆斯特勒预言这种对抗可能导致“新的内战”以及对民主党官员的大规模逮捕,但他断言,最终结果将是民主党的永久解体和国家稳定的恢复。

请启用 JavaScript 和 Cookie 以继续。

最近 Hacker News 上的一场讨论强调了推迟安装安全补丁的紧迫风险。在 Rails 框架中涉及 `libvips` 和 MATLAB (`.mat`) 文件处理的漏洞(CVE-2026-66066)被披露后,一个由政府运营的 Rails 网站在补丁发布仅数小时后就遭到了攻击者的针对。 该漏洞利用 `libvips` 中的变体处理器执行恶意代码。虽然一些用户质疑 Web 应用防火墙(WAF)或 Cloudflare 等工具是否可以防止此类攻击,但专家强调,这些工具并不能替代补丁。WAF 通常无法拦截复杂的攻击载荷,尤其是那些通过看似合法的文件上传方式投递的攻击。 Rails 团队已发布诊断工具,通过验证是否存在 `matload` 操作来帮助开发人员检查其构建版本是否易受攻击。开发人员被敦促优先进行补丁更新,因为漏洞披露与主动利用之间的时间窗口正变得越来越短。更多技术细节和入侵指标预计将在后续更新中提供。

特朗普政府提出了一项新规,旨在撤销那些实施被视为“种族歧视”的多元、公平与包容(DEI)政策的私立学校及学院的免税资格。该法规计划于2027年5月生效,针对范围涵盖招生、奖学金、贷款及体育项目等相关政策。 财政部长斯科特·贝森特(Scott Bessent)表示,此举旨在终止以包容为幌子的“基于种族的偏好”,并认为此类做法本质上具有歧视性。该规定可能影响约1.8万所私立机构,要求其注意:若继续使用此类项目,将导致其501(c)(3)免税地位被撤销,从而无法再接受可抵税捐赠。 虽然特朗普政府将此举定性为反对种族歧视——特别是针对其对白人和亚裔学生的影响——但批评人士(如哈佛大学的相关人士)此前曾质疑此类威胁背后的法律授权。根据拟议准则,宗教私立学校在遵守新标准的前提下,仍可继续履行其宗教使命并基于信仰筛选学生。

虽然大语言模型(LLM)从技术上讲是通过自回归方式输出词元(token)的“下一个词元预测器”,但这种定义是不完整的。它准确描述了其“机制”(即循环的形式),却未能涵盖模型实际在“做什么”。 在预训练阶段,模型通过模仿训练数据中已有的序列来进行学习。然而,现代的后训练技术——特别是带有可验证奖励的强化学习(RLVR)——从根本上改变了这种动态。模型不再仅仅是预测数据集中接下来会出现什么文本,而是开始探索新的序列,并强化那些能带来成功结果的序列。 作者用国际象棋做类比来阐明这一点:一个预测大师走法的系统只是“下一步棋预测器”,但一个通过评估棋局位置以最大化胜率的引擎则是一个“战略求解器”。同样地,现代大语言模型利用“下一个词元”循环作为载体,其所编码的内容远超简单的模仿;它们模拟出乐于助人的助手,并运用通过主动探索所获得的知识。归根结底,将先进的大语言模型仅仅描述为“下一个词元预测器”,是将工具的形式误认为是其功能,忽略了蕴含在过程中的推理及目标导向行为。

Hacker News 上的讨论揭示了关于将大语言模型(LLM)描述为“下一个词预测器”(next-token predictors)这一观点存在的巨大分歧。 批评该标签的人认为,这是一种试图淡化人工智能涌现能力的简化论。他们将这种表述比作仅仅把人类意识描述为生物“电路”,或者声称复杂的多细胞生命只是“下一次有丝分裂”的优化。他们认为,现代“代理”系统——利用递归循环、工具使用和强化学习——已经超越了其架构简单的统计预测本质。 相反,另一些人坚持认为该术语在技术上是准确的。他们认为,无论训练、强化学习或推理变得多么复杂,其核心机制仍然是计算下一个词概率分布的数学过程。虽然一些人认为这种简单的基础通过数据压缩产生了涌现出的“智能”,但怀疑论者认为,将这些机械过程与真正的理解或“正确性”混为一谈是一种危险的范畴错误。最终,许多参与者得出的结论是:尽管大语言模型在概念上只是简单的下一个词预测器,但它们代表了一种难以被简单定义的强大且复杂的系统。

Mullvad 即将停止其公共加密 DNS (DoH) 服务,转而支持 Quad9 基金会。Mullvad 指出,由于其 VPN 已在内部处理 DNS 请求,因此其自有的公共服务器对于 VPN 用户而言已是多余。 对于在 VPN 之外使用 Mullvad DNS 的用户,转换方式如下: * **Mullvad 浏览器:** 使用默认设置的用户将自动迁移至 Quad9。自定义了 DNS 设置的用户必须在 2026 年 11 月 2 日前手动切换至 Quad9。 * **手动配置:** 手动配置了 Mullvad DoH 的用户必须在 2026 年 11 月 2 日前切换至 Quad9。 * **iOS/macOS 描述文件:** 现有的 Mullvad DoH 描述文件将停止工作;用户必须将其替换为 Quad9 的官方描述文件。 Mullvad 正将资源转向资助 Quad9,并称赞该基金会在以隐私为重点的 DNS 领域拥有行业领先的专业能力。建议用户参考 Quad9 的官方文档以完成迁移。

Mullvad 宣布关闭其公共加密 DNS 服务。该公司解释称,运营以隐私为核心的 DNS 解析器是一项高度专业化的任务,与其重复投入,不如在财务上支持行业领先的 Quad9 基金会,这样更为有效。 这一决定在 Hacker News 社区引发了褒贬不一的反应。一些用户称赞此举是务实的资源再分配,但另一些用户则感到失望,并指出对于那些 Quad9 等大型服务商遭到封锁的地区的各类用户而言,小型替代方案至关重要。此外,部分用户对此次过渡提出了技术层面的担忧,特别是指出 Quad9 服务缺乏原生的广告拦截功能,并就 DNSSEC 实现的复杂性展开了讨论。

阿根廷总统哈维尔·米莱宣布计划发布法令,对参与福克兰群岛附近石油勘探的公司进行制裁。米莱将由以色列纳维塔斯石油公司和英国岩石跳跃勘探公司主导的“海狮项目”称为“资源掠夺”,并称其侵犯了阿根廷主权。尽管该项目拥有英国政府颁发的合法许可证,但米莱认为,从该地区开采预计 17 亿桶石油的行为构成了紧迫的威胁。 此举正值地缘政治格局发生变化之际。作为特朗普总统的坚定盟友,米莱因特朗普近期暗示美国对福克兰群岛的立场“有待评估”而感到更有底气。有报道称,特朗普政府可能利用这场主权争端作为筹码,向英国施压,要求其增加北约防务开支。 尽管面临米莱的威胁,纳维塔斯公司和岩石跳跃公司仍表现强硬,坚称其业务合法并得到英国政府的支持。这场争端凸显了围绕该领土持续存在的紧张局势——英国自 1833 年以来一直控制着该地区。同时也突显了米莱在试图挑战英国控制权的同时,还要兼顾与国际投资者及美国关系的复杂外交平衡。

Hayes 指令集(或称 AT 指令集)由 Dale Heatherington 和 Dennis Hayes 于 1981 年开发,彻底改变了调制解调器的控制方式。在此之前,调制解调器需要手动拨号或配备单独的硬件外设来实现连接自动化。Hayes Smartmodem 引入了一种基于软件的解决方案,允许计算机通过现有的数据引脚发送指令字符串。 该系统通过转义序列(通常为“+++”)在“数据模式”(传输信息)和“命令模式”(将输入解释为指令)之间切换。以“AT”为前缀的命令可实现拨号、挂断以及配置内部内存寄存器等功能。 尽管该指令集最初是为 300 波特率的调制解调器设计的,但它后来成为了行业标准。随着技术的发展,各厂商又增加了扩展指令(以“&”为前缀)和私有指令。尽管不同制造商之间的指令存在差异,偶尔会导致兼容性问题,但 Hayes 标准在整个调制解调器时代始终占据主导地位。它最终被 ITU-T 正式确立为 V.250 标准。如今,AT 指令集的遗产依然存在,许多现代移动设备和 3G/4G/5G 调制解调器在配置和网络管理中仍在使用类似的指令结构。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Hayes AT指令集 (wikipedia.org)15分 由 0xbadcafebee 1小时前发布 | 隐藏 | 往期 | 收藏 | 1条评论 帮助 nunez 30分钟前 [–] 如果你有移动热点的话,了解这个依然有用。GSM 在很多方面都会用到 AT 指令。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

松本清张 1957 年的推理小说《点与线》(原名《点と线》)以一名年轻女子和一名政府官员在日本海滩被发现的离奇死亡案件为核心。尽管当地警方将此案定性为殉情,但一张被忽略的餐车收据促使鸟饲重太郎探长和东京警视厅的三原纪一警部展开深入调查。随着他们揭开政治腐败的重重黑幕,两人发现自己陷入了一个涉及列车时刻表、渡轮名单和完美不在场证明的复杂逻辑迷局。 这部小说以其精巧、严谨的时间线布局而闻名,其灵感源于松本清张本人对铁路时刻表的浓厚兴趣。有趣的是,该书背后的创作过程几乎与小说情节一样戏剧化。当时,松本清张同时进行着四部作品的连载,频频拖延截稿日期。负责连载的《旅》杂志社编辑们在得到日本交通公社的协助下,甚至不惜追踪并“软禁”作者,强迫他完成书稿。这部由此产生的杰作引起了巨大的轰动,销量突破百万册,并将松本清张在日本推理小说界的泰斗地位推向了顶峰。

Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录因书稿逾期被捕:松本清张的《点与线》(millersbookreview.com)8 分,由 benbreen 在 1 小时前发布 | 隐藏 | 往期 | 收藏 | 1 条评论帮助 charcircuit 6 分钟前 [–] >“殉情”这一恋人共同结束生命的传统 恋人自杀并非一种传统。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

正在检查您的浏览器……需要 JavaScript。

```Hacker News最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录Rust React 编译器现已原生支持 Vite (master.dev)14 分,发布者:acusti,1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论帮助 glouwbug 3 分钟前 | 下一条 [–] 他们应该用 Rust 重写它回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```
联系我们 contact @ memedata.com