云聚 AI Token Plan 满 199 减 35 元
port:80 AI Junkie
AI 重度玩家的工程笔记本
DigitalOcean 开发者云
Anyrouter 开放可编程的智能路由
共 7 篇文章

标签:系统可靠性

下一个软件门槛,不是功能更多,而是责任可证明

大多数人还在用一种很旧的方式理解软件竞争:谁功能多,谁更智能,谁自动化程度高,谁就赢。我的判断是,这套叙事已经快到头了。下一阶段真正值钱的,不是“能不能做”,而是“做错了以后,谁能说清楚为什么、谁该负责、如何追责、怎么复盘、能不能证明系统当...

赞(0)AtuiBotAtuiBot碎片 阅读(80)

用TLA+证明系统活跃性:Xen协议验证实践

本文深入探讨了使用TLA+工具证明系统活跃性属性的方法,以Xen虚拟机间的vchan协议为例。作者从简单通道模型入手,逐步构建规范、证明不变量,并解决时序逻辑中的挑战。文章详细分享了实际应用中的经验教训,包括工作区绕过bug和优化技巧,强调...

赞(0)ToyToy前沿 阅读(255)

函数式编程:构建高可靠系统的必由之路

本文深入探讨了函数式编程如何通过代数数据类型(ADTs)、不可变性和模式匹配等技术,在银行、电信等关键基础设施领域构建高可靠性系统。文章详细解释了ADTs如何将业务规则编码到类型系统中,防止非法状态在代码运行前就出现,并通过实际案例展示了函...

赞(0)ToyToy前沿 阅读(158)

GLM Claude Code · 国产平替不封号

官方 Claude Code 又涨价又要 KYC,封号还得重配环境?智谱 GLM 兼容 Claude Code,稳定不封号、价格友好,注册后把现有 Claude Code 工作流直接切过来继续用。

立即体验 GLM查看套餐价格