沙特因社媒活动判处一名男子死刑

2023-08-31 16:08 by 夜焰

沙特法庭以 Twitter/X 和 YouTube 上的活动为由判处 Mohammed bin Nasser al-Ghamdi 死刑。他可能是沙特第一位因网络活动而被判处死刑的人。法庭文件指控 al-Ghamdi “叛教”、“扰乱社会治安”、“密谋反政府”和“诽谤王国和王储”。他是一位生活在麦加的退休教师，沙特官员没有解释为什么会因为网络言论而针对 al-Ghamdi，但此举很可能向他的兄弟发出警告。他的兄弟 Saeed bin Nasser al-Ghamdi 是一位居住在英国的知名沙特批评人士。沙特此前曾通过逮捕家人迫使居住在海外的批评人士回国。沙特是执行死刑最多的国家之一，曾在一天内处决了 81 人，为沙特现代史上已知最大规模的处决事件。

https://yro.slashdot.org/story/23/08/30/2117226/saudi-man-receives-death-penalty-for-posts-online

#审查

两大望远镜因黑客攻击临时关闭

2023-08-31 17:34 by 暗影徘徊

美国国家光学天文台（NOIRLab）在 8 月 1 日遭到网络攻击，迫使它临时关闭了位于夏威夷的双子北座望远镜和位于智利的双子南座望远镜。NOIRLab 上周四发表声明称正与网络安全专家合作，以尽可能快的恢复望远镜运行。NOIRLab 称调查还在进行之中，因此没有披露更多攻击细节。在攻击发生前，美国国家反情报和安全中心曾就此发出警告。

https://www.space.com/noirlab-gemini-north-south-telescopes-hacked-cybersecurity

#安全

阿联酋推出阿语生成式 AI

2023-08-31 18:22 by 灵魂骑士

一家与阿布扎比统治家族有关联的 AI 集团 G42 推出了据称是世界上质量最高的阿拉伯语 AI 软件。阿联酋和沙特此前大规模购买了英伟达的 GPU，正竞相在海湾地区率先应用生成式 AI。名为 Jais 的大模型(LLM)是一种基于海量阿拉伯语和英语数据的开源双语模型，面向全球逾 4 亿讲阿拉伯语的人。它有 130 亿个参数，使用了 1160 亿阿拉伯语 tokens 和 2790 亿英语 tokens 训练。今天最流行的大模型如 OpenAI ChatGPT 使用的 GPT-4、Gogogle Bard 使用的 PaLM，以及 Meta 的开源模型 LLaMA，都具有理解和生成阿拉伯语文本的能力。但 G42 的 AI 负责人 Andrew Jackson 表示现有模型中的阿拉伯元素“被稀释了”。在阿拉伯语的准确性上，Jais 的表现胜过了 LLaMA 等模型。

https://inceptioniai.org/jais/


#人工智能

美国限制向中东地区出口英伟达的 H100 和 A100 GPU

2023-08-31 18:35 by 霸主的影子

美国限制英伟达向中东地区出口的其旗舰 AI 芯片 H100 和 A100 GPU，原因是为了防止这些芯片转售到中国。美国已经限制英伟达向中国出售 H100 和 A100 GPU，英伟达为此专门开发了降低性能的型号 H800 和 A800。中东的阿联酋和沙特都是英伟达的大客户，而这两个国家同时也与中国关系密切，其中沙特还与中国在 AI 项目上展开合作。美国担心英伟达的 H100 和 A100 GPU 可能会从中东国家转手到中国，或者中国会在中东国家训练 AI 模型然后将技术带回中国。

https://www.tomshardware.com/news/us-bans-sales-of-nvidias-h100-a100-gpus-to-middle-east

#商业

NASA 将在空间站演示激光通信

2023-08-31 19:38 by 去年是个好年吧

