Quando pensamos na eficiência de qualquer coisa relacionada a computadores – cada camada de abstração (sobre o código de bytes) – tem seu preço. Normalmente, quanto maior a camada de abstração – maior é o preço. Agora pense em snarks (que são gerados em hardware de propósito geral para consumidores) – é aproximadamente uma emulação de emulação sobre emulação de emulação. Bem, a parte realmente interessante é como isso irá avançar: -- algumas camadas podem se tornar tão rápidas devido à aceleração geral dos computadores que a sobrecarga se tornará negligenciável -- algumas camadas podem ser implementadas nativamente (por exemplo, de ISA para chips de propósito especial semelhantes aos de jogos hoje) se o mundo perceber valor suficiente em snarks e as pessoas de snark acidentalmente se tornarem realmente boas em vendas e lobby -- algumas camadas podem ser apenas otimizadas por conta própria, gastando mais mentes brilhantes em otimizações A pergunta realmente, realmente, realmente interessante: se combinarmos tudo isso – teremos prova de snark em tempo real de propósito geral (literalmente qualquer programa)? Meu palpite é mais sim do que não hehe. Mas veremos.