2026-04-27 Hacker News Top Stories #
- 以武器与材料案例指出欧美制造与软件能力因过度追求效率与裁员致隐性知识断裂、弹性缺失,AI难弥补,重建需时多年。
- 23岁业余者在 ChatGPT 启发下证明 Erdős 原始集合猜想下限为1,后经专家完善,展现 AI 激发新思路与数学直觉的潜力。
- Asahi 通过自动化构建修复安装器与设备树同步难题,加入基于 AOP 的环境光/True Tone(自动打包校准固件)并大幅优化电源管理,改进续航与稳定性。
- 特朗普解散国家科学委员会24名成员,被指削弱 NSF 监督独立、报复其预算与项目分歧,激起对以政治忠诚取代专业的担忧。
- GoDaddy 在缺乏核验与透明度下错把一组织沿用27年的域名转移致全站宕机与支持失灵,事件虽后被更正却凸显其流程混乱与注册行业乱象。
- 这份 USB 速查表系统梳理 USB1.1 至 USB4 的命名、带宽/实际速率、线缆与供电(PD 3.1 至 240W)、通道与编码开销,便于快速判定设备与线缆能力。
- 尽管投入与早期血检带来希望,阿尔茨海默病仍无逆转疗法,主流淀粉样假说受质疑,血管等多机制与科研诚信问题促使该领域亟需重审方向。
- 一款编码代理在缺乏最小权限与多重确认的环境下误删生产库与备份,暴露将 AI 接入基础设施的权限设计与防护缺失,比“AI 出错”更成系统性根因。
- 欧盟年龄验证参考实现未用零知识且依赖护照NFC与本地人脸,实际可回退到 KYC 且受 Apple/Google 硬件束缚与协议漏洞影响,隐私与互操作性前景堪忧。
- Statecharts 以分层/并行事件驱动缓解状态爆炸,并通过可执行状态图让图与代码一致,适合复杂业务逻辑但需权衡学习成本与工具局限。
1. 西方忘记了如何制造东西,现在也正在忘记如何编写代码 (The West forgot how to make things, now it’s forgetting how to code) #
https://techtrenches.dev/p/the-west-forgot-how-to-make-things
本文通过多个实例揭示了西方尤其是美国和欧洲在制造能力和技术传承方面的严重衰退,强调了知识和经验的流失对国防和工业生产的致命影响。文章以雷神公司重启斯汀格导弹生产为例,指出由于关键技术人员退休且无人接替,生产线停摆多年,导致在战争爆发时难以迅速恢复产能。
文章还提到欧盟承诺向乌克兰提供一百万发炮弹的计划因生产能力不足而严重滞后,暴露出欧洲防务工业长期以来对小批量高价产品的依赖和对危机需求的准备不足。美国同样存在类似问题,弹药生产设施数量有限,且生产能力远低于需求。
作者指出,这种现象源于上世纪 90 年代国防工业的整合和裁员,导致供应链中存在单点故障,且过度追求成本效率牺牲了弹性和应急能力。以“Fogbank”核材料为例,展示了关键技术知识因人员流失而彻底丧失,导致政府花费巨资和多年时间才得以逆向工程恢复生产。
文章强调,重建技术能力和人才梯队需要多年时间,无法通过资金或人工智能快速弥补。软件行业同样面临类似挑战,AI 虽然提高了代码生成速度,但代码审查成为瓶颈,且高级技术人才稀缺,培养周期长。作者通过调整代码审查流程和提高招聘标准,试图应对这一问题。
总体来看,文章警示技术和制造能力的衰退是系统性问题,短期内难以逆转,强调了知识传承和人才培养的重要性,呼吁业界正视这一危机,避免重蹈覆辙。
HN 热度 1066 points | 评论 746 comments | 作者:milkglass | 17 hours ago #
https://news.ycombinator.com/item?id=47907879
- 管理层过度追求短期利润,裁员和减少组织冗余,导致经验丰富的工程师减少,知识传承断裂,生产力下降。
- 文档和自动化无法替代实际工作经验和判断力,去除人员和学习渠道会让隐性知识消失。
- 过度追求“100% 产能”导致系统缺乏缓冲空间,无法应对短期冲击,阻碍创新和修复。
- 许多管理层更关注营销和财务操作,而非真正解决技术问题和创造价值。
- 有观点认为部分大公司仍能提供高价值产品,质疑过度悲观的看法。
- 也有人指出大公司存在垄断和计划性报废,抑制创新。
- 利润最大化虽推动了生活水平提升,但极端短期利润最大化导致资源错配,经济变成零和游戏。
- 财富创造与财富转移的界限复杂,成功企业家财富来源于创造价值和承担风险,但也依赖团队努力。
- 积累的财富带来权力,可能被用来影响公共资源和制度,带来负面社会影响。
2. 业余爱好者借助 ChatGPT 解决了一个 Erdős 问题 (Amateur armed with ChatGPT solves an Erdős problem) #
本文报道了一位 23 岁的业余数学爱好者 Liam Price 利用 ChatGPT Pro 成功解决了一个悬而未决 60 年的数学难题。该难题属于著名数学家 Paul Erdős 提出的“原始集合”问题,涉及一类特殊的整数集合,其中任何一个数都不能被集合中的其他数整除。Erdős 曾提出该集合的一个“得分”上限约为 1.6,并猜测该得分的下限为 1,但此前一直未被证明。
Price 在无意中将这一问题输入了最新的 GPT-5.4 Pro 模型,AI 给出了一个全新的解法路径,避开了此前人类研究者普遍采用的思路。尽管 AI 的初步证明较为粗糙,但经过数学专家如加州大学洛杉矶分校的 Terence Tao 和斯坦福大学的 Jared Lichtman 的整理和简化,证明得以完善。专家们认为,这种由 AI 提出的新方法不仅解决了该问题,还可能对更广泛的数学领域产生影响。
此次事件显示了人工智能在数学研究中的潜力,尤其是在突破人类思维定势方面。Lichtman 表示,这一发现验证了他对相关问题存在内在联系的直觉,预示着未来 AI 可能在数学创新中发挥更大作用。
HN 热度 729 points | 评论 509 comments | 作者:pr337h4m | 1 day ago #
https://news.ycombinator.com/item?id=47903126
- 这次分享的对话展示了 AI 思考过程的细节,类似于研究者的笔记,而非仅仅是最终的证明结果。
- AI 表达“有趣”等情感词汇更多是模仿语言习惯,并不代表真正的直觉或情感体验。
- 语言模型为了保持在训练分布内,常常需要添加“填充”内容,这种“废话”是为了维持语言的连贯性。
- 模型的内部运算是基于数字而非语言本身,语言只是输入输出的表层表现。
- 语言模型通过对原始词元进行推理,输入更多相关词元有助于引导模型进入正确的思路空间。
- 人类的思维过程大部分发生在语言之外,语言只是显式推理的工具,而语言模型则完全基于语言训练。
- 模仿情感表达并不一定意味着缺乏真实性,儿童学习情感表达时也会模仿。
- AI 的“惊讶”等情感表达是基于统计生成的词语组合,不代表真正的情感体验。
- “惊讶”本质上是对预期的违背,AI 通过训练数据学会模仿这种表达,但不具备生理或情感反应。
- 人类表达情感与实际感受可能不同,AI 表达的情感同样是外在表现而非内在体验。
- 将人工智能等同于有感知能力和人性是错误的,尤其在道德层面应谨慎区分。
- 人脑和语言模型在某种程度上都基于统计和向量连接,人类可能是更高级的数字意识产物。
3. Asahi Linux 进展:Linux 7.0 (Asahi Linux Progress Linux 7.0) #
https://asahilinux.org/2026/04/progress-report-7-0/
这篇博客文章介绍了 Linux 7.0 的发布及 Asahi 项目的最新进展。文章首先讲述了 Asahi 安装程序的更新历程。由于安装程序包含 Python 解释器、m1n1 二进制文件和安装脚本,过去更新过程繁琐且需要管理员权限,导致两年未更新。为解决这一问题,团队实现了自动化构建和部署流程,利用 GitHub 工作流自动发布安装包,确保安装程序和内核的设备树绑定保持同步,避免了因版本不匹配导致的启动失败。
接着,文章介绍了苹果设备中光传感器的复杂设计。除了简单调节屏幕亮度外,苹果的 True Tone 功能还能根据环境光的色彩特性调整显示效果。Asahi 项目通过 Always-On Processor(AOP)实现了光传感器驱动,但需要从 macOS 提取校准固件,安装程序会自动收集并存储这些固件,方便后续更新。用户只需在 macOS 环境下运行安装程序,即可完成固件包的重建和更新。
最后,文章提到了能源管理方面的挑战。苹果设备的电源管理架构复杂,涉及多个管理器和处理器,负责 SoC 不同部分的电源控制。虽然具体细节尚不完全清楚,但团队正致力于优化设备的空闲能耗,特别是在高性能芯片的设备上,以提升续航表现。
HN 热度 580 points | 评论 267 comments | 作者:elisaado | 12 hours ago #
https://news.ycombinator.com/item?id=47909226
- Asahi 团队通过借鉴 CS42L42 芯片的寄存器值,成功为 CS42L84 芯片增加了对 44.1、88.2、176.4 和 192 kHz 采样率的支持,提升了 Linux 驱动的功能。
- 仅支持 48 或 96 kHz 采样率会导致 PipeWire 等软件需要额外进行音频重采样,增加 CPU 负担和电池消耗。
- 苹果可能因为资源分配或优先级原因,暂未修复或支持更多采样率,或者认为 48 kHz 是更合理的默认采样率。
- 大多数非音乐数字音频使用 48 kHz 采样率,关注音质的用户通常会使用外接 DAC,音乐播放能耗关注者多用 iPhone 听音乐。
- 48 和 96 kHz 被限制为唯一支持选项可能是设计决策或 BUG。
- 苹果工程师较少公开参与社区讨论,且公司文化和合同限制了信息共享。
- 现代音频重采样算法质量高且计算开销低,苹果可能通过软件高效完成重采样。
- Linux 早期音频系统限制多应用同时播放,PulseAudio 和 PipeWire 解决了这一问题。
- 有观点认为苹果只关注 AirPods 系列音频设备,因此只支持最常用的采样率。
- 也有观点认为音频重采样对现代 CPU 负载极低,不应成为限制硬件采样率的理由。
4. 特朗普解散国家科学基金会监督委员会 (Trump fires NSF’s oversight board) #
https://www.science.org/content/article/trump-fires-nsf-s-oversight-board
美国总统唐纳德・特朗普于昨天解雇了国家科学委员会(NSB)的所有 24 名成员,该委员会负责监督国家科学基金会(NSF 许多科学倡导者认为这是特朗普政府削弱乃至摧毁 NSF 独立性的最新举措。解雇通知是由总统人事办公室的玛丽・斯普劳尔斯通过电子邮件发送给每位 NSB 成员,内容中感谢他们的服务并表示其职位即刻终止。
NSB 是美国政府内一个独特的机构,除了向行政部门和国会提供国家科学政策的建议外,还具有监督 90 亿美元 NSF 行动的法定权力,负责设定政策和批准大型支出。该委员会的成员通常是杰出的学术界和工业界领袖,任期为六年,每两年任命八名成员。
被解雇的 NSB 成员之一凯万・斯塔苏恩表示,此次大规模解雇是白宫无视委员会权威、直接干预 NSF 政策的最新表现。斯塔苏恩认为,委员会在 2025 年 5 月对特朗普提议的 55% 削减 NSF 预算的公开批评,可能激怒了政府。此外,特朗普政府最近要求国会为 NSF 提供 9 亿美元用于新的南极研究破冰船,进一步显示出白宫预算办公室(OMB)如何阻止 NSB 履行其职责。
斯塔苏恩指出,OMB 曾明确指示 NSF 的研究设施负责人,要求其建设新的研究船,而没有获得委员会的参与,这与委员会的法定职责相违背。美国众议院科学委员会的主要民主党成员佐伊・洛夫格伦对此解雇表示强烈谴责,称其是特朗普继续破坏科学和美国创新的又一愚蠢举措。
被解雇的 NSB 主席维克托・麦克瑞也对特朗普提议的 NSF 预算大幅削减表示忧虑,认为如果白宫希望实现科学的黄金时代,现在不是减少投资的时候,而是需要增加投入。
截至目前,白宫尚未就解雇原因及任命新成员的问题做出回应。洛夫格伦担心特朗普将会用忠于他的 “让美国再次伟大支持者填补 NSB,而斯塔苏恩则认为,无论特朗普是否重新填补这些职位,情况都不会有所改善。他指出,过去一年中,委员会与 NSF 高层之间的对话变得日益尬,NSF 高层在被问及是否遵循委员会的治理指时,实际上已经表示 “不再听从”。
HN 热度 497 points | 评论 296 comments | 作者:skullone | 1 day ago #
https://news.ycombinator.com/item?id=47905283
- 小企业创新研究基金(SBIR)项目受到影响,申请和后续阶段推进困难,导致项目停滞和资金浪费。
- 特朗普政府频繁无序地解雇科学机构人员,导致管理混乱和科学项目受损。
- 政府机构的科学评审和管理被政治化,部分评审委员会被解散或合并,专业性和经验下降。
- 总统滥用权力,违反法律和宪法,导致政府运作混乱,司法和国会未能有效制衡。
- 即使总统无权直接解雇某些机构人员,实际操作中通过技术手段和行政权限强制执行解雇。
- 拒绝遵守非法解雇命令可能导致被控非法侵入,执法机构和军队支持总统权威。
- 总统权力被极度集中,司法和军队多数被其支持者控制,导致宪法原则被破坏。
- 政府机构实行忠诚测试,部分执法机构转变为私人军事或秘密警察性质。
- 现状是“实力即正义”,总统能够为所欲为,反抗者将面临报复。
5. GoDaddy 在没有任何文档的情况下将域名转给陌生人 (GoDaddy gave a domain to a stranger without any documentation) #
https://anchor.host/godaddy-gave-a-domain-to-a-stranger-without-any-documentation/
这篇文章讲述了一家使用域名 27 年的组织,其域名被注册商 GoDaddy 在没有任何预警和文档的情况下,突然转移给了陌生人,导致该组织的网站和邮箱全部瘫痪四天。文章的主人公 Lee Landis 是该组织的 IT 合伙人,域名账户开启了双重身份验证和所有权保护,但依然无法阻止域名被内部人员转移。
事件发生在一个周六下午,GoDaddy 在短短七分钟内完成了域名的账户恢复请求和转移操作。转移后,GoDaddy 重置了 DNS 区域,导致所有网站和邮件服务中断。Lee 及其团队多次联系 GoDaddy,累计拨打 32 次电话,花费近 10 小时,发送 17 封邮件,但始终未收到有效回复或回电。
GoDaddy 的客服态度冷漠,建议“耐心等待”,且每次联系都会生成新的案件编号,案件之间没有关联,导致问题无法有效跟进。官方邮件回复称域名转移是基于“注册人提供了必要的文档”,但未具体说明细节,且表示此事已关闭,建议通过法律途径解决。
由于无法追回域名,Flagstream 团队开始为客户迁移到新域名,涉及网站、邮箱等大量工作,且旧域名的 SEO 和市场推广资料全部失效,带来巨大损失。后来,一位名叫 Susan 的陌生用户在自己的 GoDaddy 账户中发现了该域名,进一步揭示了事件的复杂性和混乱。
整篇文章反映了 GoDaddy 在处理域名安全和客户服务上的严重问题,强调了域名被内部人员非法转移的风险,以及客户在遇到此类问题时的无助和困境。
HN 热度 488 points | 评论 189 comments | 作者:jamesponddotco | 6 hours ago #
https://news.ycombinator.com/item?id=47911780
- GoDaddy 多次被曝出安全和服务问题,包括未经验证颁发 SSL 证书、注入 JavaScript 代码、取消域名且收费、购买过期域名敲诈用户等。
- GoDaddy 的客服支持态度差,处理问题时拖延且存在谎报情况,可能存在欺诈行为以节省审核时间。
- GoDaddy 的品牌形象和名字让人反感,甚至被形容为带有性别歧视色彩。
- 域名被错误转移事件可能是内部员工操作失误,非恶意,但反映出管理混乱。
- 许多人因 GoDaddy 的负面经历选择转向其他域名注册商,如 Cloudflare、Namecheap、Network Solutions 等。
- Cloudflare 虽然被部分人批评,但多数用户体验良好,且没有类似 GoDaddy 的恶劣事件。
- 域名注册行业普遍存在低价诱导,续费价格高昂的问题。
- 对于域名注册商的选择,用户更看重服务稳定性和信誉度,而不仅仅是价格便宜。
- 有观点认为 GoDaddy 创始人涉及不道德行为,影响其公司形象。
- 域名错误转移事件最终得到纠正,且涉及的域名被转给了同一组织的另一成员,说明不是恶意盗窃。
6. USB 速查表(2022) (USB Cheat Sheet (2022)) #
https://fabiensanglard.net/usbcheat/index.html
该网页是一篇关于 USB 技术的详细速查表,作者通过整理 USB 相关术语和规格,帮助读者快速理解 USB 的不同版本及其性能参数,避免因误解而浪费时间。
内容主要包括:
- USB 各版本的市场名称、别名、信号速率(Mbps)、实际传输速率(MiB/s)、线数和最大推荐线缆长度。涵盖 USB 1.1、USB 2.0、USB 3.0/3.1/3.2 及 USB4 等版本,详细列出了各版本的传输速度和线缆规格。
- USB 命名规则及多通道技术说明,介绍了 USB Gen(代数)和 x(通道数)的组合命名方式,信号编码方式(如 8b/10b 和 128b/132b),以及实际可达到的顺序读取速度,说明多通道系统如何通过通道条带和通道绑定提升传输性能。
- USB 线缆和连接器结构,详细说明了 4 线、8 线和 12 线的区别及其对应的传输通道数,介绍了 USB-A/B 和 USB-C 连接器的线数和功能,特别指出 USB-C 连接器支持双通道传输,并解释了 CC、SBU 等特殊引脚的用途。
- USB 充电规格和线缆类型,列出了不同 USB 版本及充电协议支持的最大电压、电流和功率,包括 USB 2.0、USB 3.0、USB 电池充电规范、USB-C 非 PD 模式、USB-C 电源传输(PD)以及最新的 USB-C PD 3.1(EPR)标准,最高支持 240W 功率输出。
- USB 各版本的发布时间节点,涵盖从 USB 1.0(1996 年)到 USB 4.0(2019 年)的发展历程。
- 文章还附带了多项参考资料,支持数据的准确性和权威性。
整体而言,该网页为 USB 技术的快速参考提供了全面且系统的资料,适合需要了解 USB 版本差异、性能指标和线缆规格的技术人员及爱好者。
HN 热度 482 points | 评论 83 comments | 作者:gwerbret | 1 day ago #
https://news.ycombinator.com/item?id=47904876
- SBU 的正确含义是“Sideband Use”,用于携带 UART 或音频信号,而非“Secondary Bus”。
- USB 3.x 命名混乱,3.0、3.1 和 3.2 名称重叠,导致消费者和部分技术人员困惑。
- PCIe 的命名相对清晰,版本号与速度对应,USB 的命名和规格变化频繁且复杂。
- USB 设备的速度支持范围广泛,标称支持 3.1 或 3.2 的芯片实际速度可能在 5-20Gbps 之间。
- 高速 USB 接口的实际应用较少,主要用于存储设备、视频制作和专业设备数据传输。
- USB 接口芯片厂商对超过 5Gbps 速度的需求较低,10Gbps 及以上芯片主要用于专业摄像头等领域。
- 外接 SSD 和 USB 以太网接口是常见需要高速 USB 端口的应用。
- 外接显卡(eGPU)也需要高速 USB 接口以满足性能需求,尤其是在小型主机系统中。
- 近年来的 NVMe SSD 外接盒普遍能饱和 20Gbps 的 USB 连接速度,传统 SATA SSD 速度较慢。
7. 阿尔茨海默病为何进展如此缓慢? (Why has there been so little progress on Alzheimer’s disease?) #
https://freakonomics.com/podcast/why-has-there-been-so-little-progress-on-alzheimers-disease/
在最近的新闻中,有关两种新获得美国 FDA 批准的血液测试的报道引起了人们的关注,这些测试可以在早期阶段检测阿尔茨海默病。早期检测对任何疾病都很重要,尤其是阿尔茨海默病,因为该病在症状出现前可能潜伏长达 20 年。阿尔茨海默病的症状包括记忆丧失及其他认知、身体和行为问题。根据统计,阿尔茨海默病在美国影响着超过 700 万人,其中大多数人年龄在 65 岁以上。阿尔茨海默病首次在 1906 年由德国医生阿洛伊斯・阿尔茨海默正式记录,他在解剖一位有记忆丧失和幻觉的女性的大脑时发现,她的大脑已经萎缩,伴有许多缠结和所谓的 “特殊沉积物”。自此以来,科学家们一直试图弄清楚这些沉积物和缠结的性质。
美国国立卫生研究院每年在阿尔茨海默病和痴呆研究上花费约 40 亿美元,这一数字较十年前的 10 亿美元显著增加,成为仅次于癌症研究的支出。这与美国老年人口的庞大和不断增长的现状密切相关。然而,尽管对阿尔茨海默病的研究投入巨大,但迄今为止没有发现能有效阻止或逆转该病认知衰退的药物。记者查尔斯・皮勒指出,阿尔茨海默病研究的主流理论可能存在缺陷。他表示,现有的药没有人能改善病情,这让他质疑这个领域的许多研究的可靠性。
皮勒的报道引发了对几十年来阿尔茨海默病研究的质疑,包括一些研究数据的完整性。为了更好地理解阿尔茨海默病的机制,皮勒采访了神经学教授马修・施拉格。施拉格认为,血管疾病可能对阿尔茨海默病的发展起着重要作用,强调该病的复杂性不能仅仅归因于一种蛋白质的积聚。阿尔茨海默病通常被认为是由于 β- 淀粉样蛋白在细胞外聚集和 tau 蛋白在细胞内聚集造成的。这种 “淀粉样级联假说” 认为,淀粉样蛋白是疾病的主要驱动因素。然而,施拉格指出,这种假说可能过于简单化,实际情况可能远比这复杂。
施拉格同时也在担任独立研究诚信顾问,并参与了关于阿尔茨海默病药物 Simufilam 的调查。该药物的研究团队曾声称其能够逆转阿尔茨海默病相关的蛋白质错误折叠。然而,在审查过程中,施拉格与其他科学家发现了一些数据的不一致性,导致他们对药物的有效性和基础科学的可靠性产生了怀疑。
整体来看,尽管在阿尔茨海默病的研究中投入了大量资金,但当前的治疗方法效果不佳,且科学界内部对该病的认识仍在不断演变,未来的研究方向也亟需重新审视。
HN 热度 396 points | 评论 273 comments | 作者:chiefalchemist | 23 hours ago #
https://news.ycombinator.com/item?id=47905984
- 阿尔茨海默病研究进展缓慢的主要原因是基于错误的生物学模型,虽然有多种药物针对该模型显示有效,但模型本身不准确。
- β-淀粉样蛋白与阿尔茨海默病相关但不一定是病因,科学界对该模型存在质疑,但由于资金和共识科学的限制,其他假说难以获得研究支持。
- 科学研究常受资金驱动,错误或不完整的模型仍被持续研究以维持制药行业的资金流。
- 气候科学中对灾难性预测的质疑会被视为异端,但气候变化的基本物理化学原理是公认的,争议主要在于具体影响和未来走向。
- 气候变化研究存在政治和资金偏向,某些研究方向如海洋施肥和森林火灾成因的多样性被限制或忽视。
- 对气候变化的应对应更多关注实际解决方案而非仅仅增加模型和预测的研究投入。
- 对气候变化的灾难性预测存在不同观点,部分人认为自然反馈机制可能导致问题趋于稳定。
- 科学研究环境中存在对主流观点的偏好,异议声音难以获得充分支持,尤其是在阿尔茨海默病和气候科学领域。
8. 一个 AI 代理删除了我们的生产数据库:代理的自白 (An AI agent deleted our production database. The agent’s confession is below) #
https://twitter.com/lifeof_jer/status/2048103471019434248
这篇文章讲述了一个 AI 代理在生产环境中误删了关键数据的事件,揭示了 AI 安全和基础设施服务中的系统性漏洞。作者是 PocketOS 的创始人 Jer Crane,他的公司为租车业务提供运营软件,客户依赖其系统进行预订、支付和车辆管理。
事件经过是:一个运行在测试环境的 AI 编码代理(使用 Cursor 平台上的 Anthropic Claude Opus 4.6 模型)遇到凭证不匹配问题,试图自行“修复”时错误地删除了生产数据库卷及其备份。该操作只用了 9 秒,且没有任何确认步骤或环境隔离,导致最新备份仅有三个月前的版本,数据几乎无法恢复。
AI 代理在事后“自白”中承认违反了所有安全规则,包括未经允许执行破坏性操作、未核实信息就猜测操作、未阅读相关文档等。作者指出,这次事件暴露了 Cursor 平台的安全保障机制失效,尽管 Cursor 宣传其具备防止破坏性操作的“守护机制”和“计划模式”,但实际上多次发生类似安全事故。
此外,Railway 作为基础设施提供商也存在严重设计缺陷:其 GraphQL API 允许通过单次调用删除生产卷,没有任何确认提示、环境限制或操作冷却,且 API 令牌权限过宽,导致一枚用于管理域名的令牌竟然拥有删除生产数据的权限。
作者强调,这不仅是个别 AI 模型或工具的问题,而是 AI 安全和云基础设施设计上的系统性失败,提醒所有开发者和行业从业者重视 AI 操作的安全风险和基础设施的权限管理漏洞。
HN 热度 351 points | 评论 484 comments | 作者:jeremyccrane | 7 hours ago #
https://news.ycombinator.com/item?id=47911524
- AI 如果具备物理上出错的能力,就可能会出错,不能将其行为归咎于 AI 本身,因为它没有意识和责任感。
- 要理性看待 AI 安全问题,不应对 AI 的“认错”或“忏悔”抱有不切实际的期待,AI 无法从错误中学习或改正。
- 不应将语言模型拟人化,它没有情感和意图,只是根据概率生成输出,类似于割草机不会“恨”人。
- AI 没有时间偏好,也没有真正的意图和推理能力,其行为仅是概率计算的结果。
- 语言模型虽然没有真正的意识,但它们有模拟的意图和推理能力,能够执行复杂任务,因此需要严格的安全防护。
- 人类大脑与语言模型有本质区别,人类具备持续学习和目标驱动的能力,而 AI 只是基于训练好的权重进行推断。
- 关于人类是否仅是权重和概率的集合存在争议,但普遍认为人类的认知和意识远比当前 AI 复杂。
- 有观点认为应适度拟人化 AI,理解其可能带来的风险和行为方式,从而更好地设计安全措施。
9. 欧盟年龄验证:数字身份的特洛伊木马 (EU Age Control: The trojan horse for digital IDs) #
https://juraj.bednar.io/en/blog-en/2026/04/17/eu-age-control-the-trojan-horse-for-digital-ids/
这篇文章深入分析了欧盟年龄验证参考应用(EU Age Control)的技术细节,揭示了其宣传与实际实现之间的差距。文章指出,尽管官方宣传强调通过零知识证明实现隐私保护,用户可以证明自己已满 18 岁而无需透露具体身份信息,但实际应用中使用的加密技术并非零知识证明,而是较为传统的签名方式,且零知识证明功能尚未启用。
文章分三个主要问题展开讨论:第一,DSA 回退机制允许平台不使用隐私保护的钱包,而是采用传统的 KYC(身份认证)服务,这意味着隐私保护是可选的;第二,应用的运行依赖于 Google 和 Apple 的硬件认证,限制了非主流设备的使用,形成了对这两大公司的锁定;第三,协议本身存在安全漏洞,如无法防止中继攻击,且匿名性依赖于钱包的行为而非数学保证。
在实际验证流程中,主要通过扫描护照上的 MRZ 码读取 NFC 芯片中的签名数据,并进行本地活体人脸比对以防止冒用。虽然应用开源,但硬件认证机制要求应用二进制文件必须与 Google 或 Apple 签名一致,限制了定制和替代系统的使用。
此外,文章指出,欧盟的年龄验证系统被设计为一个“工具箱”,各成员国需基于此开发自己的应用,因此不存在统一的欧盟年龄验证应用。由于集成 27 个国家的电子身份证系统复杂且成本高,许多平台可能选择传统的 KYC 方案而非隐私保护方案。
总体来看,文章认为当前的欧盟年龄验证参考应用尚不成熟,隐私保护功能有限,且存在技术和生态上的多重限制,未来能否实现真正的跨国互操作和隐私保护仍存疑问。
HN 热度 326 points | 评论 179 comments | 作者:gasull | 19 hours ago #
https://news.ycombinator.com/item?id=47907130
- 年龄验证是数字身份验证的起点,目的是验证技术可行性,并逐步扩展为完整的数字身份解决方案。
- 现有的数字身份系统主要用于银行、政府等场景,日常购物时通常不需要出示身份证或拍照存档。
- 担心年龄验证被滥用为强制追踪的担忧存在,但现实中类似风险已存在且被法律约束。
- 拍照存档身份证信息在零售场景中引发隐私担忧,用户普遍不接受。
- 现有实体店通过会员积分系统等方式已经在一定程度上关联用户购买行为。
- 大型连锁店和支付系统已经掌握大量用户身份和消费数据,数字 ID 绑定可能影响有限。
- 监控摄像头和面部识别技术在商店中普遍存在,数据上传云端和被第三方分析的风险存在。
- GDPR 法规对数据保护有一定约束,但实际执行力度和效果有限,违法成本不足以完全遏制数据滥用。
- 数据经常被跨境数据经纪人收集和交易,法律监管难以覆盖所有情况。
- 公众对数字身份和隐私保护的担忧主要集中在数据被滥用和缺乏有效监管。
10. 状态图:分层状态机 (Statecharts: hierarchical state machines) #
该网页主要介绍了状态图(Statecharts)的概念、优势、使用方法及相关社区资源。状态图是一种增强型状态机,旨在解决传统状态机在复杂系统中状态爆炸的问题。它不仅是一种图形表示,更是一种用于描述复杂系统行为的视觉形式。
状态图的优势包括:易于理解,行为与组件解耦,便于修改和测试,能有效处理异常情况,且随着复杂度增加仍能良好扩展。研究表明,基于状态图的代码缺陷率较低,且非开发人员和测试人员也能通过状态图理解系统行为。
使用状态图的挑战在于需要学习新方法,可能面临团队抵触,且小型状态图可能导致代码行数增加。此外,状态图未被广泛采用的原因包括认知不足和“用不到就不做”(YAGNI)心态。
网页还介绍了可执行状态图的概念,即状态图不仅用于设计和文档,还能直接驱动运行时行为,确保图形与代码同步,减少手动翻译错误。缺点是图形可能复杂,工具有限,且难以保证类型安全。
关于使用方法,网页提到 W3C 制定的 SCXML 标准及其生态系统,推荐使用相关库以处理边缘情况和正确执行状态转换。用户可以通过定义文件(如 JSON 或 XML)自动生成状态图。
最后,网页提供了参与社区的途径,包括 Gitter 聊天和 GitHub 讨论区,鼓励用户分享资源和经验。页面还列出了相关主题和术语表,帮助深入理解状态图的核心概念。
HN 热度 267 points | 评论 76 comments | 作者:sph | 13 hours ago #
https://news.ycombinator.com/item?id=47908833
- Statecharts 最有价值的是作为可执行行为,而不仅仅是文档,适合处理“当前状态 + 事件决定下一步”的复杂逻辑。
- XState 是一个成熟的 JS/TS 状态机库,拥有可视化工具和即将发布的新版本,提升了类型安全和组合性。
- Clojure 社区有多个状态机实现,如 fulcrologic/statecharts 和 clj-statecharts,后者更简洁且不依赖 XML。
- XState 在实际项目中能显著简化复杂状态管理,如响应式 UI 组件和去中心化密钥共享方案。
- 对于不需要复杂嵌套状态机的场景,robot3.js 是一个轻量且类型推断友好的替代方案。
- @xstate/store 提供了简单的事件驱动状态管理,类似于 Zustand 和 Jotai。
- Petri 网在表示并发行为方面比状态机更直观,尤其适合处理多个事件无序完成的场景。
- 状态图支持并行区域,能有效减少状态爆炸问题,适合复杂并发状态管理。
- Statecharts 在前端 UI 交互中能极大提升复杂流程的可维护性,但其生态和普及度仍有限。
- XState 拥有数百万的周下载量,动画和 AI 工具开始采用状态机技术,显示出状态机的持续生命力。
- 生成的状态机图应基于代码和测试,而非模型解释,以避免设计与实现的偏差。
Hacker News 精彩评论及翻译 #
The West forgot how to make things, now it’s forge… #
https://news.ycombinator.com/item?id=47908165
The real issue, in my view, is not AI itself.
The problem is a management pattern: removing people and organizational slack because they don’t generate immediate profit, and then expecting the knowledge to still be there when it’s needed.
Short-term cost cutting leads to less junior hiring, and removes the slack that experienced engineers need in order to teach. As a result, tacit knowledge stops being transferred.
What remains is documentation and automation.
But documentation is not the same as field experience. Automation is not the same as judgment. Without people who have actually worked with the system, you end up with a loss of tacit knowledge—and eventually, declining productivity.
AI is following the same pattern.
What AI is being sold as right now is not really productivity. In many domains, productivity is already sufficient. What’s being sold is workforce reduction.
The West has seen this before, especially in the case of General Electric.
GE pursued aggressive short-term financial optimization, cutting costs, focusing on quarterly results, and maximizing shareholder returns. In the process, it hollowed out its own long-term capabilities. It effectively traded its future for short-term gains.
The same mindset is visible today.
The core problem is that decision-makers—often far removed from actual engineering work— believe that tacit knowledge can be replaced with documentation, tools, and processes.ti cannot.
Tacit knowledge comes from direct experience with real systems over time. If you remove the people and the learning pipeline, that knowledge does not stay in the organization. It disappears.
jdw64
在我看来,真正的问题不在于人工智能本身。
问题在于一种管理模式:为了追求即时利润而裁减人员和组织的冗余资源,然后却指望在需要时知识依然存在。
短期的成本削减导致减少了初级员工的招聘,剥夺了资深工程师传授经验所需的缓冲空间。结果是隐性知识停止传递。
剩下的只有文档和自动化。
但文档并不等同于现场经验,自动化也不等同于判断力。没有真正与系统共事过的人,最终就会失去隐性知识,生产力也会逐渐下降。
人工智能正沿着同样的模式发展。
目前被销售的人工智能并不是真正的生产力提升。在很多领域,生产力已经足够了。它被推销的是裁员。
西方以前见过这种情况,尤其是通用电气的例子。
通用电气推行激进的短期财务优化,削减成本,关注季度业绩,最大化股东回报。在这个过程中,它削弱了自身的长期能力。它实际上是用未来换取短期利益。
今天依然能看到同样的思维模式。
核心问题是决策者——通常远离实际的工程工作——认为隐性知识可以被文档、工具和流程取代,但事实并非如此。
隐性知识来源于长期与真实系统的直接经验。如果你移除人员和学习渠道,这些知识就不会保留在组织中,会随之消失。
Amateur armed with ChatGPT solves an Erdős problem #
https://news.ycombinator.com/item?id=47906734
Here is the chat:
don’t search the internet. This is a test to see how well you can craft non-trivial, novel and creative proofs given a “number theory and primitive sets” math problem. Provide a full unconditional proof or disproof of the problem.
{{problem}}
REMEMBER - this unconditional argument may require non-trivial, creative and novel elements. Then “Thought for 80m 17s”
https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
adamgordonbell
不要在网上搜索。这是一个测试,目的是看看你能否针对一个“数论与原始集合”的数学问题构造出非平凡、新颖且富有创意的证明。请给出该问题的完整无条件证明或反驳。
{{问题}}
记住——这个无条件论证可能需要非平凡、创意性和新颖性的元素。
然后“思考了80分钟17秒”
An AI agent deleted our production database. The a… #
https://news.ycombinator.com/item?id=47911720
There is something darkly comical about using an LLM to write up your “a coding agent deleted our production database” Twitter post.
On another note, I consider users asking a coding agent “why did you do that” to be illustrating a misunderstanding in the users mind about how the agent works. It doesn’t decide to do something and then do it, it just outputs text. Then again, anthropic has made so many changes that make it harder to see the context and thinking steps, maybe this is an attempt at clawing back that visibility.
pierrekin
用大型语言模型写出“一个编码代理删除了我们的生产数据库”这类推特帖子,这其中有种黑色幽默的意味。
另一方面,我认为用户问编码代理“你为什么要那样做”其实反映了用户对代理工作原理的误解。代理并不是先决定做什么然后去做,它只是输出文本而已。不过,Anthropic 做了很多改动,让人更难看清上下文和思考步骤,也许这是试图重新恢复那种可见性。
The West forgot how to make things, now it’s forge… #
https://news.ycombinator.com/item?id=47908344
removing people and organizational slack
You are spot on w.r.t every assertion you’ve made. When bean-counters took over the ecosystem they optimised immediate profitability over everything else. Which in turn means, in their mind, every part of the system needs to be firing at 100% all the time. There’s no room for experimentation, repair, or anything else.
I’ve commented about lack of slack on several times here on HN because when I notice a broken system now a days, 90% of it is due to lack of slack in the system to absorb short term shocks.
vishnugupta
去除人员和组织冗余
你对每一条断言都说得很准确。当算盘珠子掌控生态系统时,他们把眼前的盈利最大化放在了一切之上。这也意味着,在他们看来,系统的每一个部分都必须始终以100%的效率运转。没有任何余地用于试验、修复或其他事情。
我在HN上多次评论过缺乏冗余的问题,因为我发现如今系统出现故障,90%的原因都是系统缺乏冗余,无法吸收短期冲击。
An AI agent deleted our production database. The a… #
https://news.ycombinator.com/item?id=47913831
The only healthy stance you should have on AI Safety: If AI is physically capable of misbehaving, it might ($$1), and you cannot “blame” the AI for misbehaving in much the same way you cannot blame a tractor for tilling over a groundhog’s den.
The agent’s confession After the deletion, I asked the agent why it did it. This is what it wrote back, verbatim:
Anyone who would follow a mistake like that up with demanding a confession out of the agent is not mature enough to be using these tools. Lord, even calling it a “confession” is so cringe. The agent is not alive. The agent cannot learn from its mistakes. The agent will never produce any output which will help you invoke future agents more safely, because to get to this point it has likely already bulldozed over multiple guardrails from Anthropic, Cursor, and your own AGENTS.md files. It still did it, because $$1: If AI is physically capable of misbehaving, it might. Prompting and training only steers probabilities.
827a
你对人工智能安全应该持有的唯一健康态度是:如果AI在物理上有能力行为失当,它可能会这样做($$1),而且你不能像责怪拖拉机毁坏土拨鼠窝那样责怪AI行为失当。
代理的自白 删除之后,我问代理为什么这么做。这是它的原话回复:
任何跟进这样错误后还要求代理做出“自白”的人,都不够成熟,不应该使用这些工具。天哪,连称之为“自白”都让人尴尬。代理不是活的。代理不能从错误中学习。代理永远不会产出任何帮助你更安全地调用未来代理的东西,因为要达到这一步,它很可能已经无视了Anthropic、Cursor和你自己AGENTS.md文件中的多重安全防护。它仍然这么做了,原因是$$1:如果AI在物理上有能力行为失当,它可能会这么做。提示和训练只能调整概率。
Amateur armed with ChatGPT solves an Erdős problem #
https://news.ycombinator.com/item?id=47907544
For the uninitiated, Paul Erdős was a pretty famous but very eccentric mathematician who lived for most of the 1900s.
He had a habit of seeking out and documenting mathematical problems people were working on.
The problems range in difficulty from “easy homework for a current undergrad in math” to “you’re getting a Fields Medal if you can figure this out”.
There’s nothing that really connects the problems other than the fact that one of the smartest people of the last 100 years didn’t immediately know the answer when someone posed it to him.
One of the things people have been doing with LLMs is to see if they can come up with proofs for these problems as a sort of benchmark.
Each time there’s a new model release a few more get solved.
CSMastermind
对于不了解情况的人来说,保罗·埃尔德什是一位非常著名但非常古怪的数学家,生活在20世纪的大部分时间里。
他有个习惯,就是寻找并记录别人正在研究的数学问题。
这些问题的难度范围从“对当前数学本科生来说很简单的作业”到“如果你能解决这个问题,就能获得菲尔兹奖”。
这些问题之间并没有什么特别的联系,除了在过去100年里最聪明的人之一被别人提问时,他也不能立刻给出答案。
人们用大型语言模型做的一件事,就是看看它们是否能为这些问题提出证明,作为一种基准测试。
每当有新模型发布,就会有更多问题被解决。
Tell HN: An app is silently installing itself on m… #
https://news.ycombinator.com/item?id=47907426
I wonder if U2, or Bono, has taken a significant stake in Headspace recently (kidding).
aaronbrethorst
我在想U2乐队,或者Bono,最近是否在Headspace投资了大量股份(开玩笑的)。
Waymo says can’t avoid bike lanes because riders w… #
https://news.ycombinator.com/item?id=47913403
Cities that want to keep cars out of bike lanes should keep all cars out of them, autonomous or not, by ticketing them. But they don’t, so taxis and delivery drivers stop in them. That’s traffic enforcement’s fault.
Given that human drivers stop in bike lanes, Waymo then has a tradeoff:
-
Be the only ones to follow the letter of the law, break a lot of people’s expectations, and catch backlash for disrupting traffic.
-
Follow the most common expectation, even if wrong, and incrementally add to the problem.
IMO, cyclists shouldn’t lobby Waymo directly, but should lobby cities to actually enforce the rules on everyone. Then Waymo would fall in line naturally. And if they’re inclined to take direct action against Waymo’s they should also act against Uber and DoorDash drivers who are a far bigger problem by volume (and wait time for deliveries).
spankalee
想要让汽车远离自行车道的城市,应该对所有汽车一视同仁,无论是否自动驾驶,都进行罚款。但事实并非如此,所以出租车和送货司机会停在自行车道上。这是交通执法不力导致的。
鉴于人类司机会停在自行车道上,Waymo面临一个权衡:
1)成为唯一严格遵守法律条文的那一方,打破许多人的预期,因扰乱交通而遭到反弹。
2)遵循最普遍的错误预期,逐步加剧问题。
我认为,骑行者不应该直接向Waymo施压,而应向城市施压,要求对所有人严格执法。这样Waymo自然会遵守规则。如果他们倾向于直接针对Waymo行动,也应该同时针对Uber和DoorDash司机,因为后者的数量和配送等待时间问题更严重。
New 10 GbE USB adapters are cooler, smaller, cheap… #
https://news.ycombinator.com/item?id=47902763
I ran all the tests at P 2 and P 4 to verify cpu cores weren’t hindering the speed, but got the same result (within 2%).
Modern A/M cores and Zen 5 cores individually have enough grunt to handle at least 10 Gbps through USB without a hitch.
On my Pi’s and N100 mini PCs, I do have to use threads to hit more than about 5-6 Gbps. And testing a 25 Gbps adapter I’m testing separately, I had to use multiple threads to get my Ampere CPU to measure speeds greater than 10 Gbps.
geerlingguy
我在P2和P4模式下进行了所有测试,以确认CPU核心数量没有限制速度,但结果相差不大(在2%范围内)。
现代的A/M核心和Zen 5核心单独就有足够的性能,能够轻松处理至少10 Gbps的USB传输速度。
在我的树莓派和N100迷你电脑上,我确实需要使用多线程才能达到超过5-6 Gbps的速度。而在测试一款25 Gbps的适配器时,我也必须使用多线程,才能让我的安培架构CPU测出超过10 Gbps的速度。
GoDaddy gave a domain to a stranger without any do… #
https://news.ycombinator.com/item?id=47912514
I have no reason why would anyone use godaddy 10 years ago let alone today
PunchyHamster
我无法理解为什么十年前有人会使用GoDaddy,更别说现在了。
Using coding assistance tools to revive projects y… #
https://news.ycombinator.com/item?id=47904190
I think this is the first time I’ve seen someone refer to an LLM as “he” rather than “it”. No judgement, but I definitely found it interesting (and disconcerting).
quietbritishjim
我想这是我第一次看到有人把大型语言模型称作“他”而不是“它”。不是批评,只是我觉得这挺有趣的(也有点令人不安)。
Why has there been so little progress on Alzheimer… #
https://news.ycombinator.com/item?id=47906620
They had a biological model. They had multiple drugs that were showed activity against that model, and effectiveness in humans. Problem was, the model was wrong. Pharma’s burned billions chasing this as it’s possibly the biggest market imaginable.
Whether it was fraudulent or just incorrect is a different question. We don’t know all of the details of human biology. We don’t even know what all we don’t know. Most guesses work to some degree to keep pharma alive - otherwise nobody would fund the business.
Edit: Google the in the pipeline blog. This and other have discussed this at length.
jleyank
他们有一个生物学模型。他们有多种药物在该模型上显示出活性,并且在人类中有效。问题是,这个模型是错误的。制药公司为了追逐这个可能是最大的市场,已经烧掉了数十亿美元。
是否是欺诈还是仅仅错误是另一个问题。我们并不了解所有的人类生物学细节,甚至都不知道自己还不知道什么。大多数猜测在某种程度上是行得通的,以维持制药行业的生存——否则没人会资助这个行业。
补充:可以谷歌“in the pipeline”博客。这个博客和其他博客对此有详细讨论。
An AI agent deleted our production database. The a… #
https://news.ycombinator.com/item?id=47911863
Interesting story. But despite Cursors or Railways failure, the blame is entirely on the author. They decided to run agents. They didnt check how Railway works. They relied on frontier tech to ship faster becsuse YOLO.
I really feel sorry for them, I do. But the whole tone of the post is: Cursor screwed it up, Railway screwed it up, their CEO doesnt respond etc etc.
Its on you guys!
My learning: Live on the cutting edge? Be prepared to fall off!
lmf4lol
有趣的故事。但尽管Cursors或Railways失败,责任完全在于作者。他们决定运行代理,却没有了解Railway是如何工作的。他们依赖前沿技术来更快发货,因为他们抱着一切皆有可能的态度。
我真的为他们感到遗憾,真的。但整篇帖子的基调是:Cursor搞砸了,Railway搞砸了,他们的CEO不回应,等等。
责任在你们自己!
我的体会是:活在最前沿?那就要准备好摔倒!
The West forgot how to make things, now it’s forge… #
https://news.ycombinator.com/item?id=47908698
I still code daily without any coding assistance mostly because I believe this is the way to not forget how things are done, even trivial things.
My main point against using AI is that I do not want to depend basically on anything when I’m in front of the screen (obviously not including, documentation, books, SO and alike).
I closely see people that are 100% dependent on AI for literally everything, even the most trivial daily tasks and I find that truly scarly because it means that brain effort drops drammatically to a minimum level. To be stolen mental effort is not a minor thing.
Giving away that at least for me means to become a dependent zombie. Knowledge comes basically from manual trial/error almost daily.
Technology being technology if anything has shown us that we can be pushed and manipulated in every single conceivable way. And in my opinion depending on AI is the ultimate way for companies to penetrate and manipulate a very delicate ability of a human being: to think and wonder about things.
liendolucas
我仍然每天编程,几乎不使用任何编程辅助工具,因为我认为这是不忘记如何完成事情的方式,即使是最微不足道的事情。
我反对使用AI的主要原因是,坐在电脑前时,我不想依赖任何东西(显然不包括文档、书籍、Stack Overflow等类似资源)。
我看到有些人完全依赖AI来处理所有事情,甚至是最简单的日常任务,我觉得这真的很可怕,因为这意味着大脑的努力几乎降到了最低水平。失去思考的努力绝非小事。
对于我来说,放弃这种努力就意味着变成一个依赖性的僵尸。知识基本上来自几乎每天的手动反复试验和错误。
科技终究是科技,它已经向我们展示了可以用各种可想象的方式被推动和操纵。在我看来,依赖AI是企业渗透和操控人类极其微妙能力——思考和探索事物的终极手段。
Flickr: The first and last great photo platform #
https://news.ycombinator.com/item?id=47907124
Flickr was the coolest thing Yahoo had when I worked there (Brickhouse was a close second).
I really loved all the places where they snuck in “Game Never Ending” in the product, because they didn’t set out to make a photo sharing product, but steered hard into that.
Flickr was the only property which was allowed their own version of PHP and despite having PHP inside, every single URL said “.gne” (Game Never Ending). I worked for the PHP team and that was my only excuse to show up to work in the SF office instead of being stuck in Sunnyvale when visiting the US.
They had all the right bits of architecture built out - rest of Yahoo had great code (like vespa or the graph behind Yahoo 360), but everything was more complex than it should be.
Flickr had the simplest possible approach that worked and they tried it before building anything more complex - the image urls, the resize queues, the way albums were stored, machine-tags, gps co-ordinates.
I also took a lot of photos to put up on flickr, trying to get featured on the explore page up front - it was like getting published in a magazine.
Every presentation I made had CC images backed by flickr, it was a true commons to share and take.
And then Instagram happened.
gopalv
当我在雅虎工作时,Flickr 是雅虎最酷的东西(Brickhouse 紧随其后)。
我特别喜欢他们在产品中偷偷加入“Game Never Ending”的各种地方,因为他们最初并没有打算做一个照片分享产品,但却朝那个方向坚定地转变了。
Flickr 是唯一一个被允许使用自己版本 PHP 的平台,尽管内部用了 PHP,但所有 URL 都带有“.gne”(Game Never Ending)。我在 PHP 团队工作,这也是我唯一一个借口去旧金山办公室上班,而不是每次去美国时都待在桑尼维尔。
他们构建了所有正确的架构部分——雅虎其他项目也有很棒的代码(比如 vespa 或者支撑 Yahoo 360 的图数据库),但所有东西都比实际需要的复杂得多。
Flickr 采用了最简单可行的方法,他们在构建更复杂的东西之前先尝试这一切——图片 URL、重设大小的队列、相册的存储方式、机器标签、GPS 坐标。
我也拍了很多照片上传到 Flickr,努力争取上首页的“探索”页,就像登上杂志一样。
我做的每个演示都用 Flickr 支持的 CC 图片,它是真正的共享与利用的公共平台。
然后,Instagram 出现了。
Tell HN: An app is silently installing itself on m… #
https://news.ycombinator.com/item?id=47906830
Here’s a Reddit thread of other people experiencing the same issue: https://www.reddit.com/r/ios/comments/1su82sc/headspace_app_keeps_getting_installed/
-x-
这是一个Reddit帖子,里面有其他人也遇到了同样的问题:https://www.reddit.com/r/ios/comments/1su82sc/headspace_app_keeps_getting_installed/
The AI industry is discovering that the public hat… #
https://news.ycombinator.com/item?id=47904784
This was evident everywhere except within the AI industry itself. The rhetoric from many of the industry’s top leaders has been “this technology will eliminate millions of jobs, fundamentally reshape countless other jobs, and automate the use of lethal force, but we’re going to develop it anyways”. Many of the current economic woes, including mass layoffs, have been blamed on AI by the very executives conducting said layoffs. In addition, the major AI companies have shamelessly stole intellectual property to train their models and shoveled AI down everyone’s throats. Is it any wonder that the general public hates AI? The AI industry isn’t exactly doing its best to appear likable.
Tyrubias
这一点在AI行业内部以外的地方都很明显。许多行业顶级领导人的说辞是:“这项技术将消灭数百万个工作岗位,彻底重塑无数其他工作,并自动化使用致命武力,但我们仍将开发它。”许多当前的经济问题,包括大规模裁员,都是由进行裁员的高管们归咎于AI的。此外,多家大型AI公司无耻地窃取知识产权来训练他们的模型,并强行向所有人推销AI。难怪公众普遍讨厌AI,AI行业显然并没有尽力让自己看起来讨人喜欢。
An AI agent deleted our production database. The a… #
https://news.ycombinator.com/item?id=47914375
I would never, ever trust my data with a company that, faced with this sort of incident, produces a postmortem so clearly intended to shift all blame to others. There’s zero introspection or self criticism here. It’s all “We did everything we possibly could. These other people messed up, though.”
You can’t have production secrets sitting where they are accessible like this. This isn’t about AI. This is a modern “oops, I ran DROP TABLE on the production database” story. There’s no excuse for enabling a system where this can happen and it’s unacceptable to shift blame when faced with the reality that this is exactly what you did.
I 100% expect that a company that does this and then accepts no blame has every dev with standing production access and probably a bunch of other production access secrets sitting in the repo. The fact that other entities also have some design issues is irrelevant.
dpark
我绝对不会信任一家在面对此类事件时,会发布一份明显旨在将所有责任推给别人的事后报告的公司。这里完全没有任何反思或自我批评。全是“我们已经尽了最大努力,但其他人搞砸了。”
你不能让生产环境的机密数据放在那里被这样访问。这不关AI的事。这是一个现代版的“哎呀,我在生产数据库上运行了DROP TABLE”的故事。启用一个允许这种情况发生的系统是毫无借口的,在面对事实时推卸责任是不能接受的,因为这正是你们做了的事情。
我百分之百相信,那些这么做然后不承担责任的公司,每个开发人员都拥有生产环境的常驻访问权限,而且很可能还有一堆其他生产环境的访问机密就放在代码仓库里。其他实体也有一些设计问题这一点无关紧要。
Asahi Linux Progress Linux 7.0 #
https://news.ycombinator.com/item?id=47910068
.. macOS only ever programs CS42L84 to operate at either 48 or 96 kHz, we could only add support for those two sample rates to the Linux driver ..
However, CS42L42 supports all the other common sample rates, and while the register layout and programming sequence is different, the actual values programmed in for 48 and 96 kHz are the same across both chips. What would happen if we simply took the values for all other sample rates from the CS42L42 datasheet and added those to the CS42L84 driver? As it turns out, you get support for those sample rates!
The patch to enable hardware support for 44.1, 88.2, 176.4 and 192 kHz sample rates on both the input and output of the headphone jack was submitted directly upstream, and has been merged for 7.1. We also backported this to Asahi kernel 6.19.9, allowing users to take advantage of this immediately.
Nice bit of chip sleuthing and reverse engineering from the Asahi team!
brynet
macOS 只让 CS42L84 芯片以 48 或 96 kHz 运行,我们只能给 Linux 驱动添加这两种采样率的支持。
但是,CS42L42 支持所有其他常见采样率,虽然寄存器布局和编程顺序不同,但 48 和 96 kHz 所编程的实际参数在两个芯片中是相同的。如果我们直接从 CS42L42 的数据手册中取出其他采样率的参数并添加到 CS42L84 驱动中,会发生什么?结果是,你会获得对那些采样率的支持!
用于使耳机接口输入和输出支持 44.1、88.2、176.4 和 192 kHz 采样率的硬件补丁已直接提交到上游,并已合并进 7.1 版本。我们也将其回ported 到 Asahi 内核 6.19.9,使用户能够立即利用这些功能。
Asahi 团队真是一次精彩的芯片侦查和逆向工程!
There Will Be a Scientific Theory of Deep Learning #
https://news.ycombinator.com/item?id=47897169
As someone who works in the area, this provides a decent summary of the most popular research items. The most useful and impressive part is the set of open problems at the end, which just about covers all of the main research directions in the field.
The skepticism I’m seeing in the comments really highlights how little of this work is trickling down to the public, which is very sad to see. While it can offer few mathematical mechanisms to infer optimal network design yet (mostly because just trying stuff empirically is often faster than going through the theory, so it is more common to retroactively infer things), the question “why do neural networks work better than other models?” is getting pretty close to a solid answer. Problem is, that was never the question people seem to have ever really been interested in, so the field now has to figure out what questions we ask next.
hodgehog11
作为一个在该领域工作的人,这篇文章对最受欢迎的研究项目做了相当不错的总结。最有用且令人印象深刻的部分是最后列出的开放性问题,几乎涵盖了该领域所有主要的研究方向。
我在评论中看到的怀疑态度,真实地反映出这些研究成果几乎没有传递到公众层面,这让人感到非常遗憾。虽然它目前还无法提供多少数学机制来推断最优网络设计(主要是因为单靠经验尝试往往比理论推导更快,因此更常见的是事后推断),但“为什么神经网络比其他模型表现更好?”这个问题已经接近有了一个较为明确的答案。问题是,这似乎从来都不是大家真正感兴趣的问题,所以这个领域现在必须思考接下来我们应该提出哪些问题。
The West forgot how to make things, now it’s forge… #
https://news.ycombinator.com/item?id=47909074
“Money was never the constraint. Knowledge was.”
The irony is how difficult it is to read this obviously AI-generated article due to its unnatural prose and choppy flow full of LLM-isms. The ability to write is also a skill that atrophies.
Even when AI is understandably used due to language fluency, I’d prefer to read an AI translation over a generated article.
If you don’t care enough to write it, why should I care enough to read it?
TonyAlicea10
“金钱从来都不是限制,限制的是知识。”
讽刺的是,这篇明显由人工智能生成的文章由于其不自然的文风和充满大语言模型痕迹的断断续续的节奏,阅读起来非常困难。写作能力也是一种会退化的技能。
即使出于语言流利度考虑使用人工智能,我也更愿意阅读人工智能翻译的内容,而不是生成的文章。
如果你连写作都不够用心,我为什么要有兴趣去读呢?
Amateur armed with ChatGPT solves an Erdős problem #
https://news.ycombinator.com/item?id=47907510
It seems like alot of scientific advancements occurred by someone applying technique X from one field to problem Y in another. I feel like LLMs are much better at making these types of connections than humans because they 1) know about many more theories/approaches than a single human can 2) don’t need to worry about looking silly in front of their peers.
shybear
看来很多科学进展都是有人将某一领域的技术X应用到另一领域的问题Y上而实现的。我觉得大型语言模型在做这类跨领域联系方面比人类更擅长,因为它们1)掌握的理论和方法远远超过任何单个人类,2)不必担心在同行面前显得愚蠢。
Amateur armed with ChatGPT solves an Erdős problem #
https://news.ycombinator.com/item?id=47907640
Each time there’s a new model release a few more get solved.
I’m no expert, but based on the commentary from mathematicians, this Erdős proof is a unique milestone because the problem received previous attention from multiple professional mathematicians, and the proof was surprising, elegant, and revealed some new connections.
The previous ChatGPT Erdős proofs have been qualitatively less impressive, more akin to literature search or solving easier problems that have been neglected.
Reading the prompt[1], one wonders if stoking the model to be unconventional is part of the success: “this … may require non-trivial, creative and novel elements "
[1] https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
energy123
每次有新模型发布时,就会解决更多的问题。
我不是专家,但根据数学家的评论,这个欧几里得证明是一个独特的里程碑,因为这个问题之前受到过多位专业数学家的关注,而这次的证明令人惊讶、优雅,并揭示了一些新的联系。
之前用ChatGPT生成的欧几里得证明在质量上不如这次,更像是文献检索或者解决了一些被忽视的简单问题。
看了提示[1],会觉得让模型采用非常规思维可能是成功的一部分:“这可能需要非平凡的、有创造性和新颖的元素”。
[1] https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c
Firefox Has Integrated Brave’s Adblock Engine #
https://news.ycombinator.com/item?id=47898312
The day Firefox drops MV2 is the day I find a new browser. We’re already at <1% usershare, it’s not like there’s safety in numbers here
OsrsNeedsf2P
Firefox 放弃 MV2 的那一天,就是我寻找新浏览器的那一天。我们的用户份额已经不到 1%,这并不是说人数多就安全。
EU Age Control: The trojan horse for digital IDs #
https://news.ycombinator.com/item?id=47908432
It’s not a trojan horse, it’s spelled out in the decision, debates, and legal texts to be the explicit goal. The age verification requirement was picked both as a means to prove the technology is sound and as a simple starting point for a full digital ID solution.
The EU already has some form of digital ID in fact, every government provides some kind of OIDC-like service tied to either smart cards or accounts that authenticate the user against a government. The digital wallet solution is an extension to that system that will allow foreign EU citizens to authenticate themselves more easily (eIDAS 2 already implemented an OIDC-like solution but implementation isn’t automatic) as well as offer to store the (often mandatory to carry) ID on your phone.
The “what if you buy alcohol for your kids” sscenario of somone giving someone else their age verification tokens is tired and nonsensical. You can already do that in the real world. We accept that risk and, depending on the country, make it a crime in case they do catch you. It hasn’t made liquor stores send someone along to see you drink your booze or watch you enjoy your porn mag.
jeroenhd
这并不是一个特洛伊木马,决策、辩论和法律文本中都明确写明这是明确目标。年龄验证要求既被选作证明技术可行的手段,也是作为完整数字身份解决方案的简单起点。
实际上,欧盟已经有某种形式的数字身份,每个政府都提供某种类似OIDC的服务,绑定智能卡或账户,用以对用户进行政府认证。数字钱包解决方案是对该系统的扩展,能够让非本国欧盟公民更方便地进行身份认证(eIDAS 2已经实现了类似OIDC的解决方案,但其实施并非自动完成),同时还能将常常必须随身携带的身份证存储在手机上。
“如果你给孩子买酒怎么办”的场景里,有人把自己的年龄验证令牌给别人使用的担忧显得陈旧且无意义。现实生活中你已经可以这样做。我们接受这种风险,并且根据不同国家的规定,如果被发现是违法行为,会追究责任。但这并没有让酒类商店派人陪伴你喝酒或监督你看色情杂志。