ABC 猜想仍然没有被证明

文章提交注意事项：
请在发布文章时用HTML代码加上至少一条新闻来源的链接；原创性消息，可加入相关信息（如涉及公司的网址）的链接。有任何问题，邮件至：he.fang#zhiding.cn
ken：[email protected]
注意：收到邮件乱码的用户请修改客户端的默认字体编码，从"简体中文（GB2312）"修改为"Unicode（UTF-8）"。

你支持Solidot改成会员制，付费阅读吗？
支持，服务小众更精彩
别，那就不看了
不如你们搞点广告
不如你们卖纪念品 [ 结果 | 投票] 评论:2 | 得票数:6073

• 那个不叫二进制 而是二叉树 (1 points, 一般) by solidot1544068314 在 2022年12月14日21时34分 星期三 评论到 内核补丁将 kallsyms_lookup_name()查找速度提高 715 倍
• 陈冠希说你们早干嘛去了？ (1 points, 一般) by kokerkov 在 2022年11月28日17时04分 星期一 评论到 调查发现电脑维修店员工会访问客户个人数据
• 我不信 (1 points, 一般) by Craynic 在 2022年11月28日14时44分 星期一 评论到 Google 称互联网的六成是重复内容
• 支持 (1 points, 一般) by zagfai 在 2022年11月22日14时29分 星期二 评论到 Tumblr 将加入对 ActivityPub 协议的支持
• 权力 (1 points, 一般) by mep 在 2022年11月22日11时25分 星期二 评论到 记者想在 Mastodon 上重造 Twitter，但 Mastodon 不想参合
• 20%的人贡献了80%的价值，但不意味着80%的价值就是推特生存的底线。 (1 points, 一般) by qq33357486 在 2022年11月22日08时33分 星期二 评论到 解雇八成工程师后公司仍然能生存下来？
• 一个玩具而已 (1 points, 一般) by Craynic 在 2022年11月21日11时59分 星期一 评论到 国产凹语言实现
• 感觉这不能叫投资 41 亿美元，他是买了 41 亿美元的股票，投资让人感觉是增发了 (1 points, 一般) by leafduo 在 2022年11月15日21时14分 星期二 评论到 巴菲特的公司向台积电投资 41 亿美元
• 凡是捐款应对所谓气候变化的，全是作秀放P，没有例外。 (1 points, 一般) by devfsdvyui 在 2022年11月15日11时57分 星期二 评论到 贝索斯表示将会捐出大部分财富
• RT (1 points, 一般) by kokerkov 在 2022年11月15日08时48分 星期二 评论到 美国大学毕业生后悔学习新闻、社会和传播学等专业

中国科学院院士陆林表示，在所有疾病中，抑郁症正逐渐成为负担最大的疾病，已超过癌症、心血管疾病对人的影响。“心血管疾病有的可以治好，患者痊愈后可维持正常的生活。但是抑郁症给个体带来的痛苦巨大，导致他们生活质量低下。”陆林说，世界卫生组织称，抑郁症对健康的损害超过冠心病对健康的影响。心理问题不仅伤害个体，对社会稳定也会造成巨大影响。为此，陆林呼吁社会各界，包括政府、企业、学校、社区、媒体等，要充分重视新冠疫情给社会带来的心理影响，积极采取措施，以保障老百姓的生活质量。新冠肺炎疫情暴发三年以来，对很多人的心理状态都产生了不同程度的影响，其中，青少年群体的心理健康受到了较为严重的长期影响。

《V.》、《叫卖第49组》、《万有引力之虹》和《抵抗白昼》等书的作者托马斯·品钦（Thomas Pynchon） 以极其保护个人隐私著称，现年 85 岁的他只有少数早期的照片公开。但现在外界可以一睹这位后现代主义作家是如何构思其作品的。Huntington Library, Art Museum and Botanical Gardens 图书馆收购了 48 箱的品钦档案库，时间跨度从 1950 年代到 2020 年代，包含了他所有出版书籍的打字稿和书稿，其中也包含出版相关的信函，但没有任何私人信件，也没有个人照片。图书馆没有透露收购金额。馆长 Karla Nielsen 几年前写信给品钦的文学经纪人和妻子 Melanie Jackson，从而促成了这笔交易。