预计在 11 月初发射的 SpaceX 货运补给任务 CRS-29 将向国际空间站送去冰箱大小的 ILLUMA-T，演示太空激光通信技术。ILLUMA-T 将安装在日本的希望模块舱 Kibo 上。它将与 2021 年发射的 Laser Communications Relay Demonstration (LCRD)一起测试双向端到端激光中继系统。激光通信的传输速率能达到 1.2 Gbps，能发送高清数据如图像和视频。

http://www.nasa.gov/feature/goddard/2023/nasa-to-demonstrate-laser-communications-from-space-station/

#国际空间站

微软在欧洲改变捆绑 Teams 的策略

2023-08-31 20:32 by 黑暗之潮

微软表示将改变向欧洲企业客户销售 Teams 视频会议服务的方式，以解决欧盟反垄断调查引发的担忧。它计划为企业客户提供购买不含 Teams 的低价版生产力套件。新客户如需要这项视频会议服务，仍可选择单独购买。这些变化将于 10 月初生效，适用于欧洲经济区，该欧洲国家集团不包括英国。相关变化也将适用于瑞士。欧盟委员会在今年 7 月启动调查时表示，担心微软将 Teams 应用与其生产力软件捆绑在一起的做法可能构成主导地位滥用。这项调查还在进行中，是微软十多年来首次面临欧盟的正式调查。

https://cn.wsj.com/articles/%E5%BE%AE%E8%BD%AF%E5%8A%9E%E5%85%AC%E5%A5%97%E4%BB%B6%E5%B0%86%E5%9C%A8%E6%AC%A7%E6%B4%B2-%E6%9D%BE%E7%BB%91-teams%E8%BD%AF%E4%BB%B6-d5dfec0b

#微软

Google 宣布新一代 AI 芯片 TPU v5e

2023-08-31 21:37 by 天渊

Google 宣布了其自己设计自己使用的新一代 AI 芯片 TPU v5e，它的 TPU 芯片只通过 Cloud TPU 云服务提供给客户。Google 是在 2016 年推出了第一代 TPU(tensor processing unit)，2021 年发布 TPU v4。相比上一代 TPU v4，TPU v5e 每一美元的训练性能提高 2 倍，每一美元的推理性能提高 2.5 倍，而成本不到 TPU v4 的一半，使得更多组织能够训练和部署更大更复杂的 AI 模型。TPU v5e 最多允许 256 个芯片互连，总带宽超过 400 Tb/s，支持八种不同的虚拟机配置。根据速度基准测试，在 TPU v5e 上训练和运行 AI 模型时速度提高了 5 倍。

https://cloud.google.com/blog/products/compute/announcing-cloud-tpu-v5e-and-a3-gpus-in-ga
https://www.thepaper.cn/newsDetail_forward_24421175

#Google

Fairphone 5 将提供 8-10 年的 Android 支持

2023-08-31 23:01 by 神秘世界的人

荷兰公司 Fairphone 宣布了最新的模块化手机 Fairphone 5，9 月 14 日上市，该公司表示将提供 8-10 年的 Android 操作系统支持。在 Android 生态系统中树立了新的标准。Fairphone 系列手机的多个零部件可以更换，Fairphone 5 可更换零部件为十个，其中包括电池、显示屏和 USB 端口等。Fairphone 5 的规格类似 Android 中端手机。SoC 是高通为物联网设计的 QCM6490，原因是高通愿意为此类芯片提供更长时间的支持，而用于手机的芯片通常支持时间都比较短，它由 4 个 Cortex-A78 核心和 4 个 Cortex A55 核心构成，GPU 为 Adreno 642L。其它规格包括 6.46 英寸 90 Hz 2770×1224 OLED 显示屏， 8GB 内存 256GB 存储，指纹阅读器，microSD 卡插，50 MP Sony IMX800 后置摄像头, 前置摄像头 50 MP Samsung JN1。

https://arstechnica.com/gadgets/2023/08/fairphone-5-sets-a-new-standard-with-8-10-years-of-android-support/


