Develata's Space

Appearance

科技新闻 2026-3-13 ​

本周科技动态聚焦AI框架轻量化、软件可靠性提升与编程语言革新。Dolphin、FreeBSD新版本发布，光学计算联盟成立，Kotlin创始人推出LLM专用语言，代码安全与高效数据处理成焦点。

Dolphin Progress Release 2603 94 ​

  • Tags: Game Emulation Triforce MMU Optimization Dolphin Emulator Memory Management

  • Source: HackerNews | 阅读原文

[摘要]
Dolphin 2603新增对Triforce街机系统的支持，优化MMU内存管理单元实现全速运行，修复多年未解的Mario Strikers Charged物理漏洞。

数学正在经历历史巨变 94 ​

  • Tags: 人工智能 数学证明 形式化验证 机器数学

  • Source: Solidot | 阅读原文

[摘要]
AI已能形式化并验证顶级数学家的复杂证明，如菲尔茨奖得主Viazovska的20万行证明，标志着数学证明自动化进入新阶段。

Reliable Software in the LLM Era 92 ​

  • Tags: 形式化验证 LLM编程 软件可靠性 可执行规范 模型检测

  • Source: HackerNews | 阅读原文

[摘要]
Quint通过可执行的抽象规范语言，实现对LLM生成代码的机械验证与属性检查，提升复杂代码变更的可靠性。

Show HN: Axe A 12MB binary that replaces your AI framework 92 ​

  • Tags: LLM Agents CLI Tool Unix Philosophy TOML Configuration Orchestration Persistent Memory

  • Source: HackerNews | 阅读原文

[摘要]
Axe 是一个基于 CLI 和 TOML 配置的轻量级 LLM 代理执行框架，遵循 Unix 原则实现可组合、可复用、无状态的 agent 管理，支持多模型、持久记忆与管道集成。

Emacs internals: Tagged pointers vs. C++ std:variant and LLVM (Part 3) 92 ​

  • Tags: ，实现高效运行时多态，利用“标记联合体”与“标记指针”技术在无垃圾回收下支持动态类型系统。

  • Source: HackerNews | 阅读原文

[摘要]
GNU Emacs通过64位Lisp_Object中的低3位作为类型标签，实现高效运行时多态，利用“标记联合体”与“标记指针”技术在无垃圾回收下支持动态类型系统。

AMD, NVIDIA, OpenAI & Others Form An Optical Scale-up Consortium 92 ​

  • Tags: 光学互连 AI基础设施 多源协议(MSA) 芯片级光集成 高性能计算

  • Source: Phoronix | 阅读原文

[摘要]
AMD、NVIDIA、OpenAI等联合成立光学计算互连（OCI）MSA联盟，推动开放生态的光互连标准，解决AI集群扩展中的铜缆瓶颈，实现高带宽密度与低功耗。

Big Data on the Cheapest MacBook 87 ​

  • Tags: MacBook A18 Pro Big Data Benchmark ClickBench TPC-DS

  • Source: HackerNews | 阅读原文

[摘要]
入门级MacBook Neo搭载A18 Pro芯片，8GB内存，512GB存储，在ClickBench与TPC-DS SF300基准测试中表现超出预期，验证了移动端高性能芯片在轻量级大数据场景的可行性。

Kotlin creator's new language: a formal way to talk to LLMs instead of English 87 ​

  • Tags: 编程语言 LLM 代码压缩 规格驱动开发 系统工程

  • Source: HackerNews | 阅读原文

[摘要]
CodeSpeak 是一种由 LLM 驱动的下一代编程语言，可将代码压缩 5-10 倍并以规格说明形式维护，支持混合开发模式。

Show HN: A context-aware permission guard for Claude Code 87 ​

  • Tags: 安全漏洞 工具链安全 上下文感知 CLI工具 沙箱机制

  • Source: HackerNews | 阅读原文

[摘要]
nah 是一个基于上下文规则的动态权限控制系统，通过毫秒级分类拦截工具调用，支持细粒度安全决策与可审计日志，替代传统“允许/拒绝”模型。

FreeBSD 14.4-RELEASE 释出 87 ​

  • Tags: FreeBSD OpenSSH 后量子密码学 OpenZFS 虚拟化 云原生

  • Source: Solidot | 阅读原文

[摘要]
FreeBSD 14.4-RELEASE发布，集成OpenSSH 10.0p2支持后量子混合算法，升级OpenZFS至v2.2.9，增强云初始化兼容性并引入Bhyve文件系统共享功能。