在巴格达发生的一起令人痛心的“荣誉谋杀”案件中,15岁的考萨尔·巴沙尔·阿尔-侯赛贾维(Kawthar Bashar al-Husayjawi)惨遭家人杀害。考萨尔13岁时被迫陷入一段充满虐待的婚姻,后来由于拒绝第二次被迫嫁给一名罪犯,她选择了离家出走。尽管有证据证实她随后遭到邻居绑架和性侵,是受害者,但她的男性亲属仍对她进行了审讯并将其处决,向她连开十枪并用斧头砍杀。此后,她的家人竟在街头庆祝她的死亡。 这起悲剧凸显了伊拉克盛行的有罪不罚文化。当局被指控腐败且存在共谋行为,往往将此类谋杀视为轻微的家庭纠纷,而非蓄意犯罪。作为亲属的作者撰文打破沉默,担心此案最终只会由一名替罪羊承担轻判而草草了事。这种暴行因倒退的立法趋势而加剧,包括童婚现象的正常化,这剥夺了年轻女孩的自主权和保护。考萨尔的故事是对这一法律和社会体系的沉痛控诉,该体系助长了男性谋杀女性却不必畏惧正义的歪风。

这篇 Hacker News 帖子讨论了一名 15 岁女孩因拒绝包办婚姻而遭杀害的惨剧。讨论强调了童婚在全球范围内的顽固性,指出在美国许多州,童婚至今仍是合法的,自 2000 年以来已有数十万起相关案例被记录在案。 参与者探讨了文化变革的复杂性,质疑外部干预——如军事占领或法律强制——是否能有效遏制包办婚姻或名誉谋杀等习俗。一些人认为法律体系必须树立严格的先例,并援引了历史上国家坚决反对有害习俗的例子。另一些人则指出,社会运动、媒体和宗教领袖在改变社会规范方面发挥着重要作用。讨论还涉及系统性暴力这一更广泛的问题,并将国外的名誉受损虐待与美国司法系统中的“恐同辩护”进行了对比。归根结底,该帖子反映了人们对于西方干预异国文化的有效性,以及某些国家在谴责他国此类行为时,却未能解决自身国内同样问题的道德不一致性,表现出了一种沉重的分歧。

坏蚊子传播疾病,好蚊子可以阻止它们。Debug 是一群科学家和工程师组成的团队,他们正在开发一种技术,通过培育并释放不育蚊子来消灭那些携带疾病的蚊子。观看视频了解更多。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Debug Project (debug.com) Eridanus2 发布于 48 分钟前,26 分 | 隐藏 | 往期 | 收藏 | 4 条评论 帮助 ventana 5 分钟前 | 下一条 [-] 很酷的项目!但绝对不是我点击“debug.com”这个域名时所预期的内容。 回复 strongpigeon 2 分钟前 | 上一条 | 下一条 [-] 这很酷,但这不就是大约 10 年前那个“Verily”项目吗?这里有什么新东西,这些年来发生了什么? 回复 yboris 13 分钟前 | 上一条 | 下一条 [-] 关于此事的深度报道:https://www.goodthoughts.blog/p/google-mosquitoes Google 蚊子 - 调试佛罗里达 回复 king_zee 4 分钟前 | 上一条 | 下一条 [-] 这安全吗?我希望它不会以我们无法预见的方式对生态造成更严重的破坏,这种情况以前发生过。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

Alphabet 宣布筹集 800 亿美元股权资本,旨在为其人工智能基础设施和计算能力的巨大扩张提供资金,并预计 2026 年的资本支出将在 1800 亿至 1900 亿美元之间。作为此举的一部分,Alphabet 从伯克希尔·哈撒韦公司获得了 100 亿美元的私募配售。 此举不仅包括发行股票,而非仅仅依赖现金,这标志着这家科技巨头战略上的转变。虽然一些评论人士认为,Alphabet 正明智地利用强劲的市场需求来为其巨大的基础设施“押注”提供资金,但另一些人则表示怀疑。批评人士指出,Alphabet 实际上正在从一家纯粹的现金生成型企业向重资产的基础设施公用事业公司转型,随着支出持续飙升且缺乏明确的盈利时间表,人们对未来的投资回报率产生了担忧。 Hacker News 上的讨论强调了谷歌专有数据的巨大价值,特别是其庞大的 YouTube 内容索引,这是其关键的竞争优势。然而,市场的即时反应略显消极,反映出对于这些巨额投资能否带来预期增长,或者超高利润的科技扩张时代是否正在降温,市场仍存在持续的不确定性。

缅因州民主党参议院候选人格雷厄姆·普拉特纳(Graham Platner)正面临一场日益严重的危机,这威胁到了他挑战共和党参议员苏珊·柯林斯(Susan Collins)的竞选进程。尽管普拉特纳一直精心打造其“工人阶级进步派”的形象,但他在州民主党支持下快速推进的竞选之路,目前已因一系列丑闻而蒙上阴影,其中包括有关他过去带有纳粹倾向纹身的报道以及极具争议的网络言论。 最新的爆料暗示出一种不当行为和蓄意掩盖的模式。据报道,普拉特纳的妻子发现他曾使用常与网络掠夺者相关联的即时通讯应用 Kik 进行婚外情。虽然竞选团队将这些爆料斥为私人婚姻问题,但随着吉纳维芙·麦克唐纳(Genevieve McDonald)指控竞选团队试图让她对这些不忠行为保持沉默,事态进一步升级。麦克唐纳声称,竞选团队曾向她提供1.5万美元,要求她签署保密协议,并威胁称如果她公开此事,就将抹黑她的名誉。 这些关于有组织掩盖事实的指控,在民主党内部引发了深刻反思。随着越来越多的证据与普拉特纳精心包装的人设相矛盾,党内成员正日益质疑,他们是否在审查候选人的过程中存在失职,而该候选人的诚信与判断力如今已受到根本性的质疑。

