利用 LaTeX 排版的文档处理软件 LyX 释出了六年来的首个重大更新版本 v2.4.0，上一个大版本 LyX 2.3.0 是在 2018 年发布的。LyX 支持导入和导出为 PDF、HTML、OpenDocument、Word 等格式。LyX 2.4.0 的新特性包括支持 EPUB 和 DocBook 5，改进表格样式，默认编码 Unicode (utf8)，等等。更多可浏览 LyX wiki。

Firefox 130（目前稳定版是 v126)将为使用屏幕阅读器的视觉障碍者提供一项辅助功能：利用运行在本地的机器学习模型为图像自动生成文本描述。该功能将首先作为 PDF 编辑器的一部分提供，之后将扩大范围，作为常规浏览的一部分提供给使用屏幕阅读器的用户。它使用的机器学习模型是基于 Transformer，通过 COCO（Common Object In Context）或 Flickr30k 等数据集训练去识别图像中的不同对象，使用前需要一次性下载不到 200MB 大小的文件，虽然性能比不上知名大模型如 GPT-4 Turbo with Vision 或 LLaVA，但对于描述图像足够正确，对硬件需求也很低。

Google Chrome 官方博客宣布开始淘汰 Manifest V2 扩展：从 2024 年 6 月 3 日起在 Chrome Dev、Canary 和 Beta 渠道，如果用户仍然安装有 Manifest V2 扩展，那么用户访问扩展管理页面 chrome://extensions 时会显示警告信息，通知他们 Manifest V2 扩展将很快不予支持。未来几个月 Manifest V2 扩展将逐步禁用，用户将会被导向扩展商店 Chrome Web Store 推荐 Manifest V3 替代扩展。短时间内禁用的 Manifest V2 扩展可以重新启用，但未来将会被彻底禁用。对于受争议的 Manifest V3 扩展系统，Google 声称 Chrome Web Store 中逾 85% 的活跃支持扩展已经迁移到 Manifest V3。 Manifest V3 受争议之处是它限制了 WebRequest API 的功能，用 declarativeNetRequest 替代了 WebRequest。广告屏蔽扩展如 uBlock Origin 会受到影响，因为它们使用 WebRequest 在广告下载前屏蔽其请求。禁用 Manifest V2 扩展意味着 uBlock Origin 会被禁用。开发者已经释出了使用 Manifest V3 的精简版本 uBO Lite，其功能弱于原版。原版未来只能在 Firefox 等浏览器上使用。

一款游戏开发了 10 多年但发布仍然遥遥无期？它必定是《星际公民(Star Citizen)》了。《星际公民》由《银河飞将》创始人 Chris Roberts 领导开发，试图复兴太空模拟飞行游戏，允许玩家在广袤的宇宙空间内探险，交易和战斗。它于 2012 年在 Kickstarter 上成功众筹，原计划的交付时间是 2014 年。但在 Kickstarter 众筹结束后，开发团队继续在官方网站上进行募资，许多募资其实就是销售游戏内的虚拟物品如各种型号的飞船。2018 年它筹集到 2 亿美元，五年之后突破 6 亿美元，今年 5 月再次突破了 7 亿达到 702,476,179 美元。《星际公民》堪称史上开发预算最高的 3A 游戏了。

俄罗斯数字发展部部长 Maksut Shadaev 周二表示，政府考虑对使用外国软件的企业收费。此举旨在减少对外国技术的依赖，推动本国技术发展。因为对乌克兰的战争，西方对俄罗斯进行了制裁，限制其从国外获得技术和设备的能力，而俄罗斯早在 2022 年就允许国内公司使用盗版，但它仍然致力于在技术上能独立自主。俄罗斯总统普京在本月初签署了一项法令，到 2030 年关键经济领域的企业至少八成要过渡到使用本国开发的软件。对使用外国软件的公司收费将推动其转移到本土软件。

微软公布了 VBScript 的死亡时间表。VBScript 或 Visual Basic Scripting Edition 是一种轻量级的脚本语言，最早引入是在 1996 年，它被广泛用于在 Windows 操作系统中自动化任务和控制应用。更强大更通用脚本语言如 JavaScript 和 PowerShell 的存在让微软决定淘汰 VBScript。微软计划分至少三个阶段从 Windows 操作系统中移除 VBScript：今年下半部发布的 Windows 11 v24H2 中将作为按需功能默认安装和启用，2027 年左右默认禁用需要该功能的用户需手动启用，未来彻底移除(但时间未定)。

