时间轴

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

从一张快速排序教学图出发，用 ChatEnv 管理 CRS Key，通过 Python 示例或纯 curl 调用 image_generation，并把返回结果保存为 PNG。

从 GSM8K、MATH、miniF2F 到 Compfiles、PutnamBench、FrontierMath、LeanEval v1，沿着数据集内容看 AI4Math 研究重点如何从最终答案转向过程、验证器、形式化证明、live eval 和研究级数学。

当 AI 生成想法、代码和证明的速度越来越快，形式化不再只是数学家的洁癖，而会成为验证、复用和协作的基础设施：让机器生成的推理有一个可以被机器严格检查的落点。

面向自用体验的 2025+ 开源语音克隆框架调研，比较 IndexTTS、CosyVoice、GPT-SoVITS、F5-TTS、Chatterbox、Fish Speech、Spark-TTS、Dia 等项目的 GitHub 星标、许可证、功能定位和试用建议。

同一个 React 组件，通过 zod schema 定义参数，换一换数据/配色就能批量渲染出不同版本——展示 Remotion 区别于其他动画工具的核心能力。

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

介绍当前 Speakr 网站的会议录音、实时转写、摘要、文字转语音和实时语音对话，以及它在 Recall 服务器上的真实模型与部署方式。

一次 DeepSeek Harness 实践记录：Node 22 运行时、dsh web、headless smoke、Web UI 修小仓库、workspace API 403、Cordis patch 插件验证。

介绍 ChatGlance 如何把 Glance 的页面配置、数据快照、渲染脚本和 live 验证组织成可测试、可回滚、可持续扩展的 Dashboard 页面开发模式。

基于一次 Zulip 全量可见消息导出，分析 Stream、Topic、Thread、机器 feed、评审协作和新人路由如何共同构成一个可搜索、可追踪、可收束的技术社区，并提炼给自建 Agent 社区的频道设计建议。

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

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

详细拆解 zarazhangrui/frontend-slides：它为什么不是一个普通 PPT 模板，而是一套面向 AI coding agent 的零依赖 HTML 演示文稿 skill；以及它如何辅助 ChatBlog 继续完善 Web Slides 工作流。

从零开始走阿里云百炼 / Model Studio：注册登录、开通百炼、确认 Token Plan 与 ASR 额度边界、创建 Workspace、获取 DashScope API Key、选择 Qwen-Audio / Fun-ASR / Paraformer 实时模型、跑 Python SDK / WebSocket demo，并规划后端 relay 与网页实时字幕实践。

只看“边说边出字”的实时 ASR，把科大讯飞、阿里云 Paraformer、火山引擎豆包语音、腾讯云实时语音识别拆成控制台开通、API 鉴权、WebSocket relay、部署位置、计费和 A/B 实测流程。

从零开始走科大讯飞开放平台：注册登录、创建应用、开通实时语音转写大模型或标准版、领取免费包、拿 AppID/APIKey/APISecret、跑 Python SDK/WebSocket demo，并规划后端 relay 与网页实时字幕实践。

从零开始走火山引擎豆包语音 / 大模型流式语音识别：注册登录、开通服务、获取新版 X-Api-Key 或旧版 AppKey/AccessToken、选择 Resource ID、理解 bigmodel / bigmodel_nostream / bigmodel_async 三种 WebSocket、看资源包与后付费价格，并规划后端 relay 与网页实时字幕实践。

解释自建发信服务到底包含哪些组件、邮件从应用到收件箱的过程、Postfix/全家桶/托管 SMTP/混合网关等常见方案，以及部署和验收清单。

面向刚开始使用 Mattermost 的 ChatArch 用户，解释 team、channel、post、thread、DM 的结构，比较 Mattermost、Slack 和飞书的消息触发心智，并给出 Agent 工作间里的推荐用法。

一次 Speakr 自托管实操复盘：它不是实时字幕工具，而是录音或上传后进入后台 ASR，再在详情页显示 Transcription 和 AI Summary / Minutes；重点说明录音后必须点 Upload Recording & Notes、AI 后处理入口在哪里，以及什么时候该换实时 ASR 路线。

介绍 ChatArch 为什么把 Mattermost 作为自托管实时 Agent 工作间，当前 matter.public.wzhecnu.cn 入口验证了什么，以及 Hermes 如何通过 Mattermost Gateway 进入频道、线程和团队协作流。

把录音转写需求拆成网页录音、成熟 ASR、AI 纠错/纪要三层；同时评估 ASR API、自托管 ASR runtime，以及 Speakr、Scriberr、Meetily、Minutes 等已经串起录音转写和总结的开源项目。

静态调研 GitHub 上适合自建录音转写、在线会议实时转写和会议纪要的开源项目，区分会议 bot/API、录音文件后台、字幕媒体套件、团队媒体库与底层 ASR pipeline。

对比 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 和几何测度论方法如何把这些问题连成一张图。

