跳到主要内容

ChatBlog博客 Slides 时间轴标签

待精选 AI Slop 登录 GitHub

保留文章

2026

ChatBlog：让每篇文章有自己的判断
Jev 与小模型玩游戏：三个现成项目的源码、部署与边界
用 Python 接入火山方舟：从 AK/SK 到两套 Plan 密钥
用 CRS 生成一张中文教学图
Remotion：用 React 写代码生成视频的最小闭环
B站发文和视频投稿：官方开放平台、插件能力与 CLI 工具调研
当两个 Agent 进同一个 Mattermost Thread：ChatRSS、Hermes 与 cc-connect 的对话规则
Hermes 和 Codex 的 Computer Use：谁在做桌面控制，差别在哪里
王虹的菲尔兹奖：从波的平滑到三维 Kakeya
Manim Quickstart：从 plan.md 到第一条水波纹视频
Multica 调研：把 Coding Agent 变成可以分配 Issue 的队友
ChatShare 文件分享底座选型：从 Droppy 到 Dufs、Copyparty 与 Gokapi
从 Chrome 登录态到知乎草稿：我们如何打通一条可控的写入链路
Tau Ceti：人类写 roadmap，AI 真的能维护一座数学库吗？
我们真的被 Lean 锁定了吗？Mathlib、soundness 与证明可移植性
AutoResearch 怎么落地：验证债务与可信闭环
一份‘反证 Collatz 猜想’的 Lean 代码，为什么同时通过了两个 checker
Comparator 到底在检查什么：从 Challenge/Solution 到 external kernel
nanoda：为什么 Lean 还需要另一个 kernel
Glance 配置指南：怎么添加服务、RSS，以及它到底能放什么

标签

A

agent2
Agent Plan1
AI5
ai-math1
ai-scientist1
API1
autoresearch1

B

bilibili1

C

cc-connect1
chatarch1
ChatBlog1
ChatEnv1
chatpost1
chatrss1
chatshare1
chrome-extension1
cli2
codex1
Coding Plan1
comparator1
computer-use1
CRS1
cua1
curl1

D

dashboard1

F

fields-medal1
file-sharing1
formal-verification5

G

game-ai1
geometric-measure-theory1
glance1

H

harmonic-analysis1
hermes3
homelab1

I

image-generation1
infrastructure1

J

jev1

K

kakeya1
kernel1

L

laya1
lean5

M

machine-learning1
manim1
mathematics1
mathlib2
mattermost1
multi-agent2
multica1

N

nanoda1

O

object-storage1
open-platform1
open-source4

P

proof-assistants1
publishing2
Python1

Q

quickstart2

R

react1
remotion1
research-agent1
rss1
rust1

S

security2
self-hosted2

T

theorem-proving1
typescript1

V

video2

W

wechatsync1

Z

zhihu1

写

写作1

火

火山引擎1

内容

最新博客
Slides
时间轴
标签

源码

GitHub

Copyright © 2026 ChatArch. Built with Docusaurus.