JetBrains 开发的面向 JVM 的语言释出 Kotlin 2.0.0 版本。主要新特性包括：合并了 Jetpack Compose 编译器，使用 invokedynamic 生成 lambda 函数， kotlinx-metadata-jvm 库稳定，用 Objective-C 方法解决 Kotlin/Native 冲突，支持 Kotlin/Wasm 命名导出，等等。

25 年前，一位用户报告了一个 Netscape Navigator 的 bug，问题是在“始终显示滚动条”下，textarea 的行高显示不正确，指定为 ROWS=5 COLS=30 的 TEXTAREA 字段显示的行高会增加大约 1。这个 bug 的历史比 Firefox 还要古老，Netscape Navigator 是 Firefox 的前身，过去 25 年相同的 bug 用户重复报告了数百次。几天前它终于被修复了。

一位 Firefox 用户透露她有个从不关闭标签页的习惯，她目前的标签页总数多达 7,470 个。她给出的理由是怀旧，喜欢时不时向后滚动看一下旧标签页，“就像一次回忆之旅，记录我正在做/正在学习/正在思考的事情。”如此多的标签页并没有影响 Mac 电脑的性能，因为 Firefox 的高内存效率，以及对于未激活的标签页实际并不会加载，因此并不占用内存。一位 Mozilla 代表表示打开大量标签页并不会消耗任何内存，表示正在开发标签组功能管理大量标签，“超过 7000 个标签页令人难以置信，但这也表明了管理标签页是一个常见问题。”

1964 年 5 月 1 日早晨六点，计算机领域的一场悄无声息的变革在达特茅斯学院展开。数学家 John G. Kemeny 和 Thomas E. Kurtz 在通用电气 GE-225 大型机上成功运行了新开发的 BASIC（Beginner's All-Purpose Symbolic Instruction Code）编程语言的第一个程序。他们当时并不知道，新的语言将会推动计算的普及，在未来 60 年里激励一代又一代的程序员。BASIC 是一种解释性编程语言，逐行运行，带有行号。程序可使用 GOTO 等命令在行之间跳转，可用于创建简单的循环程序。今天的大多数编程语言都使用不同类型的结构范式（如函数和面向对象编程），但 BASIC 易于掌握的语法及简单的英语关键字受到了新手的欢迎。BASIC 之前的语言如 Fortran、Algol 和 COBOL 都相当复杂，主要由专业人士使用。1975 年保罗·艾伦 (Paul Allen) 和比尔·盖茨 (Bill Gates) 将 BASIC 语言带到了个人计算机上，创办了微软公司。沃茨在苹果电脑上开发了解释器 Integer BASIC。

Arc 浏览器正式面向所有 Windows 11 用户开放。此前想使用 Arc 浏览器需要加入 Waitlist 才能进行测试。Arc 浏览器也是基于 Chromium 内核，默认采用竖直标签格局，支持 Chrom/Edge 扩展。Arc 浏览器最大的不同就是引入了“Space”概念（类似于“Groups”），用户可以创建不同的 “Space”来满足不同场景的浏览需求，每个 Space 下的网址集合可以一次性分享给他人。如果想从 Edge 切换到不同的浏览器，又不想使用 Chrome，那么可以试试 Arc。

Mozilla 发布了 Linux on ARM64 版 Firefox Nightly。Mozilla 称在发布 Firefox Nightly 版的 .deb 包之后，它收到的反馈集中在呼吁提供 ARM64 版本上。作为回应，它现在发布了 Firefox Nightly for ARM64 的 .tar 和 .deb 包。为了打造稳定可靠的 ARM64 版本，Mozilla 呼吁用户进行测试并递交反馈报告。

Mozilla 释出了 Firefox 125。主要新特性包括：Encrypted Media Extensions (EME)支持 AV1 编解码器；PDF 查看器支持文本高亮；Firefox View 在 Open tabs 栏显示固定标签页，Open tabs 还加入了标签指示器；主动阻止被认为来自不可信网址的下载；配置使用系统代理设置时可选启用 Web Proxy Auto-Discovery(WPAD)；默认启用 WebAssembly multi-memory 模式；在地址栏快速粘贴剪切板拷贝的网址，等等。

