亲手把现代开发者送上集中式云端的工程师,花了整整十年时间,试图把数据与代码从云端解救出来。

独立研究实验室 Ink & Switch 近日发布可塑软件长篇研究报告《Malleable software》,并展示了核心原型 Patchwork。自 2019 年发表奠基性的《Local-first software》论文以来,实验室已归档约 40 个原型项目,孵化出数字工作台 Allume 与同步引擎 Automerge,并计划在 2026 年 7 月柏林 Local-First Conf 上公开更多研发进展。他们试图打破单体 SaaS 对工作流的垄断,把修改工具代码的权力交回普通人手中。

Ink & Switch 研发与资助积累 4 大 核心研究主题 40 个 已归档探索原型 2 款 成熟生产级软件 10 年 Heroku 创始人支持

这场探索带着纯正的 Heroku 烙印。资助方包括 Heroku 联合创始人 Adam Wiggins、James Lindenbaum、Orion Henry,以及前 Heroku 数据产品团队主管 Peter van Hardenberg。当年把成千上万企业拉进云端 PaaS 体系的核心缔造者,如今转过头来拆解中心化牢笼。

但这次发布的 Patchwork 暴露了更深的矛盾:当他们终于把代码与数据揉碎在一起时,现代软件工程为了安全、运维和合规筑起的高墙,并没有给这种理想主义留出通道。

从被困的医生到可塑木工坊

很多人以为本地优先只是能断网打开的离线文档。Ink & Switch 想解决的其实是工具控制权的丧失。

阿图·葛文德曾写过医疗软件的僵化困境。Epic 等电子病历系统逼迫医生在毫无临床意义的必填字段上反复耗费精力,剥夺了纸质时代随手划掉无关项目的裁量权。现代企业软件也一样,团队在白板上用便签和胶带可以自由排布流程,一旦迁移到 Web 看板,所有动作就被产品经理预设的表单焊死。

为了打破这种黑盒,实验室提出了平缓斜坡理念:修改工具的门槛必须是渐进的。

控制权演进:从使用者到创造者的平缓斜坡 (Gentle slope) 第一阶:内容与排版 随意摆放卡片与字段 零配置负担,即刻上手 无感门槛 / 物理直觉 第二阶:逻辑与公式 引入轻量计算与规则 连接模块,自动化流转 低代码拼装 / 规则重组 第三阶:源码级变异 运行时按需生成组件 代码与数据同存同构 Patchwork 目标状态 技术门槛不应突变跳跃,应随需求自然递进

从 PushPin 到 Farm,再到最新的 Patchwork,实验室做出了一个激进的原型:将组件源代码直接塞入 Automerge 的 CRDT 数据文档里。在 Patchwork 中,用户借 AI 生成一个字数统计组件,发一条链接给同事,对方就能立刻运行,无需构建环境,也不用重新部署。

这把软件从不可更改的现成铁盒,变成了可以现场打磨的木工坊。

工具范式数据归属位置行为改造途径控制权天花板
电子表格本地文件或自建网盘单元格嵌套与公式运算极强即时性,但受制于网格形态
Notion / Airtable供应商专有云平台表单配置与关联数据库无法脱离封闭平台生态扩展
Obsidian用户本地纯文本目录安装或开发 JS/TS 插件需掌握完整现代专业工程链
Patchwork 原型Automerge 统一协同文档源码与数据混溶同构依赖小团体互信,无生产级沙盒

优雅理论撞上工程重力

然而,理论架构上的自洽,一旦进入工业采纳的真实泥潭,往往会被无情的工程代价绊倒。

在底层数据同步引擎的路线竞争中,Ink & Switch 主导的 Automerge 与社区广泛采用的 Yjs 走出了截然相反的轨迹。Automerge 坚持保存完整的不可变历史与分支记录,把文档当成一个具备完整时空维度的通用 JSON 数据库。这种设计在哲学上无懈可击,但在长期生产环境中,全量历史导致元数据体积急速膨胀,内存开销沉重。

