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