Develata's Space

Appearance

科技新闻 2026-1-8 ​

韩国数学家破解移动沙发难题，AI模型轻量部署成现实，Linux内核与硬件加速持续进化，安全与能效优化并行推进。

韩国数学家解决了移动沙发问题 95 ​

  • Tags: 数学、优化问题、几何、论文发表

  • Source: Solidot | 阅读原文

[摘要]
韩国数学家Baek Jin-eon证明Gerver解为移动沙发问题的硬上限，终结近60年悬案。

A 30B Qwen model walks into a Raspberry Pi and runs in real time 94 ​

  • Tags: 大模型量化 边缘计算 Qwen Bitlength学习 llama.cpp

  • Source: HackerNews | 阅读原文

[摘要]
Qwen3-30B模型通过Bitlength学习优化，在Raspberry Pi 5（16GB）上实现8.03 TPS实时推理，兼顾性能与质量，突破边缘设备大模型部署瓶颈。

Compiler-Based Context & Locking Analysis On Deck For Linux 7.0 Paired With Clang 22+ 92 ​

  • Tags: Linux内核 Clang 静态分析 并发安全 编译器技术

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0将引入基于Clang 22+的编译器级上下文与锁分析，通过静态分析确保内核同步原语的正确使用，提升并发安全。

Radeon RADV Vulkan Driver Is On The Verge Of Another Big Ray-Tracing Performance Gain 92 ​

  • Tags: Linux内核 Vulkan AMD Ray Tracing Mesa Unreal Engine 5

  • Source: Phoronix | 阅读原文

[摘要]
RADV Vulkan驱动通过重写发射ID混洗机制，实现对UE5 Lumen系统的显著优化，预计带来4-8倍的硬件光线追踪性能提升，整体帧率提升约30%。

Next-Gen AMD Server SoCs To Enjoy Firmware-Agnostic Platform Configuration Approach 92 ​

  • Tags: AMD EPYC Zen 6 firmware-agnostic openSIL Redfish Device Enablement server platform

  • Source: Phoronix | 阅读原文

[摘要]
下一代AMD服务器SoC将采用固件无关的平台配置方法，提升跨固件生态兼容性，支持Coreboot、U-Boot等统一配置。

Dell Pro Max GB10 vs. AMD Ryzen AI Max+ Framework Desktop For Llama.cpp, OpenCL & Vulkan Compute 87 ​

  • Tags: AI推理 Llama.cpp OpenCL Vulkan NVIDIA GB10 AMD Strix Halo Arm架构 能效分析

  • Source: Phoronix | 阅读原文

[摘要]
Dell Pro Max GB10（NVIDIA GB10 + 20核Arm）与Framework Desktop Ryzen AI Max+ 395在Llama.cpp、OpenCL及Vulkan计算性能上对比，评估AI推理效率与能效表现。

PassSeeds – hijacking Passkeys to unlock new cryptographic use cases 87 ​

  • Tags: Passkeys WebAuthn 密码学 安全认证 技术创新

  • Source: HackerNews | 阅读原文

[摘要]
PassSeeds利用Passkeys的加密机制实现跨场景密钥管理，突破其仅限登录认证的限制，支持更广泛的密码学应用。

Gentoo Linux Made Progress On RISC-V, WSL & More In 2025 While Pulling In Just $12k USD 87 ​

  • Tags: Linux内核 RISC-V WSL Rust 包管理 软件开源治理

  • Source: Phoronix | 阅读原文

[摘要]
Gentoo Linux 2025实现RISC-V虚拟机镜像、WSL支持与musl本地化，推进C++ Rust bootstrap及Python 3.13，默认采用Zlib-ng，财务转向SPI并迁移至Codeberg。

On the slow death of scaling 87 ​

  • Tags: AI基础理论 深度神经网络 算法效率 科学研究范式

  • Source: HackerNews | 阅读原文

[摘要]
论文质疑AI领域过度依赖模型规模与数据量的“唯 scaling”范式，指出其效能边际递减，呼吁关注效率、架构创新等更根本的突破路径。

Acer Laptop Battery Control Driver Looks Toward The Upstream Linux Kernel 85 ​

  • Tags: Linux内核 驱动开发 电源管理 硬件兼容性

  • Source: Phoronix | 阅读原文

[摘要]
Acer推出清理后的acer-wmi-battery驱动，旨在将电池充电限制与温度监控功能上游合并至Linux内核主线，提升笔记本电池健康管理能力。