拆解 OpenAI Responses、Anthropic Messages、千问 OpenAI-compatible 与常见 agent client 的三层关系，比较 Codex、Claude Code、Qwen Code、Gemini CLI、OpenCode、Aider、Roo、Cline、Cursor 在文件编辑时到底偏 patch、replace、write_file 还是多工具并存。

从 Patrick Fu 的 From Spec to Loop 演示页和 frontend-harness-slides 三个公开仓库出发，拆解这套 Web Slides 方法现在做什么、做了什么、能做什么，以及 ChatArch 如何把它变成自己的快速 slides 创建、发布和持续更新流程。

介绍 Manim Community Edition 的项目定位、渲染机制、安装依赖和一条从 plan.md、script.py 到最终 MP4 的完整数学动画视频生产流程。

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

调研千问 AI 平台 Token Plan 的个人版、团队版、Credits 额度、模型清单、Codex/CRS/Hermes/Claude Code 等多渠道配置，以及 OpenAI-compatible、Responses 和 Anthropic 兼容格式的选择边界。

Discourse AI 不是“给论坛套一个聊天机器人”这么简单。更准确地说，它是一组嵌在 Discourse 里的 AI 能力：写作助手、AI Bot、语义搜索、相关话题、总结、垃圾信息检测、AI triage 和自动化报告。它适合增强 topic/comment 型社区，而不是替代 Mattermost、Discord 或 Slack 这类实时聊天入口。

调研 Hermes Messaging Gateway、平台插件、API Server 与 Webhooks 支持的平台形态，比较每个平台的交互模式、自托管边界和 ChatArch 适配建议。

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

从 RSS/Atom 的订阅模型讲起，解释 feed、阅读器、channel、item 和更新轮询，再说明 RSSHub 如何把没有原生订阅源的网站、API 和社区事件转换成可消费 feed，为 ChatRSS minor 版本做概念铺垫。

从 ChatArch 的实际建设出发，讨论 Agent Community 为什么不只是多个智能体一起聊天，以及 Human Admin、社区基础设施、Profile、任务关卡与 Detect-Judge-Action 如何组成当前阶段可运行的工作模式。

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

把 OpenAI Astra 十项数学与理论计算机科学结果拆成十个完整概要：逐项解释题意、研究背景、历史难点、Astra 的证明思路、结果意义、没有解决什么，以及 Lean 与同行评议边界。

逐项解释 Astra 在球堆积、非 sofic 群、量子并行重复、Ehrhart 猜想等方向的十项结果，并审计 249 页论文、47 万行 Lean、2000 美元成本说法、人类参与和同行评议边界。

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

从最新 CCFDDL 数据出发，先判断投稿入口是否真的开放，再按通用方法、Agent、检索、proof engineering、HCI 与系统贡献筛选 2026 下半年及 2027 年 1 月的 CCF A/B 会议。

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

比较知乎文章公开接口、浏览器扩展、网页内部接口与 Headless 自动化，给出一套由服务器 CLI 控制、可信浏览器节点执行、默认只更新草稿的方案。

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

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

核验 2025–2026 年 AI 数学数据集、形式化证明基准、研究 Agent 与开放猜想案例，区分奥赛成绩、形式化验证、界的改进和真正的新数学结果。

完整复盘 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。

从 awesome-selfhosted 的 Personal Dashboards 分类出发，整理五个适合 homelab 的自托管首页与信息面板项目：Homepage、Homarr、Dashy、Homer 和 Glance。

这篇文章回答一个很容易混淆的问题：Discord 能不能像 Discourse 一样自建？如果不能，我们刚刚部署的 Revolt / Stoat 又是什么？

从 SMTP 的全称、工作原理、端口与加密方式讲起，再整理 Gmail、Outlook、QQ 邮箱、企业邮箱、SendGrid、Mailgun、Amazon SES 等常见平台的 SMTP 配置思路。

整理一批能自建或直接部署的视频总结、视频学习助手和视频知识库项目，包含 BiliSum、Video Helper、BibiGPT、websum 等。

设计一条从 B 站、YouTube 或本地视频到字幕、ASR、关键帧、VLM evidence bundle 和结构化摘要的自建路线。

我们已经把一个长期运行的 Discourse + AI 社区部署到 ChatArch 的服务目录里。它的目的不是替代 Git、Issue 或项目目录，而是提供一个 comment-based 的公共议事厅：人可以发起任务、问题、提案和设计讨论，AI 可以作为受控参与者提供摘要、建议和后续整理。

从源码梳理 Hermes 如何用 Profile、delegate_task、Kanban、Gateway multiplex 和 terminal backend 组合出不同人格、不同记忆与不同执行环境的多 Agent 系统。

梳理一种目的导向的机器人社区形态：用 Discourse 承载 topic/comment，用 Agent Router 调度多智能体，用 ChatBoard discussion 沉淀决策和后续行动。

第一篇 ChatBlog 博客，用来展示当前博客框架可以支持的图示、提示框、Tabs、代码块、折叠内容等写作能力。

解释 Hermes SSH Mode 的机制、用法、安全边界，以及为什么模型需要一个可发现的 ssh_mode 工具来主动请求进入和退出远端工作区。