Original article: https://www.cs.purdue.edu/homes/dec/essay.criticize.html

Как критиковать компьютерных ученых или Избегайте неэффективной усталости и Сделать оскорбления более точными


На недавних обменах члены факультета тщетно пытались напасть на других компьютерных ученых и унизить их работу. Совершенно откровенно, я нахожу результаты смущающими - вместо того, чтобы разрезать противника, многие из замечаний были смехотворно безобидными. Что-то нужно сделать по этому поводу, потому что любой аутсайдер, который слышит такую ​​болтовню, меньше думает о нашем отделе: никакая группа не может уважать других, если ее участники не могут нанести унылый словесный удар по своему усмотрению.
Это короткое эссе - это попытка помочь преподавателям сделать свои замечания более заостренными и помочь избежать слабых мстителей. В нем объясняется, как оскорблять исследования CS, показывает, где найти ахиллесову пяту в любом проекте, и иллюстрирует, как можно атаковать исследователя.

Два основных типа исследований
Большинство паршивых оскорблений возникают из-за простого недоразумения, что все исследователи согласны с общими целями исследования CS. Они не. В частности, CS унаследовал два, совершенно противоположных подхода от корней в математике и технике.
Исследователи, которые следуют математической парадигме, называются теоретиками и включают в себя всех, кто работает в области, которая имеет термины «анализ», «оценка», «алгоритмы» или «теория» в названии.
Исследователи, которые следуют инженерной парадигме, называются экспериментаторами , и включают большинство людей, работающих в областях, которые имеют термины «экспериментальные», «системы», «компилятор», «сеть» или «база данных» в названии.

Комплексная теория и простые системы
Знание традиции, из которой приходит исследователь, служит основой для целенаправленного оскорбления.

Теоретики предпочитают искушение
Как математики, теоретики в области компьютерных наук берут наибольшую гордость за знание и использование самой сложной математики для решения проблем. Например, теоретики зажгут, когда расскажут вам, что они обнаружили, как неясная теорема из геометрии может быть использована при анализе компьютерного алгоритма. Теоретики сосредоточены на математическом анализе и асимптотическом поведении вычислений; они гордятся красотой уравнений и не беспокоятся о константах. Хотя они обычно подразумевают, что их результаты имеют отношение к реальным компьютерам, они тайно мечтают о впечатляющих математиках.

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

Оскорбление
Знание того, что CS можно разделить на две основные группы, очень помогает при критике кого-то. Существует два основных правила: определить тип исследователя и выдать оскорбление для этого типа. Избегайте говорить что-либо, что непреднамеренно дополняет их. Если все будет хорошо, оскорбление не только ошеломит исследователя (который будет потрясен, узнав, что не все согласны с его базовой системой ценностей), но и запугивают других в аудитории.

Идентификация типа
Идентификация типа исследователя обычно проста и не требует сильного технического фона или реального мышления. Это можно сделать с помощью сопоставления ключевых слов в соответствии со следующими списками.

Теория обнаружения
Вы можете сказать, что кто-то теоретик, потому что они скользят один или несколько из следующих ключевых слов и фраз в лекции и технические разговоры: «теорема», «лемма», «доказательство», «аксиома», «полиномиальное время», «логарифмическая», «семантика», «численная», «сложность», «недетерминированный» или «недетерминизм» и «при достаточно большом N». Они пишут множество уравнений, хвастаются тем, что сбивают «лишний лог-фактор» и часто заканчивают свою лекцию прописным «О», а затем математическое выражение, заключенное в круглые скобки. Вы также можете признать теоретика, потому что они навсегда верят, чтобы доказать то, что может показаться совершенно очевидным. (Однажды я просидел в течение часа лекции, где кто-то доказал, что после того, как компьютер выполнил оператор присваивания, который поместил целое число 1 в переменную x , значение в x было равно 1.)

Обнаружение систем
Экспериментатор пропустит один или несколько из следующих ключевых слов и фраз в лекции и технические разговоры: «архитектура», «память», «процессор» (иногда сокращенно «CISC» или «RISC»), «I / O» или «bus «network», «interface», «virtual», «compile» или «compiler», «OS» или «system», «distributed», «program» или «code» и «binary». Они говорят о создании программ и запуске результирующей системы на реальных компьютерных системах. Они относятся к компаниям и продуктам и используют аббревиатуры либерально. Их лекции часто заканчиваются графиком или диаграммой измеренных характеристик системы. Вы также можете признать экспериментатора, потому что они описывают в мучительной детали, как они настраивают эксперимент для измерения определенного значения, даже если измерение дает точно ожидаемые результаты. (Однажды я просидел в течение часа лекции, где кто-то тщательно объяснил, как они использовали три компьютерные системы для измерения сетевого трафика, когда их цель заключалась просто в том, чтобы показать, что сеть не была причиной проблемы, которую они изучали).