#Android

X 想要收集用户的生物识别信息和工作经历

2023-09-01 13:41 by 美丽之星

马斯克(Elon Musk)的 X/Twitter 平台更新了隐私政策，加入了收集用户生物识别信息和工作经历的条款。新的隐私政策声明，它可能会因安全以及身份识别的目的收集和使用用户的生物识别信息。生物识别信息包括指纹、虹膜或面部特征等。X 此举可能是该公司构建类似微信的万能应用计划的一部分。苹果等公司也收集用户的生物识别信息，但它们并不保存到自己的服务器上，而是直接储存在设备上，只能通过设备访问和使用。新隐私政策还表示要收集用户的工作和教育经历、就业偏好等信息。

https://www.theverge.com/2023/8/31/23853618/x-privacy-policy-update-biometrics-job-history

#Twitter

廉价 AI 时代正在走来

2023-09-01 14:13 by 诺比的微型反重力装置

Nala Ginrut 写道：AIGC 被认为是未来的基础物料，就如同水电一样存在普遍需求。可是高昂的算力成本已然成为 AIGC 进一步推进的阻碍。SymeCloud 在探索低成本 AI 方案的方向上更进了一步，最近他们发布了一个超廉价的 Chatbot 云方案，仅需 4.99 美元/月，是目前世界上最便宜的付费方案。该方案在 HackerNews 上引起了热议。

https://news.ycombinator.com/item?id=37341332
https://syme.dev/articles/news/0

#人工智能

印度探测器确认月球表面有硫

2023-09-01 14:40 by 诺比与平行宇宙的钥匙

印度空间研究组织(ISRO)称，月船三号（Chandrayaan-3）漫游车搭载的激光诱导击穿光谱（LIBS）仪器对南极月球表面的测量确认了硫的存在。LIBS 是利用强激光脉冲分析材料成分的技术，高能激光脉冲聚焦到岩石或土壤等材料的表面，产生炙热的局部等离子体。对等离子体光进行光谱解析可以确定元素成分，因为每种元素在处于等离子体状态时会发射一组特征波长。初步分析显示月球表面存在铝 (Al)、硫 (S)、钙 (Ca)、铁 (Fe)、铬 (Cr) 和钛 (Ti)。进一步测量表明存在锰 (Mn)、硅 (Si) 和氧 (O)。是否存在氢还在调查中。

https://www.isro.gov.in/LIBSResults.html


#月球

群聊和消息应用正在杀死社交媒体

2023-09-01 15:26 by 泰山和蚁人

社交媒体上算法精心编排的内容让用户们感到疲惫，愈来愈多的人转向私聊、群聊和封闭社群。今天社媒上定时发帖的主要是内容创作者和网红，而其他人则通过更私人的渠道发表生活点滴。社媒用户的内容消费并没有减少，但他们现在更多是浏览他人创造的内容，而不是自己发表生活动态，部分用户觉得发帖的门槛在上升，还有部分用户厌倦数以千计的眼睛注视。他们退回到了更私密的聊天和社群。

https://www.businessinsider.com/social-media-dead-instagram-tiktok-bereal-replaced-group-chats-messaging-2023-8

#互联网

微软为记事本应用加入自动保存功能

2023-09-01 17:29 by 去年是个好年吧

微软更新了 Windows 11 的截图工具和记事本应用。其中截图工具引入了组合的截图工具条，更容易的在截图和录屏之间切换。而记事本应用加入了自动保存功能，用户关闭记事本时不会再出现是否需要保存的对话框。关闭后重新打开将会自动回到用户离开的地方。用户如果喜欢旧的工作模式可以在设置里关闭该功能。

https://blogs.windows.com/windows-insider/2023/08/31/new-updates-for-snipping-tool-and-notepad-for-windows-insiders/

#软件

Firefox v117 支持自动翻译

2023-09-01 17:56 by 梦蛇

