Develata's Space

Appearance

2026-10-08 ​

OpenAI发布372项数学突破，含Unique Games猜想证明、L=BPL、亚O(n log n)整数乘法等，用Lean验证但人类尚未理解，标志AI驱动数学研究范式转变。 攻击者通过劫持三个ccTLD的DNS，为Google等大型服务获取伪造TLS证书，绕过域名验证。Chrome已阻止已知证书，但未发现证书仍有风险，凸显DNS劫持与证书签发流程的脆弱性…

Shtetl-Optimized 88 ​

  • Tags: AI数学证明 理论计算机 算法突破 Lean验证

  • Source: Hacker News | 阅读原文

[摘要]
OpenAI发布372项数学突破，含Unique Games猜想证明、L=BPL、亚O(n log n)整数乘法等，用Lean验证但人类尚未理解，标志AI驱动数学研究范式转变。

Hackers obtain counterfeit TLS certificates for Google and other large services 85 ​

  • Tags: 安全漏洞 TLS证书 DNS劫持 基础设施

  • Source: Hacker News | 阅读原文

[摘要]
攻击者通过劫持三个ccTLD的DNS，为Google等大型服务获取伪造TLS证书，绕过域名验证。Chrome已阻止已知证书，但未发现证书仍有风险，凸显DNS劫持与证书签发流程的脆弱性。

pgx-bm25 1.0: BM25 ranked full-text search as a native PostgreSQL index 85 ​

  • Tags: 数据库 PostgreSQL 全文检索 开源项目

  • Source: PostgreSQL News | 阅读原文

[摘要]
pgx-bm25 1.0为PostgreSQL原生实现BM25全文检索索引，支持WAL日志、崩溃恢复、物理复制及VACUUM维护，采用block-max WAND加速Top-N查询，兼容PG 17/18。

Shipping JPEG XL in Chrome Stay organized with collections Save and categorize content based on your preferences. 82 ​

  • Tags: 浏览器 图像格式 Rust 性能优化

  • Source: Hacker News | 阅读原文

[摘要]
Chrome 155 开始支持 JPEG XL 解码，采用纯 Rust 实现 jxl-rs 提升内存安全，并稳定 target_feature_11 特性以安全使用 SIMD，压缩率较 JPEG 提升 30-50%。

PSP Web Recomp 82 ​

  • Tags: WebAssembly 模拟器 游戏技术 性能优化

  • Source: Hacker News | 阅读原文

[摘要]
PSP游戏无需模拟器，通过静态重编译MIPS代码为C++并编译为WebAssembly，在浏览器中运行，实现60帧、4倍分辨率，涉及内核重实现、GPU模拟和性能优化。

ShinyHunters Extorted Boeing Spin-off Prior to Arrests 82 ​

  • Tags: 安全漏洞 网络犯罪 供应链攻击 零日漏洞

  • Source: Hacker News | 阅读原文

[摘要]
ShinyHunters头目Rey在约旦被捕并配合FBI调查，该组织利用Oracle PeopleSoft零日漏洞CVE-2026-35273大规模窃取数据，并绕过Mandiant WAF规则，曾攻击FBI网站及波音分拆业务，涉及供应链安全与基础设施漏洞。

Kage: Google Experimenting With Linux Driver Isolation Using In-Kernel LFI Sandboxes 78 ​

  • Tags: Linux内核 安全架构 沙箱 驱动隔离

  • Source: Phoronix | 阅读原文

[摘要]
谷歌工程师实验用LLVM轻量级故障隔离（LFI）在内核中沙箱化设备驱动，提升驱动隔离性与安全性，属内核安全架构探索。

Another Dozen Vulnerabilities Found In The X.Org Server & XWayland 78 ​

  • Tags: 安全漏洞 X.Org XWayland 图形栈

  • Source: Phoronix | 阅读原文

[摘要]
X.Org Server与XWayland再曝约12个安全漏洞，涉及传统X服务器及Wayland兼容层，影响面广，需关注修复进展。

esp32-c3-adblock 78 ​

  • Tags: 嵌入式系统 DNS ESP32 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
ESP32-C3上实现DNS广告拦截器，将域名存为40位哈希于闪存而非RAM，支持14万域名仅占0.7MB闪存和50KB内存，查询约10毫秒，无需PSRAM，成本约2美元。

Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 75 ​

  • Tags: 软件工程 航天软件 技术先驱

  • Source: Hacker News | 阅读原文

[摘要]
阿波罗登月计划软件工程先驱Margaret Hamilton去世，她开创了防御性编程和优先级驱动软件，保障阿波罗11号登月成功，并推动软件工程成为独立学科。

[$] Evolving the LAVD scheduler from gaming to servers 75 ​

  • Tags: Linux内核 调度器 BPF 开源项目

  • Source: LWN.net | 阅读原文

[摘要]
LAVD调度器从游戏场景扩展至服务器负载，基于BPF可扩展调度类，在Kernel Recipes 2026展示其演进，涉及Linux内核调度架构创新。

New Patches For Linux's Zswap Show Major Improvements 75 ​

  • Tags: Linux内核 内存管理 性能优化

  • Source: Phoronix | 阅读原文

[摘要]
Linux内核Zswap补丁系列带来重大性能改进，优化压缩RAM缓存交换页效率，在内存价格高企背景下提升系统性能。

Building an evidence-grounded agentic security operations harness on Cloudflare 72 ​

  • Tags: 云基础设施 安全运营 AI代理 告警分析

  • Source: Cloudflare Engineering | 阅读原文

[摘要]
Cloudflare发布多AI代理安全运营框架，采用确定性侦察与推理分离架构，解决单代理幻觉、范围漂移和证据缺失问题，提升告警分析效率。

Push Ifs Up and Fors Down: The Idiom, Its Algebra, and Its Limits 72 ​

  • Tags: 编程范式 数据库优化 系统设计 函数式编程

  • Source: Hacker News | 阅读原文

[摘要]
本文深入分析“上移if、下移for”编程原则，将其与数据库查询优化（投影提前、连接推迟）及函数式编程、范畴论类比，展示其代数结构与适用边界，对系统设计有方法论价值。

Claude Haiku 5.5 72 ​

  • Tags: AI模型 推理成本 性能基准

  • Source: Hacker News | 阅读原文

[摘要]
Anthropic发布Claude Haiku 5.5小模型，性能大幅超越前代，成本降低75%，支持可调推理强度，适用于高频低延迟任务，并同步下调Sonnet 5.5缓存读取价格。