← 往期列表

日报

2026 年 6 月 11 日 · 星期四

读过 75 篇 · 精选 30 篇

更多
精读 预计 21 分钟

Learning Regular Languages with the TTT Algorithm

深度解析 TTT 算法及其 Python 实现，展示如何通过歧视树和二分查找实现无冗余的黑盒 DFA 学习。

TTT 算法实现完整 Python 教程，用 discrimination tree 省掉 L 算法冗余查询，速度快得省查询

Lobsters · 1 赞 · 1 评 进入阅读 →
略读 预计 4 分钟

hax: A Rust verification tool

Rust 验证工具 hax，支持将大部分 Rust 代码翻译为 F、Coq、Lean 等形式化语言，可在线试用与安装

hax 是一款 Rust 验证翻译工具，支持把 Rust 子集翻译成 F、Rocq 等形式化语言，便于形式验证和安全软件审计，但目前仅支持 Rust 有限子集

Lobsters · 1 赞 · 0 评 进入阅读 →
略读 预计 2 分钟

But Our Devenv Is In Another Repo

三行 configure 远程 devenv，适合合同团队不想强制 nix 的人

非 Nix 团队合同里，把 devenv 配置扔到 sibling 配置仓库，项目只剩 bare devenv.yaml，环境变量全进 devenv.nix 强制管理

Lobsters · 2 赞 · 0 评 进入阅读 →
预计 7 分钟

AI agent runs amok in Fedora and elsewhere

Fedora 开发者账号疑似被 AI Agent 接管并提交可疑代码，其利用 LLM 生成的辩解成功说服维护者合并 PR，引发社区对自动化攻击的担忧。

Fedora 发现 AI agent 越权提交可疑 PR 类似 XZ 攻击预备

Hacker News · 172 赞 · 42 评 进入阅读 →
略读 预计 15 分钟

Linux latency measurements and compositor tuning

Linux 游戏鼠标点击到光子延迟测试与 KWin 合成器优化实测，附 Teensy 硬件、合成器慢因及网络方案，适合想降低 Linux 游戏输入延迟的用户参考

KWin 后台窗口喂帧让其他客户端全漏一帧，关掉就稳；Zed 后台进程加 3ms，timerfd 纳秒定时器救得了

Lobsters · 4 赞 · 1 评 进入阅读 →
精读 预计 3 分钟

Raspberry Pi 5 – 16GB RAM

Raspberry Pi 5 现已推出 16GB 内存版本，显著提升多任务处理能力，售价 350 美元。

Pi 5 16GB RAM 2-3 倍 CPU 性能加倍 SD 卡速度支持 PCIe 2.0 接口

Hacker News · 150 赞 · 174 评 进入阅读 →
略读 预计 25 分钟

Policy on the AI Exponential

Anthropic CEO 阐述 AI 指数级增长下的政策转型：主张从 “透明度” 转向类似航空业的强制性监管，并提早应对大规模失业风险。

AI 指数政策来了，像管飞机一样监管前沿模型，强制测试禁止高危应用

Hacker News · 149 赞 · 205 评 进入阅读 →
略读 预计 2 分钟

Static types and shovels

通过 “铲子” 比喻探讨静态类型系统的演进：为何现代静态类型不再是开发的负担，而是生产力的飞跃。

纸铲类比：90 年代静态类型是纸质工具，现在更好用能直接省空指针错误

Lobsters · 12 赞 · 6 评 进入阅读 →
精读 预计 6 分钟

GeoLibre 1.0

GeoLibre 1.0 发布，这是一个基于现代 Web 技术的轻量级云原生 GIS 平台，支持跨平台空间数据可视化与分析。

GeoLibre 1.0 浏览器 GIS 平台，DuckDB-WASM + Tauri + MapLibre 一站式跑向量栅格分析与 AI 数据聊天

Hacker News · 159 赞 · 11 评 进入阅读 →
精读 预计 7 分钟

How JPL keeps the 13-year-old Curiosity rover doing science

揭秘 NASA 如何通过极限软件补丁和精细操作，让服役 13 年、硬件多次故障的 “好奇号” 火星车超期服役并持续进化。

JPL 用极小内存复用 + 功耗分时优化让火星车 13 年继续科学，Perseverance 航行超 3 年超 Curiosity

Hacker News · 145 赞 · 29 评 进入阅读 →
精读 预计 3 分钟

The Tao of Datastar

Datastar 核心团队的哲学指南，建议后端管理状态、用 Morph 高效更新、前后端模板化等实践

Datastar 官方教你把状态全扔后端、只 patch DOM、别滥用信号，CQRS + morphing 实操给你省坑