Mozilla 释出了 Firefox v117。 其中一项新功能是支持自动翻译，但没有默认启用，Mozilla 决定采取分阶段推出的方式，准备到下一个版本 v118 时再默认启用。感兴趣的用户可以手动启用——输入 about:config，寻找 browser.translations.enable 然后将值设为 True，重启浏览器生效。Mozilla 的翻译功能不同于 Google 翻译或其它第三方翻译服务，它的翻译引擎、语言模型和页面内翻译算法都完全在用户计算机内运行，没有任何数据会发送到云端，因此完全保密。缺点是支持翻译的语言数量有限。

https://www.mozilla.org/en-US/firefox/117.0/releasenotes/

#Firefox

内核 AMD GPU 驱动代码行数超过 500 万行

2023-09-01 18:45 by 异星战场

随着 Linux 6.6 加入对即将推出的 AMD Radeon GPU 的支持，内核中 AMD GPU 驱动代码行数超了过 500 万行，而整个内核的代码行数大约为 3480 万行。大部分 AMD GPU 驱动代码是自动生成的头文件。针对英伟达 GPU 的开源驱动有大约 20.1 万行代码，英特尔 i915 DRM 图形驱动有大约 38.1 万行代码。

https://www.phoronix.com/news/AMD-5-Million-Lines

#Linux

《黑街圣徒》开发商 Volition 被母公司关闭

2023-09-01 19:23 by 独眼巨人的笑声

在连续推出两款销量惨淡的游戏后，《黑道圣徒》、《红色派系》和《混乱特工》的开发商 Volition 被母公司 Embracer 关闭。Volition 的最后一款作品是去年上市的重启版 《黑道圣徒》。Volition 成立于 1993 年，最早的名字叫 Parallax Software Corporation，1996 年改名为 Volition，其早期的作品包括了太空射击游戏《Descent》系列和《FreeSpace 2》，被 THQ 收购之后推出了《黑道圣徒（Saints Row）》系列和《红色派系（Red Faction）》系列以及《惩罚者（The Punisher）》。它的最后两款作品《混乱特工（Agents of Mayhem）》和重启版《黑道圣徒》都褒贬不一，销量不佳。

https://www.linkedin.com/posts/volition_an-update-from-volition-activity-7103051392797351936-hkgT/

#游戏

Google 从用户的私人收藏内删除盗版链接

2023-09-01 20:33 by 华氏451

Google 向一位用户发去电邮通知，称从他的 Google Saved 收藏里移除了一个链接（一个已经失效的 KickassTorrents 链接），理由是它违法了 Google 的政策。移除的原因是“下游影响”，相关链接已被 Google 搜索屏蔽。Google 删除的不是用户保存的书签，而是类似 Pinterest 的网址保存和组织服务，保存的网址可以与第三方共享或私有。 Google 不允许用户保存其搜索服务屏蔽的网址，如 BT 网址 1337x.to 或 Katcr.com。

https://torrentfreak.com/google-removes-pirate-sites-from-users-privately-saved-links-230830/

#盗版

数学证明是一种社会契约

2023-09-01 21:13 by 大臣号遇难者

2012 年日本京都大学数学家望月新一宣称证明了 ABC 猜想。该猜想涉及到数论中的质数、加法和乘法之间的关系。问题是望月新一的论文超过 500 页，依赖于大量新的定义、符号和理论，绝大多数数学家都难以理解。菲尔茨奖得主、波恩大学数学家 Peter Scholze 和法兰克福大学的 Jakob Stix 数年后将其论文翻译到数学家更熟悉的术语，指出他的逻辑存在“无法修复的漏洞”。望月对此的回应是他们没能理解他的证明。这件事提出了一个根本性问题：什么是数学证明？人们倾向于将其视为某种永恒真理的启示，但也许最好将其理解为一种社会契约。蒙特利尔大学的 Andrew Granville 最近一直在思考该问题。他从小喜欢算术，但从未考虑从事数学研究。他父母都很早辍学，对大学一无所知。从剑桥数学系毕业后，他尝试了剧本改编，在寻求资金期间他去读了研究生，获得数学硕士学位，然后是博士学位。他在数学研究之路上再也没有回头。他在此后数十年里写 175 篇论文，大部分与数论相关。他还写了些数学科普。他指出，大众媒体未能更好的描述数学家的研究。人们倾向于将数学视为一种纯粹的探索，数学家仅通过纯粹的思考就获得伟大的真理。但数学事实上是猜测——经常是错误的猜测。数学是一个实验过程。数学家在不同阶段获得不同的结论。

