[$] 用 Charon 分析 Rust 程序
Rust 长期贡献者、rustc 模式匹配基础设施维护者 Nadrieril 发起的 Charon 项目,为访问 Rust 编译器内部信息提供稳定 API,以解决难以自动从 Rust crate 提取信息供其他工具使用的问题。
Rust 长期贡献者、rustc 模式匹配基础设施维护者 Nadrieril 发起的 Charon 项目,为访问 Rust 编译器内部信息提供稳定 API,以解决难以自动从 Rust crate 提取信息供其他工具使用的问题。
Nick Bild 为 TRS-80 的《Dungeons of Daggorath》制作改版《Dungeons of Doom》,加入摇杆控制、以 DOOM 的 imp 和 cacodemon 为原型的怪物,以及可选的无限生命与力量。摇杆按钮可直接快捷攻击右手所持武器,取代原先 ATTACK RIGHT 这类文本命令。原版条款不允许分发改后代码,但改动足够简单,读者可自行照做。
NVIDIA 宣布其 GPU 加速决策优化产品 cuOpt 通过 mPDLP 将可求解规模扩展到 1 亿变量以上,面向供应链与电网调度等需要在有限规划窗口内评估更大模型和更多不确定性的场景。原文提到 cuOpt 相比 CPU 已可实现 10x 以上的加速。
NVIDIA 提出用数字孪生与 AI Agent 验证 AI 工厂的基础设施、软件与策略变更。AI 工厂由 GPU、CPU、交换机、DPU、SuperNIC 以及调度器、编排服务、安全控制和快速变化的软件栈组成,部署与验证其协同工作均具挑战。
Simon Long 宣布发布面向 x86-64 系统的 Raspberry Pi OS Desktop,基于 Debian 13 (trixie),此前该版本长期未更新,每周仍有两三封邮件询问进度。
LAVD 调度器最初为游戏应用设计,如今已扩展到服务其他类型的工作负载。在 2026 年 Kernel Recipes 大会上,Changwoo Min 和 Gavin Guo 概述了该调度器及其随时间的演进过程。LAVD 是借助 BPF 构建自定义 CPU 调度器的可扩展调度器类(extensible scheduler class)中涌现的调度器之一。
作者介绍如何用 esp-hosted 把 ESP32 模块通过 SDIO 或 SPI 变成 Linux 单板机的 WiFi/BT 无线网卡,并给出自己在项目中加入 ESP32-C6 的完整搭建过程。
推荐理由:文章给出SDIO布线、驱动编译与调试的完整实操细节,也点明了C5优于C6的选型教训。
Zach McGinty 将经颅磁刺激(TMS)装置以 OpenTMS 项目开源,包含贴头线圈与脉冲电源的完整设计。线圈采用空心铜管通冷却液,电源用一对微波炉变压器经 IGBT 反激式开关,脉冲电流达 kiloamps,IGBT 栅极控制以光纤隔离。项目未获 FDA 或当地监管批准,作者声明其非医疗设备,自行搭建风险自负。
DSPi 是面向 Raspberry Pi Pico、Pico 2 及其他 RP2040/RP2350 板卡的音频 DSP 固件,可将其变为带集成 DSP 的 USB 声卡,支持房间校正、有源分频、参数 EQ、时间对齐等功能。
推荐理由:原文列出了 DSPi 在 RP2040 与 RP2350 上的滤波器数量、通道数和数学引擎差异,便于按硬件选型评估。
Levente Szabadkai 将 Commodore 64 键盘字体从照片中描摹为矢量字体,并在 GitHub 上以多种格式提供下载。该字体仅含大写字母,同时收录标点、PETSCII 字形、功能键及 Commodore 徽标。光标箭头为实心样式,与部分机型的空心样式存在差异。
Avery Flies 设计并组装了一架 27 英尺长的遥控热力飞艇,靠丙烷燃烧器加热空气产生升力。除手工缝制的尼龙气囊外,动力与控制多取自 R/C 模型:70 mm 电动涵道风扇维持气囊形状,无刷直流电机驱动 18" 螺旋桨提供推力,转向舵机则改装自 R/C 帆船绞盘舵机。
Nuvoton 为 NuMicro MA35D0 系列新增 MA35D05KH67C、MA35D05KI67C、MA35D05KJ67C 三款 LQFP128 MPU,并推出 NuMaker-IoT-MA35D0-A2 (Chili Pro) 评估板。
推荐理由:原文列出三款新 LQFP128 MPU 的内存差异与完整板卡规格,可为工业 AI 网关选型提供对照。
Linux 内核 7.3-rc6 预发布版已发布并开放测试。Linus 表示下周将参加年度维护者峰会和 Linux Plumbers Conference,可能影响 -rc7 的统计,但不太可能改变发布节奏。其随后的年度家庭假期或使下一个合并窗口略显不稳。
Yongha Kim 借助 GeekMagic SmallTV 内置的图片查看功能,在不替换原厂固件、不焊接的情况下让设备显示任意内容:由网络上的主机用 Python Pillow 生成 240×240 图片,通过 HTTP 推送到设备,示例展示 Claude 与 Codex 用量数据。该方法也支持 GIF 动画,内容与生成工具不限。
NVIDIA Megatron Core 通过位级确定性(bitwise determinism)让大规模预训练更易于调试、验证和可复现地恢复。在跨数千块 GPU 训练万亿参数模型时,多维并行、低精度计算与分布式 checkpoint 会让故障复现和修复验证变得复杂,位级确定性正是针对这一场景发挥作用。
NVIDIA DOCA GPUNetIO 将网络与数据搬运统一为 GPU 直接控制的一等操作,减少 CPU 在每个网络事务中的介入。CPU 位于关键路径会增加时延并限制分布式应用的实时响应效率,GPUNetIO 旨在消除这一瓶颈。该能力覆盖 NVIDIA 软件栈,面向需要 GPU 发起网络的分布式应用。
Hackaday 一位作者因 JVC、Logitech、EPOS 耳机接连在塑料关节处断裂,决定用 OpenSCAD 自行设计 3D 打印耳机结构。他复用原耳机的驱动单元、麦克风和电子件,以一体成型的锯齿形板簧替代球形关节,提供 X/Y 旋转与 Z 位移自由度,并做成滑动式头梁。设计已开源在 GitHub 仓库,可改造用于修复损坏的耳机。
NVIDIA 发布 AICR v1.0,为 GPU 加速 Kubernetes 集群提供开放、稳定、可验证的配置方案。该方案针对主机内核、GPU 驱动、容器运行时、网络、存储、operator 与工作负载框架等数十个各自独立发版的组件,解决版本兼容性问题。同一配置在不同服务、GPU 代际和 Kubernetes 版本下可能静默失效,AICR 旨在让部署前后的版本冲突可追溯、可验证。
EDG C++ 编译器前端项目宣布开源,此后由非营利组织 C++ Alliance 管理,源码已发布在 GitHub。Edison Design Group(EDG)自 1988 年起做编译器前端,其前端被 Intel C++ 编译器、Microsoft VC++、NVIDIA CUDA 编译器等商业产品采用;公司去年决定在 2026 年关停并转向开源模式。
推荐理由:EDG 前端曾用于 Intel、Microsoft、NVIDIA 等编译器,其开源走向可能影响 GCC 与 Clang 的生态格局。
NVIDIA 提出 Green Contexts,让单进程内多个独立组件(如时延敏感算子与吞吐导向后台 kernel、数据预处理与模型推理)可控制地共享 GPU 资源。此前这类多组件共用单 GPU 的场景难以划分资源,Green Contexts 用于解决这一控制难题。
作者用 LineageOS 把 2016 年的 Xiaomi Mi 5 从 Android 8.0 升级到 Android 15,并支持 OTA 更新,但安装需解锁 bootloader 并解决 Fastboot 驱动问题。
ESP Mini App Platform 0.4.9 Beta 开放发布,面向 ESP-Mosaico 开发板(主控 ESP32-S31),系统与应用分离,支持安装、更新、卸载独立应用。
树莓派发布基于 Debian Trixie 的 Raspberry Pi Desktop 新版,面向 PC 和 Mac 提供下载,改用 64 位 amd64 架构,并内置 Raspberry Pi Connect 客户端,可远程控制运行该桌面的设备。
推荐理由:新版改用 64 位 Debian Trixie 并内置 Raspberry Pi Connect 客户端,想在 PC 或 Mac 上复用树莓派桌面的用户可据此评估。
Ubuntu 发布 USN-8875-1 安全更新,日期为 2026-10-06,覆盖 20.04 与 22.04 两个版本。
Marco Tabini 开发出开源 USB-C PD 协议分析仪 Dr. PD,可串接在 USB-C PD 电源与受电设备之间,或模拟 sink 来表征电源。它支持多种 USB 供电协议,工作范围可达该技术上限 48V/240W。项目开源,作者计划发起众筹,方便不想自己动手的人直接购买。
Meta 开源了 Muse Gadgets 硬件开发套件,包含乐鑫ESP32固件和 Linux SDK,开发者可用几十元的 ESP32 开发板或树莓派为个人桌面 AI Agent Muse 制作物理外设,实现智能家居控制、日程提醒等功能。
Luca Soltoggio 让两块 ESP32 用单颗 LED 同时作发射与接收器件,通过可见光完成通信。这套名为 SecurePair 的 Arduino 库用于交换密钥并进行加密通信,也可配合 ESPNow 或 LoRa 使用,典型场景是用光完成配对、用无线传输加密数据。它利用了 LED 同时具备一定光电二极管特性的原理,且参与通信的设备不限于两块 ESP32。
香橙派发布 O1 开发板,首次采用算能 BM1688,TPU 算力 16TOPS@INT8、32TOPS@INT4,配 8 个 Cortex-A53 核心与 RISC-V C906 协处理器。该板带 SATA3.0、双千兆网口、CAN 与 RS485 等接口,内存可选 8GB 或 16GB,8GB 版 1699 元、16GB 版 2799 元,定位工厂监控等边缘 AI 场景。
同一新闻,精选展示《Orange Pi O1 开发板发布:搭载 16 TOPS SOPHGO BM1688 AI SoC,支持 4G/5G》
Rust Foundation 发布了在加拿大蒙特利尔举办的 RustConf 2026 会议录像,同时提供活动现场照片。LWN 今年报道了 RustConf 的四场演讲。
Sashiko 是一个用大语言模型(LLM)自动生成补丁评审的系统,已成为内核开发流程的重要一环,用于缓解补丁评审人力不足的瓶颈。在 2026 年 Kernel Recipes 大会上,Sashiko 维护者 Roman Gushchin 介绍了系统的工作原理及正在推进的改进。
树莓派官方博客介绍基于 DEEPX DX-M1M NPU 的 Sixfab AI HAT+,为 Raspberry Pi 5 提供 25 TOPS AI 算力,典型持续 NPU 功耗约 3 W,并保留 CPU 处理相机、应用逻辑与连接。
推荐理由:原文给出 DX-M1M 与 DX-M1 在 CNN 与 Qwen3-1.7B 上的实测数据和 3 W 功耗口径,可为边缘 AI 加速选型提供对照。
作者用199元开放协议蓝牙AI录音卡、阿里达摩院FunASR和私有化部署的DeepSeek,搭出一套本地存储、离线识别的语音转写与会议纪要系统,全程数据不上云。
推荐理由:文章给出录音卡蓝牙协议分层解析和 FunASR 本地部署命令,可迁移到同类离线语音转写系统的搭建。
DEBIX M8391-01 工业 SBC 搭载 MediaTek MT8391(Genio 720)SoC,配 NPU850 AI 加速器,算力达 9 TOPS,可本地运行视觉、transformer 与 LLM 推理。
文章认为AI会取代把需求翻译成能跑代码的工作方式,但工程经验反而更值钱。文中汇总多组实验:大模型在126道嵌入式小练习上最强的DeepSeek-R1只做对55.6%,无硬件反馈时Claude Opus 4.7、Gemini 3.1 Pro等模型十轮内一次都没部署成功;16名资深开发者用AI后实测反而慢了19%,新手测验分数低了17%。
推荐理由:原文汇总了多组大模型写嵌入式代码的实测与对照实验,可用于判断AI在硬件相关任务上的真实边界。
Geekworm 与 Mcuzone 合作推出 UPS Scap 5V5A 超级电容 UPS HAT,为 Raspberry Pi 5 提供数秒至数分钟后备电力以保存数据并安全关机,而非长时间续航。
kernel.org 宣布 Linux 内核 7.3-rc7(mainline)发布,发布日期为 2026-10-12,源码包为 linux-7.3-rc7.tar.gz,提供完整补丁与增量补丁下载。
Apache NuttX 在 GitHub Releases 上发布 nuttx-13.1.0,由 jerpelea 于 04 Oct 10:38 打标签,对应提交 2b5c0de,页面列出 2 个 Assets。原文未给出该版本的具体变更内容。
开源 ESP-SDR 固件绕过 ESP32 的 Wi-Fi/蓝牙调制解调器,直接从内部 ADC 信号链采集原始 I/Q 基带采样,无需外接 SDR 硬件即可把 ESP32 变成软件定义无线电接收机。
推荐理由:固件通过逆向 librftest 的 adctrig 调试寄存器让 ESP32 直采 I/Q,为低成本 SDR 方案提供了可复用的实现路径。
UUNA TEK iAuto 是一款用真实笔在真实纸张上复现手写的自动书写机,支持 Wi-Fi、表格邮件合并、自定义字体与字体变形,最大支持 A3 纸张和直径 18 mm 的笔。
贺老师基于 STM32H743(Cortex-M7 内核,带 DSP 指令)完成 TinyML 开发板,用 TensorFlow Lite Micro 部署模型,规划麦克风、IMU、模拟量、摄像头四类传感器入口。