Юмор

(убежал патентовать технологию, обнаруживающую, что пользователь отбежал в туалет во время рекламы, и ставящей её на паузу)

Каждому ученому будет присужден индивидуальный номер, который позволит оперативно отслеживать информацию.

:)

Следующее моё лингвистическое рацпредложение является более строгим. Боритесь с фразами вроде «если это хочет поговорить с этим». Не обозначайте части программы антропоморфными терминами и запрещайте делать то же самое студентам. Внедрить это предложение будет трудно. Предложите вашей кафедре назначить штраф за нарушение, скажем, четверть доллара для студентов, половина доллара для аспирантов, пять долларов для преподавателей. В течение семестра вы соберёте сумму, равную двум грантам на обучение.

Нужно принимать меры, потому что антропоморфная метафора — за которую мы должны сказать спасибо Джону фон Нейману — невероятно мешает любому сообществу, работающему в сфере информатики. Получается, что программы хотят чего-то, знают что-то, ожидают чего-то, догадываются о чём-то и так далее. Эти фразы всегда приводят к путанице. Аналогия настолько поверхностна, что она не только путает, но и парализует.

Путает в том смысле, что внушает нам мысль, будто знания о континуальной работе наших организмов пригодятся для объяснения непонятной дискретной новизны. Не надейтесь, не пригодятся. Парализует в том смысле, что, поскольку человек существует и действует во времени, эта аналогия привязывает нас к операционной семантике и заставляет думать о программах в терминах поведения, основанного на модели вычислений. Это вредно потому, что операционные рассуждения впустую тратят нашу умственную энергию, причём в колоссальных количествах.

С начала и до конца учебного курса мы вдалбливаем студентам, что главная задача программиста не в том, чтобы написать программу, а в том, чтобы предоставить формальное доказательство того, что его программа соответствует настолько же формальной функциональной спецификации. Параллельная разработка программ и доказательств даст студенту широкие возможности отточить свои навыки в исчислении предикатов. Наконец, чтобы донести до студентов мысль, что наш курс по сути является курсом формальной математики, мы особо следим за тем, чтобы никто в кампусе не сделал реализацию нашего языка программирования, и, таким образом, защищаем студентов от соблазна тестировать программы. Вот такой вводный курс лекций по программированию я предлагаю первому курсу.

Это серьёзное и вполне здравое предложение. Единственный его недостаток в том, что оно слишком радикально для многих людей, которые, не будучи в состоянии его принять, отделываются первым пришедшим в голову возражением, даже если это возражение никак не обосновано. Я перечислю несколько возражений.

Мысль.

"Никогда не беритесь, за проблему, про которую вы точно знаете, что (сейчас или в ближайшем будущем) за нее возьмется кто-то другой, кто в отношении этой проблемы, по крайней мере, столь же компетентен и подготовлен, как вы."

Мысль.

Почему в математике, в противоположность другим наукам, — я имею в виду «настоящую математику, которой занимаются настоящие математики в настоящей жизни» — до сих пор хорошо и обильно сохранились средневековые реликты — это вопрос социологу науки. (Например, люди впитывают из окружающей среды знания о том, как строить математику, в традициях ремесленных гильдий, этому не учат явно. Даже во всех отношениях респектабельные профессора математики оправдываются тем, что другого пути нет.)

:)

Тоже интересная статья. И тут вся подборка. Автор переводов когда-то делал взнос в проект pgpru :)

Хороший наброс по Дейкстре, спасибо, навеяло: Тайна речи магистра Йоды открыта: Старым программистом на Форте он был… А про формализм в математике лучше здесь

А про формализм в математике лучше здесь

Спасибо, хорошая книжка.

Девочка и торчат :-)

Дал своей тян флешку с торчатом, объяснил, что это крутое средство коммуникации, супер-пупер-анонимное и шифрованное.
Попросил выйти на связь. 5 мин жду, думаю что цепочки не построились, 10 минут жду, 15, 20, через полчаса звонит – "Ну ты где?!". "Я говорю в Сети, а ты?!" ."А я говорит тоже, только у меня человечек красненьким горит".
И вот я задаю ей провокационный вопрос (думаю, ща скажет, – "Ты чо, дурак?! Или думаешь что я такая дура?!") – "А у тебя интернет включен?!".
"А что, он должен быть включен?! А я думала оно так работает" :-)
P.S. Ничуть не придумал, из реальной жизни взято. :-)

Девочка и торчат :-)

Если торчат – значит любит:-)

Как американским военным объясняют, что такое подписи и шифрование электронной почты. По аналогии с навыками прицеливания и стрельбы, чтобы было понятнее. Какой же современный солдат электронную почту шифровать не умеет? Необходимый боевой навык.

Попытка ввести шифрование в организации, где всем «нечего скрывать», всегда натыкается на полное непонимание большинства коллег :)

P.S.: Спёр картинку у Додиса:

Любой может набрать в гугле Situational Awareness, выбрать поиск картинок и немного расслабиться. Дополнительны прикол в том, что фраза на русский не переводится.

Законопроект «О защите населения от информации», :lol:

Еще один слуга народа отличился. Видать, мало лечился.

«О защите населения от информации»

Картинка «только хорошие новости» мысленно прилагается :)

Название вообще открывает простор для полёта фантазии. :)

Есть это & это & это. Интересная вещь.