日报

MAX models can now run on Apple silicon GPUs

MAX 模型现已支持在 Apple silicon GPU（M1-M5）上本地运行 LLM 和图像扩散模型，M5 性能最佳，附有上手命令。

MAX 现在能在 M1-M5 Mac GPU 上跑 LLM 和 FLUX 模型，M5 性能更好并附带运行命令。

Auditable Commercial License (ACL) v1.0

一份自带 AI 训练保护、四年后自动转 Apache 2.0 的源码可得商业许可证，适合关注代码审计权与 AI 时代许可风险的开发者或法务。

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 分布式推理实战指南，包含从硬件、系统配置到运行验证的完整步骤与避坑要点。

There Are No Instances in atproto

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 的整合仓库，涵盖大量知名软件的漏洞验证代码。

Response to AI slop is from Robin Williams

借《心灵捕手》台词，点明 AI 只有知识、没有经历，呼吁创作者用个人体验对抗 AI 内容泛滥。

这篇聊 Robin Williams 在好人好事里讲的'学与活'，本质是吐槽 AI 写垃圾内容但强调人类真实经验的价值。适合你判断'什么值得深挖'，可从中学到做 AI 工程时别只堆理论知识，还得注入自己的真实经历。

pomerium: Pomerium is an identity and context-aware access proxy

一个无需 VPN 和客户端，基于身份与上下文感知的反向代理，用于安全访问内部应用。