WordPress 测试支持 SQLite

WordPress 是至今最流行的内容管理系统，被广泛用于从个人到电商在内的各种类型的网站。W3Techs 的统计显示，它的市场占有率一直高居 43% 左右，而距离它最近的竞争对手是 Shopify 只有 4%。至今为止 WordPress 一直是基于 PHP 和 MySQL/MariaDB 数据库，但不是所有网站都需要功能全面的 MySQL。WordPress 现在开始测试对 SQLite 数据库的支持。SQLite 是一大优势是直接集成在 PHP 中，WordPress 网站可以不需要额外的数据库服务器，有助于降低托管费用，减少能耗。

John Carmack 离开 Meta

著名游戏程序员、Meta/Facebook VR 子公司 Oculus 的咨询 CTO 卡马克（John Carmack）周五离开了公司。Carmack 曾公开批评 Meta 在 AR 和 VR 方面的进展，他在公司内部的 Workplace 论坛上发表了离职声明。他说，“我们构建了非常接近正确的东西，问题是效率。”卡马克说他厌倦了与 Meta 的斗争，他有自己的创业公司要经营，“这场战斗仍然可以赢。”Oculus 由 Palmer Luckey 于 2012 年创立，卡马克在 2013 年成为其 CTO，2014 年 Facebook 收购了 Oculus，2019 年卡马克的职务从 CTO 变成咨询 CTO，今年初他创办了一家专注于发展 AI 技术的公司 Keen Technologies。

根据发表在《自然》期刊上针对小鼠的一项研究，一些肠道细菌可以激活肠道神经，促进运动的欲望。这项研究揭示了肠道到大脑的通路，解释了为什么一些细菌能提高运动表现。在这项研究中，研究人员发现，在一大群实验室小鼠中，跑步表现的差异很大程度上是由于表现较好的动物体内存在某种肠道细菌。研究人员将这种影响追溯到细菌产生的代谢物小分子，这种代谢物刺激肠道中的感觉神经，在运动时增强控制动机的大脑区域的活动。 与更好的性能密切相关的两种细菌：Eubacterium rectale（真/优杆菌属）和Coprococcus eutactus（粪球菌属），产生了被称为脂肪酸酰胺(FAAs)的代谢物。后者刺激肠内感觉神经上被称为 CB1 内源性大麻素受体的受体，这些受体通过脊柱连接到大脑。在运动中，这些布满 CB1 受体的神经受到刺激，会导致大脑腹侧纹状体区域的神经递质多巴胺水平增加。

2021 年内核维护者峰会讨论的一个主题是招募内核维护者以及维护者继任上所面临的挑战。讨论得出的部分结论是作为 Linux 社区的一部分，企业需要允许从事内核开发的工程师成为维护者，工程师能逐渐成长为受人尊敬的项目领导者，最终成为内核维护者。曹子德（Theodore Y. Ts'o）以及 Linux 基金会技术咨询委员会发布了名叫 Linux 内核贡献成熟度模型的文档，帮助企业改进在内核开发流程中的参与。

OCaml 5.0.0 发布

OCaml 语言释出了 5.0.0，引入了全新的运行时环境，支持共享的内存并行性和效果处理程序。OCaml 5.0.0 兼容 OCaml 4，能与 OCaml 4 工作的代码应该也能与 OCaml 5 工作，例外是移除了很多早已废弃的函数和模块，改变了内部运行时 API。OCaml 是一个函数式、指令式、模块化、面向对象的通用的编程语言，源自 ML（Meta Language）语言家族。

