Guillermo Rauch

未来是验证工程。 证明、（端到端）测试、基准测试、代码检查器…… 有些测试是确定性的，有些是智能的。这看起来很棒。