„Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.“
Темы
материал , доверие , решение , программа , форма , форма , доказательство , текст , изделие , программист , довод
Эдсгер Вибе Дейкстра 11
нидерландский учёный 1930–2002Похожие цитаты
Источник: Манифест GNU http://www.citforum.ru/operating_systems/articles/manifesto_rus.shtml
„Каждая программа является частью другой программы и редко соответствует ей.“
„Когда мы пишем программы, которые «обучают», мы — обучаем, а они- нет.“
„Я думаю, что в будущем все, а не только программисты будут связаны с элементами программирования.“
„Страсти — это единственные ораторы, доводы которых всегда убедительны.“
«Максимы и моральные размышления»
Источник: Никита Михалков поставил точку в истории про чипирование и Билла Гейтса. Этим видео можно заканчивать ЛЮБЫЕ споры https://meduza.io/shapito/2020/05/22/nikita-mihalkov-postavil-tochku-v-istorii-pro-chipirovanie-i-billa-geytsa-etim-video-mozhno-zakanchivat-lyubye-spory "Meduza", 22.05.2020