у них просто не получилось ни хера
ivan_ghandhi:
Вот я не верю, что все эти люди, которые “превзошли программирование”, на самом деле даже поняли вообще, что это такое было. “Как ебаться” — рассказывал чукча сородичам про вкус апельсина. А им, наверное, лимон попался. Или я не знаю.
    Не верю я им. Не верю. Я думаю, у них просто не получилось ни хера. Вот и пошли в критики, раз поэзия не идёт.

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

ivan_ghandhi:
Не знаю, как у Вас, а у меня не получается пока что именно понять, что, собственно, делается, и почему. Каким образом вот программист выбирает вот такой-то код. Каков глубинный смысл? Да и вообще, как передать этот, в общем-то, малопознаваемый мир в виде штучек в компьютере? Тот факт, что у каждой собаки и у каждой мухи в голове есть какая-то модель мира (точнее, конечно, теория), не отменяет загадочности самого процесса моделирования (точнее, конечно, теоретизирования).
    Да та же математика… с точки зрения Вейценбаума она, наверное, состоит в нахождении и доказательстве остроумных теорем, вытекающих из самоочевидных (т.е. истинных) аксиом — т.е. как бы объективна и всеобъемлюща. А ведь в некотором смысле мы, для гипотетических существ полмиллиарда лет после нас, такие же мухи.

larvatus:
Загадочность можно найти в чём угодно. Но не все объекты созерцания равнозначны, да и само созерцание полноценно только в меру своей независимости от желаний и склонностей. В отличие от математики, программирование ничем подобным не обладает. В рамках «Никомаховой Этики», оно является омфалоскопической пародией политической жизни.

ivan_ghandhi:
Я совершенно не знаком с “Никомаховой Этикой”, но не вижу, почему бы это оно было пародией политической жизни. У нас, конечно, разный опыт и разные взгляды; для меня написание иного кода может быть ничем не хуже исследований в теории конечных групп или полей. Конечные группы тоже омфалоскопичны? (Мне раньше казалось, что да; то ли дело какие-нть спектральные последовательности).
    Но и конечность в нашей области довольно, имхо, условна.

ivan_ghandhi:
О, да я неправ был. Конечно, нечего программирование с математикой сравнивать. Я отупел просто за все эти годы; алгебру уже не осилить, так вот с программированием разобраться пытаюсь.

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

ivan_ghandhi:
Парикмахер-то, кстати, причёсывает не ежа — клиент, даже топологически — не сфера.
    Нет, радовать клиента — это не то, о чём я. Меня сейчас больше занимает вопрос “а почему так” — и вовсе не с практической точки зрения; поэтому и “практическая” конечность меня совершенно не бацает, всегда можно вообразить идеальную машину, о которой и речь. В этом смысле, программирование очень далеко от физики. Меня вот сейчас занимает, как “практически” коммутировать монады, которые у всех программирующих сидят в бессознательном; “практически” означает нахождение какого-нибудь конструктивного и легкопонятного решения. Много вопросов, которые никакого отношения к заявкам заказчика не имеют. Ну ту же теорию типов взять и, скажем,иерархия чтобы включала факт перечислимости.
    Много факторов в степи, как говорил Копёнкин.

larvatus:
Платонов и монады, это конечно замечательно, но я ведь не о том. Математика бывает немного прикладной, только в том смысле, что женщина бывает немного блядовитой. А коли мы уж подались в бляди, достойнее блядовать в обществе или на природе, чем через компьютер.