马萨诸塞州总检察长安德烈亚·乔伊·坎贝尔(Andrea Joy Campbell)已对联合健康保险公司(UnitedHealthcare)提起诉讼,指控该保险公司在2015年至2025年间骗取了州医疗补助计划(MassHealth)超过1亿美元的资金。 诉状称,联合健康保险公司采取了“不惜一切代价实现增长”的策略,故意夸大成员的健康评估结果,以获取更高的报销比例。具体而言,州政府指控该公司实施了“过度编码”,即虚假地将成员标记为患有行为障碍或药物滥用障碍。此外,诉讼还指控联合健康保险公司对被错误归入高成本类别的成员保留了多付的款项,并提交了既不需要也未提供的强化护理服务索赔。一项调查特别指出,尽管该公司声称99.3%的高级别成员接受了每日护理,但实际上近90%的成员甚至从未接受过一次上门服务。 联合健康保险公司否认了这些指控,称该诉讼“毫无根据”,并为其支持有复杂护理需求的老年人的工作进行了辩护。州政府则主张,这些行为是以牺牲公共资源为代价,旨在实现利润最大化的系统性举措。

西方学院和加州大学尔湾分校的研究人员正在开发一种名为“机电重塑”(EMR)的非侵入性视力矫正技术,旨在替代传统的激光原位角膜磨镶术(LASIK)。与 LASIK 通过激光永久切除角膜组织不同,EMR 利用微弱电流暂时改变角膜的 pH 值。这一过程能使角膜中的胶原蛋白变软,从而在将其固定成新形状之前,能够对眼睛进行温和的塑形。 在针对兔眼的早期试验中,EMR 在不切割组织的情况下成功矫正了视力,有望避免干眼症或角膜结构减弱等 LASIK 的常见并发症。该手术使用特制的隐形眼镜状电极,过程仅需约一分钟,且成本可能远低于现有的激光系统。研究人员希望,除了治疗近视外,这项技术未来还能用于矫正远视、散光以及角膜混浊。 尽管研究结果令人振奋,但 EMR 目前仍处于高度实验阶段。研究人员提醒,仍需在活体对象上进行大量研究,以确保该手术的长期稳定性和安全性。如果获得成功,EMR 将有望提供一种更廉价、更安全且可能具备可逆性的视力矫正方法,这将标志着视力矫正技术从侵入性手术向非侵入性方向的重大转变。

抱歉。

佛罗里达州总检察长詹姆斯·乌特迈尔(James Uthmeier)对 OpenAI 及其首席执行官山姆·奥特曼(Sam Altman)提起了一项里程碑式的民事诉讼,指控该公司将商业利益置于用户安全之上。诉状称,OpenAI 在明知存在严重风险的情况下发布了 ChatGPT,隐瞒内部安全预警,并在产品危害方面欺骗公众。 该诉讼指出,OpenAI 的行为危及了佛罗里达州民众,尤其是儿童,因为它助长了自残行为、煽动暴力,并在缺乏足够家长监管的情况下收集未成年人的数据。此外,该州声称人工智能具有成瘾性,对认知有害,且容易产生该公司刻意淡化的危险错误。 在此次法律行动之前,州检察官办公室已针对 ChatGPT 与 2025 年 4 月佛罗里达州立大学发生的一起致命枪击案之间可能存在的联系,展开了单独的刑事调查。通过发起这项诉讼,佛罗里达州旨在追究 OpenAI 在所谓欺骗性商业行为上的责任,并寻求赔偿,同时要求该公司立即停止目前的运营方式。

佛罗里达州总检察长已对 OpenAI 及其首席执行官山姆·奥特曼提起诉讼,指控其存在欺骗性商业行为。诉状称,该公司将商业增长和市场扩张速度置于安全性之上,在明知存在潜在风险且内部已有警告的情况下,仍执意发布 ChatGPT,甚至向未成年人开放。 诉讼指出,OpenAI 在该工具的安全性问题上误导了佛罗里达州民众。起诉书认为,尽管 OpenAI 声称技术安全,但该技术实际上助长了暴力和自残等伤害行为。 此消息在 Hacker News 上引发了热议。虽然一些用户承认这些指控性质严重,但也有人对该州的法律策略表示质疑。批评者认为,通过这种诉讼方式进行监管属于“过度”或非传统的手段,并建议对人工智能的全面监管应由国会负责,而非通过州级诉讼。一些参与者还推测,该诉讼可能具有政治动机。

