为 20 行小工具起容器太重:Redditor 推出可静态验证的 Safescript
uriwa · reddit · 2026-11-12
Reddit 用户 uriwa 指出：让 AI agent 为一个 20 行的内部小工具(如 CRM 表单、webhook 接收器)默认起 Docker 容器、跑 npm install、等 Next.js 构建，既浪费钱又在 99% 时间闲置，还带来信任问题——给自主 agent 完整 Node/Python 执行权加生产 API 密钥，意味着要么每次改动审查 3000 行样板代码，要么赌 prompt injection 不会把 Stripe 密钥外传到任意域名。
他的思路是：与其堆更重的 VM 沙箱，不如限制运行时本身。如果语言是图灵不完备的、编译成静态数据流图，编译器就能在运行前证明每一次出站主机、每一次密钥读取、每一条租户边界。据此他做了 Safescript(@uri/safescript)——一个支持 JSX 的可静态验证 TypeScript 子集。
- 一个带 SQLite 表和表单提交的完整交互式 CRM 只需约 12 行 JSX，通过一个无鉴权 HTTP 请求约 50ms 部署完成
- 编译器自动把 add 拆到服务端、render 留在客户端并生成 RPC 桥接；若密钥流向浏览器 bundle 或未批准的主机，编译期即拒绝部署
- 一切在基于 SQLite 的 Durable Objects 上进程内运行，闲置应用零成本
核心论点：agent 将为每个工单、每间交易室、每个工作流生成一次性软件，这只有在「部署一个应用像发一条消息而非开一台服务器」时才在经济和安全上成立。
「编程与Agent」频道最新
- Qwen4-Max-Preview 登陆 Qoder 编程智能体,限时 8 折 — HeyNayeem · 2026-11-12
- LlamaIndex 让 AI Agent 渗透测试自家 LlamaParse，四天暴露四条经验 — llama_index · 2026-11-12
- Manhattan 字体 v0.0.1：每个字母都是一个 Python 函数 — allanyu_ · 2026-11-12
- 用 Backplane「提示词造出」任意扩展卡,网友呼吁扩展口回归标配 — _Stocko_ · 2026-11-12
- Agent 会话跑了 51 分钟烧 24.8 万 token,网友直呼还在干活 — _Stocko_ · 2026-11-12
- 不让模型自己写一个字：用工具链让 Fable 5.2 写出人味文字 — Flomerboy · 2026-11-12