Develata's Space

Appearance

科技新闻 2026-4-15 ​

AI advances in math and software verification highlight growing capabilities, while new tools like memory databases and distributed systems underscore evolving infrastructure needs. OpenSSL 4.0 and Linux 7.1 bring key security and performance improvements.

Introspective Diffusion Language Models 95 ​

  • Tags: 扩散语言模型 自回归模型 生成一致性 模型架构创新 高效推理

  • Source: HackerNews | 阅读原文

[摘要]
首次实现与自回归模型质量相当的扩散语言模型，通过自省式分步解码（ISD）解决生成一致性问题，8B版本性能超越16B LLaMA-2.1-mini且吞吐提升2.9-4.1倍。

Lean proved this program correct; then I found a bug 95 ​

  • Tags: Lean formal verification security AI-assisted proof zlib software correctness

  • Source: HackerNews | 阅读原文

[摘要]
AI agents autonomously verified a correct zlib implementation (lean-zip) in Lean, proving it mathematically correct for all inputs under 1GB.

The AI revolution in math has arrived 94 ​

  • Tags: 人工智能 数学 算法创新 机器辅助证明

  • Source: HackerNews | 阅读原文

[摘要]
2025年AI在国际数学奥林匹克中表现卓越，推动数学家利用AI发现并证明新定理，实现从辅助工具到研究伙伴的转变。

Show HN: A memory database that forgets, consolidates, and detects contradiction 92 ​

  • Tags: 向量数据库 认知计算 内存管理 Rust AI代理 一致性检测

  • Source: HackerNews | 阅读原文

[摘要]
YantrikDB 是首个具备记忆衰减、自动整合与矛盾检测能力的认知型内存数据库，通过动态衰减、实体图谱与冲突识别提升AI代理的长期记忆可靠性。

OpenSSL 4.0 释出 92 ​

  • Tags: TLS 安全加密 后量子密码学 OpenSSL

  • Source: Solidot | 阅读原文

[摘要]
OpenSSL 4.0 发布，支持加密客户端问候（ECH）、后量子加密（RFC 8998），移除旧协议与过时平台支持。

Multi-Agentic Software Development Is a Distributed Systems Problem 92 ​

  • Tags: 多智能体系统 分布式系统 形式化方法 LLM协调 编程语言设计

  • Source: HackerNews | 阅读原文

[摘要]
提出多智能体协作本质是分布式系统问题，主张通过形式化语言（如博弈论增强的 choreographic 语言）构建可验证的协调机制，反对依赖未来模型进化解决协调难题。

Distributed DuckDB Instance 92 ​

  • Tags: DuckDB 开源项目 分布式计算 数据库架构 差异化存储 混合执行

  • Source: HackerNews | 阅读原文

[摘要]
OpenDuck开源实现MotherDuck的差异化存储、双执行与透明远程数据库架构，使DuckDB支持跨本地与云端的混合查询与分层数据管理。

OpenSSL 4.0 Released With Encrypted Client Hello, RFC 8998 Support 92 ​

  • Tags: TLS OpenSSL 加密客户端问候 后量子密码学 安全性

  • Source: Phoronix | 阅读原文

[摘要]
OpenSSL 4.0引入加密客户端问候（ECH）与RFC 8998支持，增强隐私与后量子密码学能力，同时移除旧协议及不兼容特性。

Linux 7.1 Lands ARM64 NEON-Accelerated CRC64-NVMe For ~6x Improvement 92 ​

  • Tags: Linux内核 ARM64 NEON NVMe 存储性能 CRC64

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.1引入ARM64 NEON优化的CRC64-NVMe算法，利用PMULL指令实现近6倍性能提升，显著加速存储数据完整性校验。

N-Day-Bench – Can LLMs find real vulnerabilities in real codebases? 92 ​

  • Tags: LLM安全 漏洞检测 基准测试 网络安全

  • Source: HackerNews | 阅读原文

[摘要]
N-Day-Bench 评估大模型在知识截止后发现真实世界漏洞的能力，采用月度更新的动态测试集，量化 LLM 的实际安全漏洞挖掘能力。