底层 CRDT 同步引擎设计取舍 Automerge 路线 · 目标:完整版本历史、分支管理与离线 JSON · 机制:数据结构保留所有操作节点与时序图 代价:历史元数据膨胀,内存与同步开销沉重 Yjs 工业路线 · 目标:富文本协同白板与极简轻量化集成 · 机制:状态向量紧缩与轻量 Awareness 广播 收益:生态绑定深度极高,已被工业界大规模采纳

工业界做选择时向来遵从实用主义。Yjs 舍弃了复杂的历史分支负担,专注在富文本编辑器与协同白板的轻量集成,因而被大量商业化产品吸纳。

权限层面的短板更致命。中心化云端用一台身份验证服务器就能吊销离线用户,去中心化网络却没有这种开关。Ink & Switch 推出的 Keyhive 结合了收敛权能模型与 BeeKEM 组密钥协商机制,虽然已被整合到英国 ARIA 资助的 GAIOS 安全智能体系统中,但这套极其复杂的多层加密设计至今缺少独立第三方安全审计,抗攻击能力依然停留在纸面。

防御性契约:为什么企业不敢要可塑性

Patchwork 在工程社区引发了激烈的现实反弹。一线工程主管与运维人员直言,现代应用走向封闭封闭并不是设计失误,而是整个工业界为了对抗系统崩溃筑起的防御性契约。

架构断层:单体 SaaS 防线与 Patchwork 去中心化模型 传统单体 SaaS:控制换秩序 • 严格的沙盒隔离与身份审计 • 统一的无障碍支持与合规兜底 • 抹平个性需求,维护确定性 代价值:高昂订阅费 + 深度流程倦怠 Patchwork 架构:自由即风险 • 运行时代码变异,现场组装工具 • CRDT 同步,链接即可协作分叉 • 缺乏代码隔离,权限完全透传 限制:仅适用于内部受信的小型团队

当员工可以在运行时篡改软件代码,企业级环境会瞬间面临三场灾难:

首先是安全沙盒的破碎。现代企业受到 SOC2、GDPR 与跨部门审计的硬性约束。如果基层员工能随意引入一段 AI 生成的统计脚本,这段逻辑在没有代码审查和隔离沙盒的状态下读取底层文档,内网权限与敏感数据将门户大开。

其次是运维维度的技术债爆炸。当组织内数百名知识工人各自为战、分叉定制出专属于本部门的微型工具,中央 IT 部门根本无法排查突发缺陷。这不仅会导致培训成本失控,更会让软件升级演变成不可收拾的配置地狱。

更严峻的挑战在于无障碍可用性的崩解。单体商业软件投入数百万美元打磨屏幕阅读器适配、键盘导航和色彩对比;而在可塑软件体系中,普通员工信手拼装的临时界面会瞬间粉碎这些规范,导致工具彻底丧失包容度。

《淮南子》有言:“规矩不能成方圆,而能使方圆有法。”Ink & Switch 写出了优雅的几何准则,但在把图纸变成日常工具的路上,工业界并不打算等待实验室完全想通。

终端市场上,采用 Yjs 与 BlockSuite 架构的 AFFiNE、依赖自研 Any-Sync 协议的 Anytype,以及基于 Rust 构建的 AppFlowy,正在加速瓜分本地优先软件的市场份额。这些团队一边从 Ink & Switch 的论文中汲取养分,一边迅速砍掉过于理想化的技术包袱,用成熟的商业节奏抢占桌面。

生成式 AI 确实压低了编写逻辑的技能门槛,让每个人都能敲出几行可用的交互代码。然而,可塑软件真正的阻碍从来不是代码难以写出,而是如何让随意变异的逻辑在不可信的环境中安全运转。在沙盒隔离与治理模型成熟之前,Patchwork 依然只能是受信黑客小团体的精密玩具。