Solidot

OpenAI 联合创始人 John Schulman 宣布了离职，加盟竞争对手 Anthropic。Schulman 自 2016 年获得加州伯克利计算机科学博士之后一直在 OpenAI 工作。他在离职声明中表示希望继续深入研究 AI 对齐，而 OpenAI 在不到 3 个月前解散了其超级对齐（superalignment）团队。然而 Schulman 又强调离职不是因为 OpenAI 不支持 AI 对齐相关的工作，表示公司一直致力于相关研究的投资。超级对齐团队负责人 Jan Leike 和另一位联合创始人 Ilya Sutskever 也在早些时候离职，其中 Jan Leike 加盟了 Anthropic，而 Sutskever 联合创办了新公司 Safe Superintelligence Inc.。

三星电子工会从 7 月 8 日起宣布无限期罢工，7 月 29 日起与三星进行为期三天的谈判，就上调工资、完善奖励制度等事宜进行磋商，但双方未能达成协议，最终宣告谈判破裂。8 月 1 日工会在三星会长李在镕私宅前举行集会，要其出面解决问题。上周末，工会领导人要求罢工工人从本周一起恢复工作，表示将改变罢工策略，采用 闪电式罢工和合规行动，此举预计将减轻罢工对参与者的财务影响。工会要求为其成员加薪 5.6%，三星只同意 5.1%。

因为历史原因，航空公司使用四位数航班号，这意味着最多有 9999 个数可用于分配给航班（没有零号航班），这对绝大多数航空公司是足够了。但美国三大航空公司——美航、达美和联合航空如今都面临四位数航班号耗尽的情况。以美航（American Airlines）为例，它每天运营逾 6700 个航班，理论上还有足够的四位数可用，但实际上并非如此。公司高管表示，每天运营的航班数实际上超过了 9999 个，因为公司有共享航班号的合作伙伴。四位数航班号系统始于 1960 年代，它由两个字母的航空公司代码和四位数的航班号构成，要添加一个数太困难了，航空公司的临时性解决方案是将同一个航班号分配给多个航班，但确保飞机不会同一时间在天上飞。

美国联邦法官周一裁决，Google 付费成为智能手机浏览器默认搜索引擎的行为违反了美国的反垄断法。法官 Amit Mehta 指出，Google 支付的 260 亿美元事实上阻止了任何其它竞争对手在搜索市场上取得成功。Google 被指在十几年里向苹果和三星等公司支付了数十亿美元，获得了智能手机和浏览器的黄金位置。这种默认搜索引擎的位置允许 Google 打造成为全球使用率第一的搜索引擎，获取每年逾 3000 亿美元的广告收入。

随着 Windows 10 即将于 2025 年 10 月终止支持，越来越多的用户开始转向 Windows 11，其市场份额终于突破了三成。根据 Statcounter 的统计，2024 年 7 月的 Windows 桌面操作系统中，Windows 11 的比例达到了 30.82%，一个月内增长了 1.08%，比去年 7 月增长 7.17%。 Windows 10 的份额仍然高举第一占 65%，上个月下降 1.06%，比去年同期下降 11.15%。在其它停止支持的 Windows 版本中，Win7 3.04%，Win8.1 0.42%，WinXP 0.38%，Win8 0.24%。

今年初，马斯克（Elon Musk）向旧金山高等法院起诉 OpenAI 及联合创始人 Sam Altman 等人，称其为了利润而非人类的利益开发人工智能，此举违反了合同。OpenAI 随后公开了马斯克的邮件，证明作为曾经的联合创始人，马斯克同意 OpenAI 建立一个盈利实体，还表示将提供资金，但之后暂停了资金支持，他的目的是获得多数股权和董事会控制权，双方最终因此终止了合作。七周前马斯克撤回了诉讼。现在马斯克向加州联邦法院重启诉讼，再次指控 OpenAI 联合创始人 Sam Altman 和 Greg Brockman 违反公司的创始原则，将商业利益置于公共利益之上。起诉书声称，这是莎士比亚式的...背信弃义和欺骗。

印尼通讯部以在线赌博和色情理由封锁了 DuckDuckGo。印尼的穆斯林人口高居世界第一，它严格禁止在网络上分享淫秽色情内容。此前它已经屏蔽了社媒平台 Reddit 和视频平台 Vimeo。通讯部官员称，DuckDuckGo 被封锁是因为有很多人投诉上面能搜索到大量的赌博和色情内容。通讯部没有解释 DuckDuckGo 与 Google 和 Bing 等搜索引擎之间的差异。DuckDuckGo 的搜索引擎主要来自于 Bing。

