Lorsque nous pensons à l'efficacité de tout ce qui est informatique – chaque couche d'abstraction (au-dessus du code binaire) – cela a un prix. En général, plus la couche d'abstraction est élevée, plus le prix est élevé. Maintenant, pensez aux snarks (qui sont générés sur du matériel généraliste grand public) – c'est à peu près une émulation d'émulation d'émulation d'émulation. Eh bien, la partie vraiment intéressante est de savoir comment cela ira plus loin : -- certaines couches pourraient devenir si rapides grâce à l'accélération informatique générale que la surcharge deviendra négligeable -- certaines couches pourraient être mises en œuvre nativement (par exemple, de l'ISA à des puces réellement spécialisées similaires à celles des jeux aujourd'hui) si le monde voit suffisamment de valeur d'usage général dans les snarks et que les gens des snarks deviennent accidentellement très bons en vente et en lobbying -- certaines couches pourraient simplement être optimisées par elles-mêmes en consacrant plus de brillants esprits aux optimisations La question vraiment, vraiment, vraiment intéressante : si nous combinons tout ce qui précède – obtiendrons-nous des preuves de snark en temps réel à usage général (littéralement n'importe quel programme) ? Mon pari est plutôt oui que non hehe. Mais nous verrons.