Khi chúng ta nghĩ về hiệu suất máy tính - mỗi lớp trừu tượng (trên mã byte) - đều có giá của nó. Thông thường, lớp trừu tượng càng cao - giá càng cao. Bây giờ hãy nghĩ về snarks (được tạo ra trên phần cứng đa năng tiêu dùng) - đó là sự mô phỏng của mô phỏng trên mô phỏng của mô phỏng. Thực sự phần thú vị là nó sẽ tiến xa hơn như thế nào: -- một số lớp có thể trở nên nhanh đến mức độ mà việc tiêu tốn tài nguyên sẽ trở nên không đáng kể do sự tăng tốc của máy tính chung -- một số lớp có thể được triển khai một cách bản địa (ví dụ: từ ISA đến thực sự các chip chuyên dụng tương tự như trò chơi ngày nay) nếu thế giới thấy đủ giá trị chung trong snarks và những người làm snark tình cờ trở nên rất giỏi trong việc bán hàng và vận động hành lang -- một số lớp có thể chỉ được tối ưu hóa riêng bằng cách dành nhiều bộ óc sáng tạo hơn cho việc tối ưu hóa Câu hỏi thực sự thực sự thú vị: nếu chúng ta kết hợp tất cả những điều trên - liệu chúng ta có thể có snark-proving thời gian thực cho bất kỳ chương trình nào không? Cược của tôi là có nhiều khả năng có hơn là không hehe. Nhưng chúng ta sẽ thấy.