太空冒险2：主磁盘失误 (lanceewing.github.io)
本文讲述了Sierra On-Line公司在制作游戏《太空冒险2》2.0D和2.0F版本时，意外将约70%的AGI图形冒险游戏引擎源代码泄露出去的故事。由于主磁盘在使用前未被格式化，导致之前存储于其上的源代码被复制到了成千上万张游戏磁盘中。作者详细分析了泄露代码的内容，包括游戏状态栏显示、动画处理等功能的实现，并通过代码中的修改记录追溯了开发人员和时间线。尽管这一失误在当时并未被发现，但对于理解Sierra公司早期的游戏开发技术具有重要意义。
将默认临时文件名前缀更改为反向拼写的“sqlite” (github.com)
这篇技术文章描述了SQLite数据库软件的一个代码更改。为了避免与McAfee杀毒软件的临时文件命名冲突，开发者将SQLite默认临时文件名前缀从“sqlite_”改为反向拼写的“etilqs_”。这一改动旨在减少因文件名相似而导致的用户误解和对开发者的骚扰。
微软拟160亿美元收购Valve/Steam (www.guru3d.com)
微软有意以160亿美元收购游戏公司Valve。Valve旗下拥有Steam平台、游戏《半条命》和《传送门》等。Valve年收入超100亿美元，估值约80亿美元。微软希望通过收购增强其在PC游戏和掌机游戏领域的地位。然而，由于Valve是非上市公司，其真实价值难以评估。此外，Valve联合创始人Gabe Newell持股不到25%，其他股东也可能影响收购结果。
设计师的无障碍设计和用户交互文档指南 (stephaniewalter.design)
本文详细介绍了设计师如何在设计过程中将无障碍性融入其中，并提供详细的文档记录方法。内容涵盖了视觉设计、交互设计、导航和内容访问等方面，并针对每个方面列举了具体的案例和解决方案，例如颜色对比度、链接和按钮设计、表单设计、键盘导航、图像替代文本等。文章强调了无障碍设计的重要性，并鼓励设计师与开发人员、测试人员等团队成员紧密合作，共同打造更具包容性的产品。
布谷鸟过滤器与布隆过滤器实例分析 (bdupras.github.io)
概率过滤器，如布谷鸟过滤器和布隆过滤器，是一种快速、高效的数据结构，支持具有一面错误的集合成员测试。它们可以确定一个条目绝对不在一个集合中，或者可能在一个集合中。布谷鸟过滤器在插入时性能优于布隆过滤器，但随着负载增加，插入性能会下降。布隆过滤器应用广泛，而布谷鸟过滤器相对较新。
GitHub - koute/bytehound: 一个用于 Linux 的内存分析器 (github.com)
Bytehound是一款用于Linux的内存分析器，可以帮助开发者分析内存泄漏、查看内存消耗位置、识别临时分配以及调查过多的内存碎片。它收集每次分配和释放的完整堆栈跟踪，并可以动态剔除临时分配，以便进行长时间的分析。
如何使EC2启动时间加快8倍 (depot.dev)
这篇文章介绍了如何通过一系列优化措施，将EC2实例的启动时间从40秒缩短至5秒。文章首先分析了EC2启动缓慢的原因，然后提出了三种优化策略：预热EBS根卷、使用启动一次停止的实例以及调整实例大小。文章还介绍了AWS自动扩缩组的预热池功能，并解释了为什么该功能不适合作者的需求。最后，文章总结了整个优化流程，并指出还可以通过优化软件启动过程来进一步缩短启动时间。
GitHub - dalance/amber: 代码搜索/替换工具 (github.com)
Amber 是一款用 Rust 编写的代码搜索和替换工具，其灵感来自 ack、ag 和其他类似 grep 的工具。它具有实用的默认设置，可以递归搜索当前目录，忽略 VCS 目录和二进制文件，并以彩色格式输出结果。Amber 支持多线程搜索，可以并行搜索大文件。它还提供交互式替换功能，允许用户决定是否替换找到的关键字。
BB(3, 4) > Ack(14) (www.sligocki.com)
本文介绍了Pavel发现的一种3状态4符号图灵机，它能够计算“阿克曼级别”的函数，并在纸带上留下[(2↑^15 5)+14]个非零符号后停止。文章详细分析了该图灵机的行为，并通过双重归纳法证明了其停止性。此外，文章还探讨了该图灵机的不同起始状态对其最终得分的影响，并将其与其他已知图灵机进行了比较。
Looking Glass 推出新款 3D 显示器 (techcrunch.com)
Looking Glass 公司推出了两款无需佩戴眼镜即可体验 3D 效果的新型混合现实显示器，包括售价 4000 美元的 16 英寸型号和价格更高的 32 英寸型号。新款显示器提供横向和纵向两种方向，以适应不同的内容格式和应用场景。该公司表示，这些产品专为设计、工程、教育、研究和医疗保健等领域的专业人士打造，用于尖端可视化。
M2dir：将邮件视为文件且不抓狂的新方法 (bitfehler.srht.site)
本文介绍了一种名为M2dir的新的邮件存储格式，旨在解决Maildir格式存在的缺陷。M2dir将每封邮件存储为一个独立的文件，文件名包含邮件的唯一ID、日期、发件人等信息，方便用户进行排序、查找和管理。与Maildir不同，M2dir的文件名易于理解，目录结构也更加简单清晰。作者认为M2dir更加人性化，并鼓励用户尝试和反馈。
可疑的建议：我的老板说我们不需要任何工程经理，他是对的吗？ (charity.wtf)
这篇文章探讨了科技初创公司是否需要工程经理的问题。作者认为，尽管 CEO 希望所有工程师都专注于写代码，但工程经理在团队协调、信息传递、建立问责制和促进组织发展方面发挥着至关重要的作用。作者从系统论的角度解释了层级结构的必要性，并用工程经理作为比喻，将他们描述为公司的“神经系统”，负责传递信息和协调行动。文章还强调了管理和技术工作之间的相互关联性，指出大多数管理任务需要具备工程背景才能有效完成。
难以解释：数学界证明了几何朗兰兹猜想，其复杂程度鲜有人能理解 (www.newscientist.com)
数学家们近期证明了“几何朗兰兹猜想”，这一猜想的证明长达1000页，被认为是数学界的一项重大成就。然而，证明过程极其复杂，即使是其他数学家也很难理解。几何朗兰兹猜想是朗兰兹纲领的一部分，该纲领旨在连接数学的不同领域，并被称为数学界的“大统一理论”。
微软宣布停止支持Windows 10、Windows 8.1和Windows 7 (www.microsoft.com)
微软宣布将于2025年10月14日停止支持Windows 10，并于2023年1月10日停止支持Windows 8.1。这意味着届时微软将不再为这些操作系统提供安全更新或技术支持。微软建议用户升级到Windows 11以获取最新的安全更新和功能。文章还提供了有关如何升级到Windows 11、备份文件以及Windows 11新功能的详细信息。
Nostr 既不中心化也不抗审查 (njump.me)
本文作者通过对比自己发布在不同Nostr relays上的帖子的浏览量差异，指出现今的Nostr实际上是中心化的，因为它很大程度上依赖于少数几个大型公共 relays。作者指出，虽然 Peter Todd 关于 Nostr 容易中心化的观点是正确的，但 Nostr 并非天生中心化，也无需改变协议就能实现其去中心化的目标。作者认为，现有的客户端已经可以做到这一点，未来 Nostr 会朝着更加去中心化的方向发展。
Common Lisp 不止一种语言，而是一系列语言 (aartaka.me)
文章驳斥了“Common Lisp 是一种单一语言”的观点，并列举了 Common Lisp 中包含的多种“语言”，包括：核心 Scheme 风格的 Common Lisp、CLOS、泛型、loop 宏、Clojure 和 Scheme？！、format 字符串等。作者认为，这些子语言的存在使得 Common Lisp 成为一个丰富的生态系统，但也导致了理解和评价 Common Lisp 的困难。
黑客新闻热门链接 (news.ycombinator.com)
本文列出了Hacker News网站上最热门的链接，涵盖了OpenAI泄露文件、Scarlett Johansson对OpenAI声音的声明、Gordon Bell去世、美国司法部寻求拆分Live Nation-Ticketmaster等热门话题。
微软大规模宕机影响 Bing、Copilot、DuckDuckGo 和 ChatGPT 网络搜索 (www.bleepingcomputer.com)
微软遭遇大规模宕机，Bing、Copilot、DuckDuckGo 和依赖 Bing API 的 ChatGPT 网络搜索均受到影响。用户访问 Bing 主页时出现空白页或 429 HTTP 代码错误，Copilot 则完全离线。微软已确认 Copilot 服务出现问题，正在调查原因，但未对其他服务宕机作出回应。
失败如何让数学更强大 (www.quantamagazine.org)
芝加哥大学拓扑学家Danny Calegari在最近一期美国数学会通告中发表了一篇文章，讨论了数学中失败的重要性。文章指出，数学家往往羞于承认失败，但实际上，失败是数学研究中不可避免的一部分，也是推动数学进步的重要动力。Calegari以自身经历为例，讲述了他在研究“稳定交换子长度”课题时遭遇的挫折，以及如何从失败中汲取教训，最终回归到对数学的纯粹热爱。文章还探讨了合作研究和公开分享失败案例的意义，认为这些做法有助于数学家更好地理解前沿问题，避免重复错误。
反对教育的理论案例 (www.astralcodexten.com)
本文探讨了教育的有效性问题，作者通过引用调查数据指出，大多数人忘记了他们在学校学习的大部分知识，无论事实还是技能。作者认为，这可能是因为人们在学校学习后很少有机会在现实生活中遇到这些知识，导致遗忘。作者提出，文化渗透比学校教育更能让人们记住信息，并以罗马帝国和乔治·奥威尔为例证。最后，作者对学校教育的价值提出了质疑，认为除了作为儿童托管机构外，大部分学校教育的效用值得商榷。
T-Mobile上调部分老用户套餐价格 (www.cnet.com)
T-Mobile将从6月或7月的账单开始，对部分老用户套餐进行价格上调，每行增加2美元或5美元。这是T-Mobile近十年来首次上调老用户套餐价格，该公司表示此举是为了应对通货膨胀和成本上升。此次调价预计将影响一小部分T-Mobile用户，但具体受影响的用户数量尚不清楚。
更快更强的 SuperSplat：性能提升与 PWA 支持 (blog.playcanvas.com)
PlayCanvas 发布了开源 3D 高斯斑点编辑和优化工具 SuperSplat 的最新版本 0.17.1，该版本专注于性能提升和 PWA 支持。SuperSplat 现在 GPU 速度提高了 2 倍以上，这得益于 PlayCanvas 引擎 v1.71.0 版本对 GPU 处理斑点的方式进行了全面改进。此外，SuperSplat 还新增了 PWA 支持，用户可以将其安装到主屏幕或桌面，享受类似原生应用程序的体验，并能够直接在工具中打开 PLY 文件。
Computershare弃用VMware，转向Nutanix，称VMware价格飙涨 (www.theregister.com)
全球股票市场份额登记运营商Computershare似乎已决定放弃VMware，转而使用Nutanix，以避免承担博通最新的授权制度和价格上涨。Computershare首席技术官Kevin O'Connor表示，博通收购VMware后，该公司对其非Nutanix虚拟机软件的报价提高了10到15倍。因此，Computershare将在未来一年内将其2.4万台虚拟机迁移到Nutanix。
iPad 到底值不值得买？ (therectangle.substack.com)
本文作者反思了自己对iPad的看法，从最初认为iPad是“精神上的失败品”，到如今将其视为集娱乐和工作于一体的“瑞士军刀”。作者发现，iPad可以作为外部显示器，满足了工作需求，同时也能用于漫画、绘画、视频等娱乐活动，避免了无休止地刷手机。尽管iPad还有提升空间，但在作者的设置下，它已经成为一个既有趣又实用的工具。
解读大型语言模型的思维模式 (www.anthropic.com)
这篇文章介绍了Anthropic公司在AI模型可解释性方面取得的重大进展。他们成功识别了大型语言模型Claude Sonnet内部数百万个概念的表示方式，并发现可以通过操纵这些概念特征来影响模型的行为。这一发现为提高AI模型的安全性提供了新的思路，例如识别潜在的危险行为、引导模型做出更安全的行为等。
微软必应搜索和 Copilot 遭遇宕机，用户报告问题 (indianexpress.com)
微软的搜索引擎必应搜索和 AI 聊天机器人 Copilot 遭遇全球范围内的宕机，许多用户无法访问。根据 Downdetector.com 的数据，宕机报告出现在几个小时前，但微软尚未说明原因和恢复时间。用户报告称，访问 Bing.com 时遇到错误信息、灰色网页或加载错误。此次宕机似乎也影响了必应图片生成器等服务。
GitHub - giuseppemag/ballerina (github.com)
Ballerina是一个专为前端网页开发设计的函数式编程框架，尤其适用于React项目。它提供了一套简洁优雅的工具和语法，帮助开发者轻松构建复杂应用。Ballerina的核心特点是将应用划分为不同领域，并通过状态、状态更新器、异步操作、API和视图等概念进行组织。它还提供了一个名为Co的库，用于管理应用中的并发操作。
RISC-V现已支持Linux内核中的Rust语言 (www.phoronix.com)
Linux 6.10内核的最新RISC-V端口更新已合并，其中最引人注目的是现在支持在Linux内核中使用Rust编程语言。RISC-V与x86_64、LoongArch和ARM64一样，已经支持在内核中使用Rust语言。虽然目前在Linux内核中使用Rust仍然相当有限，只有一些基本的驱动程序和大量的基础设施工作正在进行，但未来将有许多新的驱动程序和其他子系统支持。RISC-V现在支持在Linux内核中使用Rust，这在未来将变得更加重要。
WinDirStat - Windows 目录统计工具 (windirstat.net)
WinDirStat 是一款适用于各种 Microsoft Windows 版本的磁盘使用情况统计查看器和清理工具。它可以读取整个目录树，并以三种视图显示：按文件大小排序的目录列表、显示目录树全部内容的树状图以及显示文件类型统计信息的扩展列表。树状图使用彩色矩形表示文件，矩形面积与文件大小成正比，并按目录结构排列。