今年早些时候，最大代码托管平台 GitHub 宣布到 2023 年底所有上传代码的用户都必须使用双因素认证（2FA）。此举旨在预防开发者的账号被劫持，防止攻击者劫持账号后上传恶意代码对下游项目发动供应链攻击。现在 GitHub 官方博客详述了逐步推广 2FA 的流程：从 3 月开始要求不同组的开发者逐渐启用 2FA，这些开发者或者发布了 GitHub 或 OAuth 应用或软件包，或者创建了一个发布，或者是企业和机构的管理员，向重要的 npm、OpenSSF、PyPI 或 RubyGems 软件包贡献了代码，向前 400 万公开和私有的软件包贡献代码。相关开发者将会收到邮件通知，要求在截止期限前完成启用 2FA，这个期限通常是间隔 45 天。在这期间开发者将会每天收到警告提示。

NIST 建议 2030 年底前淘汰 SHA-1 加密算法

美国国家标准与技术研究院（NIST）宣布 SHA-1 算法已经抵达寿命终点，建议使用者尽快迁移到 SHA-2 或 SHA-3。NIST 的安全专家称，今天日益强大的计算机很容易破解 SHA-1 算法，它应在 2030 年 12 月 31 日之前被淘汰。SHA-1 是在 1995 年作为美国联邦资料处理标准（FIPS PUB 180-1 发布的，Google 在 2017 年宣布了对 SHA-1 哈希算法的首个成功碰撞攻击。所谓碰撞攻击是指两个不同的信息产生了相同的哈希值，当时实现碰撞攻击需要耗费大量计算资源。但到了 2020 年研究人员将攻击成本降至 4.5 万美元，并预测未来成本会越来越低。

报道称，最近突然倒闭的加密货币交易平台 FTX 内部核心圈子组建了一个名叫“Wirefraud（意思是电信欺骗）”的秘密聊天群，用于发送平台运营的秘密信息。FTX 创始人 Sam Bankman-Fried 否认了该聊天群的存在，表示从未听说过，如果真的存在的话那么他本人不是核心圈的成员。Bankman-Fried 此前表示他已经无法接触到私人通信。他本周被巴哈马逮捕，面临引渡到美国受审。

随着冬季新一波疫情的到来，WHO 正展望未来预计明年新冠将不再是全球卫生紧急事件。WHO 总干事谭德塞表示，将在明年 1 月开始讨论结束新冠疫情大流行的条件，“希望到明年的某个时候，我们能说 COVID-19 不再是全球卫生紧急事件。”他同时警告，病毒不会消失，会和我们共存，所有国家都需要要学会与其它呼吸道疾病一起管理它。谭德塞指出疫苗接种的不平等仍然是一个重要问题，低收入国家只有五分之一的人接种了疫苗。

亚马逊游戏部门将发行新一代的《古墓丽影》游戏。游戏将由晶体动力（Crystal Dynamics）工作室开发，它也是之前三作《古墓丽影》游戏的开发商，它原来隶属于日本公司 Square Enix，今年初 Square Enix 宣布将晶体动力等西方工作室以及《古墓丽影》等游戏的知识产权出售给瑞典控股公司 Embracer Group。Embracer 有自己的游戏发行业务，新《古墓丽影》选择由亚马逊游戏发行有些出人意料。亚马逊游戏并没有收购《古墓丽影》IP 或晶体动力工作室，它只是发行商。它此前主要开发或发行网游如《New World》和《Lost Ark》。新《古墓丽影》将是它发行的第一款单人游戏。

根据发表在预印本平台 arXiv 上的研究报告，天文学家在一颗附近恒星的宜居带探测到两颗地球大小的行星。GJ~1002 位于鲸鱼座，距离太阳系 15.8 光年，是一颗 M 级红矮星。通过观测恒星光谱中谱线的多普勒效应以寻找是否有行星环绕，天文学家发现了两颗行星的信号，其中 GJ~1002 b 最小质量为 1.08 倍地球质量，轨道周期 10.3 天，距离母星 0.045 天文单位；GJ~1002 c 最小质量为 1.36 倍地球质量，轨道周期 21.2 天，距离母星 0.07 天文单位。

长江存储被美国列入出口黑名单

美国商务部将长江存储列入出口黑名单，美国公司在向长江存储销售任何商品或服务之前，必须获得商务部的许可证。长江存储是中国最先进的存储芯片制造商，被列入出口黑名单可能会影响到其业务。长江存储的美国供应商包括芯片工具供应商 KLA 和 Lam Research，它们在长江存储的工厂派驻了数十名雇员，在工厂运营和制造能力开发上扮演重要作用。