GrapheneOS 讨论论坛 正在加载... 建议使用启用了 JavaScript 的现代浏览器以获得最佳浏览体验。 尝试加载本站完整版本时出错。请尝试强制刷新页面以修复该错误。 GrapheneOS 语音服务 (Speech Services) 第 2 版发布 GrapheneOS GrapheneOS 语音服务第 2 版发布: https://github.com/GrapheneOS/SpeechServices/releases/tag/2 请参阅链接的发行说明,以获取相对于上一版本的改进摘要以及完整更新日志的链接。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 GrapheneOS 语音服务版本 2 发布 (grapheneos.org) 13 分,由 pretext 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 Panino 2 分钟前 [–] 虽然已经过去一段时间了,但我出于好奇曾在 iPhone 和另一台设备(可能是笔记本电脑?)上测试过文本转语音功能(闭着眼睛),发现 iOS 的功能更先进,但仍然有所欠缺。我不了解这方面的具体情况,但很高兴看到有改进。就投入产出比而言,GrapheneOS 似乎是一个价值很高的项目。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

从任何地方获取文本。 Textile 可以使用你提供的文本、读取剪贴板内容,并运行电脑上的命令来生成文本。只要你有文本,Textile 就能使用它。 打造理想效果。 Textile 允许你随心所欲地添加、前置和替换文本,确保每次都能写出你需要的精确内容。 掌控剪贴板。 即使你不使用 Textile 的全部功能,它也是一款出色的剪贴板管理器。以极速将常用文本复制到剪贴板。