科学家发现，一种双重作用抗生素将细菌产生耐药性的难度增加了 1 亿倍。被称为 Macrolones 的合成药能以两种不同的方式起效：其一是干扰蛋白质生产，其二是破坏 DNA 结构。由于细菌需要同时抵御两种攻击方式，它们几乎不太可能发展出耐药性。Macrolones 是一种合成抗生素，用不同的机制结合了两种广泛使用的抗生素的结构。大环内酯类（Macrolides）如红霉素可阻断核糖体——即细胞的蛋白质制造工厂；氟喹诺酮（Fluoroquinolones）如环丙沙星，靶向了被称为 DNA 促旋酶的细菌特定酶。

一项研究根据免费 WiFi 热点数、AI 和物联网公司数量和密度、平均宽带下载速度、每家 ISP 的 5G 覆盖率中位数，机场数量，根据 PM2.5 空气质量评估绿色基础设施、树木覆盖率 10 年变化、每 10 万人电动汽车充电点的数量及密度，等等因素评估了美国的智能城市，结果显示西雅图是最智能的城市，其次是迈阿密和奥斯汀。西雅图每 10 万人有 34 家 AI 公司和 13 家物联网公司；奥斯丁的宽带网速最高 275.60 Mbps，每 10 万人有 35 家 AI 公司。

1957 年诺贝尔物理学奖得主、物理学家李政道于 8 月 4 日在旧金山家中去世，享年 97 岁。李政道 1926 年出生于上海，祖籍江苏苏州，父亲李骏康是金陵大学农化系首届毕业生，祖父李仲覃为苏州圣约翰堂的首任华人主任牧师。因抗日战争，李政道中学未毕业，1943 年在贵阳以同等学力考入迁至贵州的浙江大学物理系，1945 年转学到在昆明的西南联合大学。抗战结束后，西南联大停办，李政道没有毕业，其后在导师吴大猷的推荐下 1946 年赴美就读芝加哥大学，1950 年获得博士学位。1956 年 10 月，30 岁的李政道和 34 岁的杨振宁提出了弱相互作用中宇称不守恒，并因此于 1957 年获得诺贝尔物理学奖。

在希腊神话中，当阿芙罗狄蒂的脚被一根刺刺破，鲜血洒在白玫瑰上时，红玫瑰首次出现。玫瑰并非唯一带刺的植物。根据发表在《科学》期刊上的研究，冷泉港实验室(CSHL)发现，尽管数百万年的进化分离，同一个古老的基因家族对许多植物的刺负责。研究人员找到了一个名为 LONELY GUY(LOG)的基因家族。LOG 基因通常负责产生一种导致细胞分裂和扩张的激素。研究小组在大约 2 0个物种中发现了刺与 log 相关的基因。

达美航空 CEO Ed Bastian 表示，CrowdStrike 事故导致该公司取消了多达 5000 个航班，包括给客户的赔偿金，该公司因此次事故损失了 5 亿美元，该公司要求 CrowdStrike 和微软赔偿其损失，已聘请律所准备提起诉讼。CrowdStrike 律师对此回应，称达美取消航班不应该怪罪于它。在事故发生后 CrowdStrike CEO George Kurtz 联系 Bastian 表示愿意提供现场协助，但没有收到回应。CrowdStrike 律师表示，根据合同协议该公司承担的责任上限是数百万美元。

MySpace 诞生于 2003 年 7 月，2005 年联合创始人 Tom Anderson 和 Chris DeWolfe 以 5.8 亿美元将其出售给默多克（Rupert Murdoch）的新闻集团，2006 年它成为美国访问量最大的网站，超过了 Google 和 Yahoo Mail。但它很快走上了下坡路，2011 年被新闻集团以 3500 万美元出售给 Specific Media 和 Justin Timberlake，Specific Media 之后变成了 Viant， Viant 于 2016 年被 Time 收购，Time 在 2017 年底被 Meredith Corporation 收购，它随后将 MySpace 出售给目前的运营者 Viant Technology LLC。MySpace 在 Timberlake 领导下转型为音乐发现网站，它的用户数在减少，但仍然有一部分忠实用户。

在周日导致至少 90 人死亡的流血冲突之后，孟加拉国再次全国性断网。这次大规模学生抗议始于反对公务员配额制，之后演变成更广泛的反政府抗议。骚乱至今共造成至少 280 人死亡。联合国呼吁孟加拉国政府和安全部队保持克制，而学生抗议者则呼吁总理 Sheikh Hasina 下台。更新：总理已宣布辞职，传闻是流亡印度，但尚未确认，网络已恢复访问。