Twitter 以恶意程序为由限制用户在其用户名添加 Mastodon 链接

多位 Twitter 用户报告，他们尝试修改用户名或用户简介，加入去中心化微博服务 Mastodon 链接。结果返回了错误信息，“Account update failed: Description is considered malware.”还有用户报告称，他们在推文中发布了自己的 Mastodon 链接，结果被 Twitter 警告含有“敏感内容”而限制其显示。在马斯克（Elon Musk）控制 Twitter 之后，大量用户涌向了 Mastodon。仅在两周内，它就增加了 100 万新用户。马斯克过去几天更是挥起了大棒，以“直接人身安全风险”的理由封杀所有披露个人实时位置的帐户。在马斯克眼里，Mastodon 实例可能成为 Twitter 越来越大的威胁。

Atom 项目存档进入只读模式

GitHub 正式归档了 Atom 项目的代码库，进入只读模式。Atom 曾经是备受瞩目的文本编辑器，2015 年 5 月发布了 1.0 版本，它吸引了数百万开发者使用。微软在 2015 年推出了自己的文本编辑器 VS Code，2018 年收购 GitHub 后 Atom 成为了微软的项目，过去几年 VS Code 的用户数在不断增长，而 Atom 的使用者日益减少。Atom 死亡了，但它的 Electron 框架继续被数以千计的应用广泛使用。项目创始人 Max Brunsfeld 则推出了 Atom 精神续作——用 Rust 语言开发的 Zed。

世界第一种超音速客机协和号在 18 年前退役，它在工程上是一大成就，但始终未能盈利。创业公司 Boom Supersonic 试图改变这一局面。该公司计划中的超音速客机 Overture 使用软件建模，用超轻材料制造，使用超高效的引擎。本周该公司披露了 Overture 的引擎 Symphony，参与设计和咨询的公司包括了 Florida Turbine Technologies、GE Additive 和 StandardAero，它是一个中旁路、双转子、无加力燃烧室的涡轮风扇发动机，起飞推力 35,000 磅，进气排气为超音速飞行特别设计，能降低噪音。引擎预计在 2024 年投产，2026 年测试，2027 年首飞，如果一切顺利，2029 年投入服役。

因与国际空间站对接的俄罗斯联盟号飞船 MS-22 发生泄露事故，俄罗斯宇航员 Sergey Prokopyev 和 Dmitri Petelin 原计划进行的太空行走被取消。俄罗斯莫斯科的地面团队正在评估泄露的流体性质和对联盟飞船完整性的影响。联盟飞船被用于将三名宇航员送回地面，一艘飞船无法使用对空间站上的宇航员有巨大影响，因为一旦发生紧急情况，他们将难以迅速离开。

印尼新刑法禁止在网上侮辱总统

12 月 6 日印度尼西亚议会通过了受争议的新刑法，将婚前性行为和婚外同居等定为犯罪，引起广泛批评。但除此之外，被称为 KUHP 的刑法典还扩大了政府对社交媒体上的网络言论的控制。新刑法将包括传播假新闻到马克思主义艺术意识形态到侮辱总统等列为非法。社交媒体用户等群体担心到 2025 年新刑法生效时，批评性评论会带来严重的后果。

根据发表在《Nature Communications》期刊上的一项研究，火星沙尘暴最高达 118 米。研究人员意外用“毅力号”上搭载的 SuperCam 麦克风记录到了火星尘卷风的声音，这场尘卷风直接经过了火星车。他们将声音记录和多传感器数据及建模结合，以描述火星尘卷风的特征。这些特征表明，这场尘卷风约 25 米宽——近 10 倍于火星车，且至少 118 米高。尘卷风的声音此前未得到记录，这些发现表明声音数据可用于研究尘卷风，改进人们对火星风通量和行星气象学的理解。这些数据有助于人们对火星表面改变、尘暴和气候多样性的认识，并影响太空探索。