Develata's Space

Appearance

科技新闻 2026-3-19 ​

本期聚焦BGP安全新方案与Linux内核AI代码审查进展，涵盖高效虚拟机沙箱、数据库性能提升及经典编程思想回顾，展现系统底层创新与历史传承的双重脉动。

瑞士构建 BGP 的安全替代 95 ​

  • Tags: SCION BGP 网络安全 路由协议 多路径路由

  • Source: Solidot | 阅读原文

[摘要]
瑞士苏黎世联邦理工学院开发SCION，通过多路径路由、隔离域名（ISD）和加密路径验证，从根本上重构互联网路由架构以解决BGP安全缺陷。

Celebrating Tony Hoare's mark on computer science 95 ​

  • Tags: 编程语言 形式化方法 递归 程序验证 计算机科学史

  • Source: HackerNews | 阅读原文

[摘要]
回顾图灵奖得主托尼·霍尔（Tony Hoare）在程序设计语言与形式化方法领域的开创性贡献，强调其以清晰逻辑与独特写作风格影响深远的技术哲学。

Show HN: Pgit – A Git-like CLI backed by PostgreSQL 94 ​

  • Tags: Git PostgreSQL Version Control SQL Code Analysis AI

  • Source: HackerNews | 阅读原文

[摘要]
pgit将Git版本控制迁移至PostgreSQL，实现基于SQL的完整历史查询与分析，支持自动增量压缩和AI驱动的代码健康报告。

Show HN: Sub-millisecond VM sandboxes using CoW memory forking 94 ​

  • Tags: 虚拟化 KVM Copy-on-write AI代理 硬件隔离

  • Source: HackerNews | 阅读原文

[摘要]
基于Copy-on-write的KVM虚拟机快照技术实现亚毫秒级沙箱创建，支持硬件级内存隔离，适用于AI代理的高效安全执行。

Hundreds of Millions of iPhones Can Be Hacked With a New Tool Found in the Wild 92 ​

  • Tags: iOS安全漏洞 移动端攻击 零日漏洞 网站劫持

  • Source: HackerNews | 阅读原文

[摘要]
DarkSword 是一种可被嵌入网站的 iOS 漏洞利用技术，可无声劫持运行旧版 iOS 18 的数亿设备，暴露大规模隐私风险。

Machine Payments Protocol (MPP) 92 ​

  • Tags: AI代理 支付协议 机器支付 开放标准 Stripe

  • Source: HackerNews | 阅读原文

[摘要]
机器支付协议（MPP）为AI代理提供互联网原生的程序化支付标准，支持微交易、订阅及多币种支付，实现代理自主交易。

Google Engineers Launch "Sashiko" For Agentic AI Code Review Of The Linux Kernel 92 ​

  • Tags: Linux内核 Agentic AI 代码审查 大语言模型 开源工具

  • Source: Phoronix | 阅读原文

[摘要]
Sashiko是谷歌推出的基于大模型的智能代码审查系统，可自动分析Linux内核补丁，对1000个已知问题中的53%实现有效识别，且这些缺陷均未被人工审查发现。

Linux MGLRU Improvements Net A 30% Increase For MongoDB, More Than 100% On HDDs 92 ​

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

  • Source: Phoronix | 阅读原文

[摘要]
腾讯工程师提交8个补丁优化Linux MGLRU的回收循环与脏页处理，实现NVMe下MongoDB吞吐提升30%，HDD上部分工作负载性能提升超100%。

Rob Pike's 5 Rules of Programming 92 ​

  • Tags: 编程哲学 算法设计 软件工程 性能优化

  • Source: HackerNews | 阅读原文

[摘要]
罗伯特·派克编程五法则强调性能优化需基于实测、优先选择简单数据结构与算法，核心思想是“数据为王”，反对过早优化与过度设计。

Review of Microsoft's ClearType Font Collection (2005) 92 ​

  • Tags: ClearType 字体设计 屏幕渲染 Microsoft 排版技术

  • Source: HackerNews | 阅读原文

[摘要]
微软为ClearType技术定制六款专用于现代屏幕阅读的新字体，标志着数字排版从印刷导向转向屏幕优化的里程碑。