Формирование оскорбления
Ключом к хорошему оскорблению является атака на то, что исследователь держит самого дорогого и избегает того, что не волнует исследователя. Таким образом, оскорбление, которое ложится на теоретика, должно быть сосредоточено на отсутствии сложной математики, такой как:
Несмотря на все уравнения, мне кажется, что ваша работа не требует никакой реальной математической утонченности. Я что-то пропустил? (Это особенно хорошая уловка, если вы наблюдаете за тем, как другие пытаются понять разговор, потому что они не захотят признаться в этом после того, как вы подразумеваете, что это было легко.)
Разве это не просто прямое распространение старого результата Хартманисом? (Даже Хартманис не помнит всех теорем, доказанных Хартманизмом, но все остальные предполагают, что вы помните то, что они забыли.)
Я что-то упустил? Можете ли вы определить какой-либо глубокий математический контент в этой работе? (Еще раз, зрители, которые нашли разговор трудным для понимания, не захотят его признать).
Напротив, оскорбление, наложенное на экспериментатора, должно означать, что методы использовались в предыдущих системах или что работа не практична, такая как:
Не все ли это сделано много лет назад в Xerox PARC? (Никто не помнит, что на самом деле было сделано в PARC, но все остальные предполагают, что вы помните, что у них нет.)
Вы тестировали это на чипе Intel, который работал на прошлой неделе в своей лаборатории? (Никто не знает, какой чип Intel получил на прошлой неделе, но все будут считать, что вы это делаете.)
Я что-то упускаю? Разве не очевидно, что в системе есть узкое место, которое предотвращает масштабирование до произвольного размера? (Это безопасно, потому что в каждой системе есть узкое место, которое предотвращает произвольное масштабирование).

Как избежать оскорбления на заднем плане
Неуместное оскорбление может иметь неприятные последствия, превращаясь в смущение для атакующего и победу назначенного атакующего. Чтобы избежать таких случаев, помните следующее:
Никогда не пытайтесь атаковать теоретическую работу, так как не считаете константы, не связанные с реальными компьютерными системами, или требующие слишком сложной математики. (Предполагаемая жертва, вероятно, улыбнется и поблагодарит вас за лесть.)
Никогда не пытайтесь атаковать систему как слишком маленькую, слишком простую или не обладающую сложной математикой (Опять же, предполагаемая жертва, вероятно, улыбнется и благодарит вас за лесть.)
Никогда не пытайтесь атаковать системы, просто говоря, что это так просто и очевидно, что вы могли бы это сделать. (В течение многих лет люди говорили об UNIX и протоколах TCP / IP). На самом деле это просто расширение уловки, используемой детьми на игровой площадке: «О да? Я мог бы сделать это, если бы захотел». Не пытайтесь использовать его, или кто-то скажет вам расти.

Нападение кроссовера
Хотя редко, некоторые исследователи включают теоретическую и экспериментальную работу в том же проекте. Оскорбление таких комбинаций может быть сложным, потому что исследователь может избегать невредимых, указывая на одну часть своей работы или другую в качестве ответа. Вы можете попытаться атаковать обе части одновременно:
Отмечу, что системный аспект этого проекта кажется довольно сложным. Считаете ли вы, что причина запутанной реализации может быть приписана более или менее «упрощенному» математическому анализу, который вы использовали?
Однако умное оскорбление может не говорить о работе, предлагая зловещие причины сдвига парадигмы:
Я замечаю, что вы сделали что-то необычное, объединив теорию и эксперимент. Вы решили попробовать второй подход, потому что у вас было недостаточно результатов от первого?
У вас, кажется, небольшая теория и небольшая экспериментальная работа, объединенная в один проект. Не правда ли, что если бы у вас был достаточно сильный вклад в том или ином, вы бы читали о них отдельно?

Заключительная просьба
Я, конечно же, надеюсь, что преподаватели примут это сочинение к сердцу и обострит свои оскорбительные навыки. В будущем, пожалуйста, сделайте все свои толчки.