想法与洞见 · 页 7

探索 AI 优先开发、编码护栏和可处置架构。

2026年6月26日

你的依赖可以读取磁盘上的任何文件。cap-std 让它们先请求权限。

Rust 的标准库向每个依赖授予隐式的文件系统权限。cap-std 将其替换为基于权能的 API，强制代码在打开路径之前证明它有权访问该路径。

2026年6月25日

Confused deputy 攻击会诱骗一个拥有特权的服务，让它利用自己的权限攻击自己。以下是攻击者如何利用隐式信任发起攻击，以及为什么 capability-based security 才是解决方案。

2026年6月24日

基于能力的安全模型用不可伪造的权限令牌取代零散的角色检查。以下是如何在 TypeScript 中实现它，同时不让代码变得难以阅读。

2026年6月23日

大多数代码运行在 ambient authority 之下：每个函数都能触碰一切。Capability-based security 翻转了这一范式，强制函数只能接收显式、受限定范围的权限。

2026年6月22日

抛出的异常会把失败路径从你的类型系统中隐藏起来。下面解释为什么显式返回错误能让代码更诚实，以及如何在不折磨自己的情况下采用这一模式。

2026年6月21日

一个单字段包装结构体就能在编译期捕获单位混淆和类型错用，不增加哪怕一个字节的开销。

2026年6月20日

TypeScript 的 switch 语句会悄无声息地让你遗漏分支。下面介绍如何用穷尽性检查模式来替代它，让构建阶段而非运行时暴露错误。

2026年6月19日

给状态机添加新状态很容易。记住更新每一个 switch 语句却不然。下面介绍如何让 TypeScript 在你遗忘某个 case 时拒绝编译。

2026年6月18日

TypeScript 把所有数字视为同一个东西。下面介绍如何让它区分 USD 和 EUR，使编译器在代码上线前就能拦截货币转换相关的 bug。

2026年6月17日

该传秒的地方传了毫秒，这种 bug 能躲过所有测试。下面介绍如何将单位直接编码进 TypeScript 的类型系统，让混用在编译阶段就报错，且运行时零开销。