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