¿Cuál es la diferencia entre snarks e iPhone? Cuando apareció el teléfono móvil, era relativamente fácil explicar a los humanos modernos qué era: es como un teléfono fijo pero sin cable, es pequeño y puedes llevarlo a donde sea que vayas. El factor de forma es nuevo, la idea es antigua: la comunicación entre humanos. Snark es una idea nueva. Incluso las computadoras por sí solas son una idea relativamente nueva. Las computaciones demostrables para la mayoría de las personas en el mundo son actualmente una manipulación psicológica: ¿por qué demostrar, qué, a quién, etc. Ni siquiera se acerca a la pregunta 'cómo'. Aún estamos en la etapa de enraizar la idea, no en su implementación y lo estamos haciendo terriblemente, en mi opinión. Así que construir más y más infraestructura (en un sentido amplio) para la computación demostrable sin invertir en enraizar la idea de la computación demostrable en general – no funcionará a largo plazo. Y para que funcione, esta inversión debería ser muy grande y significar algo muy serio. Piénsalo como la industria farmacéutica trayendo al mercado una nueva pastilla. Debe resolverse en todos los niveles: cadenas de farmacias, cadenas de clínicas, hospitales públicos, médicos privados, usuarios finales (pacientes), líderes de opinión, medios de comunicación, etc. No sucede por sí solo. Recuerda Uber: antes de que se convirtiera en la opción obvia de taxi, hubo miles de personas en los centros comerciales vendiendo la idea de Uber a la gente, persona por persona. Primero vendemos la idea, luego podemos proceder a vender la implementación particular.