Виталик Бутерин прогнозирует появление безошибочного кода в 2030-х годах

Foresight News сообщает, что соучредитель Ethereum Виталик Бутерин сделал прогноз: утверждение «баги неизбежны, невозможно написать код без багов» перестанет быть актуальным в 2030-х годах. По его мнению, хотя во многих программах по-прежнему будут встречаться баги (поскольку в определённых случаях важнее функциональность), если разработчики действительно захотят получить код без багов, то в 2030-х годах это станет возможным.