poteto@poteto

我们正在进入编程语言和运行时研究的文艺复兴，还有软件测试与验证的黄金时代 是时候把所有软件重写一遍了

we are entering a renaissance in programming language and runtime research, and a golden age of software testing and verification it’s time to rewrite all software