每日HackerNews RSS
在一个月内为 M4 Mac Mini 构建 Linux GPU 驱动程序 Building a Linux GPU Driver for the M4 Mac Mini in One Month
7 小时前
Cody Ho 和 Niklas Sheth 为 Apple M4 Mac Mini 和 MacBook Neo 开发了一款完全符合 OpenGL ES 3.0 标准的 GPU 驱动程序。通过利用自定义虚拟机监控程序对 AGX 固件 ABI 和用户空间组件进行透明、净室（clean-room）逆向工程，他们仅用数周时间就完成了通常需要数年才能完成的工作。
该开发过程在很大程度上依赖人工智能体（GPT-5.6 Sol 和 GPT-6 Astra）来实现逆向工程和代码生成的自动化。开发工作分为两个领域：一个用于管理固件通信的 Rust 内核驱动程序，以及一个集成到 Mesa 中用于处理 GPU 命令流和着色器编译的用户空间驱动程序。该团队已成功利用该驱动程序运行了 Chrome、Firefox 和 Minecraft（达到 200fps）。
研究人员采用了“Mesa 优先”策略，将人工智能的研发重心放在具体的开发任务上，而非单纯的理论逆向工程。尽管该代码尚未准备好供最终用户使用，但该项目是在复杂的底层系统编程中使用大语言模型（LLM）的里程碑式成就。该团队计划最终将工作贡献给上游，但他们也承认，在软件达到生产就绪状态之前，仍存在重大的技术和人为障碍。
让-皮埃尔·塞尔（Jean-Pierre Serre）是20世纪最具影响力的数学家之一。他出生于药剂师家庭，自幼便对数学产生了浓厚兴趣，通过自学母亲的大学教材掌握了微积分，随后在尼姆的公立中学表现优异。1945年进入巴黎高等师范学院后，他加入了布尔巴基学派，师从亨利·嘉当，并于1951年获得博士学位。 塞尔在谱序列和纤维空间方面的开创性工作彻底改变了代数拓扑学和同调代数。1954年，年仅28岁的他成为史上最年轻的菲尔兹奖得主。在他的职业生涯中，他曾长期担任法兰西公学的教授（1956–1994），并出版了许多因卓越的清晰度和影响力而备受推崇的奠基性著作。 塞尔以其在代数几何和数论领域的博学多才而闻名，曾获得包括斯蒂尔奖和2003年首届阿贝尔奖在内的无数荣誉。除学术成就外，他还被公认为一位杰出的阐述者和博学家，兴趣广泛，包括乒乓球、国际象棋和文学。塞尔终其一生都将数学视为对真理的优雅追求，是现代数学理论的主要构建者之一。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
让-皮埃尔·塞尔今天 100 岁了 (st-andrews.ac.uk)
25 点，由 jzox 发布于 33 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论
einpoklum 2 分钟前 [–]
我喜欢这个数学家传记网站，偶尔会有一些引用的片段增加趣味。我也很喜欢塞尔为对称群线性表示写了一本书的故事，因为他妻子在量子化学研究中需要该主题的优秀阐述，而塞尔将其描述为“履行作为丈夫的职责” :-P
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
石油是日常生活的一部分，即使你并没有意识到这一点。它被精炼成燃料，用于驱动汽车、运输货物，并帮助农民生产我们的粮食。它还被用来制造我们穿的衣服等物品。 自2026年2月美国和以色列对伊朗开战以来，全球的石油消费量一直超过产量。霍尔木兹海峡和红海实际上已切断了石油运输，导致全球约20%的石油供应中断。俄罗斯炼油厂遭袭和出口禁令使情况进一步恶化。美国的战略石油储备已降至1982年以来的最低水平。 《消耗分类账》（The Depletion Ledger）记录了石油供应、燃油价格，以及短缺对民众和企业的影响。你可以通过下方的图表查看变化情况，并探究这场危机可能演变的三个方向。该模型估算了在每种情况下储备石油的维持时间，并保留了预测记录，以便你查看其准确性。
这篇 Hacker News 讨论探讨了石油市场的长期前景、油价长期维持高位的可能性，以及电动汽车在降低能源依赖方面的作用。
参与者争论的问题在于：地缘冲突（特别是针对伊朗基础设施和潜在供应中断的担忧）是否会导致油价在 2030 年之前持续保持高位。尽管一些用户主张通过转向电动汽车来摆脱价格波动，但另一些人认为，适合大众的电动汽车价格高昂，仍然是许多消费者的准入门槛。
辩论的很大一部分集中在全球石油市场的本质上。尽管美国是主要的产油国，但评论者强调，石油是一种全球性商品；由于生产商可以将其卖给出价最高的国际买家，国内价格与全球供应冲击密不可分。仅仅依靠国内生产，并不能保证免受短缺或价格上涨的影响。
对话最后得出结论：虽然世界可能正接近“石油峰值”，但近期的特点是不确定的地缘政治、市场投机，以及通过普及电动汽车、提高能源效率和改变基础设施（以避开霍尔木兹海峡等脆弱的运输路线）来实现需求抑制的趋势。
本项目包含一个轻量级神经网络，旨在判断给定的输入是否为“Numberwang”。整个模型仅存储在一个 1.8 MB 的 JSON 文件中，推理过程完全依赖 Python 标准库，无需 PyTorch 或 NumPy 等外部依赖。 该网络直接处理字符级输入，无需传统的标记化或规则引擎。它被训练用于将输入分为四类：*Numberwang*、*非 Numberwang*、*非数字* 或 *Wangernumb*。它展现了令人印象深刻的语言灵活性，能够识别十一种语言的数字，并能处理罗马数字、序数和基本算术。 在技术上，该模型采用简单的架构（Conv1d、ReLU、全局最大池化），包含 80,804 个参数。尽管其 F1 分数接近 0.90，但它更多依赖于记忆而非严谨的计算，因此对常见表达的判断高度准确，但在处理复杂的未知算术时可靠性稍逊。本项目开源并采用 MIT 许可证，为解决识别 Numberwang 这一历史性难题提供了一种极简且即插即用的方案。
近期一篇 Hacker News 贴文介绍了“WangNet”，这是一个零依赖、仅 1.8 MB 的工具，能够用 11 种编程语言进行“Numberwang 裁定”。该项目向经典邪典小品《米切尔和韦伯的秀》（*That Mitchell and Webb Look*）中的“Numberwang”虚构游戏致敬，在小品中，该游戏的规则被刻意设计得荒谬且无法遵循。
评论者们迅速围绕该项目的反讽意味展开了讨论。一位用户指出，该模型可能存在缺陷，因为它孤立地评估数字，而忽略了真正的“Numberwang”规则所要求的复杂、依赖上下文的序列。其他人则为不了解该梗的读者提供了原作小品的链接及游戏背景。这场讨论成了一次幽默的技术练习，大家一致认为，尽管代码可以运行，但它无法真正判定一个数字是否真的是“Wang”。
Hacker News 上的一场讨论指出，Google 被指控在将开源代码整合进其项目时，删除了原作者的署名。
评论者强调，开源许可证在法律上要求必须保留署名，并指出许多人误将开源软件与公有领域（Public Domain）混为一谈，而后者并不强制要求署名。虽然一些参与者认为这构成了明显的版权侵权，应采取法律行动，但另一些人则持怀疑态度。怀疑者认为，Google 凭借其雄厚的资源，可以通过人工智能重写代码来规避这些问题，从而使传统的版权保护变得毫无意义。该讨论反映了开发者社区对大型科技公司无视开源贡献者知识产权的日益不满。