
poteto@poteto
estamos entrando en un renacimiento de la investigación en lenguajes de programación y runtimes, y en una edad de oro del testing y la verificación de software ya es hora de reescribir todo el software
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