时间轴

我们为什么做 ChatBlog，为什么曾停下来，以及为什么生成文章和精选文章需要分开。

从 PlayJev、Laya vs Jev Arena 和 MicroDuck 出发，核对模型看到什么、代码执行什么，以及如何区分实时推理、录制回放和规则接管。

从 AK/SK 管理密钥，到 ChatEnv 隔离配置，再用 Python 实测 Coding Plan 与 Agent Plan 的 Chat Completions 和 Responses。

从一张快速排序图出发，写清要表达的内容，用 CRS API Key 生成 PNG，并读懂两个模型、SSE 响应与图片核验。

从 `npx create-video` 脚手架到真实渲染出一条 1080p 动画视频，再通过 ChatShare 分享 MP4 并嵌入 ChatBlog。用 HelloWorld 模板走完 Remotion 视频生产的最小闭环。

调研 B站官方开放平台、Wechatsync Bilibili adapter、第三方 CLI 工具，回答能发什么、怎么发、有没有官方 CLI，以及 ChatPost 应优先走哪条接入路线。

用一篇文章讲清楚 ChatArch Mattermost 双账号双 Agent 接入：@hermes-agent 与 @cc-connect 的接入机制和命令边界、thread/session 对话历史隔离规则，以及 ChatRSS 在 TriggerEvent、Router 与 Ledger 层的位置。

对比 Hermes Agent、OpenAI Codex 与 CUA 社区在 Computer Use / desktop control / MCP plugin 上的源码、文档和 issue/PR 证据，判断 Hermes 是否已有对应能力，以及 Codex 与社区正在补哪些缺口。

介绍 Hong Wang（王虹）获得 2026 年菲尔兹奖的核心工作：local smoothing、Fourier restriction、Falconer distance、Furstenberg sets 与三维 Kakeya 问题，以及多尺度、decoupling 和几何测度论方法如何把这些问题连成一张图。

用一个“水滴入水后的圆形波纹”小例子，走完 Manim 视频生产的最小闭环：先写 plan.md，再写 script.py，用 -ql 快速渲染，最后通过 ChatShare 分享 MP4 并嵌入 ChatBlog。

静态调研 Multica 这个开源 managed agents 平台：它如何把 Claude Code、Codex、Hermes 等 coding CLI 变成可分配任务、追踪进度、复用技能并接入 Feishu/GitHub 的团队成员，以及它对 ChatArch 的启发和风险边界。

静态调研 16 个文件服务器、临时分享与 S3 项目，区分路径型 URL、随机分享链接与对象存储语义，为 ChatShare 的单 Key、上传下载和文件名 URL 选择最小底座。

复盘一条真实跑通的 Markdown 到知乎草稿链路：CLI 如何通过 loopback bridge 控制带登录态的 Chrome 扩展，上传本地图片、写入富文本，并将发布停在人工 Review。

本地拉取 Tau Ceti 的五个核心仓库与运行链条，拆解 human roadmap、AI author/review、sandboxed CI、公开 review archive 和 17 万行 Lean 背后的真实能力与风险。

从 MathOverflow 的 Are we stuck with Lean 讨论出发，拆解 kernel、foundation、Mathlib、tooling、community 与 funding 六层锁定，并探索独立 checker、跨系统复核和替代生态的现实路线。

从 autoresearch 到 AI Scientist，解释自动科研系统每扩大一层行动空间会新增什么验证债务，以及团队怎样用独立评价、确认集、证据链和人工问责构建可信闭环。

完整复盘 Lean 社区的 Counterexample to the Lean Conjecture 讨论：一份 Collatz“反证”如何利用 Lean nested-inductive 漏检与旧版 nanoda 的独立漏洞，通过当时的 comparator，并推动 LeanEval 改成双 kernel 验证。

面向 Lean proof reviewer 的 Comparator 详解：它如何隔离 Challenge 与 Solution、比较 constant graph、限制 axioms、sandbox 构建并调用 Lean 与 nanoda，以及它仍然不能保证什么。

介绍 Rust 外部 Lean checker nanoda 的 export/replay 架构、axiom policy、Lean Kernel Arena 测试方式，以及旧版 projection bug 如何与 Lean kernel 漏检组合。

从 page、column、widget 的 YAML 结构出发，说明 Glance 如何添加服务入口、健康状态、服务器指标、RSS 订阅，以及 27 类当前可用 widgets。