В чем разница между snarks и iPhone? Когда мобильный телефон появился, было относительно легко объяснить современному человеку, что это такое: это как стационарный телефон, но без провода, он маленький и его можно взять с собой куда угодно. Новая форма – старая идея: общение между людьми. Snark – это новая идея. Даже компьютеры сами по себе являются относительно новой идеей. Доказуемые вычисления для большинства людей в мире в настоящее время являются психологической операцией: зачем доказывать, что, кому и т.д. Это даже не приближается к вопросу 'как'. Мы все еще на стадии укоренения идеи, а не ее реализации, и, на мой взгляд, мы делаем это ужасно. Поэтому строить все больше и больше инфраструктуры (в широком смысле) для доказуемых вычислений, не инвестируя в укоренение идеи доказуемых вычислений в целом – это не сработает в долгосрочной перспективе. И для того, чтобы это сработало, эта инвестиция должна быть очень большой и означать очень серьезные усилия. Думайте об этом как о фармацевтической компании, которая выводит на рынок новую таблетку. Это должно быть решено на всех уровнях: аптечные сети, клинические сети, государственные больницы, частные практики, конечные пользователи (пациенты), лидеры мнений, СМИ и т.д. Это не происходит само собой. Вспомните Uber: прежде чем он стал очевидным выбором такси, тысячи людей в торговых центрах продавали идею Uber людям, человек за человеком. Сначала мы продаем идею, затем можем перейти к продаже конкретной реализации.