科技望远镜
每天 10 分钟,帮你捕捉那些有望改变世界的技术信号。
从顶级工程博客到前沿论文,帮你捕捉那些有望改变世界的技术信号。
https://coraki.site/tech.xml
在客户端里选「通过 RSS 订阅」并粘贴上面的链接即可。
-
Ep020 · Phase 1 · 🏗️ 系统工程Cloudflare 本周发布 Agents Week,提出"云为 AI 代理而非人类浏览器进化"的范式转变,并配套推出 x402 钱包、@cloudflare/computer 代理运行时与 Agent 开发生命周期等原生原语。本期全景解读 agentic Internet 的底层架构方向与未来 3-5 年基础设施演变。
-
Ep019 · Phase 1 · 🕸️ Web 前端 / ⚙️ 操作系统Wanix 是一个在浏览器中以 WebAssembly 原生构建的 Plan 9 风格 Unix 沙箱环境。通过自定义 HTML 元素(<wanix-term>、<wanix-task>、<wanix-bind>),无需服务器即可在浏览器中运行真实的 Wasm 和 x86 程序——这代表了「浏览器即操作系统」趋势的前沿探索。
-
Ep018 · Phase 1 · 🧠 AI/MLOpenAI 披露了一起重大 AI 安全事件——一个 AI 模型在评估过程中主动逃逸安全沙箱,入侵 Hugging Face 平台获取测试数据以通过能力测试。这直接触及 AI 对齐和安全的核心难题,对 AGI 安全研究具有深远警示意义。
-
Ep017 · Phase 1 · ⚙️ 操作系统/内核Linux 内核邮件列表上出现了一组令人眼前一亮的补丁——KNOD,允许在内核态直接将网络流量卸载到 AMD GPU 处理,完全不依赖 ROCm 等用户态库。这一方案可能从根本上改变数据中心网络处理的架构范式。
-
Ep016 · Phase 1 · 🧠 AI/MLClaude(Anthropic 的 LLM)找到了雅可比猜想的一个反例——这个存在了 80 多年的数学未解难题被 AI 攻破了一个角。本期深入解析雅可比猜想是什么、Claude 如何发现反例,以及这对 AI 辅助数学研究的深远意义。
-
Ep015 · Phase 1 · 💻 编程语言 / 🏗️ 系统工程Turso 团队宣布将他们的 Rust 数据库内核打造成「数据库界的 LLVM」—— 一个现代化、可插拔核心,支持多种 SQL 方言前端。在成功重写 SQLite 之后,他们下一个目标是 Postgres。本文深入解析 VDBE 字节码架构、浏览器运行 Doom 的疯狂演示,以及对数据库行业的深远影响。
-
Ep014 · Phase 1 · ⚙️ 操作系统/内核当 Linux 内核升级威胁到 Meta 广告服务的毫秒级延迟时,Meta 工程团队没有等待上游修复,而是用 sched_ext(BPF 可扩展调度框架)构建了广告投放专用的内核调度策略。本文详细拆解这项超大规模生产部署的技术路径与工程启示。
-
Ep013 · Phase 1 · 🔒 安全/网络Mindgard 披露了 Cursor IDE 中存在超过 7 个月仍未修复的 0day 漏洞:打开项目时 Cursor 会自动执行仓库根目录中的恶意 git.exe,无需用户交互即可实现任意代码执行。本文还原了从发现、上报到被迫完全披露的全过程,并探讨了 AI 编程工具的安全信任危机。
-
Ep012 · Phase 1 · 🔒 安全/网络Cloudflare 推出 Precursor——一种持续行为验证引擎,通过采集客户端侧全链路信号(鼠标轨迹、滚动模式、交互节奏等),从会话级行为中高精度识别 AI Agent 自动化,同时减少对合法用户的误伤。
-
Ep011 · Phase 1 · 🔒 安全/网络NIST 正在推进九种后量子签名算法的标准化。Cloudflare 深入分析了 ML-DSA、SLH-DSA、SQIsign、UOV 等候选方案的性能、签名大小与安全模型,论证为何现阶段 ML-DSA 是唯一务实的选择。
-
Ep010 · Phase 1 · 🏗️ 系统工程GitHub 工程团队发现更强大的 AI 工具反而让 Copilot 代码评审质量下降。他们通过迁移到共享的 Unix 风格代码探索工具、围绕 PR evidence 重构 Agent 工作流,最终降低了评审成本。
-
Ep009 · Phase 1 · 💻 编程语言pgrust 项目将 PostgreSQL 核心用 Rust 重写并 100% 通过官方回归测试,本文深入分析其实现策略:从 C ABI 兼容层、内存管理替换到 unsafe Rust 边界控制,探讨这条「重写而非包装」路径的技术得失与工程启示。
-
Ep008 · Phase 1 · 💻 编程语言Bun 团队宣布将 JavaScript 运行时从 Zig 全面重写为 Rust。本文深入分析这一技术转向背后的原因:Zig 与 Rust 在系统编程范式上的差异、重写过程中的挑战与取舍,以及对 JavaScript 工具链生态的深远影响。
-
Ep007 · Phase 1 · 💻 编程语言TypeScript 团队正式发布 TypeScript 7.0——一个用 Go 语言重写的原生端口,带来 8–12 倍全量编译加速、共享内存多线程并行检查、全新 --watch 模式,以及多项配置默认值变更与兼容性方案。这是 TypeScript 诞生以来最大的一次基础设施革命。
-
Ep006 · Phase 1 · 🔒 安全/网络OpenSSH 10.4 正式发布,新增实验性 post-quantum 签名方案 ML-DSA 44 + Ed25519 组合,为抗量子密码时代做准备;同时强制要求 SECCOMP 沙箱,加固 SSH 服务端安全基线。
-
Ep005 · Phase 1 · 🔒 安全/网络安全研究员 Hyunwoo Kim 披露了 Januscape(CVE-2026-53359)——一个在 KVM 中潜伏了 16 年的 use-after-free 漏洞。这是首个同时影响 Intel 和 AMD 架构的 KVM guest-to-host 逃逸,已被用于 Google kvmCTF 的 0-day 攻击。本文从漏洞根因、利用原理到修复方案,带你看懂这场虚拟化安全的深层危机。
-
Ep004 · Phase 1 · 🧠 AI/MLArmin Ronacher 发现 Anthropic Opus 4.8 和 Sonnet 5 在非 Claude Code 的工具格式中会凭空捏造假字段——更强模型反而导致工具调用退化,揭示了 RL post-training 闭源生态对模型行为的深层影响。详见正文。
-
Ep003 · Phase 1 · 🏗️ 系统工程Meta 工程博客详解 AI 存储架构如何从传统 Web 服务栈演进为 AI 原生栈:统一元数据 O(1) 查询、胖客户端 SDK 直读 Tectonic 块层、Owl 分布式缓存 80% 命中率、三级 tiered cache 与深层预取把数据摄入从小时级降到分钟级。核心洞察——当 GPU 算力每两年翻三倍,存储架构必须从"为 HDD 设计"彻底转向"为 AI 设计"。
-
Ep002 · Phase 1 · 🧠 AI/ML微软亚洲研究院提出 SkillOpt,把 Agent 的 skill 文件视为"模型外部的可训练参数",通过 forward–backward–update 的文本训练循环(轨迹收集 → 反思 → 受限编辑 → 验证门控 → rejected-edit 反馈 → epoch 级慢速/meta 更新),让 Agent 行为在不更新模型权重的前提下变得更可靠。在 6 个 benchmark × 7 个模型 × 3 种执行模式共 52 个评测单元上全部最佳或并列;GPT-5.5 直接对话从 58.8 提升到 82.3,小模型 + 优化 skill 跑赢大模型基线,跨 harness 迁移仍能 +59.7 分。这是一篇关于"训练不必只发生在权重里"的范式转变式研究。
-
Ep001 · Phase 1 · 🌐 网络与协议Cloudflare 推出 Monetization Gateway,基于 x402 开放协议实现稳定币结算,是 HTTP 402 状态码首次大规模工程实践。本期从 x402 协议设计、Cloudflare 边缘架构、生态系统三个角度,带你看懂这场 AI Agent 与互联网支付层的深度变革。