Vercel 把 React 组件编译成真数学函数,UI 迎来微积分时代
shuding · x · 2026-10-27
Vercel 联合创始人 Shu Ding 发布 Vercel Labs 研究原型 The Calculus of Interfaces:把一个普通 React 组件 <Dashboard/> 编译成真正的纯数学函数 UI = f(props)。
核心做法:受 chenglou 的 Handwired 项目启发,页面被写成一条无分支、无循环的直线操作列表(本例 2608 个操作),每个 JS 操作只保留为加权和、乘积、ReLU 或阶跃函数——if 变成混合两种结果的 step,Math.max 变成 ReLU。这样 f 成为分段光滑函数,同一列表可用四种方式求值:精确求值、step 换成 sigmoid、前向模式求导、区间算术。
一旦 UI 是数学,就可以:求导以一次性为所有设备调优;用区间算术证明对任意屏幕宽度都成立的布局规则;找不连续点;在真实设备分布上积分;像信号一样压缩;软化 sigmoid 让 UI 自己动画;甚至问页面在复数宽度(如 720+42i px)下的样子。
局限:页面需手工写成这种形式,尚无工具能把现有 React/HTML 自动转换;文字用等宽字体按字符数换行;证明基于精确算术,未考虑浮点舍入。
所属事件:Vercel 推出 The Calculus of Interfaces:把 UI 编译成数学函数(11 条相关)→
「研究」频道最新
- 细胞生物学最神秘结构 Vault:发现 40 年仍缺席教科书 — JosephJacks_ · 2026-10-27
- 研究提出「记忆税」:多数 Agent 记忆系统跑不赢朴素 RAG — omarsar0 · 2026-10-27
- 异步 RL 训练配方趋同:score centering 加掩码重要性采样成默认 — _lewtun · 2026-10-27
- 用 Haiku 给模型每个神经元起名评级:电锯刺穿的杂技演员怪异度 8 分 — Sauers_ · 2026-10-27
- InteractiveWorld:首个模拟可穿戴 AI 助手与人类交互的可验证环境 — _akhaliq · 2026-10-27
- 小白级指南:模型训练、微调与 RAG 到底怎么选 — galratner · 2026-10-27