日本将尝试从太空向地面传输电力

2023-05-29 14:15:00 by 火星之剑

太空有着近乎无限的太阳能，但如何将太空太阳能传输到地面则面临一大挑战。日本宇航研发机构 JAXA 的科学家在 2015 年成功将 1.8 千瓦的电力无线传输到 50 米外的接收器。现在它准备进一步将该技术实用化。它计划最早在 2025 年尝试将太空太阳能传输到地面。该项目由京都大学教授 Naoki Shinohara 领导，将首先在轨道上部署一系列小型卫星，然后尝试将太阳能阵列收集的能量无线传输到地面接收者。

https://www.engadget.com/japan-will-try-to-beam-solar-power-from-space-by-2025-214338244.html

#科技

北京智源推出通用视觉分割模型 SegGPT

2023-05-29 14:20:00 by 三个太阳

北京智源人工智能研究院推出通用分割模型 SegGPT（Segment Everything In Contex），这是一个利用视觉提示（prompt）完成任意分割任务的通用视觉模型。相关代码发布在 GitHub 上，论文发表在预印本平台 arXiv 上。SegGPT 是智源通用视觉模型 Painter 的衍生模型，针对分割一切物体的目标做出优化。SegGPT 具备上下文推理能力，训练完成后无需微调，只需提供示例即可自动推理并完成对应分割任务，包括图像和视频中的实例、类别、零部件、轮廓、文本、人脸、医学图像等。它的灵活推理能力支持任意数量的视觉提示。自动视频分割和追踪能力以第一帧图像和对应的物体掩码作为上下文示例，SegGPT 能够自动对后续视频帧进行分割，并且可以用掩码的颜色作为物体的ID，实现自动追踪。

https://arxiv.org/abs/2304.03284
https://github.com/baaivision/Painter
https://www.thepaper.cn/newsDetail_forward_23265031

#人工智能

火星的地壳比地球更厚

2023-05-29 15:25:00 by 人猿泰山之地心营救

根据发表在《Geophysical Research Letters》上的一项研究，火星的地壳比地球更厚，其平均厚度在 42-56 公里之间，比地球地壳的平均厚度厚 70%。这一数据是基于 NASA InSight 登陆器去年对火星地震波的测量。去年 5 月，火星发生了一场持续逾 6 个小时席卷整个星球的 4.7 级地震。地震波绕整个星球传播了三圈，让研究人员能推断火星地壳厚度。

https://www.sciencenews.org/article/mars-quake-crust-thickness-earth

#火星

网信办公布自媒体专项整治行动成果

2023-05-29 15:50:00 by 棕榈上的霜

网信办在今年三月初发起了“清朗·从严整治‘自媒体’乱象”专项行动，上周六它公布了整治行动成果：截至 5 月 22 日，微博、腾讯、抖音、快手等重点平台累计清理违规信息 141.09 万余条，处置违规账号 92.76 万余个，其中永久关闭账号 6.66 万余个，对外发布公告 110 余期，有力震慑“自媒体”违法违规行为，专项行动取得阶段性成效..网信办称其“依法约谈‘自媒体’运营主体 2089 人次，移交公安机关进一步核查处置线索 2268 条”。

https://www.cac.gov.cn/2023-05/27/c_1686747724239100.htm

#长城

微软 Azure Linux GA

2023-05-29 18:15:00 by 其主之声

在内部使用两年，公开预览逾半年之后，微软宣布其发行版 Azure Linux GA。Azure Linux 源自于微软的 CBL-Mariner 项目，CBL 代表 Common Base Linux。首席项目经理 Jim Perrin 表示，它需要为云服务 Azure 的工程师提供一个内部发行版和一致的平台。Azure Linux 的核心镜像只有 400 MB 大小，包含大约 300 个软件包。如此小的规模有效的平衡了安全性和性能，Perrin 称由于软件包较少，需要的安全补丁更少，安全问题会迅速修复。微软密切监视了软件包供应链，这是微软开发自己的发行版而不是基于其它现有发行版的原因。

