Develata's Space

Appearance

科技新闻 2026-2-13 ​

本周科技动态聚焦AI模型优化与安全补漏：Claude实测、MiniMax M2.5达80.2%性能，苹果紧急修复十年零日漏洞；自动驾驶迈入第六代，Linux 7.0推进WiFi 8兼容性，Rust GPU驱动崭露头角。

From specification to stress test: a weekend with Claude 96 ​

  • Tags: 分布式系统 行为规范语言 LLM代码生成 Byzantine Fault Tolerance 强一致性

  • Source: HackerNews | 阅读原文

[摘要]
通过行为规范语言Allium，仅用提示词在50分钟内自动生成4749行Kotlin代码，实现具备拜占庭容错、强一致性与崩溃恢复能力的分布式系统。

MiniMax M2.5 released: 80.2% in SWE-bench Verified 94 ​

  • Tags: 大模型 编程智能 代理系统 强化学习 架构规划 成本效率

  • Source: HackerNews | 阅读原文

[摘要]
MiniMax-M2.5通过强化学习在数万真实环境训练，实现编码、代理任务与办公场景的SOTA性能，具备架构级规划能力，推理速度提升37%，成本低至每小时$1（100 tokens/s）。

Beginning fully autonomous operations with the 6th-generation Waymo driver 94 ​

  • Tags: 自动驾驶 AI感知 多模态传感器 6G自动驾驶系统

  • Source: HackerNews | 阅读原文

[摘要]
Waymo发布第六代自动驾驶系统，采用定制多模态感知融合技术，实现成本降低与极端环境下的全自动驾驶，基于2亿英里真实路测数据验证安全性。

Apple patches decade-old iOS zero-day, possibly exploited by commercial spyware 94 ​

  • Tags: iOS dyld zero-day vulnerability security exploit Apple memory corruption

  • Source: HackerNews | 阅读原文

[摘要]
Apple patches decade-old dyld zero-day (CVE-2026-20700) in iOS, exploited in targeted attacks via memory write to execute arbitrary code; flaw affects all iOS versions since 1.0.

Show HN: Pgclaw – A "Clawdbot" in every row with 400 lines of Postgres SQL 92 ​

  • Tags: PostgreSQL AI Agent Rust LLM Database Innovation

  • Source: HackerNews | 阅读原文

[摘要]
PostgreSQL扩展pgclaw将AI代理（LLM或OpenClaw）作为列类型嵌入表中，实现每行数据绑定智能体，支持多模型、工具调用与ACID事务。

重编程特定神经元能恢复小鼠记忆功能 92 ​

  • Tags: 神经科学 基因编辑 衰老干预 神经再生 小鼠模型

  • Source: Solidot | 阅读原文

[摘要]
通过腺相关病毒递送OSK基因至小鼠海马体或前额叶皮层，短暂重编程特定神经元，可逆转老年小鼠记忆衰退，恢复近/远期记忆功能。

Linux 7.0 Networking: Prepping For WiFi 8 UHR While Dropping Last Parallel Port Ethernet Driver 92 ​

  • Tags: Linux内核 网络子系统 WiFi 8 驱动更新 性能优化

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0引入WiFi 8 UHR初步支持与多项网络性能优化，同时移除过时的并口以太网驱动，体现新旧技术迭代。

The Future for Tyr, a Rust GPU Driver for Arm Mali Hardware 92 ​

  • Tags: Linux内核 Rust GPU驱动 Arm Mali DRM subsystem

  • Source: HackerNews | 阅读原文

[摘要]
Tyr项目成功演示了基于Rust的Arm Mali GPU驱动在Linux上运行SuperTuxKart，验证了其性能可行性，并为2026年全面上游化铺路。

Improving 15 LLMs at Coding in One Afternoon. Only the Harness Changed 92 ​

  • Tags: LLM 编程代理 模型架构 工具链 Rust

  • Source: HackerNews | 阅读原文

[摘要]
通过更换编辑工具（edit tool），仅用一个下午显著提升15个LLM在编码任务中的表现，凸显“执行框架”比模型本身更具影响力。

The missing digit of Stela C 92 ​

  • Tags: 考古学 玛雅长计历法 古代天文历法 奥尔梅克文明

  • Source: HackerNews | 阅读原文

[摘要]
奥尔梅克文明的石碑刻文通过玛雅长计历法精确记录公元前32年日期，其时间计算精度揭示了古代中美洲高度发达的天文历法体系。