欧盟旨在消除不公平竞争的法律 Digital Markets Act（DMA）于 3 月 7 日正式生效，它迫使科技巨头提供浏览器选择屏允许用户选择不同的浏览器。多家浏览器开发商提供的数据显示，它们的市场份额在法律生效后出现了增长。总部位于塞浦路斯的 Aloha 浏览器表示，3 月欧盟用户增长 250%。它成立于 2016 年，以隐私作为主要卖点，通过付费订阅而不是销售广告跟踪用户获利，月活用户约 1000 万，欧盟以前是其第四大市场，如今变成了第二大市场。挪威的 Vivaldi、德国的 Ecosia、美国的 Brave、以及 DuckDuckGo 和挪威的 Opera 都报告了欧盟用户数增长。苹果的选择屏提供了 Safari 之外最多 11 种浏览器替代，Google 目前在自家的移动设备上展示了选择屏，它表示其它公司制造的新 Android 设备也将在未来几个月展示选择屏。

Google Chrome 使用的 V8 JS 引擎宣布其内存沙盒不再视为实验性。开发者通过官方博客解释了其沙盒的工作原理：内存安全仍然是一个相关问题，过去三年所有发现的 Chrome 利用都始于一个渲染进程的内存损坏漏洞。其中六成的漏洞位于 V8 引擎中。但问题是 V8 的漏洞很少是经典的内存损坏错误如释放后使用和越界访问，因此现有的内存安全解决方案大部分不适用于 V8，比如切换到内存安全语言 Rust。V8 沙盒旨在隔离其堆内存，因此内存损坏错误不会传播到进程内存的其它部分。

微软正在为 Edge 浏览器开发一项新功能，允许用户限制其消耗的内存。Edge 浏览器测试版本被发现了一个新的设置，用户可通过一个滑块限制 Edge 能访问的内存量。该功能可能主要是针对游戏玩家，因为测试版本的设置允许用户在游戏时限制 Edge 能访问的内存量或在任何时候都限制其内存量。微软警告说，设置一个较低的内存量会影响浏览器速度。

Google 正式发布了 Chrome for Windows on Arm。相比基于 x86 的 Windows，Windows on Arm 是一个规模较小但逐渐发展的平台，采用高通 Snapdragon X Elite SoC 的 Windows 笔记本电脑将在年中发布，高通公司声称处理器的性能与苹果的 Apple Silicon 处于同一水平。作为最流行的浏览器，原生支持 Windows on Arm 的 Chrome 对高通有重要意义。高通也在同一时间对此发布了它的新闻稿。Windows 上的 x86 软件如果没有 Arm 原生版本，那么将需要通过一个翻译层才能运行，这预计会对性能有影响。

微软释出了 Windows 记事本最新预览版本，内置了拼写检查和自动纠错功能。该版本通过 Windows 11 Canary 和 Dev 提供给测试者，正式发布还需要一段时间。微软表示，通过这次更新，记事本将高亮拼写错误的单词并提供建议，方便用户识别和纠正错误。自动纠错功能则可以在用户打字时无缝纠正常见的打字错误。安装最新版本之后，记事本会在拼写错误的单词下显示红色波浪线，单击该线条会显示正确拼写的建议。用户还可以将特定单词加入到全局数据字典中，未来不会再显示错误。微软表示，将对日志和源代码文件关闭该功能。因为此类文件常用非标准单词，会触发错误的拼写检查。

威廉姆斯车队负责人 James Vowles 和首席技术官 Pat Fry 从 2023 年初开始重新设计车队的赛车设计和制造系统。他们遇到的一大障碍是 Microsoft Excel。他们震惊的发现车队用 Excel 管理 2 万个零部件，而这个庞大的 Excel 文件缺乏每个零部件的成本、生产时间以及零部件是否已订购的信息。每个零部件可能处于多种状态——订购、缺货、已检验和退货，这导致了很多问题。F1 车队使用 Excel 去建造世界上最复杂最高效的赛车，这些赛车的成本在 1200 万到 1600 万美元之间，资源上限 1.45 亿美元。使用 Excel 在 F1 车队中并不罕见，据报道 2017 年雷诺车队的 Excel 表格有 77,000 行长，是 2023 年威廉姆斯车队 Excel 表格的三倍多长。

Mozilla 释出了 Firefox 124，主要变化包括：光标浏览模式（Caret Browsing）支持 PDF；Firefox View 允许根据最近的活动或顺序对打开的标签排序，默认为最近的活动；改进对 Windows 任务栏跳转列表支持；Mac 版本对对所有类型的全屏窗口使用 macOS fullscreen API，更好的匹配全屏空间、菜单栏和 Dock 的预期 macOS 用户体验（可在 about:config 中将 full-screen-api.macos-native-full-screen 设为 false 禁用该功能）；Android 版本启用了 Pull to Refresh 功能，等等。