Tianyi Cui (崔天屹)
共同作者 (with Yifan Shi and Wei Zhang),Shi Zhang & Cui 2026 A Programming Paradigm for Spatiotemporal Composability。DeepSeek-AI affiliation(与 Yifan Shi 双重 affiliation)。
关键贡献
- Cordis 实现架构(5.x)——core library API 设计(
ctx.effect/ctx.set/ctx.get);ctx[key]Proxy 走 Algorithm 6(声明式 coeffect 访问,沿 fiber 链向上 walk)。 - Component Loader(5.2)——声明式 entry 树、增量 reconciliation、isolate 字段的双 scope 规则(local realm 跟随 entry、global realm 跟随字符串)。
- Hot Module Replacement(5.2.2)——三阶段 classify → detect → transactional reload;Algorithm 10 失败时回滚到 backup;与传统 HMR(Webpack / Vite)的关键差异是无需开发者标注
module.accept边界。 - 案例研究:Koishi(5.3)——基于 Cordis v3 的聊天机器人框架;4000+ 社区插件;4 年生产验证;同套原语支撑服务器端 + Web Console(浏览器端 Cordis 实例)。
Affiliations
- DeepSeek-AI(深度求索)—— 推测系统/Agent 方向。