https://www.theregister.com/2023/05/26/microsoft_azure_linux_container/

#Linux

哲学家伊恩·哈金去世

2023-05-29 19:12:00 by 神们自己

加拿大哲学家伊恩·哈金（Ian MacDougall Hacking）于 5 月 10 日在一家养老院去世，享年 87 岁。他的女儿简（Jane Hacking）称死因是心力衰竭。哈金被广泛视为是一位现代思想巨人，对科学哲学、概率论和数学哲学做出了巨大贡献。哈金教授先后任教于多伦多大学、剑桥大学和斯坦福大学，他跨越多学科的能力被形容为是一位架桥者。多伦多大学哲学教授 Cheryl Misak 称，人类学家、社会学家、历史学家和心理学家，以及从事概率论和物理学研究的人，都认为他对其学科有重要见解。他的著作《驯服偶然（The Taming of Chance）》被现代图书馆（Modern Library）评为 20 世纪最重要的一百部非虚构作品之一。

https://archive.ph/2023.05.28-161235/https://www.nytimes.com/2023/05/28/science/ian-hacking-dead.html

#新闻

旁观者量子比特减少计算错误

2023-05-29 20:14:00 by 黄泉归来

量子计算机似乎“天生”易出错，周围环境微小的扰动，如温度、压力或磁场变化，都会破坏它们脆弱的计算基础——量子比特。随着规模扩大，噪声和错误的挑战也越来越大。首先是量子比特很容易根据环境发生变化；其次，如果科学家想测量一个量子比特，其状态就会崩溃并丢失数据。因此纠正量子系统中的错误是一项非常艰巨的任务。科学家开发了一种新方法，可持续监测量子系统周围的噪声并实时调整，以最大限度地减少误差。新方法依赖于“旁观者量子比特”：一组嵌入计算机却不存储数据的量子比特，其唯一目的是测量并消除外部噪声。研究人员将新系统比作降噪耳机，它会持续监测周围的噪声并发出相反的频率以将其消除，这种方法可有力提高数据量子比特的质量。

https://www.science.org/doi/10.1126/science.ade5337
https://news.sciencenet.cn/htmlnews/2023/5/501670.shtm

#科学

为什么说网络安全无解？

2023-05-29 22:37:00 by 巨龙之夜

耶鲁法学院法学教授和哲学教授 Scott Shapiro 解释了为什么说网络安全是无解的。他指出计算机科学只有一百年历史，而网络安全更短只有几十年。这个一个非常年轻的领域，问题的部分在于人们还没有从根本原则上思考它。网络安全没有永久性方案的原因在于，它不是一个靠工程方案能解决的技术问题。它是一种人的问题，需要理解人的行为。认为每个问题都有解决办法的信念对于网络安全是不存在的。

https://arstechnica.com/features/2023/05/is-cybersecurity-an-unsolvable-problem/

#安全

神舟十六号发射成功

2023-05-30 11:11:00 by 神童的陷阱

北京时间 2023 年 5 月 30 日 9 时 31 分，搭载神舟十六号载人飞船的长征二号F遥十六运载火箭在酒泉卫星发射中心点火发射，约 10 分钟后，神舟十六号载人飞船与火箭成功分离，进入预定轨道，航天员乘组状态良好，发射取得圆满成功。飞船入轨后，将按照预定程序与空间站组合体进行自主快速交会对接，神舟十六号航天员乘组将与神舟十五号航天员乘组进行在轨轮换。在空间站工作生活期间，神舟十六号航天员乘组将进行出舱活动，开展空间科学实（试）验，完成舱内外设备安装、调试、维护维修等各项任务。

https://www.cmse.gov.cn/xwzx/202305/t20230530_53647.html

#长城

LHC 实验观察到希格斯玻色子衰变的首个证据

2023-05-30 13:52:00 by 总门谷

