Develata's Space

Appearance

2026-10-14 ​

Ledger确认东南亚经销商售出硬件钱包被植入间谍芯片，可窃取屏幕显示和按键记录助记词，经LTE外传，属供应链攻击，影响硬件钱包安全。 Rust类型系统存在协变字段赋值绕过生命周期约束的漏洞，可导致栈释放后使用，影响稳定版至1.85，团队标记P-high并已着手修复。 Nix与Lix披露本地权限提升漏洞，影响构建不受信任派生的系统，可提权至root，两项目已…

Ledger confirms spy chip implant behind wallet crypto thefts 88 ​

  • Tags: 安全漏洞 供应链攻击 硬件钱包 芯片硬件

  • Source: Hacker News | 阅读原文

[摘要]
Ledger确认东南亚经销商售出硬件钱包被植入间谍芯片，可窃取屏幕显示和按键记录助记词，经LTE外传，属供应链攻击，影响硬件钱包安全。

struct's lifetime requirements can be bypassed via covariant field assignment #164250 85 ​

  • Tags: Rust 安全漏洞 类型系统 编译器

  • Source: Hacker News | 阅读原文

[摘要]
Rust类型系统存在协变字段赋值绕过生命周期约束的漏洞，可导致栈释放后使用，影响稳定版至1.85，团队标记P-high并已着手修复。

Nix and Lix local root-privilege-escalation vulnerabilities 85 ​

  • Tags: 安全漏洞 开源项目 权限提升

  • Source: LWN.net | 阅读原文

[摘要]
Nix与Lix披露本地权限提升漏洞，影响构建不受信任派生的系统，可提权至root，两项目已发布修复版本。

1RB0RA_1LC1LF_1RD0LB_1RA1LE_1LI0LC_0RG1LD_1RH1LG_1LC0RG_0LJ0LI_1RZ0LC.md 85 ​

  • Tags: 图灵机 停机问题 计算理论 形式化验证

  • Source: Hacker News | 阅读原文

[摘要]
10状态图灵机n1在停机问题上超越BB(10)纪录，达到快速增长层级ω+1，Coq验证精确分数大于格雷厄姆数，是计算理论重要突破。

Crypto thieves sell hardware wallets with secret eSIM 85 ​

  • Tags: 安全漏洞 硬件钱包 供应链攻击 加密货币

  • Source: Hacker News | 阅读原文

[摘要]
攻击者篡改Ledger Nano X硬件钱包，植入额外芯片窃取屏幕种子短语，并通过隐藏LTE/eSIM模块回传，已致约9300万美元加密货币被盗，涉及供应链经销商环节。

Redesigning source control at Anthropic 82 ​

  • Tags: 版本控制 AI基础设施 分布式系统 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
Anthropic自研版本控制系统Scion，因AI编码使日合并代码量从2500增至3万，主分支历史近100GB，日检出版本2500万次，迁移自Git以支持在线代理规模。

Meta’s Generative Ads Model (GEM): Scaling the Central Model and Compute Engine for Frontier Ads AI 82 ​

  • Tags: 推荐系统 AI基础设施 GPU Meta

  • Source: Meta Engineering | 阅读原文

[摘要]
Meta发布GEM 2026版广告推荐系统，采用LLM式架构Kunlun与GPU协同设计，模型复杂度提升2.5倍，实现跨平台统一基础模型，转化率提升18.9%，点击率提升12%，并引入LoopFM后训练技术降低推理成本。

黑客加热联网的超市冰箱，导致食物变质和设备起火 82 ​

  • Tags: 安全漏洞 物联网 基础设施 供应链攻击

  • Source: Solidot | 阅读原文

[摘要]
黑客利用Danfoss AK-SM 800A控制器漏洞远程攻击欧洲多国超市联网制冷系统，调高温度致食品变质和火灾，涉及数百家门店，凸显物联网基础设施安全风险。

GitHub - prabanta-dev/janas: 37 tok/s from Qwen3-Next-80B (48 GB) on a 32 GB laptop, 24 without drafts vs 2.8 for llama.cpp; reading 62 vs 16 tok/s. Faster than llama.cpp on all 13 models compared in Q4_K_M. LLMs bigger than your RAM, pure C, CPU or GPU. · GitHub 82 ​

  • Tags: 推理引擎 开源项目 性能优化 大模型

  • Source: Hacker News | 阅读原文

[摘要]
Janas-LLM 纯C实现，通过NVMe流式加载MoE专家权重，在32GB内存笔记本上运行80B模型，推理速度显著超越llama.cpp，支持CPU/GPU，属推理基础设施重要进展。

Rewinding the exponential: How we keep hardware usage down 78 ​

  • Tags: 数据管道 压缩算法 架构优化 云基础设施

  • Source: Cloudflare Engineering | 阅读原文

[摘要]
Cloudflare数据团队通过拆分解耦schema、改用zstd压缩、重构复制架构、分散采样及引入聚合，五年内将数据管道硬件扩展推迟两年半，压缩流量降40%。

NVIDIA's Nova Driver Continues Leading The Way For Linux Rust GPU Drivers 78 ​

  • Tags: Linux内核 GPU驱动 Rust 开源项目

  • Source: Phoronix | 阅读原文

[摘要]
NVIDIA Nova驱动持续推进Linux内核Rust GPU驱动开发，提交DRM Rust改动至Linux 7.4合并窗口，构建Rust DRM基础设施，代表内核GPU驱动架构演进方向。

IREE 3.12 Introduces Rolls Out Rewritten Vulkan Driver, Experimental AMD HSA HAL 78 ​

  • Tags: 编译器 AI基础设施 GPU 开源项目

  • Source: Phoronix | 阅读原文

[摘要]
IREE 3.12发布，重写Vulkan驱动并引入实验性AMD HSA HAL，提升跨硬件ML编译与运行时性能，对AI推理基础设施有重要影响。

Intel ISPC 1.32 Released With AVX10.2 & APX Support, Even AMD Zen 6 Too 75 ​

  • Tags: 编译器 指令集 开源项目

  • Source: Phoronix | 阅读原文

[摘要]
Intel ISPC 1.32发布，新增AVX10.2与APX指令集支持，并兼容AMD Zen 6，基于LLVM/Clang，提升CPU/GPU异构SPMD编译性能。

[$] Owning C types from Rust code 75 ​

  • Tags: Rust Linux内核 内存安全

  • Source: LWN.net | 阅读原文

[摘要]
Rust for Linux 项目提出 Ownable trait，使 Rust 代码能安全管理 C 分配对象的生命周期，解决内核中跨语言资源清理问题，是内核 Rust 抽象的重要进展。

Asterinas 0.19.0 released 75 ​

  • Tags: 操作系统 Rust 内核 虚拟化

  • Source: LWN.net | 阅读原文

[摘要]
Asterinas 0.19.0 发布，新增可运行 X.org 的图形子系统、最小可用 64 位 Arm 支持及改进虚拟化，推进 Rust 操作系统内核发展。