Cuando pensamos en la eficiencia de cualquier cosa relacionada con computadoras – cada capa de abstracción (sobre el código de bytes) – tiene su precio. Por lo general, cuanto mayor es la capa de abstracción, mayor es el precio. Ahora piensa en los snarks (que se generan en hardware de propósito general para consumidores) – es aproximadamente una emulación de emulación sobre emulación de emulación. Bueno, la parte realmente interesante es cómo avanzará: -- algunas capas podrían volverse tan rápidas debido a la aceleración general de las computadoras que la sobrecarga se volverá insignificante -- algunas capas podrían implementarse de manera nativa (por ejemplo, de ISA a chips de propósito especial similares a los de los videojuegos hoy en día) si el mundo ve suficiente valor de propósito general en los snarks y la gente de snark accidentalmente se vuelve realmente buena en ventas y cabildeo -- algunas capas podrían optimizarse por sí solas al dedicar más grandes mentes brillantes a las optimizaciones La pregunta realmente, realmente, realmente interesante: si combinamos todo lo anterior – ¿obtendremos pruebas de snark en tiempo real de propósito general (literalmente cualquier programa)? Mi apuesta es más bien que sí que no hehe. Pero ya veremos.