CERN 的 LHC 的 ATLAS 和 CMS 实验在 2012 年发现了希格斯玻色子，这是标准物理学的一个重要里程碑。此后 ATLAS 和 CMS 转向了研究希格斯玻色子的属性，确定它如何衰变成其它粒子的不同方式。在 Large Hadron Collider Physics (LHCP)会议上，ATLAS 和 CMS 报告了希格斯玻色子衰变为 Z 玻色子和光子的首个证据。粒子物理学标准模型预测，如果希格斯玻色子质量在 1250 亿电子伏特左右，它有 0.15% 的概率衰变为一个 Z 玻色子和一个光子，但部分标准模型扩展理论给出了不同的衰变率。利用 LHC 的质子对撞数据，ATLAS 和 CMS 的搜索发现希格斯玻色子衰变为 Z 玻色子的概率为 6.6%。目前希格斯玻色子衰变为 Z 玻色子和光子的证据为 3.4个标准差，还达不到 5 个标准差的要求。

https://www.interactions.org///press-release/lhc-experiments-see-first-evidence-rare-higgs-boson-decay

#科学

印度 JioCinema 打破了现场直播同时观看人数记录

2023-05-30 14:39:00 by 八十天环游地球

印度 JioCinema 周一晚上打破了现场直播同时观看人数记录，它吸引了逾 3200 万人观看印度超级板球联赛 Chennai Super Kings 和 Gujarat Titans 之间的最后一场决赛，超过迪士尼旗下的 Hotstar 服务在 2019 年 7 月一场板球比赛创下的 2530 万人同时观看记录。JioCinema 隶属于印度 Jio Platforms，而后者是信实工业的子公司，信实工业的老板是亚洲第一富豪 Mukesh Ambani。去年 JioCinema 报价 30 亿美元击败迪士尼获得了超级板球联赛的独家数字播放权，它采用了免费策略吸引用户观看。

https://techcrunch.com/2023/05/29/jiocinema-concurrent-global-record/

#互联网

淡马锡削减投资 FTX 的工作人员薪酬

2023-05-30 14:51:00 by 黑暗平原

管理着 3000 亿美元资产的新加坡主权财富基金淡马锡公布了对最近倒闭的加密货币平台 FTX 的内部调查结果。淡马锡称，投资团队在得出投资建议的过程中并没有不当行为。淡马锡也表示不会因此停止投资新兴行业和科技公司，因为这有助于了解这些领域对现有投资组合公司的影响，淡马锡也会加强对这些领域公司的评估。虽然如此，考虑到 FTX 投资亏损对声誉带来的负面影响，负责的投资团队和高层管理须共同承担责任，淡马锡将扣回他们的部分薪酬。淡马锡向 FTX 投资了 2.75 亿美元，已全数减值。

https://www.zaobao.com/finance/singapore/story20230529-1399112

#比特币

机智号在火星安全度过两年，其冒险还在继续

2023-05-30 15:28:00 by 图夫航行记

机智号火星直升机已经在火星上度过了两年，完成了 51 次飞行，目前由于地形造成的通信问题 52 次飞行迟迟没有进行。机智号原计划只服役 30 天。这一成就显示了在太空任务中使用成熟商业零部件的潜力。机智号主要用于技术演示，大量使用了商业零部件，包括高通的 2.26 GHz 四核处理器 Snapdragon 801，德州仪器的 TMS570LC43x，索尼的锂离子电池，运行的是 Linux 操作系统。根据 NASA 的记录，自 2021 年 4 月成功首飞以来，机智号累计飞行 11.7 公里，总飞行时长约 91.4 分钟。最高飞行高度 18 米。

https://mars.nasa.gov/technology/helicopter/#Flight-Log
https://mars.nasa.gov/mars2020/mission/status/466/hide-and-seek/

#火星

AI 繁荣催生芯片荒

2023-05-30 15:42:00 by 羚羊与秧鸡

