用 FPGA 复刻 Voodoo Graphics 与 90 年代末游戏 PC -- Recreating Voodoo Graphics and a Late-1990s Gaming PC on an FPGA
过去一个月,我一直在 Z486兼容核心(z486_MiSTer)上加功能提升性能,主要玩 1990 年代前半段游戏。向前几年想探索 3D 显卡的到来。第一个让我印象深刻的是巫毒(Voodoo)显卡,游戏是极品飞车 II SE(Need for Speed II SE)。平滑纹理、雾效和速度像新一代 PC 游戏。既有 Z486处理器(z486 CPU),能否在 FPGA 上重现?成果 ZSST核心(zSST)为 3dfx公司(3dfx)巫毒卡(Voodoo Graphics/SST-1)的 SystemVerilog 实现。结合 Z486处理器(z486 CPU)与硬件构成 Z486扩展(z486 XL):赛灵思(Xilinx)KV260 上运行带巫毒显卡的 DOS PC。古墓丽影(Tomb Raider)用原 3dfx 渲染器运行。
Apple Reference Image:照片验真新方案 -- Apple Reference Image: A New Approach for Verified Photography
如今强大普及的人工智能(AI)工具可轻松生成或篡改照片级真实图像,令真实事件照片与合成影像难辨。当照片须证某事确曾发生,仅看似真实不足证其真。此问题复杂,现代相机靠复杂算法出图,认证需覆盖传感器与计算摄影软件的信任链。基于C2PA标准的方案拍摄后附元数据,但编辑链任环节受损皆无法察觉。
Cartesian:面向设计的 AI 3D 建模工具 -- Cartesian – AI 3D Modeling for Design
Cartesian by Formas 是一款面向建筑与产品设计的 AI 3D 建模工具。说出需求、画出草图或直接拖入,它就能理解意图并以极高精度构建模型。每个部件都可单独编辑:换掉一把椅子,房间其余部分保持不变。几何体由可检查、可测量、可修改的面、边和实体构成,原生曲面、精确边缘与可编辑装配体取代网格近似,命名元素和明确关系让模型结构化地进入 BIM 工作流。
数学家让-皮埃尔·塞尔迎来100岁生日 -- Jean-Pierre Serre turns 100
让-皮埃尔·塞尔(Jean-Pierre Serre)1926年9月15日生于法国东比利牛斯省巴盖斯,父母均为药剂师。母亲阿黛尔·迪特(Adèle Diet)曾是蒙彼利埃大学药学学生并修过微积分。1932年他入读沃韦尔小学,七八岁起喜爱数学,1937年转至尼姆的阿尔方斯-多代中学,靠母亲留下的微积分书自学导数与积分等知识。
WangNet:1.8 MB 零依赖,11 种语言实现 Numberwang 判定 -- WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages
这是一个判断数字是否为数字王(Numberwang)的小型神经网络,模型是一个 1.8 MB 的 JSON 文件,推理代码约 100 行纯 Python 标准库,无需 PyTorch 或 NumPy,不必安装。克隆仓库后即可运行,如 python3 numberwang.py 22 判定 22 是 Numberwang,置信度 99.3%;输入 45 - 44 提示那是 Wangernumb 需翻转棋盘,置信度 100.0%;非数字则判定不可能是 Numberwang。
为何纳维-斯托克斯后仍看空LLM -- Why I'm still bearish on LLMs after Navier-Stokes
前沿实验室(frontier labs)估值基于已或即将产出全自动替代多数知识工人的叙事,但当前前沿模型即便最简单任务也需繁琐监督护栏。被 Navier-Stokes、FreeBSD RCEs、HuggingFace incident 等误导以为自主的人,可见软件公司仍雇下四分位工程师,其基准得分远低于监督模型。模型仅在训练任务小邻域泛化好,微扰即失败或奖励黑客。
2026年推理硬件革命 -- The Inference Hardware Revolution of 2026
腾索戴因(Tensordyne)的纳皮尔(Napier)芯片旨在加速人工智能推理。自2020年左右起,AI主要聚焦训练更大更好的模型,大型语言模型从数百万参数膨胀到数万亿。开放人工智能(OpenAI)的GPT-3(GPT-3)最大版本2020年发布时仅答对43.9%的基准题,四年后GPT-4o(GPT-4o)达88.7%。先进实验室仍在训练更大模型,但训练已退居背景,2026年推理(用模型产代码、写文章或生成图像)走到前台。
德国莱茵金属开源 Battlesuite 互联武器系统协议 -- German Rheinmetall open-sources its Battlesuite connected weapon system protcol
车载应用编程接口(onboardapi)9.10.0 是由莱茵金属(Rheinmetall)所发布的版本,该版本号标识了此套接口文档的迭代序号,厂商名称表明了开发归属。这一主页内容起始部分即呈现上述产品名、版本号与公司的对应关系,未附带额外叙述文字。
一个月为 M4 Mac Mini 开发出 Linux GPU 驱动 -- Building a Linux GPU Driver for the M4 Mac Mini in One Month
尼克拉斯(Niklas)与科迪·何(Cody Ho)用约一个月为 M4 Mac Mini(M4 Mac Mini)和 MacBook Neo(MacBook Neo)构建了完全兼容 OpenGL ES 3.0(OpenGL ES 3.0)的 GPU 驱动,这通常需数年。他们在 M4 Mac Mini 上借该驱动让 Chrome(Chrome)和 Firefox(Firefox)运行带合成效果的 WebGL(WebGL),速度足以使 Minecraft(Minecraft)达 200fps。构建需逆向苹果(Apple)的 AGX(AGX)复杂固件 ABI 与用户空间组件,以透明可验证净室方式完成,代码尚未准备好给终端用户但正计划尽快发布。
实体书太大直接裁开 -- Chopping up books when they're physically too big
作者向所有读者发出呼吁:应该拿刀把书切开。他的读书会最近选中了《孤鸽镇》(Lonesome Dove),他虽不是西部题材的爱好者,也承认这本普利策奖作品确实写得好。可这是一本850多页的平装书,在他眼里实在太大了:举着读累手,躺在床上举过头顶累胳膊,带上飞机或大巴要占掉半个包。于是他推荐一个做法,叫把书切成合手的几册。