日报

Building an Open-Source Robot Vacuum — Meet oomwoo

一个全开源、可自建的本地优先机器人吸尘器项目，适合想完全掌控硬件与软件的创客。

Working around dragons with the Lemote Yeeloong laptop and OpenBSD

作者讲述他入手一台搭载中国龙芯 MIPS 处理器的 Lemote Yeeloong 笔记本并计划在上面跑 OpenBSD 的经历，同时深入追溯了龙芯从 863 计划到商业化的完整发展历程。

Ford hired AI and sacked humans. It backfired badly

福特用 AI 替代老工程师搞砸后，重新请回 350 多位 “灰胡子” 把关，新车质量逆袭至行业第一，但旧车召回仍最多。

福特 AI 扔掉老工程师，后悔了：重新招了 350 名老工，质量升了，但 AI 还是得靠人带

Dependently typed Clojure DSL with a Lean4 compatible kernel

Ansatz 是一个为 Clojure 提供依赖类型验证的库，实现了 Lean 4 的 CIC 内核，允许在 Clojure 中编写经机器检查的函数并直接运行在 JVM 上，同时可复用 Mathlib 的 21 万 + 定理。

这个 Ansatz 能让你直接把 Clojure 函数写成可证代码，还能把 Lean4 的定理直接拿来用，证明终止性后就照常跑 JVM，不用再猜猜猜了。

AMD Strix Halo RDMA Cluster Setup Guide

一份面向 AMD Strix Halo APU 的双节点 RDMA 集群搭建与 vLLM 分布式推理实战指南，包含从硬件、系统配置到运行验证的完整步骤与避坑要点。

It's dead, Jim! (UEFI CA expiry)

Choosing a Public DNS Resolver

一份基于 29 个公共 DNS 解析器的交互式选择指南，结合多项测量研究给出隐私、速度、安全等维度的决策依据。

The feature in OxCaml that more languages should steal

Prism: An Impure Functional Language With Typed Effects

Prism 编译器用类型化代数效应将异常、生成器、透镜等统一为同一机制，并声称通过证据传递和引用计数实现零成本抽象，适合关注现代函数式语言设计与实现的读者。

pg_plan_advice — help the planner get the right plan

AI Learns the "Dark Art" of RF Chip Design

AI 用强化学习从零设计射频芯片，性能超现有电路且设计时间缩短数个数量级，但需开放数据生态才能推广。

exploitarium: A single archive of public exploit PoCs

一个公开漏洞利用 PoC 的整合仓库，涵盖大量知名软件的漏洞验证代码。

GPT2-BASIC: Portable Machine Intelligence in BASIC

一个在 DOS/486 级机器上用 BASIC 实现的完整 GPT-2 风格推理运行时与本地助手系统，包含模型、词表、知识索引和可切换助手包，提供多种内存/速度配置及可重复的验证证据。

这个 DOS 机器上跑的超小 GPT2 代码，真正把 AI 推理装进了 486 DOS，不靠云端 GPU 就能聊天、帮帮你写东西。

Are Exclusive Arcs Evil?

Linux 7.2 Improves Anonymous/Unnamed Pipe Performance For Shell Pipelines & More

Linux 7.2 内核通过减少管道互斥锁争用，显著提升了匿名管道写入的吞吐量和延迟，尤其在内存压力下效果更明显。

Data Access Patterns That Makes Your CPU Really Angry

通过构造比随机访问还慢 33% 的数组求和模式，揭示 CPU 缓存、预取、页表与 DRAM 的底层陷阱。

Excessive nil pointer checks in Go

Shard your locks: benchmarking 6 Go cache designs

Go 缓存选型实战：6 种方案基准测试，单锁多核反降速，分片锁全面胜出，读写锁是陷阱。

The essence of architectural work - Part 3

架构工作的经济目的：在满足运行时行为正确性的前提下，最小化系统全生命周期总成本，而非仅优化变更成本。

OpenZL

OpenZL 通过为特定数据格式生成专用压缩器，在保持高速度的同时获得远超通用压缩器的压缩比，并给出了与 zstd、xz 的具体性能对比。

The Cost YAGNI Was Never About

YAGNI 不是省钱，而是关于避免过早承诺和现金流损失 —— 即使 AI 生成代码免费，这两项代价依然存在。

A Tiny Compiler for Data-Parallel Kernels

Text files as a user interface

用文本文件当程序界面，省去写 TUI 的麻烦，还能保留历史输入 —— 作者分享了自己的图片库和视频下载工具实践。

What does it mean to be a mathematician when AI does the math?

当 AI 开始自主做出博士级数学研究，数学家们正在激烈辩论：数学的意义究竟是找到答案，还是理解过程本身？

AI 已能代你搞数学证明，靠证明助手几周内搞定复杂形式化，节省你大量手动调参时间

NLNet Labs LLM Policy

NLNet Labs 明令禁止在代码 / 文档贡献中使用 LLM 生成内容，要求所有互动披露 LLM 使用，并强调人对 LLM 输出的最终责任。

NLNet Labs 发布 LLM 政策，PR、issue、论坛帖全禁 AI 生成，只准人类手写

Introducing Flink's Native S3 FileSystem: Built for Performance, Designed for Production

Flink 2.3 推出原生 S3 插件，检查点速度提升近一倍，无 Hadoop 依赖，已生产验证，迁移零代码改动。

Apache Flink 原生 S3 文件系统 2.3 发布，13MB JAR 替代旧插件，checkpoints 快 1.85 倍且支持 exactly-once

The gap between open weights LLMs and closed source LLMs

开源模型何时追上闭源？单一基准预测 2026 年底，但 18 个基准的平均差距稳定在 5 个月左右，编码能力追赶最快。

多个基准箱线图看下来，coding 模型只落后闭源 1-2 个月，其他普遍 5 个月，open-source apocalypse 直接让你看懂大概率先到手

We Can Still Stop California's 3D Printer Surveillance Scheme

加州 3D 打印机强制监控法案在众议院过关，EFF 详解修正案为何仍威胁隐私、开源与创作自由，并呼吁向参议院施压。

EFF 用‘还能阻止’标题卖力吹，实质是夸大法案失效制造焦虑，快讯风格读完发现还是零新增

Designing a personal Pebble watchface

一位开发者因抑郁和注意力问题，为自己设计了一款高度个性化的 Pebble 表盘，用非均匀布局、强制休息闹钟等机制对抗分心与拖延。

开发者给 Pebble 手表做私人 ADHD 表盘的设计日记，和 AI 工程或创业信号完全无关

ARIA, anti-patterns, and you

ARIA 创作实践指南不是最佳实践，用 LLM 照搬它可能让网页更不可访问 —— 本文解释为什么以及该怎么做。

别再把 LLM 塞 APG 了，ARIA 别用原生标签就行，这就是老生常谈