科学家利用送到国际空间站的 Muscle-on-chip 系统，研究宇航员常见的肌肉萎缩症。研究报告发表在《Stem Cell Reports》期刊上。太空微重力环境会触发类似衰老的肌肉过程。研究人员发现微重力下多个与衰老相关的基因活性增加，其中最值得注意的蛋白质是 GDF15。空间站上的肌肉细胞状况与年龄衰老相关的肌肉损失症肌少症(Sarcopenia)相似。

互联网上的流言蜚语被普遍认为像传染病一样扩散，但山东师范大学的物理学家 Wenrong Zheng 认为传染病模型并不能准确描述流言的传播方式：传染病模型将流言的传播视为被动感染的过程，忽略了现实世界中人的行为和心理变化，以及外部事件对流言传播的影响。为了解决这一缺陷，Zheng 和同事基于核裂变链式反应创建了一个新的流言传播模型。研究报告发表在《AIP Advances》上。核裂变链式反应过程始于一个铀原子核自发分裂成两个较小的原子核和多个中子。如果中子被其它铀原子核吸收，它们更有可能分裂，从而引发链式裂变反应。铀的两种最常见同位素是铀-238 和铀-235，其中前者须吸收多个中子才会分裂，而后者只需吸收一个就会分裂。在新的模型中，流言就是中子，铀-235 原子核是收到流言后立即传播的人，铀-238 原子核是多次收到流言后才传播的人。研究人员认为新模型更准确，现实中有很多人必须多次接触流言才会决定向外传播。

逾 6.5 万名开发者参加了编程问答社区 Stack Overflow 的年度调查，首次调查了 AI 是否会影响到程序员工作。结果显示，只有 12% 的开发者认为 AI 威胁到了其当前的工作，70% 的人将 AI 工具作为其工作流程的一部分，使用 AI 的开发者表示它最大的好处是提高生产力，其次是有助于快速学习新技能。使用 AI 工具的开发者比例从 2023 年的 44% 提高到了 2024 年的 62%。71% 从业经验不足 5 年的程序员在开发中使用了 AI，从业经验 20 年的程序员中这一比例为 49%。最流行的 AI 工具是 ChatGPT（82%），两倍于 GitHub Copilot，使用 ChatGPT 的开发者有 74% 希望继续使用。但对于 AI 工具的准确性只有 43% 的人表示了信任，45% 的人认为 AI 工具难以处理复杂任务。调查还发现，程序员的失业率有所上升，但整体上仍然只有 4.4%；他们的薪水中位数则有了显著下降，2024 年全栈开发者的均薪比 2023 年下降了 11% 至 63,333 美元。调查还发现，38% 的开发者是全职远程工作，只有 20% 恢复纯办公室工作模式，其他人则是混合办公模式。最流行的 IDE 仍然是 VS Code 和 Visual Studio，最常用的语言仍然是 Javascript，最希望使用的语言是 Python，最想再次尝试的语言是 Rust。

苹果开始向参与集体诉讼的客户支付蝴蝶键盘事件的赔偿金。2015-2019 年之间生产的 MacBook 配备了蝴蝶键盘，直到 2020 年苹果用 Magic Keyboard 替换了它。蝴蝶键盘因其设计容易发生故障，苹果遭到了集体诉讼，2022 年苹果同意向符合资格的客户支付 5000 万美元和解金，该和解协议于去年 5 月获得批准，本周苹果开始向客户寄出赔偿金。两次或两次以上更换保护壳的客户有资格获得最高 395 美元赔偿金，更换一次保护壳的客户可获得 125 美元，更换键帽的客户可获得 50 美元。

chai2010 写道： 凹语言是面相WebAssembly设计的通用编程语言，也是国内第一个实现纯浏览器内编译、执行全链路的自研静态类型的编译型编程语言。凹语言项目于2019年初立项，2020年第一次开发组会议确立了“不做玩具车”的目标，2022年7月底正式开源，至今开源2周年。

洛杉矶基本收入实验 The Basic Income Guaranteed: Los Angeles Economic Assistance Pilot(BIG:LEAP)公布了为期 12 个月的实验结果。该项目向 3200 名怀孕或至少有一个孩子、生活在联邦贫困线或以下，经历过与 COVID-19 相关困难的居民每个月发放 1000 美元不带任何条件的现金援助。参与者是从约 5 万名申请者中随机挑选，从 2022 年起获得 12 个月的资助。对照组的 5000 人没有获得不带条件的现金。结果显示，基本收入大幅改善了参与者的财务稳定性、就业机会和整体福祉。他们更有可能获得全职或兼职工作，或者正在寻找工作，而不是失业和不找工作。研究人员报告，参与者睡眠更好，锻炼更多，恢复了必要的药物治疗，并为自己和孩子寻求心理健康治疗。