上篇讲了 MHS 的概念与设计。这一篇全部交给实战：卡内基梅隆大学的 8 小时到底替代了什么、六种人为注入的故障如何被拦在设备动作之前、Genentech 的 ...

数据湖不是万能钥匙，但可能是你最需要的那把

车载TEE与CAN总线加密的技术解析 摘要：智能网联汽车的车端安全，核心在两个层面：一是"可信执行边界"——车载系统运行着大量软件，需要一块与普通操作系统隔离...

对于互联网产品来说，从原型走向正式经营，仍然要面对线上部署、系统稳定性、安全、持续维护和用户服务等问题。这些恰好是我的老本行。在 AI 出现之前的前些年，我的本...

纯函数式语言（Haskell、Coq）活在学术象牙塔里，系统语言（C、C++）活在工程泥潭里。OCaml 不站队，两头都要，靠这种"不媚俗"的混血活了 30 年...

自己写一套，规则想怎么定就怎么定，短期内确实爽快。但一个"流转系统"背后，藏着很多不那么显眼、却极其要命的问题：两个人同时点了审批按钮会不会出错？系统要升级了，...

数据湖的那些事儿：别让存储变成灾难