新出现
Go 官方发布模块化静态分析框架
Go 官方 analysis 包提供 Analyzer/Pass 接口、Facts 机制和驱动集成，支持模块化 checker 与跨包事实传播。
开发者可直接定义和集成自定义 Go 静态分析工具。
- Go Analysis Framework: modular static analysis by go team Hacker News #5
新出现
Lisp 宏实现 Forth 抽象机器支持元编程
Lisp 通过宏实现 Forth 的 cons threaded code、字典和立即字等抽象机器模型，探讨元编程与语法二元性。
为 AI 工程提供构建自定义解释器或元编程 DSL 的具体可迁移方法。
- Forth Moving Lisp Moving Forth Lobsters #1
新出现
AI Token 中继转卖市场形成四层结构
AI token 中继转卖市场呈现四层结构，使用 one-api 等软件，服务商采用 spend caps、行为监控和 prepaid card 检测等防御策略。
为 AI 产品部署 gateway 提供参考，并指导防范 relay abuse 以优化成本和安全。
- The relay market powering token resellers and fraud Hacker News #4
新出现
Lean 形式证明让 AI 代理优化 DEFLATE 压缩
Lean 通过形式化证明使 AI 自主优化 DEFLATE 压缩，在 silesia 语料上部分级别超越 Rust miniz oxide。
提供形式化方法安全委托 AI 进行性能调优的工程案例，改变对 Lean 在 AI 工程中实用性的判断。
- Fast DEFLATE compression in Lean Lobsters #2