几乎所有任天堂64游戏现在都可以重新编译成本地PC端口，以增加适当的光线追踪、超宽、高FPS等 (www.tomshardware.com)
N64Recomp项目能够将任天堂64游戏重新编译成本地PC端口，从而实现光线追踪、超宽分辨率、高帧率等图形增强功能。与完全反编译不同，N64Recomp提供了更快捷的移植方式，为游戏保存者和爱好者提供了更好的体验。
专为北美道路设计的重型卡车：沃尔沃 VNL (arstechnica.com)
沃尔沃推出新款VNL重型卡车，专为北美市场设计。该车型注重燃油效率和安全性，采用了空气动力学设计，并将Super Truck项目中的技术应用到实际生产中，例如连接驾驶室和拖车的整流罩，可将整体燃油效率提高7%。与欧洲卡车不同，VNL没有速度限制，因此设计重点是减少阻力。此外，沃尔沃还注重提高安全性，以帮助卡车保持运行，保护资产和货物，并吸引和留住司机。
如何让七年级学生吸烟 (www.experimental-history.com)
作者从一篇1989年的研究论文中了解到，一项名为“情绪”的反毒品项目，原本旨在帮助学生管理负面情绪，却意外导致参与该项目的七年级学生比未参与任何项目的學生吸食更多香烟、大麻和酒精。文章进一步探讨了类似的项目，如“Scared Straight”项目、D.A.R.E项目和正念训练，这些项目要么对学生造成伤害，要么未能提供帮助。作者认为，人们高估了改变他人的容易程度，并列举了三个原因：对他人的认知模糊、对改变的持久性期望过高以及理论缺乏可证伪性。
利用一个奇怪的技巧在几秒钟内推测出整个x86-64指令集 (blog.can.ac)
这篇文章介绍了一种利用CPU微架构细节和性能计数器来推测整个x86-64指令集的方法。作者利用CPU的推测执行和乱序执行特性，以及微指令翻译引擎（MITE）和微代码序列器（MS）的性能计数器，通过分析指令解码过程中的微指令数量和执行状态，推断出指令的行为和推测执行特性，甚至发现了一些未公开的指令。
我们不能再忽视人工智能的“幻觉”问题 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25255284/HT054_AI_writing_2.jpg)
文章指出，尽管人工智能发展迅速，但其“幻觉”问题，即人工智能生成不准确或虚假信息的问题，仍然是一个严重挑战。作者批评科技公司试图淡化这个问题，并强调人工智能的准确性至关重要。作者认为，人工智能应该以准确性为重，而不是为了追求所谓的“魔力”而牺牲事实。
研究人员发现过去五万年来自然界二氧化碳上升最快速度 (today.oregonstate.edu)
俄勒冈州立大学的研究人员通过对古代南极冰层的化学分析发现，目前大气中二氧化碳的增长速度是过去五万年来任何时候的10倍。这项发表在《美国国家科学院院刊》上的研究结果为了解地球历史上气候突变时期提供了重要的新见解，也为当今气候变化的潜在影响提供了新的视角。
TypeScript 的品牌类型 (www.carlos-menezes.com)
本文介绍了TypeScript中品牌类型的概念和应用。品牌类型通过为现有类型添加标签来创建新类型，这个标签充当编译时验证器，确保值在其预期上下文中被正确使用。文章以生成哈希值的函数为例，说明了如何使用品牌类型来明确返回值的性质，防止误用。通过定义唯一的符号作为品牌，可以确保类型在代码库中的唯一性。品牌类型可以增强代码的清晰度和安全性，防止潜在的误用或混淆。
甲骨文弃用 Terraform，转而使用 OpenTofu (www.thestack.technology)
由于 Terraform 即将发生的许可变更，甲骨文在其 Oracle E-Business Suite (EBS) Cloud Manager 中用开源分支 OpenTofu 替换了 Terraform。甲骨文现在告诉客户，他们“必须”在 2024 年 6 月 30 日之前迁移到基于 OpenTofu 的新版本迁移/配置工具。此举是在 Hashicorp 于 2023 年决定对 Terraform 和其他产品采用更严格的 BSL 1.1 许可证（而不是之前使用的 MPL 2.0）之后做出的。
戴尔泄露文件揭示下一代Arm版Windows芯片、续航29小时的笔记本电脑等信息 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25448772/1239915317.jpg)
戴尔一份长达311页的机密文件泄露，详细披露了其未来XPS系列的计划，包括即将推出的新款Arm版XPS 13笔记本电脑，以及高通下一代Windows on Arm芯片的发布时间表。文件显示，新款XPS 13将搭载高通骁龙X Elite芯片，并提供FHD+、QHD+和OLED三种屏幕版本，其中FHD+版本本地视频播放续航时间可达29小时。此外，文件还暗示了高通下一代骁龙芯片的发布时间，以及戴尔计划在2025年下半年和2027年末分别推出搭载Oryon V2和V3芯片的新款XPS 13和XPS 14笔记本电脑。
OpenAI 最新 GPT-4o 模型测评 (garymarcus.substack.com)
文章对 OpenAI 最新发布的 GPT-4o 模型进行了分析，作者 Gary Marcus 认为 GPT-4o 的语音合成能力令人印象深刻，但整体性能并没有比 GPT-4 有显著提升，他认为 OpenAI 可能已经转向新功能的开发，因为他们不知道如何实现“指数级改进”的预期能力提升。作者认为，目前还没有出现 GPT-5 级别的模型，这可能意味着我们已经进入了收益递减的阶段。
论科尼利厄斯·兰佐斯所著的《力学变分原理》 (www.thepsmiths.com)
本文介绍了兰佐斯的著作《力学变分原理》，探讨了牛顿力学和拉格朗日力学的哲学意义。作者以帆船运动为例，指出了亚里士多德因果论的局限性，并解释了牛顿力学如何取代了亚里士多德物理学。文章深入探讨了拉格朗日力学的优势，包括坐标不变性、对称性和对物理系统整体轨迹的关注。作者质疑了牛顿力学的“宇宙是一台大计算机”的观点，并认为拉格朗日力学可能提供了一种更真实的自然描述，其中最终目的在宇宙的演化中发挥作用。
谷歌将使用 Gemini 在通话中检测诈骗 (techcrunch.com)
谷歌将在未来的安卓版本中加入一项新功能，利用其生成式 AI 模型 Gemini Nano 实时识别与诈骗相关的对话模式，提醒用户潜在的诈骗行为。该功能将作为可选项提供，能够识别诸如假冒银行代表、索要密码和礼品卡等常见诈骗策略，但不会自动将用户对话上传到云端。
螳螂虾如何防御高速攻击 (news.ucsb.edu)
加州大学圣塔芭芭拉分校的生态学家帕特里克·格林研究了螳螂虾如何防御对手的攻击。研究发现，螳螂虾的格斗姿势可以额外吸收20%的冲击力，其尾巴像盾牌一样，能有效抵御高速攻击。格林计划继续研究螳螂虾的盔甲和战斗方式，以了解不同物种的行为和形态之间的关系。
Brane Dump: “这个项目还在维护吗？” (www.hezmatt.org)
这篇文章探讨了开源项目维护者与用户之间关于“维护”的理解差异。作者认为，许多开源项目实际上是由开发者为了自身需求而创建和维护的，并不一定能提供用户期望的支持。作者提出了一种“开源维护者宣言”，旨在阐明开源项目的维护现状，避免用户产生不切实际的期望。
特里波利耶巨型遗址：一种社会平衡理念？ (www.cambridge.org)
本文探讨了公元前4200年至公元前3600年间，位于黑海北部草原的特里波利耶巨型遗址的兴衰原因。作者利用38个遗址约7000栋房屋的面积计算了基尼系数，以此评估家庭间的不平等程度。结果表明，巨型遗址的社会不平等程度暂时降低。几代人之后，社会分化再次加剧，这可能解释了后来巨型遗址的废弃。研究结果表明，社会复杂性的增加不一定与社会分层的加剧相关，人口的大量聚集至少可以在一段时间内找到减少不平等的机制。
Great Question招聘产品工程师（Rails + React） (www.ycombinator.com)
Great Question是一家由Y Combinator支持的客户研究平台，正在招聘一位全栈Rails工程师。该公司正在构建一个企业级一体化研究CRM，该CRM具有运行和分析客户访谈、调查和原型测试所需的工具。他们正在寻找具有丰富Ruby on Rails应用程序构建经验的杰出人才，以提高其工程和产品组织的标准。这是一个获得早期经验、解决有趣问题、对早期公司的技术和文化产生巨大影响并塑造团队如何通过研究构建软件的未来的绝佳机会。
自学数学 (teachyourselfmath.app)
Teachyourselfmath是一个提供数学学习资源的网站，用户可以根据难度级别选择学习内容，并查看已收藏的资源。该网站由viveknathani在印度创建。
革命性的遗传学研究表明RNA可能主宰着我们的基因组 (www.scientificamerican.com)
科学家们最近发现，人体内存在着数千种能够控制人体的活性RNA分子。长期以来，人们一直认为DNA是生命的主要遗传物质，而蛋白质是执行生命功能的工具。然而，ENCODE项目的研究表明，多达75%的基因组会被转录成RNA，其中很大一部分是非编码RNA（ncRNA）。ncRNA不编码蛋白质，但参与其他分子进行生化任务，例如调控基因活性、形成细胞器、参与免疫系统等。这一发现颠覆了我们对遗传编程的理解，表明RNA可能在生命活动中扮演着比之前认为的更重要的角色。
Rust核心库和分配库的翻译 (formal.land)
本文介绍了使用coq-of-rust工具将Rust核心库和分配库翻译成Coq形式验证系统的过程。作者详细阐述了如何克服翻译过程中遇到的挑战，包括处理标准库中的原生结构、拆分生成的大型Coq代码文件以及修复模块名称冲突等问题。作者还提供了一个unwrap_or_default方法的翻译示例，并解释了如何证明其与简化函数代码的等价性。最后，作者总结了该工作的成果和未来的目标，即简化验证过程并提高验证效率。
微型 SD 卡在 SBC 中的时代即将结束 (www.jeffgeerling.com)
本文作者认为，随着树莓派发布了官方的 M.2 HAT+，微型 SD 卡在 SBC 中的时代即将结束。因为M.2 NVMe SSD 比 microSD 卡速度更快、可靠性更高。作者预计未来会有更多 SBC 厂商采用 M.2 作为主要存储方式。
Pinterest宣布弃用HBase (medium.com)
Pinterest宣布弃用HBase，这是一个始于2013年的NoSQL数据存储。Pinterest曾是全球最大的HBase生产部署者之一，拥有约50个集群、9000个AWS EC2实例和超过6 PB的数据。Pinterest决定弃用HBase的原因包括高昂的维护成本、缺少的功能、高系统复杂性、高昂的基础设施成本以及行业使用率和社区支持的下降。为了替代HBase，Pinterest选择采用TiDB，这是一个分布式NewSQL数据库。
奇特弯曲形状打破了 50 年前的几何猜想 (www.quantamagazine.org)
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
美国司法部称波音公司或对737 Max坠机事件负有刑事责任 (www.usatoday.com)
美国司法部周二表示，波音公司违反了2021年的一项协议，该协议使其在两起737 Max灾难导致346人死亡后免于刑事起诉。司法部认为，波音公司未能“设计、实施和执行合规和道德计划，以防止和 détecter 其运营过程中违反美国欺诈法的行为”。政府尚未决定是否对波音提起诉讼，但遇难者家属的律师表示，他们希望看到此案的进一步行动。波音公司表示已收到司法部的通知，并计划做出回应。
AI导致面试难度飙升 (www.softwaredesign.ing)
文章指出，由于AI工具的普及，比如Ultracode和Cheetah，求职者可以使用这些工具轻松解决面试中的难题，导致面试难度大幅提升。作者举例说明了2024年科技公司面试中出现的难题，并指出这些难题即使对于有经验的开发者来说也难以在规定时间内解决。作者认为，这种现象会导致真正学习的人才被淘汰，并提出唯一的解决方案是进行线下现场面试。
GitHub - javierguerragiraldez/parseback: 一个用于 LuaJIT FFI ctype 对象的纯 Lua 内省库 (github.com)
parseback是一个纯Lua库，用于解析LuaJIT的FFI ctype对象。由于LuaJIT的FFI缺乏内省功能，parseback通过分析ffi.typeinfo()提供的信息，以Lua table、C声明和Graphviz图表的形式重建ctype对象的描述。