2026-09-21 08:10:38 微软用AI智能体将Copilot运行时从TypeScript重写为Rust,约43万行代码,吞吐提升15.9倍,AI写AI代码工程化标志案例。
科技 · 宋国卿2026-09-13 06:46:45 把等待、成功和失败表示成可辨识联合,按状态访问对应字段,并用 never 检查遗漏分支,减少互相矛盾的布尔状态。
开发 · 宋国卿2026-09-10 06:51:44 从 unknown 开始验证外部输入,逐步检查对象、字段类型与分钟范围,避免用类型断言伪装已经可信的数据。
开发 · 宋国卿2026-09-09 21:07:47 定义任务类型并计算完成时长,了解可选字段、严格编译与类型擦除,区分代码约束和运行时输入验证。
开发 · 宋国卿