美国一架美国鹰航空公司飞机与黑鹰直升机相撞事故发生后，各种说法层出不穷。有人指责多元化招聘导致不合格的空中交通管制员，也有人建议关闭华盛顿国家机场。然而，文章指出事故的真正原因在于美国空中交通管制系统的严重落后：陈旧的设备、繁琐的手工流程、以及数十年来技术升级的失败。文章揭示，美国联邦航空管理局（FAA）的技术问题远比多元化招聘的影响更为严重，其自身监管和采购体系的低效也是重要原因。FAA落后的技术和低效的管理才是导致空中交通事故频发和人员短缺的根本原因。
阅读更多
本文回顾了源代码控制系统SCCS 50 年来的影响。作者Larry McVoy详细解释了SCCS独特的编织格式，这种格式允许通过引用进行合并，避免了其他系统中基于补丁的复制方式的低效。他解释了SCCS如何利用编织格式在恒定时间内检索任何版本的文件，并保留跨版本的作者信息。尽管SCCS存在一些缺点，例如长期锁定和文件导向，但其编织格式的效率和对作者信息的保留使其成为一个具有开创性的系统，并为后来的版本控制系统如BitKeeper奠定了基础。
阅读更多
MeshCore是一个轻量级的C++库，用于在嵌入式项目中实现多跳分组路由，支持LoRa和其他分组无线电。它无需互联网即可创建弹性、去中心化的通信网络。MeshCore支持多种LoRa设备，并提供预编译二进制文件，方便用户使用Adafruit ESPTool等工具进行烧录。它提供了类似Meshtastic和Reticulum的功能，但更注重轻量级多跳分组路由，适用于各种场景，例如离网通信、应急响应和物联网应用。
阅读更多
本文深入探讨了Kubernetes控制器开发中鲜为人知的挑战。作者从自身经验出发，揭示了初学者常犯的错误，例如CRD设计缺陷、控制器职责不明确、Reconcile()方法逻辑混乱等。文章强调了理解Kubernetes API规范、使用缓存客户端、处理工作队列和期望模式的重要性，并通过实际案例说明了这些问题可能导致的后果，最终建议开发者学习优秀控制器代码，并遵循最佳实践来构建可靠、可扩展的控制器。
阅读更多
QMK固件新增了自动纠错功能，可在键盘端实时修正常见拼写错误，例如将'ouput'自动更正为'output'。该功能基于Trie树数据结构实现，占用资源少（71个词条仅增加1672字节固件大小，平均每次按键耗时约20µs），支持大小写不敏感的自动更正，并允许自定义纠错词典。虽然目前仅支持英文字母和撇号，但为程序员等群体提供了高效的打字体验。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的arXiv功能。参与arXivLabs的个人和组织都认同并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有一个能够为arXiv社区增值的项目想法，请了解更多关于arXivLabs的信息。
阅读更多
本文深入探讨了Linux内核的dm-writecache模块，该模块利用NVMe SSD作为后端HDD的写回缓存，显著提升随机写入性能。作者通过实验比较了使用和不使用dm-writecache的随机写入速度，结果显示，使用dm-writecache后，写入速度提升了数十倍。文章还介绍了其他缓存方法和工具，例如bcache和ReadyBoost，并详细讲解了如何使用dm-writecache和dmsetup工具配置缓存。即使没有LVM2，也能通过dmsetup手动配置。文章最后总结了dm-writecache带来的显著性能提升，并指出剩余的NVMe空间可以用于缓存其他磁盘。
阅读更多
高性能Linux应用领域正在发生变革，io_uring改变了我们与操作系统的交互方式。它基于两个队列：提交队列（发送操作）和完成队列（读取结果）。结合事件循环，无需等待系统调用完成即可返回控制权，只需将操作放入队列。这与Actor模型惊人地相似：Actor模型中，对象通过发送消息进行并发计算，这与io_uring发送操作到文件描述符再异步接收响应的过程非常类似。这暗示着操作系统正朝着异步、自主运行的方向发展，传统系统调用方式或许已成为一种过时的抽象。
阅读更多
大型语言模型的微调通常需要大量计算资源。本文介绍了一种参数高效的微调技术——LoRA。LoRA通过在预训练模型中插入低秩矩阵（rank deficient matrices）作为适配器，仅训练这些适配器参数，从而大幅减少训练所需的参数量，降低计算和存储成本。这部分文章主要解释了LoRA背后的原理，包括传统微调方法的缺点，参数高效微调方法的优势，以及低秩逼近的数学基础。后续部分将深入探讨LoRA的具体实现和应用。
阅读更多
这篇指南详细介绍了如何在Qubes OS虚拟机管理器中实现GPU直通以进行游戏。过程复杂，需要对Linux系统、GRUB、IOMMU、以及Xen虚拟化技术有深入的了解。文章涵盖了硬件准备、IOMMU组的识别、GRUB配置修改以隐藏GPU、解决`max-ram-below-4g`参数问题、以及在虚拟机中安装和配置GPU驱动等步骤。对于Nvidia显卡，建议使用`nvidia-open`驱动。文章还讨论了Linux和Windows虚拟机的配置差异，以及使用VirtualGL和Vulkan解决潜在问题的方案。最后，文章还提供了自动化脚本，并列举了常见问题和解决方案。整个过程如同一个充满挑战的冒险，需要玩家付出大量的耐心和时间来调试和解决各种问题。
阅读更多
本文介绍了一种简单的方法来计算字符串中语言模型的令牌数量。这对于估计应用程序运行成本、检查文本是否适合语言模型的上下文窗口以及确定是否需要分块都非常重要。虽然可以用字符数除以4粗略估计，但更精确的方法是使用你实际使用的语言模型（Hugging Face或OpenAI模型）。作者提供了一个Jupyter Notebook，可以计算字符串、文件或文件夹中所有文件的令牌数量，无需依赖外部服务，安全且免费。
阅读更多
Reddit上一个关于Python中`hash(-1) == hash(-2)`的疑问引发了作者的好奇。通过深入研究CPython的源码，作者发现-1在`PyObject_Hash`函数中被用作错误指示符。因此，当计算结果为-1时，会被转换为-2。这并非Python的彩蛋，而是CPython C代码处理错误的方式。
阅读更多
研究人员发现，中欧的可再生能源设施使用未加密的无线电信号来控制电网供电，这使得整个欧洲电网面临潜在的瘫痪风险。攻击者可以通过重放或伪造信号来操纵大量电力设施，从而造成大规模停电。虽然专家对攻击的可行性存在争议，但这凸显了升级现有系统以增强安全性的紧迫性。
阅读更多
一位开发者呼吁Meta发布Meta眼镜的开发者套件(SDK)。目前Meta眼镜功能有限，开发者希望通过SDK创建社区，并利用潜在的后台服务API，允许第三方应用发送指令，例如通过语音命令“Hey Meta”控制智能家居设备。 如果SDK允许访问实时摄像头，则应用可能性将无限扩展。这将极大提升Meta眼镜的定制化和用户体验。
阅读更多
Voxon公司利用其突破性的VLED技术，创造出实时交互式三维体积全息图，数百万个光点在三维空间中漂浮，带来身临其境的360度全视角体验。其产品VX2和VX2-XL分别面向个人和商业用户，提供高质量的体积全息显示，适用于娱乐、通信和数据可视化等领域。Voxon还积极寻求合作伙伴，共同探索体积全息技术的更多应用场景，开启未来娱乐和数据展示的新篇章。
阅读更多
React UI 测试的挑战在于其异步更新机制。与直接操作 DOM 不同，React 的渲染器异步更新 UI，测试难以精确把握 UI 状态的更新时机。测试工具如 `act` 和 `waitFor` 只能缓解问题，但本质上是“最终会发生某些事”的权宜之计。微小的 UI 变化（如动画延迟、状态更新顺序）都可能导致测试失败，需要大量修改现有测试。这使得 React UI 测试维护成本高昂，成为许多开发团队的痛点。
阅读更多
本文讲述了作者如何使用TensorZero这个开源框架，搭建了一个自托管代理，成功逆向工程了AI代码助手Cursor的LLM客户端。通过将Cursor与LLM提供商之间的通信路由到TensorZero，他们能够观察、分析甚至优化Cursor使用的提示和模型。过程中克服了Cursor服务器端预处理和CORS跨域问题。最终，他们获得了Cursor与LLM交互的完整数据，包括提示词和响应，并能够进行A/B测试，比较不同LLM模型的性能。这项工作为理解和优化AI代码助手提供了宝贵的经验，也揭示了Cursor内部可能存在一个由不同能力的LLM组成的层次结构。
阅读更多
vscli 是一款命令行工具，旨在简化 Visual Studio Code Dev Container 的启动流程。它支持 VS Code、VS Code Insiders、Cursor 等多种编辑器，能够自动检测项目是否为 Dev Container 项目，并自动启动对应的容器。vscli 提供了 `open` 命令用于打开项目，`recent` 命令用于打开最近使用的项目列表，并支持多种启动行为和自定义配置，例如强制使用或禁用容器、指定编辑器命令以及传递额外的参数。通过简洁的命令和丰富的选项，vscli 极大地提升了开发效率。
阅读更多
Glicol并非简单的图像生成器，它更像是一位数字艺术家，通过独特的算法和模型，将文本描述转化为风格迥异、细节丰富的图像。它不仅仅局限于常见的图像风格，还能根据用户的细微调整生成出令人惊艳的作品。Glicol的出现，预示着AI图像生成领域迈入了新的纪元，为艺术家和设计师提供了前所未有的创作工具。
阅读更多
一位住在北卡罗来纳州西部山区的老人，因为蜂窝网络信号差，无法接收短信验证码，导致无法登录许多网站和应用程序。尽管她的房屋位于靠近城市的地方，但蜂窝网络覆盖仍然非常糟糕。运营商提供的网络覆盖图也与实际情况不符。她尝试使用WiFi通话接收验证码，但许多网站不支持通过WiFi通话接收来自5位数短代码的验证码。切换到TOTP双因素身份验证也存在问题，需要下载和使用额外的应用程序，对于不熟悉技术的用户来说操作比较复杂。这篇文章探讨了农村地区糟糕的蜂窝网络覆盖如何影响人们的日常生活，以及如何改善这一问题。
阅读更多
egui 是一个用 Rust 编写的即时模式图形用户界面 (GUI) 库。它轻量、高效，并提供简洁易用的 API，让开发者可以快速构建各种交互式界面。不同于传统的保留模式 GUI，egui 在每次帧都重新绘制整个 UI，从而实现更灵活的布局和更简单的状态管理。这使得 egui 非常适合游戏开发、数据可视化以及需要高响应速度的应用场景。其易用性和强大的功能使其成为 Rust 开发者构建 GUI 的绝佳选择。
阅读更多
一位经验丰富的程序员Vidrun参加了一场不同寻常的面试。面试官Aisha，一位三年经验的工程师，不仅询问了二叉树平衡问题，还展开了一场基于Prolog和λ演算的代码魔法对决。Aisha逐步引导Vidrun构建一个Lisp解释器，最终Vidrun运用µKanren和独特的宏定义技巧，巧妙地解决了问题，并与Aisha在代码的艺术中达成了共鸣。这个故事融合了技术、魔法和人际互动，展现了程序员的智慧和创造力。
阅读更多
宾夕法尼亚州立大学的研究发现，服务机器人的性别特征会影响顾客的决策。对权力感较低的女性顾客而言，具有男性特征的机器人更具说服力。然而，“可爱”的设计元素（如大眼睛和高颧骨）可以减少机器人性别对说服力的影响，让男性和女性顾客对机器人的反应趋于一致。研究人员建议，酒店和餐厅可以根据顾客的性别和权力感选择合适的机器人性别特征，以提高服务效率和销售额。
阅读更多
历时十年的Java Valhalla项目正进入收尾阶段。该项目旨在修复Java类型系统中类和原始类型之间的裂痕。通过引入“像类一样编码，像int一样工作”的值类，Valhalla实现了扁平且紧凑的内存布局。Devoxx 2024上，Java语言架构师Brian Goetz介绍了该项目的最新进展，包括值类、空限制类型、增强的确定赋值分析和严格初始化等关键特性。
阅读更多
网络安全研究人员发现了一种令人震惊的恶意链接传播方式：攻击者利用政府机构、大学等机构的网站，以及过时的WordPress插件和CMS系统漏洞，通过SEO优化和缓存投毒等技术，将指向欺诈性Robux、OnlyFans等内容的链接伪装成安全链接，从而绕过杀毒软件和VPN的检测。这些链接最终指向一个复杂的附属网络，攻击者从中获利。此行为并非个例，早在2020年就出现过类似事件。研究人员呼吁加强网络安全措施，并谨慎点击不明链接。
阅读更多
国产动画电影《哪吒2》以惊人的票房成绩席卷中国影坛，成为首部单市场票房突破10亿美元的电影，也是首部进入“十亿美元俱乐部”的非好莱坞电影。上映仅8天5小时，便打破《长津湖》的票房纪录，成为中国影史票房冠军；次日又超越《星球大战：原力觉醒》，成为单市场票房全球冠军。其成功不仅源于精美的画面和引人入胜的故事情节，更在于其深厚的文化底蕴和对中国神话的全新演绎，引发了广泛的文化共鸣，为中国电影行业注入了强心剂，也为中国动画电影走向世界树立了标杆。
阅读更多
作者在众多用户转向BlueSky之际，分享了其谨慎入驻的策略。文章的核心观点是：不要将所有价值都依赖于他人控制的平台。作者以“不要在别人的王国里建城堡”为喻，建议用户在自控空间内创造最大价值，并将其他平台作为导流工具。作者将BlueSky视为一个可能在三年内消失的平台，因此他不会在上面投入过多的精力，而是将重点放在个人网站和自建社区上，以确保长期价值的积累。
阅读更多
马斯克的X平台（前推特）近期封禁了指向加密通讯应用Signal的“Signal.me”链接，无论在私信、公开帖子还是个人资料中都无法使用。此举引发担忧，Signal因其端到端加密和注重隐私的特点，成为记者和线人重要沟通工具，尤其在近期美国政府数据泄露事件中发挥关键作用。虽然用户仍可通过手动输入Signal用户名进行联系，但此举无疑增加了沟通门槛，对信息安全和新闻自由造成潜在影响。此举被认为是X平台对信息控制的进一步收紧，其动机尚不明确。
阅读更多
Google DeepMind的研究人员开发了RT-2，一个能够将互联网规模的视觉语言数据转化为机器人控制的模型。通过将机器人动作表示为文本标记，并与互联网规模的视觉语言任务一起微调最先进的视觉语言模型，RT-2实现了显著的泛化能力。它能够理解复杂指令，执行多阶段语义推理，甚至使用临时工具，例如用石头当锤子。这项研究展示了将大型语言模型能力与机器人控制相结合的巨大潜力，标志着机器人技术领域的一大进步。
阅读更多
考古学家解读了1900-1600BC的巴比伦泥板，揭示了对月食的最早预兆记录。这些预兆充满了不祥之兆，从瘟疫到饥荒，甚至国王的死亡。巴比伦人相信天空反映了地球，因此月食被视为神明愤怒的预警。虽然这些预兆大多是厄运，但国王们可以通过祭祀和仪式来试图改变命运，甚至会用替身来躲避厄运。这项发现为我们提供了对古代世界观和对天体现象的解读方式的宝贵见解。
阅读更多