CubeCL 是一个用于 Rust 的多平台高性能计算语言扩展，旨在简化 GPU 内核的编写。它允许开发者直接在 Rust 中利用宏编写 GPU 代码，并通过 JIT 编译器支持 CUDA、ROCm 和 WGPU 等多种后端。项目通过自动向量化、Comptime 和 Autotune 等核心优化功能，致力于在不同硬件上实现最优性能。
CubeCL：用 Rust 编写高性能 GPU 内核
Hacker News 上近期关注了一个名为 CubeCL 的新项目，它是一个用于 Rust 的多平台高性能计算语言扩展。CubeCL 的核心目标是解决编写高性能计算内核时面临的跨平台难题，让开发者能够使用 Rust 编写 GPU 内核，并支持 CUDA、ROCm 和 WGPU 等多种后端。
项目核心特性
CubeCL 通过提供一个基于 Rust 的统一接口来简化高性能计算内核的开发。其关键特性包括：
- 基于 Rust 的前端： 利用 Rust 的宏系统，开发者可以直接在 Rust 函数上添加
#[cube]属性来标记 GPU 内核。这使得内核代码能够利用 Rust 的语言特性，如泛型、结构体等，提高代码的可维护性和灵活性。 - JIT 编译器： CubeCL 包含一个 Just-in-Time 编译器，能够将 Rust 内核代码编译成适用于不同 GPU 后端的中间表示（IR），并最终生成目标平台的代码。
- 核心优化功能：
- 自动向量化： 根据输入数据的向量化因子，CubeCL 可以在编译时自动利用 SIMD 指令，优化性能。
- Comptime： 允许在内核编译时执行任意 Rust 代码，进行编译时计算、指令特化、循环展开、形状特化等优化，提高了灵活性和性能。
- Autotune： 通过运行时基准测试，自动选择最适合当前硬件的内核变体和配置，确保跨平台的最佳性能。
- 多平台支持： 目前支持 WGPU（覆盖 Vulkan、Metal、DirectX、WebGPU）、CUDA 和 ROCm（WIP），并计划支持基于 Cranelift 的 JIT CPU 运行时。
- 内存管理： 提供了针对吞吐量优化的内存管理策略，重用缓冲区以减少分配开销。
- 生态系统构建： 项目不仅提供计算语言，还致力于构建 Rust 高性能计算生态，已包含优化的矩阵乘法模块，并计划增加更多常用算法。
实现方式与当前状态
CubeCL 的实现方式独特，它使用 Rust 的过程宏将内核代码解析后，生成一个新的 Rust 函数，该函数在被调用时才负责生成 IR。这种延迟生成 IR 的方式是实现 Comptime 和自动向量化的关键。
项目目前处于 Alpha 阶段，虽然已经在同团队开发的深度学习框架 Burn 中使用，但仍有许多需要完善的地方。
社区讨论焦点
社区对 CubeCL 表现出浓厚兴趣，讨论主要集中在：
- 示例复杂性： 有评论建议增加更复杂的例子，如混合精度 GEMM，以评估其在 AI/ML 领域的实用性。作者回应称项目已支持 Tensor Cores、Warp/Plane 操作等高级功能，并有基于 CubeCL 实现的 GEMM。
- 与其他技术的比较： 讨论将其与 Halide、OpenCL、SYCL 等进行比较，探讨其单源编程优势和后端选择。作者解释了选择 WGPU 而非 OpenCL 的原因，并确认计划使用 Cranelift 实现 CPU 后端。
- Metal 支持： 作者和贡献者澄清，项目已能直接编译到 MSL 并支持 Metal 特性，通过 WGPU 也可支持 Metal。
- Rust 的安全性： 作者表示，启动内核时有安全和非安全版本，但在内核内部，资源共享是 GPU 工作方式的固有特性。
- 项目背景： 多位评论者和作者强调，CubeCL 是为 Burn 深度学习框架的需求而生，目标是在 Rust 中实现类似 CUDA 的算法开发体验，同时具备运行时编译器集成、多平台支持和最优性能。
总的来说，CubeCL 是一个 ambitious 的项目，它试图在 Rust 中提供一个高性能、跨平台的 GPU 计算解决方案，通过独特的机制简化了高性能内核的开发。虽然仍处于早期阶段，但其潜力巨大。
TacOS 是一个从零开始构建的 x86_64 UNIX-like 操作系统内核项目。作者利用业余时间开发，成功实现了虚拟文件系统、进程调度、虚拟内存管理等关键特性。该项目最引人注目的成就是成功移植并运行了经典游戏 DOOM。
TacOS：一个能运行 DOOM 的自制操作系统内核
Hacker News 上一篇名为 "Show HN: My from-scratch OS kernel that runs DOOM" 的文章引起了广泛关注。作者 UnmappedStack 展示了他从零开始构建的 x86_64 UNIX-like 操作系统内核项目 TacOS。这是一个作者利用几个月业余时间开发的玩具操作系统内核，主要使用 C 语言和汇编语言编写。
项目亮点与特性
TacOS 遵循了一些 UNIX 派生的概念，比如 exec/fork 系统调用和 UNIX 风格的虚拟文件系统 (VFS)。项目的亮点和最新里程碑是成功移植并运行了经典游戏 DOOM 的一个可移植版本（DoomGeneric）。除了运行 DOOM，TacOS 还支持一些其他小型用户空间程序。
TacOS 已经实现的关键特性包括：
- 虚拟文件系统 (VFS)
- 进程调度器
- 临时文件系统 (TempFS)
- 设备管理
- 上下文切换
- 虚拟内存管理
- 物理页帧分配
- 对 Doom 的移植
TacOS 可以在真实的硬件上运行，也可以在 Qemu 模拟器中运行。作者坦诚这是一个爱好项目，尚未完全成熟，存在一些已知 bug。
社区讨论与技术细节
评论区对这个项目表现出极大的热情和赞赏，称赞其“史诗级”、“非常酷”、“令人印象深刻”。同时，也引发了一些技术讨论：
- 运行环境： 作者解释了如何在真实硬件上运行（写入 USB 启动）以及在虚拟机中运行。
- 学习资源： 作者推荐了 osdev.wiki 网站、硬件规范文档以及项目 Discord 服务器作为 OS 开发的学习资源。
- 进程管理： 作者详细解释了如何使用分页机制实现独立的虚拟地址空间，以及如何通过 PIT 定时器中断触发的轮询调度器进行上下文切换。
- GPU 驱动： 作者坦言构建 GPU 驱动非常困难，特别是现代商业 GPU，文档稀缺。
- 移植软件： 作者解释说，虽然有 LibC，但系统调用尚不完整，移植第三方软件需要逐步实现依赖。
- 为何是 DOOM？ 作者解释说，在用户空间通过自定义 LibC 和系统调用运行 DOOM，需要更完整的 OS 功能支持，因此是一个有意义的里程碑。
评论区也出现了关于其与 GNU Hurd 比较的幽默讨论，以及对“Can it run DOOM?”这一经典梗的提及。
总的来说，TacOS 项目展示了从零构建操作系统的挑战与乐趣，其技术实现得到了社区认可，并引发了关于 OS 开发技术细节的深入讨论。
一篇来自滑铁卢大学数学系网站的文章，成功解决了包含韩国 81,998 家酒吧的最短步行路线问题。研究人员利用 Open Source Routing Machine (OSRM) 构建了大规模旅行时间数据集，并使用先进的精确算法找到了一个可证明的最优解。这是迄今为止在真实路网数据上解决的规模最大的、具有可证明最优性的旅行商问题（TSP）实例。
韩国 81,998 家酒吧的最短步行路线：一个超大规模 TSP 的最优解
一篇来自滑铁卢大学数学系网站的文章在 Hacker News 上引发热议，标题是《韩国 81,998 家酒吧的最短步行路线》。文章核心内容是研究人员成功解决了一个超大规模的旅行商问题（Traveling Salesman Problem, TSP），目标是找到一条访问韩国所有 81,998 家酒吧的最短步行路线。
研究方法与成果
研究人员使用了 Open Source Routing Machine (OSRM) 来计算任意两家酒吧之间的步行时间，构建了一个包含超过 33 亿对点之间旅行时间的数据集。这项工作的关键在于，他们不仅找到了一个路线，而且提供了一个可证明的最优解。这意味着根据 OSRM 的时间估算，不可能通过重新排列访问顺序来节省哪怕一秒钟的步行时间。
文章强调，这是迄今为止在真实路网数据上解决的规模最大的、具有可证明最优性的 TSP 实例，打破了他们之前在荷兰解决的包含 57,912 个站点的记录。整个计算过程耗时数月，动用了大量的计算资源。文章解释说，解决大型 TSP 并非通过暴力枚举，而是结合先进的启发式算法（如 LKH）快速找到高质量近似解，以及精确算法（如 Concorde 使用的割平面法和分支定界）来证明最优性。
社区讨论焦点
这篇有趣的文章在 Hacker News 上引发了热烈讨论，主要围绕以下几个方面：
- 对规模和技术的惊叹： 许多人对解决如此大规模、具有可证明最优性的 TSP 实例表示印象深刻。
- 关于“酒吧”定义的讨论： 这是评论中最集中的点。许多人质疑韩国为何有如此多“酒吧”，猜测数据集可能包含所有持有酒类销售许可证的场所，并讨论了韩国的饮酒文化、城市密度和场所规模。
- 对算法和“证明”的深入探讨： 技术爱好者讨论了 LKH 作为启发式算法的作用，以及 Concorde 等工具用于证明最优解的技术细节。解释了这里的“证明”是求解器收敛到最优解的过程，与 P=NP 问题无关。
- 轻松和实际的思考： 有人开玩笑计算了平均每天访问的酒吧数量，也有人提到实际问题，如酒吧的开闭变化会影响数据集的准确性。
总的来说，这篇文章以一个引人入胜的场景，展示了数学优化领域在解决大规模复杂问题上的最新进展，并引发了社区从技术细节到文化差异的广泛讨论。
Cory Doctorow 在 pluralistic.net 上发表文章《Careless People》，评论 Sarah Wynn-Williams 的回忆录，探讨 Meta（前 Facebook）高层领导的“粗心大意”。文章认为，这种粗心大意源于市场支配地位和监管失灵，导致公司变得“大到不能在乎”，对用户和社会产生负面影响。
Meta 的“粗心大意”：市场支配地位与监管失灵的后果
Cory Doctorow 在 pluralistic.net 上发表了一篇题为《Careless People》的文章，借由前 Facebook 全球政策负责人 Sarah Wynn-Williams 的回忆录，深入探讨了 Meta（前 Facebook）及其高层领导的“粗心大意”。Doctorow 认为，这种粗心大意并非简单的疏忽，而是一种更深层次的鲁莽、冷漠和傲慢，最终导致公司变得“大到不能在乎”（too big to care），对用户、社会产生了灾难性的影响。
回忆录揭示的“粗心大意”
文章引用了 Wynn-Williams 书中描绘 Facebook 高层“粗心大意”的例子：
- 马克·扎克伯格： 被下属故意让他在棋盘游戏中获胜，因为他输不起；在私人飞机上玩游戏时，如果 Wynn-Williams 没有故意输给他，他会指责她作弊。在联合国大会上未经简报就随意承诺，随后又对执行漠不关心。
- 雪莉·桑德伯格： 要求有权在墨西哥为自己的孩子购买肾脏；在达沃斯等场合过度关注自我推广。
- 乔尔·卡普兰： 在 Wynn-Williams 因大出血昏迷后，给她负面绩效评估，理由是她在 ICU 期间“不回复”邮件和短信。
文章追溯了 Wynn-Williams 加入 Facebook 的历程，以及公司从最初对美国以外世界漠不关心，到为了维持增长而转向全球市场的转变。Doctorow 认为，这种转变的驱动力是物质压力，即“增长股”的高估值要求公司不断寻找新用户。
“大到不能在乎”的根源
Doctorow 强调，Facebook 的“粗心大意”是公司在获得市场支配地位后，变得“大到不能失败”、“大到不能被监禁”，最终“大到不能在乎”的结果。通过收购竞争对手，Facebook 摆脱了市场竞争的约束；通过在政治选举中扮演关键角色，Facebook 俘获了监管者；随着工程师供应增加，公司领导层也不再担心员工因公司不当行为而反抗。
文章最后指出，Facebook 不仅对用户撒谎，也对广告商撒谎。这种“粗心大意”是政策选择的产物——政府未能执行反垄断法、未能加强隐私保护、扩大知识产权法赋予平台锁定用户的权力。Doctorow 总结道，虽然法律无法让这些公司高层关心我们，但可以通过改变政策环境，让他们不得不关心行为的后果，从而约束他们的“粗心大意”。
一篇 Hacker News 文章的作者出于好奇，写信给了 GNU GPLv2 许可证通知中提供的物理地址。GPLv2 发布于 1991 年，当时邮寄是获取完整许可证的合理方式。作者的实验记录了写信过程中的小插曲，并最终收到了来自自由软件基金会（FSF）的回信，但意外的是收到的许可证文本是 GPLv3。
写信给 GPLv2 许可证地址：一次开源世界的“考古”实验
Hacker News 上一篇题为《我写信给了 GPLv2 许可证通知中的地址》的文章，记录了一次有趣的“考古”实验。作者在处理开源软件时，注意到 GNU GPLv2 许可证通知中包含了一个物理地址：Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
实验过程与发现
作者好奇为何是物理地址，以及现在写信过去会发生什么。他研究发现，GPLv2 发布于 1991 年，当时互联网不普及，通过邮寄获取完整许可证是合乎情理的方式。
出于实验精神，作者决定亲自写信。他准备了信封、邮票和回邮信封，并从英国购买了美国邮票。写信过程让他意识到自己已很久未使用笔写字。
大约五周后，作者收到了回信。信封上的圆形邮票盖有邮戳。信件内容是打印在五张双面纸上的完整许可证文本。然而，意外的是收到的许可证文本是 GPLv3，而不是作者预期的 GPLv2。尽管如此，作者表示对收到的东西感到满意，并认为这次经历已经足够。
意义与可能的讨论
这篇文章记录了一次通过实际行动验证 GPLv2 许可证通知中物理地址作用的实验，并意外地收到了 GPLv3，展现了开源世界历史演变的一个小侧面。
虽然没有具体的评论内容，但可以想象社区讨论会围绕：
- 对实验本身的评价： 赞赏作者的好奇心和实践精神。
- 关于 GPLv2 和 GPLv3 的讨论： 讨论两个版本的主要区别以及为何仍有项目使用 GPLv2。
- 关于 FSF 的处理方式： 评论 FSF 仍处理邮寄请求，以及收到 GPLv3 而非 GPLv2 的原因。
- 邮寄与数字化的对比： 对比物理邮寄和数字下载的效率和体验。
- 小细节的趣味性： 作者购买邮票的经历等。
总的来说，这篇文章提供了一个独特的视角来审视开源许可证的历史细节，并引发了关于技术、历史和许可证本身的思考。
在联邦贸易委员会（FTC）对 Meta 的反垄断审判中，马克·扎克伯格提出“社交媒体已死”的论断。他认为平台已从连接朋友转向内容消费，竞争对手是 TikTok、YouTube 等。这一论点是 Meta 辩护策略的关键，旨在反驳 FTC 关于其在“个人社交网络服务”市场垄断的指控。
马克·扎克伯格的“社交媒体已死”论断与 Meta 的反垄断辩护
在联邦贸易委员会（FTC）对 Meta 的反垄断审判中，马克·扎克伯格提出了一个引人注目的论断：传统意义上的“社交媒体”——即连接朋友、分享个人动态的平台——已经不再是其平台的主要功能，甚至可以说“已经结束了”。
平台转型与市场竞争
文章阐述了这一转变：社交媒体日益演变成一个类似传统媒体的广播平台，充斥着名人宣传、新闻评论、流行文化剪辑和 AI 生成内容，目标是触达尽可能多的受众。用户在 Facebook 和 Instagram 上观看“朋友发布内容”的时间比例显著下降。扎克伯格表示，公司现在更多关注的是“娱乐、了解世界和发现正在发生的事情”。
这一论点是 Meta 在 FTC 反垄断案中的关键辩护策略。FTC 认为 Meta 在“个人社交网络服务”市场拥有非法垄断地位，部分通过收购 Instagram 和 WhatsApp 实现。Meta 反驳说，FTC 对“社交媒体”的定义过于狭窄且过时。他们认为，现在的市场是关于广泛的数字内容消费，竞争对手包括 TikTok、YouTube 等。Meta 提出，各种应用的功能正在趋同，这表明市场竞争激烈，不存在单一公司垄断的情况。
FTC 案件的挑战与更广阔的背景
文章也指出了 FTC 案件面临的挑战：市场定义模糊、试图推翻十多年前批准的交易、难以证明对消费者的“损害”（因为平台免费），以及难以证明 Meta 的收购扼杀了创新或减少了消费者选择。
文章将此案置于更广阔的背景下：欧盟对 Meta 和 Apple 的罚款、TikTok 可能面临的禁令或强制出售、生成式 AI 的崛起（包括 OpenAI 可能开发自己的社交网络）。文章认为，FTC 可能正在追逐一个旧问题，而新的、更大的挑战正在出现。
可能的社区讨论
基于文章内容，Hacker News 社区的讨论可能围绕：
- “社交媒体已死”论断的真实性： 辩论平台是否真的不再社交，或者社交的定义是否在演变。
- FTC 反垄断案的法律和技术层面： 分析 FTC 市场定义的合理性，以及传统反垄断框架在科技行业的有效性。
- 平台趋同现象： 探讨不同平台功能越来越相似的原因。
- 宏观趋势： 讨论 AI、新竞争者以及地缘政治因素对未来在线互动平台的影响。
总的来说，讨论会围绕扎克伯格论断的真实性、反垄断法律适用性、平台演进驱动因素以及未来在线社交和内容消费走向展开。
一篇来自斯坦福大学课程作业的文章深入探讨了汽车钥匙遥控器（Key Fob）的安全风险。文章介绍了 Key Fob 的工作原理和滚动码技术，并详细分析了重放攻击、信号中继攻击以及逆向工程滚动码系统等多种攻击方式。文章也提到了实现这些攻击所需的工具，揭示了日常便利设备背后隐藏的安全漏洞。
汽车钥匙遥控器（Key Fob）的安全漏洞与攻击分析
本周 Hacker News 上一篇来自斯坦福大学 EE26N 课程作业的文章引起广泛关注，深入探讨了汽车钥匙遥控器（Key Fob）的安全风险。文章指出，Key Fob 带来的便利背后隐藏着对汽车制造商系统安全性的信任假设，而这种信任并非总是可靠的。
Key Fob 工作原理与攻击方式
文章详细介绍了 Key Fob 的工作原理。大多数现代 Key Fob 使用远程无钥匙系统（RKS），通过软件定义无线电（SDR）工具可以捕获和分析其信号。为了防止简单的重放攻击，现代 Key Fob 使用滚动码（Rolling Code）技术，每次按下按钮生成新的代码。
尽管有滚动码，文章列举了几种针对 Key Fob 系统的攻击方式：
- 重放攻击： 对于固定码系统，简单录制重放即可。对于滚动码系统，可通过干扰汽车接收，记录未使用代码后重放。
- 信号中继攻击（Relay Attacks）： 针对被动无钥匙进入和启动（PKES）系统。攻击者通过设备中继 Key Fob 与汽车之间的信号，欺骗汽车认为 Key Fob 就在附近，从而解锁或启动。文章提供了特斯拉 Model 3 被此方式盗窃的视频链接。
- 逆向工程滚动码系统： 更高级的攻击。文章以大众汽车为例，指出制造商在所有车辆中使用相同的加密密钥。通过逆向分析 ECU 固件，可以恢复算法和密钥，进而克隆 Key Fob。
文章还提到了实现这些攻击所需的工具，如 SDR 接收器、基于 TI CC111X 芯片的 USB 发射器，以及 Flipper Zero 等设备。
社区讨论与解决方案
评论区围绕文章内容展开热烈讨论，主要集中在解决方案和防御措施：
- UWB 技术： 被认为是对抗中继攻击的有效手段，通过精确测量距离来验证 Key Fob 位置。
- 低技术防御： 将 Key Fob 放入法拉第笼（如铸铁锅、法拉第袋）中。
- Key Fob 睡眠模式： 一些制造商实现的功能，Key Fob 静止一段时间后停止响应信号。
- 其他防盗措施： IGLA 系统、物理断油开关、隐藏 GPS 追踪器等。
- 便利性与安全性权衡： 讨论无钥匙进入/启动的便利性与潜在安全风险，以及“手机作为钥匙”（PaaK）的优劣。
- 制造商责任与成本： 讨论易受攻击车型导致保险费用上涨的问题，以及 Key Fob 更换和编程的高昂成本。评论认为制造商应承担更多责任，并希望安全漏洞暴露能促使出现更经济的解决方案。
- 加密强度： 讨论制造商为何不使用更强的加密算法，可能与成本、功耗和兼容性有关。
总的来说，这篇文章和评论区揭示了汽车 Key Fob 安全是一个多层面、不断演进的问题。制造商在便利性、成本和安全性之间权衡，而攻击者不断寻找漏洞。了解风险并采取适当预防措施对车主而言仍然必要。