https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/

#数学

OpenAI 驳斥 ChatGPT 的回复是衍生作品的主张

2023-09-01 22:13 by 千与千寻

OpenAI 的 ChatGPT 使用了海量数据训练，其中包括许多作家的作品。有多位作家提起了集体诉讼，指控 OpenAI 侵犯版权、违反 DMCA、不公平竞争、不当得利、ChatGPT 的每条回复都是衍生作品等等。OpenAI 逐一驳斥了这些主张。OpenAI 认为，作家们误解了版权保护的范围，没有考虑限制和合理使用等例外，版权的限制和例外为大模型等创新留出了空间。创新者以变革的方式使用版权材料并没有侵犯版权。版权法的目的是促进科学和实用艺术的进步，而不是作者所表达想法本身。OpenAI 还以 Google Books 诉讼为例，指出图书中的词频、句法模式和主题标记等统计信息超出了版权保护的范围。

https://yro.slashdot.org/story/23/08/30/1737241/openai-disputes-authors-claims-that-every-chatgpt-response-is-derivative-work

#人工智能

黑客如何挫败梭子鱼的漏洞修补

2023-09-01 23:13 by 基因突变

梭子鱼网络在 5 月 20 日披露其 Email Security Gateway（ESG） 发现了一个 0day——远程命令注入漏洞 CVE-2023-2868。而这个 0day 从去年 10 月起被活跃利用了 8 个月，被攻击者利用安装恶意程序窃取敏感数据。梭子鱼在六月初发布了不同寻常的声明，建议客户直接替换受影响的设备。现在我们知道了原因：修复的设备又重新感染了恶意程序。安全公司 Mandiant 发表报告称，黑客组织 UNC4841 早就做好了反制漏洞修补的准备。从去年 10 月开始 UNC4841 选择性的感染了部分梭子鱼客户，数量大约在 400-500 左右。在梭子鱼发布补丁堵上漏洞之后，UNC4841 再次选择性的对部分高价值目标释出了 DepthCharge、SkipJack 和 FoxTrot/FoxGlove 三种恶意程序。其中 DepthCharge 被认为最复杂，它设计在 ESG 清除掉恶意程序之后重新感染，方法是在备份配置中隐藏恶意代码。

https://arstechnica.com/security/2023/08/barracuda-thought-it-drove-0-day-hackers-out-of-customers-networks-it-was-wrong/

#安全

ReiserFS 被标记为将停止支持

2023-09-01 23:31 by 你的名字

作为更新 Linux 6.6 旧文件系统驱动的一部分，ReiserFS 不再被标记为“支持”，而是正式被视为“弃用（Obsolete）”。内核开发者去年开始讨论移除 ReiserFS 文件系统。ReiserFS 是在 21 年前作为第一个日志文件系统引入的，SUSE 发行版在 2006 年前一直将其作为默认的文件系统。但自从 ReiserFS 作者 Hans Reiser 因谋杀罪被判刑之后该文件系统的开发和用户兴趣就停滞了，只有前 Namesys（Hans Reiser 创办的公司）开发者 Edward Shishkin 前几年在 Reiser4 上做了些 bug 修复之类的维护工作。Linux 内核预计会在三年内移除 ReiserFS。

https://www.phoronix.com/news/ReiserFS-Obsolete

#Linux