AI 繁荣催生芯片荒。用于 AI 的图形处理器(GPU)几乎都是由英伟达制造的。但随着 ChatGPT 的爆火，对这些芯片的需求大增，已经远超供应。“缺芯”局面限制了亚马逊和微软等云服务提供商能够向 ChatGPT 的开发商 OpenAI 等客户提供的处理能力。即使是 OpenAI 也难以获得充足的服务器容量。在 5 月 16 日国会 AI 听证会上，OpenAI 首席执行官 Sam Altman 说，由于处理器瓶颈，如果使用 ChatGPT 的人少一点会好一些。马斯克(Elon Musk)在 WSJ CEO Council Summit 上说：“眼下获得 GPU 比获得毒品要难得多了。”英伟达首席执行官黄仁勋周日表示，已提高其旗舰芯片 H100 的产量。

https://cn.wsj.com/articles/ai%E7%B9%81%E8%8D%A3%E9%81%87-%E8%8A%AF%E8%8D%92-%E7%93%B6%E9%A2%88-%E5%BC%95%E5%8F%91%E7%AE%97%E5%8A%9B%E4%BA%89%E5%A4%BA%E6%88%98-4e28cc98

#人工智能

Twitter 的算法放大了愤怒、敌意和情绪极化

2023-05-30 16:53:00 by 蒲公英王朝2：风暴之墙

康奈尔科技和加州伯克利的研究人员在预印本平台 arXiv 上发表论文，分析了 Twitter 的推荐算法。Twitter 展示给用户的信息流有两种，其一是按时间线展示所关注用户的推文，其二是推荐的用户推文（被称为 For You）。研究人员收集了这两类推文，显示 Twitter 的算法放大了情绪性内容，尤其是那些表达愤怒和外群体敌意的推文。算法推荐的政治类推文让用户更正面的看待其政治内群体推文，更负面的看待其政治外群体推文。研究人员发现，虽然 Twitter 用户普遍喜欢算法推荐的推文，但不太喜欢算法选择的政治类推文。

https://arxiv.org/abs/2305.16941

#Twitter

英特尔将在其 Meteor Lake CPU 中引入 VPU

2023-05-30 18:04:00 by 墨水心

芯片巨人在台北电脑展上宣布其第 14 代酷睿处理器 Meteor Lake 将引入名为 VPU 的专用 AI 芯片。英特尔没有明确 VPU 这一缩写所代表的意思，此前它代表 Vision Processing Unit，但显然 AI 不只与视觉有关。英特尔副总裁兼 Client AI 总经理 John Rayfield 表示，大量 PC 工作负荷都使用到 AI，所以需要专用 AI 芯片。举例来说，视频会议用 AI 增强视频，游戏使用了大量 AI，类 GPT 模型，以及 Stable Diffusion 之类的 AI 工具都可以在本地执行。Rayfield 称，该公司使用 Foveros 封装技术将 CPU、GPU 和 VPU 组合成 SoC，CPU 做部分低延迟的推理工作，GPU 从事并行计算和高吞吐工作，AI 相关的工作则交给 VPU。

https://www.theregister.com/2023/05/29/vpus_all_meteork_lake_skus/

#Intel

黄仁勋称 AI 意味着人人都能成为程序员

2023-05-30 19:17:00 by 华龙之宫

英伟达 CEO 黄仁勋周一表示，AI 意味着人人都可以是程序员了，因为他们所需要做的是与计算机对话。他欢呼了数字鸿沟的终结。黄仁勋出生在台南，幼时随父母移民到美国，他在台北电脑展上发表主题演讲时表示，我们正处以一个新计算时代，这是毫无疑问的。每个计算时代你都可以做以前无法做到的事情，AI 时代当然也是如此。编程的门槛将会降至难以置信。数字鸿沟大幅缩小。人人都是程序员，你只需要对着计算机说话。每一个行业都会深受影响。

