← 往期列表

日报

2026 年 7 月 20 日 · 星期一

读过 36 篇 · 精选 18 篇

更多
精读 预计 1 分钟

Minimal Git CI using hooks

用 git post-receive hook 配合 nq 实现极简自托管 CI，适合只需跑测试或构建的个人项目

自托管 git 用 post-receive hook 加 nq 搭极简 CI，推代码后台跑测试不卡壳

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

email encryption

追溯电子邮件起源、安全缺陷及 X.400、MIME、PGP 等加密尝试的历史，适合关注老协议演进与安全问题的人

X.400 加密靠全球目录，结果目录服务没成，互联网邮件安全从此卡壳

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

Xiaomi-Robotics-1

小米发布机器人基础模型 XR-1，用 10 万小时无实体 UMI 数据预训练加少量真实机器人数据后训练，展示清晰 scaling 行为与新任务高效适配，适合关心机器人策略模型数据瓶颈与扩展的人。

小米机器人模型用 10 万小时无实体预训练打破数据瓶颈，真实成功率随规模稳定提升

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

Dependable C

Dependable C 项目定义 C 语言的一个兼容性优先子集，指导写出能在众多编译器和平台上可靠运行的代码，适合需要长期可移植性的开发者。

Dependable C 主张用最中庸的 C89 子集写代码，以确保在数百种实现上可靠运行，而非追逐最新标准特性

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

Running microVMs in Proxmox VE, The Easy Way

pve-microvm 包为 Proxmox VE 添加 QEMU microvm 支持，实现亚秒级启动和 KVM 隔离，适合 homelab 用户运行 Gitea 等服务。

装个 deb 就把 QEMU microvm 变成 Proxmox 原生客机，300ms 启动带完整 KVM 隔离，作者亲测跑 Gitea、agent 和 Plan9

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

HomeLab #1: MikroTik as a Home Router

MikroTik L009UiGS-RM 家庭路由器搭建实操，涵盖 ISP PPPoE / VLAN 配置、CAPsMAN WiFi 管理和 FQ-CoDel 抗缓冲膨胀，适合想替换 ISP 路由器的 homelab 用户参考。

MikroTik L009 路由器配置 ISP PPPoE VLAN、MAC 克隆和 FQ-CoDel 抗 bufferbloat，homelab 网络一步到位

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

The notification that gave up after a minute

浏览器推送通知的两处静默失败：权限重置与 60 秒 TTL，排查多层系统 bug 的实录

浏览器推送权限会悄然回到 default，60 秒 TTL 让通知在浏览器关掉后直接失效

Lobsters · 1 赞 · 0 评 进入阅读 →
精读 预计 22 分钟

Introduction to Formal Verification with Lean (Part 1)

Lean 4 形式化验证入门教程，定义 BitString 与 XOR 并开始证明其交换律，适合想用 Lean 验证密码协议的工程师

Lean 形式验证 OTP：定义 BitString 后证明 XOR 交换结合自逆性质，代码可直接抄来用

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

I burned all my tokens researching how to save tokens

作者分享用 Claude、Codex、Antigravity 多订阅通过模型角色分工、共享内存和验证规则搭建可信低成本深度研究管道的实践

多模型子代理编排加验证规则，把 AI 研究代理从烧光额度变成可信知识库，还揭露 harness 和 compaction 的真实成本坑

Hacker News · 88 赞 · 126 评 进入阅读 →
精读 预计 16 分钟

I joined the IndieWeb, here's what I learned

作者分享加入 IndieWeb 的经验、11 条原则、microformats2/Webmention/Micropub 等协议及 POSSE 策略，适合对个人网站独立性和去中心化社交感兴趣的人。

IndieWeb 协议让你用个人域名掌控内容和互动，避免平台倒闭带走数据

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

The death and rebirth of my home server

NixOS 家庭服务器 SD 卡损坏后重建，分享最小化写入、btrfs RAID1 池与声明式子卷配置的经验

NixOS 配上 zram 和 btrfs raid1 池，老 Pi 服务器 SD 卡死机后直接重生，旧硬盘全用上还省写入

Hacker News · 88 赞 · 65 评 进入阅读 →
精读 预计 2 分钟

UnifiedIR for Julia

Julia 提出 UnifiedIR 新 IR 框架，解决现有 10 年 IR 难用、不易扩展问题，支持 dialect 与 region，预览 PR 供讨论

Julia IR 十年老结构要换 UnifiedIR，区域化如 MLIR 并首类支持方言扩展，替换 SyntaxTree 等旧数据结构

Hacker News · 86 赞 · 17 评 进入阅读 →
略读 预计 7 分钟

Fuzzing for fun - unauthenticated denial of service in snac2

snac2 ActivityPub 服务器的 JSON 解析器存在 导致的堆溢出，可被未认证远程攻击者通过 POST 请求触发 DoS 崩溃。

一个没啥经验的研究者用 AFL++ 几分钟就在真实 ActivityPub 服务器里挖出未授权 DoS，JSON 里 直接堆溢出

Lobsters · 2 赞 · 0 评 进入阅读 →

读完去做事。