本文分析了Waymo自动驾驶汽车在2024年7月至2025年2月期间发生的38起严重事故。令人惊讶的是，其中绝大多数事故并非Waymo车辆自身原因造成，而是由其他车辆违规驾驶导致，例如超速、闯红灯等。Waymo的数据显示，其自动驾驶车辆的事故率远低于人类驾驶员，即使将所有事故都归咎于Waymo，其安全记录依然显著优于人类驾驶。与人类驾驶相比，Waymo在减少事故方面取得了显著进展，尤其是在减少导致人员受伤的事故方面。
阅读更多
作者再次体验了Windows 11，发现其问题依旧。文件管理器缓慢，设置不如控制面板好用，且硬件要求过高。作者特别指出，微软强制要求TPM 2.0的做法对家用用户而言毫无意义，且与微软自己宣传的安全理念相悖。虽然最近一次更新过程相对顺利，但Windows 11 的Explorer依旧缓慢，UI设计糟糕，且存在隐私设置被应用程序覆盖等问题。作者总结，Windows 11 依旧无用，市场份额也在萎缩，远不如Windows 10。
阅读更多
英特尔在CES上发布了其新款酷睿Ultra处理器，宣称其将显著延长笔记本电脑的电池续航时间。新款芯片针对企业级PC和高端消费设备，旨在提升电池续航和AI性能。测试显示，搭载新款处理器的惠普笔记本电脑使用微软Teams可续航10.5小时，使用微软365套件可续航20.3小时，均优于竞争对手高通骁龙处理器。英特尔还表示，新芯片在生成式AI应用方面速度更快。Arrow Lake和Lunar Lake架构的处理器将于2025年发布，初期将面向商用设备，之后将应用于轻薄笔记本、高性能笔记本和台式机。
阅读更多
美国太阳能产业的蓬勃发展催生了一种意想不到的合作模式：在德克萨斯州等地的巨型太阳能农场，数千只羊被用来啃食地里的杂草，替代了传统的燃气割草机，既降低了维护成本，又为饱受困境的羊毛市场带来生机。这种“太阳能牧场”模式，也称“农业光伏”，正逐渐成为一种可持续发展的趋势，虽然其长期环境影响仍需进一步研究，但它已经为一些牧场主带来了新的机遇，并改善了农村社区对大型太阳能农场的接受度。
阅读更多
从手工乐器到数字音频工作站，音乐创作技术不断演变。如今，AI音乐模型正引领新时代，它们能生成完整的歌曲、分离音轨、合成人声、制作乐器音效等。虽然有人担忧AI会取代艺术家，但作者认为AI更像是辅助工具，能提高效率，拓展创作空间。未来，AI生成的音乐或许会与传统音乐难以区分，这既带来机遇也可能引发对“真实艺术”的重新思考。
阅读更多
作者分享了他使用 Emacs Org Mode 和 org-checklist.el 插件管理重复性工作流程的经验。他更喜欢使用带复选框的清单而不是自动化脚本，因为清单更灵活，易于更新。org-checklist.el 插件能自动重置清单中的复选框，并记录执行时间，配合 Git 版本控制，实现高效的重复性任务管理，避免了冗余数据。
阅读更多
韩国国会以204票对85票通过了对总统尹锡悦的弹劾案。尹锡悦因其短暂的戒严令而面临指控，此举引发了政治危机，并导致其总统权力被暂停。总理韩德洙将暂代总统职务，宪法法院将在180天内决定是否罢免尹锡悦。支持和反对尹锡悦的民众分别在首尔举行集会，表达各自立场。此次弹劾是韩国历史上第三次总统在任期间被弹劾的事件，凸显了韩国民主制度的韧性与活力。
阅读更多
一家公司仍在生产环境中运行一台使用了十多年的旧文件服务器。这台服务器虽然老旧，BMC 甚至需要 Java 来支持 KVM-over-IP 功能，但由于其拥有 16 个磁盘托架和 10G 以太网端口，以及公司对低成本大容量存储的需求，它被重新利用作为“自带磁盘”的廉价存储服务器。尽管速度和内存较低，但满足了用户的低性能、大容量需求。这体现了在特定情况下，老旧硬件通过合理利用依然可以发挥价值的理念。
阅读更多
本文介绍了一个将经典游戏Myst转化为图谱的项目。通过程序化生成，该图谱以节点和边的方式展现了游戏中各个场景和元素之间的联系，揭示了Myst游戏内在的结构和逻辑。该项目不仅提供了一个可视化的游戏地图，还为深入分析游戏机制、发现新的游戏元素提供了新的途径。后续文章将深入探讨基于该图谱的分析结果和技术实现细节。
阅读更多
Add-Ends是一款益智游戏，玩家需要移动黑色方块，使每一行和每一列的数字之和都等于目标数字。游戏中包含简单、中等和困难三种难度级别，还提供自定义谜题功能，玩家可以选择棋盘大小和难度。此外，还设有禅模式，隐藏计时器，让玩家更专注于解谜。
阅读更多
Lago是一款新型计费系统，旨在解决传统计费系统中繁琐的账单生成问题。传统系统需要工程师编写脚本计算复杂的用量，并将其导入到计费系统中生成PDF账单，导致工程师资源浪费。Lago通过自定义SQL表达式功能，允许用户直接将原始数据发送到系统，由Lago自动计算、聚合和去重，最终生成账单，从而解放工程师，专注于产品开发。该功能支持各种计费模型，例如按用户、按存储空间等，并能处理复杂的折扣和多云环境下的计费。
阅读更多
Rust编译器对枚举类型进行了一种巧妙的内存优化，使其占用空间更小，从而提升程序性能。文章通过分析枚举在内存中的表示，揭示了两种优化策略：一是“niche optimization”，利用无效的比特模式来表示不包含有效载荷的枚举变体；二是针对嵌套枚举的优化，通过巧妙地重用内层枚举的内存布局，减少外层枚举的内存占用。这两种优化策略都能够有效地减少内存消耗，提升程序运行效率。
阅读更多
一位在约会App工作数月的工程师揭露了App内部的运作机制。文章详细分析了用户排名算法（基于点赞率，男女差异巨大）、用户行为（男性更注重外表，女性更注重内在，但都更倾向于娱乐而非认真约会）、推荐算法（个性化而非简单推荐更有效）、留存率（与点赞数和匹配数相关，男性留存率更难提升）、盈利模式（男性付费获取更多点赞机会）以及用户画像（年轻用户更看重外表，年龄越大越注重内在）。作者认为，约会App的成功在于精准的个性化推荐和有效的用户留存策略，而非复杂的算法或功能。
阅读更多
ShredOS是一个基于Buildroot的轻量级Linux发行版，用于安全地擦除磁盘数据。它内置了nwipe工具，提供多种擦除方法，包括符合DoD 5220.22-M标准的算法，并支持多种处理器架构。ShredOS可从USB或CD启动，无需安装，界面友好，操作简便。此外，它还集成了一些磁盘工具，如smartmontools和hdparm，方便用户进行磁盘诊断和维护。
阅读更多
周二，智利遭遇全国性大停电，数百万民众受影响。停电原因是北部阿塔卡马沙漠到首都圣地亚哥的高压输电线路中断。此次停电波及全国14个地区，圣地亚哥地铁停运，交通瘫痪，许多企业被迫停业。政府已启动应急预案，医院、监狱等重要场所使用备用发电机，并呼吁民众保持冷静。
阅读更多
厌倦了SaaS模式，作者决定另辟蹊径，打造一个简单的“互联网贩卖机”。灵感源于一个售卖廉价外星人贴纸的自动贩卖机，它简单、交易一次性、价格低廉且无需客服。作者以此为蓝本，构建自己的网站ThreeKindWords.com，目标是提供简单易用的产品和服务，无需用户账户和复杂流程，专注于一次性交易，轻松获得收益，就像收集贩卖机里的硬币一样。
阅读更多
近期一项实验测试了大型语言模型（LLM）在Set游戏中的推理能力。Set是一款需要玩家从12张卡牌中找出三张符合特定规则的卡牌的游戏。实验结果显示，GPT-4o、Sonnet-3.5和Mistral等LLM均未能成功识别出所有Set组合，甚至出现了错误答案。然而，新型推理模型DeepThink-R1和o3-mini却成功解决了这个问题，准确地识别出所有Set组合，展现了其强大的逻辑推理能力。这表明，虽然LLM在自然语言处理方面表现出色，但在复杂的逻辑推理任务上仍存在不足，而专注于推理的模型则具有明显的优势。
阅读更多
作者通过让ChatGPT进行钟表绘画测试等一系列认知测试，发现其表现出类似人类前额叶皮层受损患者的症状，例如空间组织能力差、计划能力不足等。虽然ChatGPT能够编写程序生成正确的钟表图像，但在直接绘画或文本描述方面却屡屡出错。这引发了作者对AI认知能力、监督机制以及赋予AI高级认知功能的伦理风险的思考。最终结论是，当前的AI模型难以胜任所有人类任务，并提出了关于AI治理和立法的建议。
阅读更多
谷歌工程师曾尝试通过sandboxfs项目提升Bazel在macOS上的沙盒性能。sandboxfs利用用户态文件系统，以更快的速度创建虚拟文件层次结构，替代Bazel原有的符号链接方式。然而，由于macOS的符号链接性能并非主要瓶颈，以及项目本身的实现问题和macOS生态变化等原因，sandboxfs最终被放弃。尽管如此，作者仍然认为其核心思想——高效创建沙盒——对解决Bazel在macOS上的沙盒性能问题依然具有价值。
阅读更多
LaTeX 是许多理工科领域的首选排版平台，但其 PDF 输出存在可访问性问题。本文探讨了将 LaTeX 文档转换为 HTML 的方法，以提高可访问性。文中介绍了三种替代 LaTeX 的方案：Pressbooks、PreTeXt 和 Markdown，并重点介绍了 LaTeXML 和 BookML 这两种 LaTeX 到 HTML 的转换工具。作者以一个逻辑学教材的案例，详细描述了转换过程中的挑战和技巧，例如处理数学公式、图片替代文本和屏幕阅读器兼容性等问题，最终实现了更易访问的在线教材。
阅读更多
Qodo（前身为Codium）宣布其AI代码助手Qodo Gen集成DeepSeek-R1，这是一个与OpenAI o1性能相当的开源大型语言模型。DeepSeek-R1以其强大的推理能力和成本效益而闻名，能够处理复杂的编码挑战，并以更低的成本和更高的速度生成响应。Qodo Gen支持多种顶级LLM，为开发者提供安全可靠的AI辅助编码体验。
阅读更多
并发编程的复杂性在于难以枚举所有可能的状态。本文通过可视化方法，解释如何理解并发程序运行机制。文章首先介绍了程序状态的概念，即变量值和指令位置的组合，然后通过一个简单的C语言程序示例，展示了程序状态的转换过程以及状态空间的生成。接着，文章引入了并发程序，通过两个并发执行的程序P和Q，阐述了如何表示并发程序的状态以及状态空间的构建。最后，文章探讨了如何利用模型检查工具SPIN和LTL语言验证并发程序的正确性，强调了模型检查在确保并发程序正确性中的重要作用。
阅读更多
Figure公司推出Helix，一个具有突破性的视觉-语言-动作（VLA）模型，它将感知、语言理解和学习控制统一起来，解决了机器人领域长期存在的难题。Helix首次实现了全上半身高频连续控制、多机器人协作以及仅通过自然语言指令即可拾取任何小型家用物品的能力。它使用单个神经网络权重学习所有行为，无需特定任务微调，并可在嵌入式低功耗GPU上运行，实现了商业化部署。Helix通过“系统1”（快速反应视觉运动策略）和“系统2”（基于互联网预训练的VLM）的协同工作，实现了快速泛化和高精度控制，为家用机器人的规模化应用铺平了道路。
阅读更多
本文深入探讨了电路去耦中的常见误区——过度依赖100nF电容。作者指出，由于现代芯片的快速开关速度和低成本高容量电容的普及，100nF电容已不再是最佳选择。文章详细解释了去耦电容的工作原理、寄生电感和电容的影响，并建议使用更大容量（如1uF或2.2uF）的电容，以获得更好的去耦效果，降低EMI并提升电源完整性。文章还强调了电容封装尺寸的重要性以及与之相关的寄生电感，并指出过时规范的延续可能源于认知负荷的减轻和成本因素。
阅读更多
本文详细分析了《使命召唤：黑色行动 冷战》中的用户模式反作弊机制TAC。TAC巧妙地结合了Arxan代码保护和自定义技术，例如运行时API查找、调试器检测（包括对debug寄存器和Test signing模式的检查）、API Hook检测、外部覆盖窗口检测、以及最令人印象深刻的加密自定义系统调用。作者通过逆向工程，揭示了TAC的工作原理，并分享了绕过某些检测方法的技术细节。文章还涵盖了TAC进程终止机制、反签名扫描技术以及其他反调试技巧。这篇文章对反作弊技术和逆向工程的研究者都具有极高的参考价值。
阅读更多
TikTok的困境给所有依赖私有平台的创作者敲响了警钟。文章指出，将品牌或业务核心建立在无法控制的平台上，风险极高。Twitter API涨价、Shopify移除应用、Etsy和eBay政策调整等案例都表明，平台规则变化可能瞬间摧毁创作者的努力。作者建议创作者应拥有自己的网站、博客和邮件列表，并通过多元化内容分发策略，减少对单一平台的依赖，最终目标是将受众迁移到自己掌控的平台上，以确保长期稳定发展。
阅读更多
Arroyo流处理引擎的核心挑战在于高效处理大规模JSON数据流。文章介绍了Arroyo如何利用Arrow列式内存格式和一种两阶段的JSON解码策略，显著提升了JSON反序列化的速度。第一阶段构建一个扁平化的“tape”数据结构，第二阶段根据schema并行构建Arrow数组。该方法在基准测试中比基于Jackson的反序列化器快2.3倍。此外，Arroyo还扩展了对原始JSON和无效数据处理的支持，使其能够更灵活地处理真实世界中的流数据。
阅读更多
通过重新编译Ubuntu使用的jq源代码包，可以获得高达90%的性能提升。作者使用GeoJSON文件测试，发现重新编译后的jq速度显著提高。文章详细介绍了几个步骤：首先，简单地重新编译软件包即可获得2-4%的提升；其次，使用clang编译器和更优的编译选项（-O3, -flto, -DNDEBUG），速度提升20%；然后，使用TCMalloc内存分配器，速度提升40%；最后，使用mimalloc内存分配器，无论是动态加载还是重新编译，都能获得高达90%的性能提升。实验结果表明，重新编译并使用mimalloc的jq处理速度是Ubuntu默认包的两倍。
阅读更多
作者耗时数周，利用OCR技术对19世纪末的法国古籍《圣西门回忆录》进行数字化处理。这套45卷巨著包含超过300万字，图片版在线可见，但阅读困难。作者的目标是创建一个可读、可搜索、可复制的文本版本。过程中，他克服了图像质量差、页面区域划分（页眉、正文、注释、脚注等）困难等挑战，利用Google Vision API进行OCR，并编写Python程序处理OCR结果，识别并分离不同区域的文本。尽管LLM在脚注引用方面表现不佳，但作者通过改进程序和人工校对，最终将第一卷成果上线。
阅读更多
美国新政府关闭援助项目、退出世卫组织和巴黎气候协定，删除不符合其意识形态的数据集，拒绝向大学支付足够的经费，导致研究停滞和许多大学破产，并禁止在联邦文件中使用某些词语，例如“偏见”、“女性”等。这严重阻碍了科学研究的进行，对公共卫生和社会公平造成了巨大威胁。作者匿名发声，揭露了政府对数据的审查和对弱势群体的忽视，呼吁人们关注这一令人担忧的局面。
阅读更多