https://developers.slashdot.org/story/23/05/29/1434244/ai-means-everyone-can-now-be-a-programmer-nvidia-chief-says

#人工智能

Mullvad 移除对端口转发的支持

2023-05-30 20:27:00 by 最后的独角兽

瑞典 VPN 服务商 Mullvad 宣布移除对端口转发的支持，现有的端口将在 7 月 1 日移除。 Mullvad 解释说，原因是该功能遭到滥用，被利用托管不良内容和恶意服务，导致了执法部门的调查，IP 地址被列入黑名单，主机托管商取消其服务。因为 IP 被屏蔽，连带着其他普通用户也受到影响。Mullvad 上个月披露警方带着搜查令突击搜查了其办公室。

https://mullvad.net/en/blog/2023/5/29/removing-the-support-for-forwarded-ports/

#互联网

研究揭示一位女子无痛觉的分子机制

2023-05-30 21:51:00 by 绿光

苏格兰女子 Jo Cameron 被发现几乎感觉不到疼痛，从不感到焦虑或恐惧。她身上的基因 FAAH-OUT 包含了一个罕见突变，与 FAAH 基因的一种常见突变结合，导致了 Jo Cameron 独特的生理特征。根据发表在《Brain》上的一项研究，科学家揭示了这一现象背后的分子机制。FAAH-OUT 所在的基因组区域以前被认为是垃圾 DNA 1，它被发现能调节 FAAH 基因的表达，FAAH 基因是内分泌系统的一部分，参与了疼痛、情绪和记忆。当 Jo Cameron 携带的突变导致这一功能关闭之后，FAAH 酶的活性水平显著降低。除此之外，还有 797 个基因表达被调高，348 个被调低。其中包括与伤口愈合相关的 WNT pathway 的改变，以及与骨骼再生相关的 WNT16 基因活性增加。另外两个改变的关键基因是与情绪调节相关的 BDNF 和调节阿片类药物水平的 ACKR3。

https://www.ucl.ac.uk/news/2023/may/study-reveals-unique-molecular-machinery-woman-who-cant-feel-pain

#医学

Rust 项目回应 RustConf 主题演讲争议

2023-05-30 22:39:00 by 第一日

继商标使用争议之后，Rust 项目最近又卷入了 RustConf 主题演讲争议。RustConf 2023 邀请了 JeanHeyd Meneide 发表主题演讲，但在 5 月 26 日又通知他主题演讲降为普通演讲，此事被认为是相当于一次侮辱，JeanHeyd 随即宣布拒绝出席 RustConf。Rust 项目已经发表声明，对此事公开道歉，称它的决策和沟通流程出现了问题，它将采取措施避免犯同样的错误，包括将执行严格的共识机制，启动新的治理委员会。

https://thephd.dev/i-am-no-longer-speaking-at-rustconf-2023
https://blog.rust-lang.org/2023/05/29/RustConf.html
已经有人 fork 了 Rust 语言创建了社区分支 CrabLang，而 JeanHeyd 曾在 2021 年提议将 RMS 移除出 GCC 的指导委员会。

https://gcc.gnu.org/pipermail/gcc/2021-March/235124.html

#开源

AI 变成一种侮辱

2023-05-30 23:18:00 by 未来学大会

2023 年如果你想侮辱某个人，你可以称他们为 AI。比如把 NBA 勇士队球星 Jordan Poole 称为 AI Steph Curry，将美国运输部长 Pete Buttigieg 称为第一位 AI 内阁成员。相比人类的作品，AI 生产的文本被认为是乏味、缺乏灵魂、充斥着陈词滥调和重复的创意。因此如果有人写出类似风格的作品，就有可能被批评是 AI 写的。Apple TV+ 上个月上线的动作片《Ghosted》由明星克里斯·埃文斯等人主演，但故事相当的陈词滥调，因此 《卫报》的影评人认为这是第一部完全由 AI 创作的电影。

https://archive.ph/fQgls

#滑稽