Max Home IndustryЕсть несколько лекций, которые нельзя пропустить — это одна из них. Речь идет о задачах, которые вы выполняете перед тем, как начать писать код.
Кто такая Лесли Лэмпорт?
Я не могу ничего лучше, чем цитата из анонса лекции:
Доктор Лэмпорт получил докторскую степень по математике в Университете Брандейса, защитив диссертацию по сингулярностям в аналитических уравнениях с частными производными. Это, вместе с полным отсутствием образования в области компьютерных наук, подготовило его к карьере специалиста по информатике в Massachusetts Computer Associates. , SRI, Digital и Compaq. Он утверждает, что не по его вине виноват эти четыре корпорации, только та, которая должна была быть некоммерческой, все еще существует. Он присоединился к Microsoft в 2001 году, но эта компания еще не поддался.
Чтобы быть немного более точным, в настоящее время он работает в Microsoft Research.
В краткой биографии говорится:
Совсем недавно доктор Лэмпорт раздражал компьютерных ученых и инженеров, убеждая их понять алгоритм или систему, прежде чем реализовывать их, и пугая их, говоря, что они должны использовать математику. В попытке заставить его говорить о других вещах, ACM вручил ему премию Тьюринга 2013 года.
Вы можете видеть, что он мог сказать что-то интересное, и Коллоквиум по компьютерным системам в Стэнфордском университете дал ему возможность поговорить на тему «Программирование должно быть больше, чем кодирование». Я должен сказать, что если вы разбираетесь в математике и знаете о функциональном программировании, то, возможно, вам не покажется удивительным то, что он говорит:
Стоит отметить, что в рамках серии семинаров каждую неделю читаются новые лекции по компьютерным системам. Вы можете найти список видео, уже доступных для просмотра, на Коллоквиуме по компьютерным системам.