Develata's Space

Appearance

科技新闻 2026-1-4 ​

本期聚焦递归语言模型、64核DPU新架构与C程序安全验证，涵盖图形驱动优化、嵌入式数据库更新及现代物理阅读推荐，技术前沿动态一览。

Recursive Language Models 94 ​

  • Tags: 大语言模型 推理优化 长上下文处理 递归架构

  • Source: HackerNews | 阅读原文

[摘要]
提出递归语言模型（RLM），通过自调用机制突破上下文窗口限制，显著提升长文本处理能力与质量，成本可控。

Xsight Labs E1 DPU a 64-Core Arm Neoverse N2 800G DPU 92 ​

  • Tags: DPU Arm Neoverse N2 5nm 800G networking SONiC DDR5 mini-server architecture

  • Source: HackerNews | 阅读原文

[摘要]
Xsight Labs E1 DPU采用64核Arm Neoverse N2（TSMC 5nm），集成800Gbps双400G MAC与DDR5内存，通过SONiC-DASH Hero 800G测试，实现零丢包高并发网络处理，定位为可扩展的微型服务器级DPU。

Show HN: Offline tiles and routing and geocoding in one Docker Compose stack 92 ​

  • Tags: 边缘计算 离线地图 地理信息系统 Docker Valhalla MapLibre SQLite PMTiles

  • Source: HackerNews | 阅读原文

[摘要]
Corviont实现MapLibre、Valhalla路由与SQLite地理编码全离线运行，支持边缘设备本地地图更新与自定义图层，适用于工业、远洋及隐私敏感场景。

Xr0 verifier, guarantee the safety of C programs at compile time 92 ​

  • Tags: C语言 静态分析 安全验证 程序正确性

  • Source: HackerNews | 阅读原文

[摘要]
Xr0 是一个基于C语言注解的静态验证器，通过精确的函数级安全约束消除未定义行为，实现对C代码的深度安全验证。

Proving Liveness with TLA 92 ​

  • Tags: TLA+ 形式化验证 活锁证明 Xen 时序逻辑

  • Source: HackerNews | 阅读原文

[摘要]
TLA+工具箱新增对活锁性质的证明支持，首次实现对Xen vchan协议中“数据最终送达”等时序属性的形式化验证。

The C3 Programming Language 87 ​

  • Tags: C3 编程语言 C ABI兼容 编译时宏 操作符重载 程序员契约

  • Source: HackerNews | 阅读原文

[摘要]
C3 是一种兼容 C ABI 的新编程语言，融合现代特性如编译时宏、精准操作符重载与契约编程，支持无缝混合 C/C++ 代码，提升安全性与表达性。

RADV Driver Lands Another Big Improvement For Early AMD GCN Graphics Cards 87 ​

  • Tags: Linux内核 Mesa RADV Vulkan AMD GCN GPU驱动 技术修复

  • Source: Phoronix | 阅读原文

[摘要]
Mesa 26.0合并关键补丁，解决AMD GCN 1.0/1.1 GPU在RADV驱动下因SMEM指令越界导致的高频VM故障问题，显著提升游戏与测试稳定性。

GNOME Glycin Adds XPM/XBM Support To Address Fedora's Last Unsandboxed Image Loader 87 ​

  • Tags: Linux内核 Rust 安全漏洞 图像处理 GNOME

  • Source: Phoronix | 阅读原文

[摘要]
GNOME Glycin 2.1 Alpha新增对XPM/XBM格式的沙箱化支持，消除Fedora最后未受保护的图像加载漏洞。

Ask HN: Expository/Succinct Books on Modern Physics 85 ​

  • Tags: 现代物理 教材推荐 数学物理 量子力学 广义相对论 学习资源

  • Source: HackerNews | 阅读原文

[摘要]
推荐涵盖现代物理全领域的高阶教材，重点评估Walecka、Sproull、Patil等著作的系统性与数学严谨性，辅以数学基础书籍建议。

Stoolap 0.2 Released For Modern Embedded SQL Database In Rust 85 ​

  • Tags: Rust 嵌入式数据库 SQL 引擎 MVCC ACID 性能优化

  • Source: Phoronix | 阅读原文

[摘要]
Stoolap 0.2 发布，基于 Rust 的嵌入式 SQL 数据库，支持 MVCC、ACID、Volcano 架构与多项性能优化，增强查询能力与执行效率。