当前位置：首页
> 第22页
第22页
电梯门不会夹人，靠测试够吗？聊聊形式化验证的硬骨头
9月23号下午，南京软件大道一栋写字楼的小会议室里，空调开得挺足，我却听得后背发凉。对面团队在评审一套工业门控固件，测试报告摊在桌上，覆盖率98%。有人问：都这样了，还上形式化验证干嘛？我当场就想翻白…
被误读的长尾：Serverless冷启动的机制边界与工程取舍
冷启动被说烂了。九月底的南京，园区咖啡凉得很快。我听到第七个项目还在用“加内存”解释尾延迟。问题没这么简单。Serverless冷启动不是一个孤立的启动时间指标，它更像一段由调度、置备、运行时初始化、…
混沌工程不是玄学：从杀Pod到可控实验的硬核真相
凌晨两点，值班群里有人甩了一张图：核心交易链路P99飙到3秒。第一反应是回滚。第二反应，谁又在生产环境跑混沌实验？先别急着骂。混沌工程这事，干得好是疫苗，干不好就是投毒。真的。先别把混沌工程当成随机破…
云原生可观测性：凌晨三点那个“健康”的Pod，为什么让我对着屏幕骂娘？
凌晨三点，手机像催命一样震。我眯着眼摸过来，值班群里已经炸了：用户支付失败，客服电话被打爆。我第一反应是打开监控面板——CPU、内存、网络、磁盘，四个绿灯，比我的体检报告还漂亮。Pod状态显示Runn…
对抗样本防御不是一堵墙：从梯度掩蔽到可验证鲁棒性的工程笔记
一次模型评审会上，检测模块在PGD-10攻击下拦住了99%的恶意样本。换自适应攻击，拦截面掉到12%。这个数字让我有点不安。不是模型突然变差，而是评估时那个“攻击者”太客气了！对抗样本防御常被想成一堵…
同态加密：云替你算，却看不见你的数，代价是服务器跑了一整夜
去年秋天，南京连着下了半个月的雨。我在机房蹲到凌晨两点，盯着一台服务器跑同态加密的演示程序。屏幕上的进度条跟停了差不多。旁边的同事啃着鸭脖问我：这玩意儿到底行不行？我说行，就是有点费电。那个项目是医疗…