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