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