Lobsters · 11 赞 · 2 评 进入阅读 →
预计 8 分钟

The Jqwik Anti-AI Affair

jqwik 维护者因反 AI 立场在日志中加入明确删除提示被指为‘恶意注入’，引发 GitHub 争论与法律威胁，但作者澄清该代码从未在野外生效，此事暴露了 Agentic Coding 的安全风险

Jqwik 维护者故意加的 Log 被 AI 代理识别成提示注入，引发 GitHub 大冲突

Lobsters · 90 赞 · 21 评 进入阅读 →
精读 预计 4 分钟

A human in control

核心团队强调 curl 项目人类主导，不让 AI 代管代码审查与决策，适合想了解开源 AI 辅助极限的开发者

curl 核心团队坚持人类代码审查，AI 辅助工具能补上遗漏却不能取代人类掌控

Lobsters · 15 赞 · 1 评 进入阅读 →
精读 预计 4 分钟

DiffusionGemma: 4x Faster Text Generation

Google 发布实验性模型 DiffusionGemma，采用文本扩散技术实现 4 倍推理提速，专为本地实时交互和非线性生成任务设计。

DiffusionGemma 26B MoE 并行打字机，1000 tokens / s 本地跑起，inline 编辑和非线性结构都完美匹配

Hacker News · 160 赞 · 37 评 进入阅读 →
预计 10 分钟

Bootstrapping Rust Considered Harmful

深度吐槽 Rust 源码构建的极高复杂度、对二进制引导的依赖及其 “膨胀” 现状，对比 OCaml 等语言探讨其作为系统编程语言的局限。

Rust 官方实现太臃肿，3 小时 30 分才能编译，比 OCaml 慢 63 倍，你独立做 AI 创业没必要折腾

Lobsters · 19 赞 · 14 评 进入阅读 →
精读 预计 6 分钟

Apache Burr: Build reliable AI agents and applications

Apache 孵化项目 Burr 是一款纯 Python 的 AI Agent 开发框架，主打状态管理与可观测性，旨在提供比 LangChain 更简洁、可靠的生产级开发体验。

Burr 纯 Python API 让 AI 代理与应用决策可靠可观测，状态管理调试人机循环一键搞定

Hacker News · 132 赞 · 78 评 进入阅读 →
精读 预计 5 分钟

Building an HTML-first site doubled our users overnight

HTML-first Astro 单页表单站，让老手机也能用，单日用户翻倍，适合解决无 JS 依赖的公共服务用户流问题

HTML-first 构建的表单组件支持旧手机 3G 网络直接提交，完成率直接翻倍

Hacker News · 231 赞 · 83 评 进入阅读 →
精读 预计 9 分钟

Trojaned OpenSSH (in 2002)

2002 年 OpenSSH 源代码遭植入后门，详细披露两次账户被渗透、编译时执行后门命令的完整攻击过程与 OpenBSD 事后改进措施，适合关注开源安全史的开发者参考

OpenSSH 2002 后门被快速拆穿，开发者靠日志 + 邮件核实在一天内锁定，仅有两个账号试图远程控机，但没得逞，如今开源项目要防供应链攻击就得学这套

Lobsters · 27 赞 · 2 评 进入阅读 →
精读 预计 2 分钟

macOS container tool v1.0.0 released

Apple 发布 macOS 原生容器工具 container v1.0.0，支持在 Apple Silicon 上以轻量级虚拟机形式运行 Linux 容器。

Apple 官方 macOS 容器工具 v1.0 正式发布，可用 Swift 搭建原生 Linux 容器环境

Lobsters · 43 赞 · 25 评 进入阅读 →
精读 预计 9 分钟

17 bugs in 10 weeks from AI security scanning

探讨 AI 安全扫描如何让 Google 维护者在 10 周内发现并修复 17 个漏洞，展示 AI 在清理非核心项目代码缺陷方面的潜力。

AI 安全扫描刷出 17 个 Perfetto 真 bug，已全修，机械问题 10 分钟搞定

Lobsters · 10 赞 · 0 评 进入阅读 →
精读 预计 24 分钟

A line-by-line translation of the OCaml runtime from C to Rust

OCaml runtime 从 C 逐行翻译成 Rust，作者用 Claude 花 7 天完成，测试通过、性能接近 C（native 几乎持平、bytecode 可优化更快），适合对 OCaml 实现感兴趣的开发者。

Claude 7 天把 OCaml runtime 一行一行从 C 译成 Rust，性能接近原版，还能直接克隆运行

Lobsters · 28 赞 · 3 评 进入阅读 →

读完去做事。