"Trong mô hình lập trình mới này, đặc điểm dự đoán nhất để xem xét là khả năng xác minh.... Càng nhiều nhiệm vụ/công việc có thể xác minh, thì càng dễ tự động hóa trong mô hình lập trình mới." Như Andrej đã nêu ở trên, khả năng xác minh là chìa khóa. Thị trường cho đám mây có thể xác minh sẽ lớn hơn nhiều so với những gì chúng ta có thể thấy hôm nay. Đó là thế giới mà chúng ta đang xây dựng. @EigenCloud