qwertyuiop
asdfghjkl
符，space · 长按语音AI↵
01 / 键盘面
每一层都知道自己是谁
每个元素都知道自己在哪一层。先给答案，再给工具。
好工具是隐身的。候选栏永远在最上，工具栏可以收成零高，底栏只管「怎么输入」——打字时没有九个工具按钮追着你跑，只有你要的那个字。
0
语言 · 一套文案引擎
如无必要，勿增实体——一套引擎，六套语言，不复制六份网站。
0
套风格 · 三套世界观
三套语言、三套排版、三套运动物理——配色只是最后一步。
0
件界面作品
好工具是隐身的——每一件都不解释功能，只回答「为什么这样排」。
0
条底层逻辑
信息，是对不确定性的消除——五条逻辑指向同一件事。
Five creeds · 五条信条
我们做东西，
我们做东西，
只靠这五句。
每一句背后，都是一个想了几百年的人。
01
先答案后工具
海德格尔 · 上手性
好工具是隐身的。
02
克制
奥卡姆剃刀
如无必要，勿增实体。
03
有证据
香农 · 信息论
信息，是对不确定性的消除。
04
可逆
西蒙 · 满意解
够好且可反悔，胜过最优但不可改。
05
不记账
佛洛姆 · 占有还是存在
占有，还是存在——两种活法。
Interface Gallery
界面，是作品。
每一件作品一条规则，所有规则指向同一件事。
02 / 候选栏 · 续写
不猜
只在你已经写下的上文里，找下一句。不塞金句，不拼 token。
信息的意义在于消除不确定。没有上下文，就什么都不该输出——猜出来的下一句，是在制造新的不确定。
03 / 语音面
松手才定
说出去的话，松手才定。波形是真信号，不是表演。
可信，是因为它不假装比实际更确定。波形是真实的声音，不是一张图——它诚实地告诉你声音从哪来。
ABCDEFGHI
JKLMNOPQRS
TUVWXYZ，
04 / 九键 · 符号库
用得少的藏起来
不画 12345，长按才出数字。常用的自己变大，不常用的不占地方。
克制不是「少」。是把少用的事，放到不碍事的地方——数字偶尔才碰，就收进一次长按。
流水 · 今天整理
✓ 说过的话自动回流，不建工作/生活轴
✓ 打开才摊开：结晶、待办、搜索
05 / 流水 · 读纸
不记账
你只负责说话，它只在你打开的那一刻整理。不评判、不强迫、不打卡。
账本在占有你——分类、打卡、控制。纸只是存在——散落的话，在你打开的那一刻摊成能做的事。这是两种活法。
GOAL ▸ 下单一份晚餐
01 perceive · 读屏
02 locate · 定位入口
03 act · 点击 · 加购
04 assert · 已到提交页
06 / Agent 闭环
每一步都有证据
perceive → locate → act → assert。每一步，都可以倒回去看。
不是一锤子点下去。每一步先看清、再找到、再动手、再确认——失败可以退一步，而不是把整个目标推倒。可回放，是可恢复的前提。
ALLOWASKDENY
07 / 授权面板
否决权在你手里
凡是动了真格的，都要你点头。不是开机就永远安静地替你点外卖。
机器可以替你跑腿，但每一次花钱、每一次点击，都要你点头。你要的不是一个「最优但不可改」的决策，是一个「够好且可反悔」的。
TODAY · 今天能走的一步
→ 花 25 分钟，只写第一页提纲
— 可逆 · 不做人导师 · 不打卡
08 / 澄径 · 今天
一步就够
不给十页计划，只给一步。可以反悔，所以敢迈出去。
完美主义是行动的牢笼。一个可以反悔的下一步，比一个正确但遥远的计划更诚实——你不是缺计划，你是缺一个敢迈出去的第一步。
The density of logic
每一件作品，
每一件作品，
都不止一条逻辑。
好解法从来不是一条规则。是几条逻辑在一个点上交汇，交汇处就是作品。这张表看一件作品背后同时站着几条逻辑。
| 作品 | 先答案 | 克制 | 有证据 | 可逆 | 不记账 |
|---|---|---|---|---|---|
| 键盘面 | ● | ● | |||
| 候选栏 · 续写 | ● | ● | |||
| 语音面 | ● | ● | |||
| 九键 · 符号库 | ● | ||||
| 流水 · 读纸 | ● | ||||
| Agent 闭环 | ● | ● | |||
| 授权面板 | ● | ||||
| 澄径 · 今天 | ● | ● |
How we see the world
我们如何看世界。
六条，各来自一个老思想，各落到一个具体界面。
01
语言的边界，就是世界的边界
维特根斯坦 · Tractatus 5.6
界面是一种语言——我们设计界面，就是在设计你「能想什么」。
键的位置、藏起来的功能、按钮的措辞，不是排版，是语法。答案在前的界面，教人想得清楚；工具堆满的，只教人找得辛苦。
候选栏永远在最上——答案在前，工具想要才出现。
02
足够强的系统，都无法自证完备
哥德尔 · 不完备定理
真正的智能承认自己的边界，不假装全知。
足够强的系统，都有它自己证不了、也否不了的真命题。智能也一样——所以没有上下文时，续写一个字都不出。不是笨，是诚实：猜出来的下一句，是在制造新的不确定，不是消除它。
续写只在你写下的上文里找下一句——没上下文，就不猜。
03
能说清它什么时候错，才配叫真话
波普尔 · 可证伪性
一个说法如果无法被证伪，就不是信息。
不能被推翻的断言，只是意见。「准确率 99%」你永远证不了伪，所以是假的；「波形来自你的麦克风」你可以证伪，所以是真的。我们只显示能被证伪的信号，不显示不能被证伪的数字。
语音面只显示信号来源，不给你一个漂亮的百分比。
04
生命以负熵为食
薛定谔 · 《生命是什么》
世界趋于无序，整理是逆熵——所以它必须主动发生。
你的话语、念头、碎片，天然趋于散乱。整理不是默认状态，是逆着熵的一次主动。所以流水只在「你打开」的那一刻整理——逆熵不靠后台自动，靠一次真正的需要。
流水不实时打扰你，只在打开时把散落的话摊成下一步。
05
指月之指
禅宗 · 公案
别盯着指向月亮的手指——工具是为了让你忘掉工具。
手指指着月亮，聪明人看月亮，愚人看手指。工具就是那根手指，答案是月亮。最好的锤子，是你钉钉子时根本感觉不到的那把。
工具栏收成零高，打字时没有九个按钮追着你跑。
06
度量一旦成为目标，就不再是好度量
古德哈特定律
我们不追那个好看的数字，我们追那个真实的信号。
当一个度量变成目标，它就不再是好度量——人开始为数字优化，不为数字背后的事。所以候选栏靠你写下的上文，长句推送靠 n-gram，不靠一个能被刷出来的漂亮指标。
推送算法在跑，但从不拿一个假数字当成绩单。
Three examples, one phenomenon
三个例子，同一种现象。
行云流水、Telos、澄径，是同一套界面逻辑长出的三种样子。
One day · 一天
同一个人，
同一个人，
一天三次伸手。
从早上到夜里，三个产品是你这一天里，三次自然的伸手。
07:40
还没完全醒，你说了一句
「下午三点开会。」行云流水记下来——它不催你整理，也不提醒你该做什么。你只负责说，它只负责记。
行云流水
14:05
交给它。真正需要你时，它再回来。
「把这件事情继续做完。」你不用先选模型、写提示、配记忆。真正要你决定的那一步，它停下来。
Telos
23:20
夜里，你打开它
澄径把散落的一天摊开——今天做了什么，明天能走哪一步。只给一步，不给十页计划，也不给你打分。
澄径