加沙面临饥荒威胁，儿童营养不良状况堪忧 (www.reuters.com)
加沙地带因以色列的军事进攻面临严重饥荒，超过一百万居民处于极度营养不良状态。战乱导致农田被毁，物资供应受阻，儿童无法获得充足的食物，许多儿童患上严重营养不良，甚至因此死亡。联合国儿童机构数据显示，加沙北部三分之一的儿童患有急性营养不良或发育迟缓。营养不良对儿童造成长期损害，影响免疫系统、认知能力和身体发育。
Shipt的薪酬算法压榨零工，工人奋起反击 (spectrum.ieee.org)
2020年初，美国生鲜电商平台Shipt修改了薪酬算法，导致许多工人收入下降。由于算法不透明，工人无法得知收入下降的原因。为此，工人联合起来，收集薪酬数据并与研究人员合作，开发了一款名为“购物者透明度计算器”的工具，用于分析薪酬算法。分析结果显示，40%的工人的收入比之前下降了10%以上。工人利用这些数据组织抗议活动，并呼吁提高算法透明度，保障工人权益。
使用霍夫曼编码在 Haskell 中构建数据压缩工具 (lazamar.github.io)
本文介绍了如何使用约 150 行 Haskell 代码实现一个数据压缩程序。该程序使用霍夫曼编码，并使用恒定内存来处理任意二进制文件的编码和解码。文章首先简要介绍了霍夫曼编码及其在数据压缩中的应用，然后逐步讲解了如何编写一个能够压缩文本的编码器，最后将其扩展到压缩任何类型的文件。
史上最悲伤的“赶紧发布”的故事 (www.kitze.io)
这篇文章讲述了作者开发一个应用程序历时两年，却因为追求完美而迟迟没有发布。最终，作者发现市面上已经存在一款功能类似、且更加完善的应用程序。作者在感到沮丧的同时，也意识到了“赶紧发布”的重要性，并以自己的亲身经历告诫其他开发者，不要重蹈覆辙。
一张地图还是五百张地图？ (escapethealgorithm.substack.com)
本文讲述了18世纪末西班牙官方地理学家Tomás Lopez试图绘制西班牙地图的故事。Tomás将任务委托给各地神父，要求他们绘制各自区域的地图。然而，由于缺乏制图知识和统一标准，神父们绘制出的五百张地图风格迥异，无法整合。作者由此探讨了模块化与表达性之间的矛盾，认为标准化虽然提高了效率，但也牺牲了个性。文章最后鼓励读者思考如何在标准化与个性之间取得平衡。
sans-IO：构建高效 Rust 网络服务的秘密 (www.firezone.dev)
本文探讨了 sans-IO 设计模式在 Rust 网络服务中的应用。作者首先指出了传统 IO 模型在依赖管理和代码复用方面的局限性，然后引入了 sans-IO 的概念，并通过构建一个简单的 STUN 绑定请求示例演示了如何使用状态机和事件循环实现 sans-IO。文章还详细讨论了 sans-IO 的优势，包括易于组合、API 灵活、易于测试以及与 Rust 特性良好结合等。最后，作者也指出了 sans-IO 的一些缺点，例如需要手动编写事件循环、顺序工作流代码量增加以及社区支持不足等。
扩散强制：下一词预测与全序列扩散的结合 (boyuan.space)
本文介绍了一种新的训练范式“扩散强制”，它训练扩散模型对具有一致逐词噪声水平的词符集进行去噪。该方法将扩散强制应用于序列生成建模，通过训练因果下一词预测模型来生成一个或多个未来词符，而无需完全扩散过去的词符。实验证明，这种方法结合了下一词预测模型（如可变长度生成）和全序列扩散模型（如将采样引导至期望轨迹的能力）的优点。
弗洛伊德首个案例研究背后的女人 (newrepublic.com)
本文是对加布里埃尔·布朗斯坦的《贝尔莎·帕彭海姆的秘密思想：发明弗洛伊德谈话疗法的女人》一书的评论。作者汉娜·齐文探讨了布朗斯坦对弗洛伊德的批评，以及他对安娜·O. 病例的解读。布朗斯坦认为，弗洛伊德篡改了安娜·O. 的案例，以推进自己的事业。齐文对布朗斯坦的论点提出了质疑，并对安娜·O. 病例进行了自己的分析。
新型曲速引擎无需“奇异物质”，科学家称我们可以建造它 (thedebrief.org)
瑞典的一个研究团队提出了一种全新曲速引擎的设计，该设计不需要“奇异物质”来驱动，而是采用了一种被称为“物理曲速引擎”的新概念。虽然这种引擎不能超过光速，但它可以接近光速，并且能够消除传统曲速引擎设计中产生的致命辐射。研究人员承认，目前的设备还不足以测试这种引擎，但他们相信未来可以实现。
程序合成导论 (people.csail.mit.edu)
本文介绍了程序合成的概念、历史和应用。程序合成是指从一组描述代码语义和语法要求的组件中自动生成程序的技术。与编译、逻辑编程和机器学习等相关技术相比，程序合成强调生成满足特定要求的代码，并支持对程序空间的语义和语法约束。文章还讨论了程序合成的三种主要挑战：意图挑战、发明挑战和适应挑战，以及程序合成在软件工程、终端用户编程、代码逆向工程和人工智能等领域的应用。
Meta 旗下 Threads 应用程序上线一年用户数达1.75亿 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24774110/STK156_Instagram_threads_1.jpg)
Meta 首席执行官马克·扎克伯格宣布，Threads 应用程序自一年前推出以来，月活跃用户已超过 1.75 亿。虽然增速较最初发布时有所放缓，但 Threads 仍在稳步增长。Meta 计划在明年某个时候为 Threads 推出广告，并将其打造成为下一个拥有 10 亿用户的应用程序。
美国联邦法官部分阻止政府禁止竞业禁止协议 (www.npr.org)
美国德克萨斯州一位联邦法官部分阻止了政府禁止竞业禁止协议的禁令，该禁令原定于9月4日生效。该禁令影响约3000万美国工人，这些工人受到雇佣协议的约束，这些协议通常禁止员工加入竞争对手公司或创办自己的公司。法官认为，联邦贸易委员会在宣布所有竞业禁止协议不公平且反竞争方面越权，并将在8月30日或之前就该案的是非曲直做出最终裁决。
GitHub - udlbook/udlbook: udlbook/public/NMI_Review.pdf at main (github.com)
这篇文章提供了指向GitHub上udlbook/udlbook存储库中文件的链接，具体来说是public/NMI_Review.pdf文件，位于main分支。
用150行C代码击败NumPy的矩阵乘法 (salykova.github.io)
这篇博客文章介绍了如何用150行C代码实现高效的CPU矩阵乘法算法，其性能超越了NumPy。文章首先分析了NumPy的矩阵乘法性能，并介绍了BLIS库的设计思路。然后，作者逐步讲解了如何使用SIMD指令和缓存优化来提高矩阵乘法性能，并使用OpenMP实现了多线程加速。最终的实现版本在AMD Ryzen 7700处理器上达到了超过1 TFLOPS的峰值性能。
赛车游戏中的机器学习发展史 (hallofdreams.org)
这篇文章回顾了机器学习在 Trackmania 赛车游戏中的发展历程，详细介绍了八个团队或个人开发的自动驾驶程序，包括 Rottaca, TMRL, Laurens Neinders, AndrejGobeX, PedroAI, Bluemax666, Yosh 和 Linesight。文章分析了每个程序的特点，例如所使用的算法、训练方法、优缺点以及取得的成果，并指出了当前最先进的 Linesight 项目在专业赛道上取得接近人类专业水平成绩的成果。
USB与500毫安电流限制的迷思 (hackaday.com)
这篇文章探讨了USB端口电流限制的演变过程。文章指出，最初的500毫安限制在实际应用中逐渐被打破，设备制造商和用户需求推动了更高的电流标准。文章还介绍了不同USB版本及充电标准如何尝试解决电流限制问题，最终USB-C PD标准通过数字通信和ADC检测机制，实现了更灵活、安全的电力传输方案。
敏感材料：华兹华斯·唐尼斯索普、勒索和第一部电影 (publicdomainreview.org)
本文讲述了华兹华斯·唐尼斯索普的故事，他是一位多才多艺的发明家，与早期电影的发明有着千丝万缕的联系。唐尼斯索普发明了一种名为Kinesigraph的电影摄影机，并拍摄了伦敦特拉法加广场的短片，被认为是世界上最早的城市电影。然而，由于资金问题和技术难题，他的发明未能取得商业成功。除此之外，唐尼斯索普还卷入了与纺织业大亨塞缪尔·坎利夫·李斯特的长期纠纷，试图通过揭露李斯特的不道德商业行为来获取资金，最终以失败告终。
Netflix开始取消最便宜的无广告基本套餐 (www.macrumors.com)
Netflix 正逐步取消其最便宜的无广告订阅套餐，从英国和加拿大开始，预计更多国家将紧随其后。该公司已开始通过屏幕消息通知用户，除非他们升级套餐，否则他们可以访问该服务的最后日期。据报道，英国用户被告知他们每月 7.99 英镑的基本套餐已停用，可以选择每月 4.99 英镑的含广告标准套餐或每月 10.99 英镑的标准套餐。加拿大用户也收到了关于其基本套餐最后观看日期的通知，价格将从每月 9.99 加元上涨至 16.49 加元。
电力公司抗议AWS数据中心“免费搭车”电力交易 (www.theregister.com)
美国电力公司AEP和Exelon向联邦能源监管委员会(FERC)提交正式反对意见，抗议Talen Energy与亚马逊的核能交易。亚马逊从Talen Energy购买了一座核动力数据中心，作为交易的一部分，亚马逊将从宾夕法尼亚州萨斯奎汉纳的2.7 GW Talen核电站直接获得480兆瓦的电力，未来甚至可能升级到960兆瓦。AEP和Exelon声称，Talen和亚马逊基本上是在免费搭车，而其他PJM用户将不得不为此买单，并称尽管亚马逊的数据中心没有直接连接到PJM，但它仍然受益于电网，这意味着其他用户将承担损失。
超越经典解释：中子路径的量子奇特性 (www.tuwien.at)
维也纳科技大学的科学家利用中子干涉仪，成功验证了量子理论对微观粒子行为的预测。实验结果表明，中子能够同时存在于两个不同的路径上，违反了传统的宏观实在论，证明了量子理论的正确性。
NASA 选择 SpaceX 将伽马射线望远镜送入特殊轨道 (arstechnica.com)
NASA 选择 SpaceX 的猎鹰 9 号火箭发射康普顿光谱仪和成像仪 (COSI) 任务。COSI 将于 2027 年发射，研究超新星爆炸产生的伽马射线，以绘制银河系中元素形成的位置。该任务还将研究正电子湮灭，并报告短伽马射线爆发的位置。COSI 将进入赤道上方约 340 英里的特殊轨道，以避免辐射干扰。
使用 BOLT 优化 Linux 内核 (github.com)
这篇文章介绍了如何使用 BOLT 工具优化 x86-64 Linux 内核性能。文章详细讲解了如何构建内核、收集性能数据、转换数据格式以及修改内核构建脚本以集成 BOLT 优化流程。此外，文章还提供了一些关于性能预期、数据收集时长以及如何查看 BOLT 优化后代码的建议。
阿拉斯加河流为何呈现怪异的橙色 (www.atlasobscura.com)
由于气候变化导致永久冻土层融化，阿拉斯加州布鲁克斯山脉的数十条河流变成了怪异的橙色。融化的永久冻土层释放出铁等酸和金属，与氧气反应，将清澈的蓝色河流变成了乳白色橙色。这种现象被称为酸性岩石排水（ARD），它污染饮用水，破坏水生生态系统，对人类和野生动物构成威胁。虽然一些河流能够自我调节，但许多河流仍然受到污染，对鱼类和依赖它们的社区构成威胁。科学家们正在持续监测受影响地区，以更好地了解这种现象及其未来趋势。
Ladybird 网络浏览器获 GitHub 联合创始人资助，承诺不使用竞争对手的代码 (devclass.com)
Ladybird 是一款全新的网页浏览器，由非营利组织 Ladybird Browser Initiative 开发，GitHub 联合创始人 Chris Wanstrath 为其提供了资金支持。Ladybird 基于全新引擎，不使用其他浏览器的任何代码，并承诺坚持开源和网络中立。Ladybird 目前处于 pre-alpha 版本阶段，主要面向开发者，但其最终目标是挑战 Chrome、Safari 等主流浏览器的市场地位。
享受阅读无法完全理解的书籍的乐趣 (reactormag.com)
这篇文章探讨了阅读那些我们不能完全理解的书籍的乐趣。作者Molly Templeton认为，我们应该拥抱这种不确定性，并享受探索未知领域的乐趣。她以个人经历为例，分享了她阅读Neal Stephenson的“巴洛克循环”和Vajra Chandrasekera的“Rakesfall”的经历，这两本书都要求她走出舒适区，并探索新的叙事结构和文化背景。Templeton鼓励读者挑战自己，去阅读那些让他们感到困惑、着迷和兴奋的书籍，因为真正的乐趣往往存在于未知之中。
DS_store 文件的由来 (www.arno.org)
本文讲述了 macOS 系统中 .DS_Store 文件的由来。作者曾是苹果 Finder 的技术主管，他解释说，DS 代表 Desktop Services（桌面服务），.DS_Store 文件用于存储文件夹的视图设置和图标位置等元数据。作者认为这个名字不够好，并且存在一个 bug 导致 .DS_Store 文件过度创建。
2024 年上半年美国商业破产申请增加 70% (www.abladvisor.com)
根据 Epiq AACER 的数据，2024 年上半年，美国共计有 987 起商业破产申请（Chapter 11），比 2023 年同期的 582 起增加了 70%。所有类型的破产申请在 2024 年 6 月都比 2023 年 6 月有所增加。专家认为，商业破产申请的增加反映了企业和家庭日益增长的经济压力，预计未来个人破产申请也将大幅增加。
勒索软件攻击加州Patelco信用合作社，用户账户被冻结 (arstechnica.com)
美国加州Patelco信用合作社遭受勒索软件攻击，导致45万用户账户服务中断。该机构已关闭部分银行系统以控制问题，但在线银行、手机应用程序等服务仍无法使用。专家预计黑客可能会索要赎金，而Patelco信用合作社则表示正在努力恢复系统，并承认用户信息可能存在风险。