**Textile** 是一款专为 macOS 设计的全新开源桌面应用程序,旨在帮助用户构建和处理复杂的文本字符串。通过整合命令输出、剪贴板内容和静态字符串等多种输入方式,Textile 允许用户逐步构建动态文本序列,并通过快捷键或按钮触发。 该应用旨在解决构建复杂 URL 或存储生僻特殊字符等重复性任务,免去了在多个窗口间手动复制粘贴的繁琐。基于 Electron 开发,开发者强调“本地优先”理念,使应用同时充当界面和数据库,确保用户数据存储在本地而非云端。 该项目免费使用,无需注册,是开发者的个人学习项目。开发者承认在复杂键盘快捷键等方面仍有改进空间,并欢迎社区反馈。目前,Textile 仅支持 macOS。更多信息请访问 [gettextile.app](https://gettextile.app)。

詹姆斯·霍华德·康斯特勒认为,当前的民主党政治示威(例如在新泽西州德莱尼大厅移民及海关执法局设施的抗议活动)并非真正的社会运动,而是人为制造的“心理剧”。他指出,这些活动是专业策划的,现场出现了餐饮服务帐篷和装备精良的战术装备,暗示这些是旨在煽动不稳定的策划性噱头。 康斯特勒将这些抗议活动描述为“无视现实”的表演,并将其与加州政治竞选中展现的激进性别意识形态相提并论。他以汤姆·斯泰尔支持生理男性参加女子体育比赛为例,称其为日益不得人心且荒谬的政纲。 最终,康斯特勒断言,民主党已经放弃了实质性政策,转而追求空洞、表演性的愤怒。他呼吁执法部门调查这些人为抗议活动背后的金主,并质疑美国公众是否已对这种“无视现实”的政治忍无可忍。他总结道,即将到来的选举将成为一次全民公投,以决定这种表演性的执政风格是否已经走到了尽头。

请启用 JavaScript 和 Cookie 以继续。

佛罗里达州总检察长已对 OpenAI 及其首席执行官山姆·奥特曼提起诉讼,指控 ChatGPT 不安全,并就其潜在风险误导了公众。该州声称,这一人工智能平台助长了成瘾、自杀和大规模枪击等危害,并根据佛罗里达州的消费者保护法、过失法及公共妨害法寻求民事处罚。 Hacker News 上的公众反应多持怀疑态度。许多评论者认为,此项诉讼是出于政治动机,旨在表明对大型科技公司的反对,而非一项可行的法律挑战。一些人将其比作 20 世纪 90 年代针对电子游戏行业的诉讼,指出要证明人工智能生成结果的法律责任十分困难。 此次讨论还突显了共和党各州之间日益扩大的分歧:当德克萨斯州积极争取科技投资和基础设施建设时,佛罗里达州正采取一种更民粹、反科技的立场。观察人士认为,随着人工智能成为一个两极化的政治议题,这起诉讼可能只是一种表演性策略,旨在利用公众对山姆·奥特曼及其公司的不满情绪,即便该案件在法庭上将面临重重阻碍。

德意志银行分析师报告称,美国 5 月份汽车销量保持韧性,经季节性调整后的年化销售率(SAAR)为 1590 万辆,略高于去年的 1570 万辆。尽管同比绝对销量看起来有所下降,但这主要归因于销售日少了一天;如果进行调整,日均销售率实际上增长了约 2%。 报告要点如下: * **需求稳健:** 消费者需求保持稳定,似乎未受地缘政治紧张局势或高油价影响,车辆动力系统组合保持不变。 * **定价与激励:** 汽车制造商在很大程度上保持了定价纪律。尽管激励水平仍高于去年(主要受福特和斯泰兰蒂斯的激进促销推动),但与 4 月相比已略有缓和。 * **展望:** 德意志银行维持其全年美国 1590 万辆的销量预测。虽然这一数字比一些汽车制造商的预测更为保守,但该机构认为当前的销售环境是“建设性的”,且基本面稳健。

亲伊朗黑客近期劫持了包括奥巴马白宫和美国太空军在内的多个高知名度Instagram账号,其手段是利用Meta新推出的AI客户支持机器人。Telegram上流传的说明详细阐述了攻击者如何诱导AI将目标账号绑定至新的电子邮箱地址,从而绕过安全机制并触发密码重置。 安全专家指出,这起事件凸显了一个新的危险攻击面:旨在简化账号恢复流程的AI聊天机器人,同样容易受到针对人工客服的社会工程学攻击。虽然Meta随后部署了紧急补丁以解决该问题,但此次事件强调了自动化处理敏感行政任务所带来的风险。 值得注意的是,该漏洞对启用了多因素身份验证(MFA)的账号无效。网络安全研究人员强调,使用强有力的MFA(例如安全密钥或通行密钥)仍是对抗此类自动化攻击最有效的防御手段。Meta已确认问题得到解决,且没有后端数据库遭到破坏。

Hacker News 上的一场讨论揭露了一个安全漏洞:据报道,有用户利用 Meta 的 AI 支持机器人劫持 Instagram 账号。这种方法并非传统的黑客技术,而是通过社会工程学手段——即“礼貌地请求”AI 发送登录链接。 评论者对 Meta 的安全标准表示了广泛的不满,许多人认为该漏洞是“极其疏忽”和糟糕的工程文化所致。批评者认为,Meta 对自动化且审查不严的系统(可能是为了完成内部指标而实施)的依赖,导致了严重的账号恢复和身份验证故障。 虽然一些用户争论社会工程学是否应被归类为“黑客行为”,但各方共识指向了一个更广泛的系统性问题:Meta 的平台仍然充斥着安全漏洞,除非这些问题威胁到广告收入,否则似乎得不到解决。用户指出,当前的 Instagram 登录流程依然存在故障且难以操作,这进一步加剧了对该公司基础设施的批评。

40 岁的毛利·巴切(Mauli Bachche)担任孟买“达巴瓦拉”(dabbawala,即饭盒快递员)已有二十载。他每天的工作极其艰辛,长达 15 个小时,为了维持生计,他还需要兼职另一份工作。和许多同行一样,巴切的客户群因疫情后工作习惯的改变而不断缩减,这使他在停滞的收入与不断上涨的生活成本之间挣扎。 这种经济不稳定性是一个系统性问题。孟买饭盒供应商协会的领导者指出,这一传统网络正在萎缩,促使人们讨论转向兼职模式,以便从业者能去寻求报酬更高的工作。然而,前景依然暗淡;资深的“达巴瓦拉”担心年轻一代正放弃这一行业去寻找收入更好的机会,使得这个拥有百年历史的标志性配送系统处于岌岌可危的十字路口。尽管这些身穿白衣的快递员每天早晨依然穿梭在孟买拥挤的火车中,但这一传统在现代经济的冲击下,正日益艰难地寻求生存。

这场 Hacker News 讨论聚焦于孟买传奇的“达巴瓦拉”(dabbawala)配送系统,该系统一个多世纪以来高效地为数百万人提供了餐食。 讨论探讨了这种去中心化、社区驱动的模式与现代风投支持的服务(如 DoorDash)之间的对比。虽然一位评论者讥讽道,硅谷会试图通过人工智能来“优化”这项服务,但其他人则在争论这种转型是否可行。 该帖以一个有趣的提议结尾:达巴瓦拉模式是否可以在不失去其核心去中心化架构的情况下实现现代化和标准化?参与者表达了对这种传统系统能否通过将其独特的有机结构与当代服务标准相结合而重焕活力的兴趣。

作者迈克尔·斯奈德(Michael Snyder)认为,美国社会正经历着严重的治安崩溃,而官方操纵的犯罪统计数据掩盖了这一事实。他指出,猖獗的无家可归现象、毒瘾、帮派暴力和随机袭击已造成了一种让公民不再感到安全的社会环境。 为了支持自己的观点,斯奈德列举了十个近期的社会混乱案例。其中包括西雅图居民被迫筑起自制路障以抵御枪击;芝加哥和底特律等大城市中发生的暴力“青少年群体骚乱”;以及毫无理性的杀戮事件,例如一名老人因展示政治标语而被谋杀,以及一起涉及在线交易平台的致命抢劫案。他还重点提到了针对性的仇恨行为和极端的家庭暴力。 斯奈德总结称,这些事件并非孤立存在,而是国家整体衰败的征兆。他认为,广泛的毒品滥用和对社会规范的普遍排斥已将国家推向了崩溃的边缘,并指出当权者正在忽视这种无法无天的真实程度。

在将图像于 8 位整数和浮点数值之间进行转换时,程序员通常会在两种方法之间做选择:**标准方法**(除以 255)和**替代方法**(添加 0.5 偏移量,除以 256)。 标准方法是行业规范,因为它将 0 映射为 0.0,将 255 映射为 1.0,从而确保了一个简洁的动态范围,使“黑色”保持为零。尽管这种方法会导致极端的色彩区间只有一半大小,并引入微小的重构误差,但对于大多数图像处理任务而言,这些问题在统计学上可以忽略不计。 替代方法被称为“中阶(mid-tread)”量化器,它将数值放置在其对应范围的中心。虽然从理论上讲它更精确,且对于抖动(dithering)等特定任务很有用,但它迫使开发者必须明确处理 8 位限制,这可能会使那些期望 [0, 1] 范围的代码变得复杂。 **结论:** 对于通用图像处理,请使用标准的除以 255 的方法,特别是在处理外部文件时,因为它能保持预期的从黑到白的 [0, 1] 映射。仅当你控制整个流程、需要高精度量化,并准备好处理由此产生的色彩逻辑偏移时,才使用替代方法。

Hacker News 的讨论围绕着 8 位 RGB 值(0–255)归一化时,应除以 255 还是 256 展开。 参与者从技术层面提出了各种观点: * **“255”论点:** 支持者认为,由于取值范围是 0–255,使用 255 作为除数相当于将该范围视为一把标准尺,其中 255 代表最大长度,从而确保了零值的正确性。 * **“256”论点:** 另一些人出于性能考虑更倾向于使用 256,因为它可以使用位移操作(`>> 8`),这比浮点除法在计算上更快。 * **“+0.5”方法:** 有人建议在计算中加入 0.5,以避免区间边缘的偏差。 * **细微差别:** 评论者指出,这场争论往往忽略了更广泛的背景,例如非线性传递函数、人类亮度感知的特性以及历史广播标准(如 16–235)。 最终,讨论强调了尽管 256 通常因效率而被选择,但“正确”的方法取决于你是优先考虑数学精度还是计算速度。

本文指出,GitHub 已成为科技行业基础设施衰退的象征,其现状被形容为“对软件的犯罪”。作者认为,GitHub 正饱受可靠性差、管理不透明以及重“炫酷”AI 功能而轻核心功能的困扰。 通过对比 GitHub、GitLab 和 Codeberg 的前端性能,作者强调了 GitHub 臃肿不堪、极度消耗内存以及不必要的复杂性。作者断言,GitHub 的前端需要海量代码和多次 HTTP 请求才能加载简单页面,其效率比竞争对手低了几个数量级。 文章否定了“平台崩坏”(enshittification)这一标签,认为该平台的技术债务和架构缺陷已严重到足以影响微软自身的运营与成本。作者得出结论:GitHub 的领导层优先考虑高管和投资者的议程,牺牲了专业诚信,导致产品变得极其缓慢、不稳定,且脱离了软件开发者的实际需求。文章呼吁回归高性能、可靠的软件工程,并警告称,大型企业已不再值得被托付关键基础设施。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 GitHub 与针对软件的罪行 (eblog.fly.dev) 26 分,pplanu 发布于 35 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 rglover 9 分钟前 [–] “当你应该思考激励机制的力量时,永远、永远不要去想别的事情。”——查理·芒格 编辑:写得真棒,谢谢楼主。 回复 croottree 6 分钟前 | 父评论 [–] 谢谢,但我不是作者。我只是发现了这篇文章,由于我最近在 GitHub 上遇到的一系列麻烦,它引起了我的共鸣…… 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

俄罗斯已实施航空煤油出口禁令,有效期至2026年11月30日,旨在稳定国内供应。此举继汽油限制措施之后,直接应对乌克兰持续对俄炼油基础设施发动的无人机袭击,这些袭击已迫使俄罗斯原油加工率降至16年来的最低水平。 乌克兰通过针对炼油厂和出口终端,意在削弱俄罗斯的石油收入,并将战争的经济影响直接引入俄罗斯境内。尽管出口禁令凸显了俄罗斯能源行业的脆弱性,但分析人士预计全球市场不会受到重大干扰;俄罗斯在国际航空燃料供应中所占比例不到2%,日均出口量约为3万桶。该禁令不包括政府间协议涵盖的供应。

GHC 的 `ApplicativeDo` 标志可以将 Haskell 的 `do` 标记优化为高效且可并行的 `Applicative` 操作,但由于其调度算法计算开销巨大($O(n^3)$),该功能一直隐藏在一个不常用的标志后。作者着手改进这一问题,并发现调度相互独立的语句同时又要满足依赖关系,这一问题在结构上与 RNA 二级结构预测完全相同。 这两个问题都涉及在满足约束的前提下对项目进行排序:生物学中是聚合物的折叠,而编译器中则是对依赖感知操作进行嵌套。两者都依赖于“非交叉”或“不重排序”规则,该规则将搜索空间限制在一种可控的结构内。 虽然计算生物学中更先进的亚立方算法在理论上改善了复杂度,但其巨大的常数因子使其在编译器中并不实用。相反,作者发现通过应用“最长链”边界并利用成本函数的单调性,可以显著降低现实代码中 $O(n^3)$ 的瓶颈。这种优化用高效的剪枝取代了穷举搜索,在消除编译时性能瓶颈的同时,也突显了编译器理论与自然界基础算法之间令人惊叹的深刻联系。

这场 Hacker News 讨论聚焦于一篇探讨如何利用源自生物学的先进计算技术来优化 Haskell (GHC) 编译速度的博文。作者提出使用“最长链界限”和“极限剪切捷径”来缓解 GHC 编译器当前面临的指数级编译时间“悬崖”。 尽管这些方法在理论上将算法复杂度降低到了亚立方级,但作者也承认,在实际中几乎无法实现。该过程需要将复杂的线性代数整合进 GHC 中,尽管从理论上效仿自然的效率很有吸引力,但对于实际开发而言并不切实际。归根结底,该项目是一次有趣的算法优化思维练习,而非 GHC 未来发展的可行路径。

据报道,特朗普总统在访问北京后,已搁置了一项价值140亿美元的对台军售计划,并打算避免与台湾地区领导人赖清德直接沟通。此举符合美国“战略模糊”的政策,也反映了中国领导人习近平所施加的外交压力。习近平曾警告称,处理台湾问题若有不慎,可能会造成“危险局面”。 在此外交僵局中,台湾在野党国民党主席卢秀燕已开启美国之行。卢秀燕近期曾与习近平会面,她主张与北京实现更紧密的和解,并坚持认为其党派最能确保台海稳定。虽然她寻求与美国高层会晤以提升其作为2028年总统大选潜在候选人的形象,但据报道,白宫不太可能为其提供相关接触机会。 总体而言,当前局势反映了一场持续的权力博弈:北京正试图将台湾纳入其轨道,将自身定位为和平的保障者,同时挑战美国目前对这一自治岛屿的支持。

这份摘要审视了由尼克·博斯特罗姆(Nick Bostrom)等思想家普及的“超级智能”恐慌论。他们认为人工智能将不可避免地经历递归式的失控演化,从而诞生出能够为了实现任意目标而毁灭人类的神级实体。 作者批判了这种叙事,将其标记为一种误读了思维与智能本质的现代“技术宗教”。通过分析几种错误的论据——例如将智能视为一种简单的、可优化的量——作者指出,超级智能的构想往往是“程序员的弦理论”:抽象、不可验证,且容易导致“认知上的习得性无助”。 与其担心不可避免的机器人末日,作者认为我们正处于人工智能发展的“17世纪炼金术”阶段。虽然我们掌握了一些线索,但对意识和认知复杂性仍缺乏根本性的理解。最终,作者警告称,沉迷于科幻末日场景只是一种分散注意力的行为。它助长了精英阶层中的“AI角色扮演”,使他们忽视了监控、社会控制和剥削等现实世界中的伦理危害,转而追求宏大且狂妄的幻想。作者敦促开发者停止对无限的沉思,转而开始“疏通”现有技术的弊端。

这场 Hacker News 讨论围绕 2016 年的文章《超级智能:吞噬聪明人的观点》展开,该文批评了围绕人工智能的普遍恐惧。 评论者强调了几个关键主题: * **共生关系:** 一位用户指出,人类长期以来一直处于与机器共同进化的状态,而非“控制”它们。这表明我们与技术的关系更像是被迫的依赖,而非掌控。 * **对“硬起飞”的批判:** 一位贡献者挑战了“硬起飞”理论,认为它错误地将智能等同于不受限制的优化。他们指出,即使是像人工智能控制全球基础设施这类理论风险,也未考虑现实世界的复杂性。 * **社会反弹:** 在反思作者对科技精英的原始分析时,参与者观察到,行业领袖想要“重塑世界”并施加政治影响的欲望,正不可避免地引发民主层面的反弹。 总体而言,讨论强调了人工智能带来的生存风险,可能不在于自动驾驶机器人,而更多地源于构建这些系统的人所持有的错误假设和过度扩张的野心。

由巴里·迪勒(Barry Diller)领导的 People Incorporated 已提交一份无约束力的提案,拟以每股 48.30 美元的现金价格收购其尚未持有的米高梅国际酒店集团(MGM Resorts)全部剩余股份。该报价较米高梅近期股价有显著溢价,对该公司的估值(含债务)为 188 亿美元。目前,People Inc. 持有米高梅 26.1% 的股份。 迪勒对米高梅表达了强烈的信心,称其拥有能够抵御人工智能颠覆的“现实世界资产”,并具备数字增长潜力。如果交易顺利进行,People Inc. 计划将米高梅私有化,在保持多数控股权的同时,可能会引入其他少数股权投资者。此次收购将通过现有现金、新增债务和股权承诺组合融资。 受此消息影响,米高梅股价上涨了 15%。此举凸显了投资者转向实体、且具抗人工智能特性的资产这一更广泛趋势,同时也与博彩业类似的整合动向相呼应,例如蒂尔曼·费尔蒂塔(Tilman Fertitta)对凯撒娱乐(Caesars Entertainment)的收购意向。

美国国土安全部(DHS)已取消了海岸警卫队“大学生预任官计划”(CSPI)中基于种族的申请资格要求。该计划是一项奖学金及军官培训项目,此前申请者必须就读于联邦指定的少数族裔服务机构才有资格参与。 国土安全部表示,这些标准违反了美国宪法中关于平等保护的要求,并与特朗普政府要求在联邦机构中消除多元化、公平和包容性(DEI)政策的指令相冲突。自5月28日起,CSPI将转型为基于功绩且种族中立的项目。 此举符合本届政府在全军范围内撤除DEI倡议的总体方针。此前通过的2026财年《国防授权法案》限制了战争部(国防部)内部基于身份的亲和团体和培训项目。包括战争部长皮特·海格塞斯在内的政府官员认为,这些措施将军事准备、团结和“勇士精神”置于他们所称的具有分裂性或干扰性的社会政策之上。然而,批评人士指出,取消此类项目可能会削弱军队的招募、留任能力,以及在武装部队中发挥多元化技能和背景优势的能力。

我的第二幅地图展现了夏威夷群岛更经典的视角,重点详细描绘了夏威夷八大主要岛屿。地图包含了夏威夷岛、茂宜岛、卡霍奥拉韦岛、拉奈岛、摩洛凯岛、欧胡岛、可爱岛和尼豪岛,由水彩、Copic马克笔和Adobe Fresco创作而成。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 手工制作的夏威夷群岛地图 (notesfromtheroad.com) 7 点,bovermyer 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 nickandbro 1 分钟前 [–] 这些岛屿中的其中一个,拉奈岛,98% 的所有权归拉里·埃里森所有。 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

英国新闻频道(GB News)记者本·里奥(Ben Leo)在新泽西州纽瓦克市的一处移民及海关执法局(ICE)拘留中心外报道抗议活动时,遭遇了敌意对峙。当里奥提出有关英国移民犯罪模式的统计数据时,遭到了示威者激进的谩骂和人身暴力威胁。 随着一名活动人士指责里奥涉及历史殖民主义,冲突进一步升级,该人士最终在离记者脸部仅几英寸的地方大声咆哮威胁和侮辱。另一名抗议者则讽刺地要求里奥“滚回他的国家”。尽管局势紧张,里奥仍保持冷静,事后他指出自己当时专注于缓和事态,而当地执法部门对这些威胁似乎表现得无动于衷。 该报道强调了围绕移民辩论的紧张局势日益加剧,并指出当活动人士面对有关移民犯罪的数据时,往往诉诸于恐吓而非实质性的讨论。根据文章所述,这一事件体现了一个更广泛的趋势,即主张开放边境的人士将意识形态叙事置于经验事实之上,导致对抗性加剧,并拒绝进行文明辩论。

本文档概述了 AI 助手在 CS336 课程中为学生提供支持的指导方针。其主要目标是作为**辅助教学工具,而非解决方案生成器**。由于本课程涉及大量实现内容,AI 代理必须通过避免直接生成代码来保护学习体验。 **核心职责:** * **引导而非提供:** 通过概念解释、苏格拉底式提问和调试策略来帮助学生。 * **培养独立性:** 引导学生查阅课程资料、官方文档和分析工具。 * **鼓励最佳实践:** 建议进行合理性检查、示例演练、断言和不变量分析,而不是直接提供具体的修复方案。 * **语境化教学:** 解释错误信息和高阶算法,以建立基础性理解。 **严格禁令:** * **禁止直接提供代码:** 不得编写、重构或补全任何作业代码、TODO 或 bash 命令。 * **禁止提供解决方案:** 不得实现核心组件(例如内核、训练循环、分词器)或提供第三方实现。 当被要求直接给出答案时,AI 代理必须拒绝,并引导对话,要求学生展示其自身的努力。其目标是培养独立解决问题的能力和扎实的技术掌握程度,而非仅仅获得可运行的结果。

斯坦福大学 CS336 课程发布的《AI 智能体准则》在 Hacker News 上引发了关于人工智能与学术诚信之间冲突的热烈讨论。 该准则试图定义 AI 的恰当行为,其理念类似于通过 `CLAUDE.md` 文件来指导 AI 模型。然而,评论者大多对其实际效果持怀疑态度,指出学生可以轻易绕过这些限制。许多人认为,如果学生更看重捷径而非实际学习,单纯依靠指令式的准则是不够的。 此次讨论凸显了计算机科学教育未来的两种主要观点: 1. **“覆水难收”论:** 有人认为,与其禁止 AI,不如在课程中拥抱它,将其视为一种工具。例如,侧重于考核“硬核”知识,或将评估方式转向线下受控环境,以验证学生对概念的掌握程度。 2. **结构性变革论:** 另一些人建议,大学必须完全摒弃琐碎的作业,转向大型项目、实习以及高难度的客观考核,从而要求学生具备超越目前 AI 智能体能力的人类理解力。 总之,人们普遍认为,尽管该准则初衷良好,但不太可能阻止学生利用 AI 来规避学习过程。

在获得 650 亿美元融资并达到 9000 亿美元估值仅四天后,AI 实验室 Anthropic 已秘密提交了首次公开募股(IPO)申请。这一出人意料的举动,为该公司与竞争对手 OpenAI 争夺首家上市大型前沿 AI 企业的地位拉开了帷幕。 虽然此次提交申请开启了美国证券交易委员会(SEC)的审查程序,但并未确定具体的上市日期,最终仍取决于市场情况。Anthropic 的迅速崛起——在 Claude Opus 4.8 模型发布后的三个月内估值翻了三倍——凸显了投资者对 AI 基础设施的强烈渴求。 Anthropic 的公告发布之际,正值市场预期一系列重大活动即将到来,其中包括备受瞩目的 SpaceX IPO。随着该公司在火热的市场中争夺资本,此举标志着前沿 AI 行业正迈向公开市场,具有转折性意义。

在英国皇家海军的支持下,法国当局近期在布列塔尼海岸附近的国际水域拦截并扣押了一艘俄罗斯籍油轮“塔戈尔号”(*Tagor*)。这是自9月以来法国扣押的第四艘此类船只。法国正严厉打击俄罗斯的“影子船队”,这些船只涉嫌通过“频繁更换船旗”来规避国际制裁,从而为俄乌战争提供资金。 在行动期间,突击队员从直升机上降落到这艘悬挂虚假喀麦隆国旗的油轮上。法国官员证实,该船处于欧盟和美国的制裁名单中,目前已被带往他处,以便对其注册信息进行彻底调查。 法国总统埃马纽埃尔·马克龙为此次登船行动辩护,称其为维护海事法和执行制裁的合法措施。相反,克里姆林宫谴责此举“非法”,是“近乎海盗的行为”,并威胁将采取措施保护其货物。这些拦截行动凸显了当前地缘政治的博弈,尽管俄罗斯偶尔会部署军舰护航以阻止此类行动,但法国坚称这些作业符合国际法。

最近出现了一个令人担忧的简单漏洞,攻击者通过操控 Meta 的自动化支持 AI,成功劫持了包括奥巴马白宫账号在内的多个高知名度 Instagram 账号。 这次攻击只需获取目标用户名,并将 VPN 设置为受害者的地理位置即可。黑客通过谎称自己是账号所有者,诱骗 AI 将密码重置码发送到他们指定的电子邮箱。该过程完全绕过了双重身份验证(2FA),并允许攻击者更改账号凭据,从而有效地将合法所有者拒之门外。AI 的验证过程极易被欺骗,有时仅凭一张受害者的深度伪造视频或动态照片即可得手。 这一漏洞催生了一个黑市产业,攻击者在其中拍卖高价值账号。虽然据报道 Meta 已经修复了该漏洞,但此次事件凸显了一项重大的安全失误:一家万亿美元级别的公司竟然依赖未经核实的 AI 支持协议,将访问便利性置于基本的账号安全之上。数周以来,这种“零认证”密码重置方法在几乎没有任何监管的情况下运行,使得用户在面对一个盲目信任任何请求重置者的人工智能系统时,毫无防御能力。

Hacker News 上近期的一场讨论揭示了 Instagram AI 支持系统中的一个重大安全漏洞。用户反映,攻击者可以轻易通过操纵平台的 AI 客服来劫持账号。 攻击者通过冒充账号所有者并声称其原始电子邮箱已被盗,诱导 AI 将验证码发送至攻击者控制的任意邮箱地址。评论者对此感到震惊:Meta 在没有足够的各种人工监督或基础身份验证的情况下,竟授予了自动 AI 代理对用户账号的高权限操作权限。 用户普遍认为,这种“漏洞”体现了安全架构上的重大失误。许多人指出,允许大语言模型(LLM)绕过双重验证(2FA)并修改敏感的账号恢复设置,制造了一个巨大的漏洞,这实际上证明了账号恢复仍是身份验证中最薄弱的环节。批评人士还指出,Meta 用一个更加“天真”的 AI 取代人工客服极具讽刺意味,并形容这种情况十分“业余”,且令用户对其账号安全深感不安。

随着谷歌转向“AI 优先”的搜索体验(以 AI 生成的概览取代传统的搜索链接),DuckDuckGo 正在利用用户日益增长的不满情绪寻求发展。为了满足用户对传统浏览体验的需求,DuckDuckGo 推出了适用于 Chrome 和 Firefox 的新扩展程序,允许用户将其“无 AI”搜索页面(排除聊天提示、AI 辅助答案和 AI 图像)设置为默认搜索页。 这些工具的推出正值 DuckDuckGo 人气大幅上升之际;该公司报告称,其无 AI 搜索页面的流量急剧增加,近期访问量比之前平均水平高出 84%。这种持续增长反映了消费者对生成式 AI 主导搜索结果的广泛抵制。 尽管该公司积极将自己定位为无 AI 的替代方案,但它并未完全放弃这项技术。DuckDuckGo 仍保留了自己的 AI 聊天机器人和基于订阅的工具,这表明其策略是将 AI 集成与核心搜索功能分离开来。通过提供这些扩展程序,DuckDuckGo 旨在为用户提供一个谷歌近期更新所背离的、一致且无干扰的搜索环境。

《TechCrunch》最近的一篇报道指出,DuckDuckGo 的“无 AI”搜索界面流量激增,这在 Hacker News 上引发了广泛讨论。虽然该平台报告称相关页面流量增长了近 30%,但许多用户对此表示怀疑,认为这只是精明的营销手段,而非真正意义上对 AI 的摒弃。 批评者认为,DuckDuckGo 依然是一家“AI 集成”公司,因为除非手动隐藏,否则 AI 生成的摘要往往会默认显示。讨论的焦点在于用户对掌控权的需求:用户对科技公司强行将 AI 植入搜索产品感到不满,并强调他们更希望在标准的链接式搜索和聊天机器人界面之间进行选择。 尽管部分参与者捍卫了 AI 的实用性,但主流观点认为,许多用户发现目前的 AI 实现方式干扰了搜索网页的核心目的。许多评论者强烈偏好“纯净”、以人为中心的搜索结果,并指出行业可能忽视了一个日益增长的市场,即用户需要的是简单且 AI 可选的产品。另一些人则提到 Kagi 等替代方案,供那些寻求更多掌控权的用户选择;还有人指出,即便是“无 AI”的品牌宣传,往往也只是应对市场趋势变化的一种表面功夫。
联系我们 contact @ memedata.com