![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
livelightТут попросили рассказать, чем я занимаюсь на работе, и что нужно, чтобы это освоить :)
Но просто рассказывать, ЧЕМ я занимаюсь, не так интересно. Занимаюсь я по возможности всякой чорной компьютерной магией и прочим матаном в переносном смысле (могу и в прямом, если надо), ничего особенного :)
Я лучше расскажу, ПОЧЕМУ я этим занимаюсь.
Тыквот,
Во-первых, это красиво.
Главный источник красоты — это, конечно, Математика.
Далеко не все люди умеют видеть красоту математики. Мне повезло :) Однако, моих педагогических талантов не хватает даже на то, чтобы донести эту красоту даже до собственного ребёнка, который притом, например, красоту многих других моих любимых необщепринятых режимов восприятия прекрасно понимает.
Если вы видите красоту, например, теоремы о пересекающихся хордах окружности, или о разнице между счётным и континуальным множествами, или задачи об электростатическом поле, которое создаёт заряженная сфера внутри себя, или о разложении eiφ, или "парадокса" брадобрея, то вам тоже повезло :)
Простейшие наглядные иллюстрации этой не столь наглядной красоты — например, фракталы, или клеточный автомат, претенциозно названный "жизнь", или жизнь настоящая, или наша Вселенная ;)
Немного простых исходных данных, немного простых правил — и эти правила начинают накладываться друг на друга снова и снова, порождая всё более и более сложные и красивые системы из почти ничего. Именно поэтому мы так любим Рекурсию и Транзитивное Замыкание и не любим креационизм :)
Из тыжпрограммистского матана, два моих любимых раздела — это алгебра контрактов и алгебра взаимодействующих процессов.
Алгебра контрактов — это доведённая почти до предела изящества простая (а после применения транзитивного замыкания — большая и сложная) наука об операции импликации (
Алгебра взаимодействующих процессов — это то же самое, но ещё и в системе, где действует очень много независимых частей, делающих каждая что-то своё, и притом, как и в нашей релятивистской Вселенной, нет даже единого для них всех времени. И надо добиться, чтобы при любых закидонах этого самого времени они все вместе в конце концов гарантированно собрали нужный храм из тех кирпичей, которые каждая из них кладёт.
Второй источник красоты — это конструкции. Архитектура и дизайн систем, которые делаешь. Точнее, источник красоты находится внутри, а архитектура — его приёмник.
Во-первых, красиво сделанное — красиво :) Источником красоты является узор тех связей, которые есть в системе, связей из этих связей и т.д., до самого что ни на есть Транзитивного Замыкания. Хорошо развитое эстетическое чутьё позволяет собирать из этого всего красивые и компактные конструкции, где есть всё нужное и нет ничего лишнего.
Во-вторых, как я недавно уже упоминал, красиво то, что хорошо работает. Красивая конструкция работает быстро, за счёт понимания разработчиком тех коротких и красивых путей, которые дают встроенные в неё законы и инварианты, и позволяют не ходить дорогами дальними и кривыми. Красиво сделанная конструкция начинает жить своей жизнью и справляться даже с задачами более широкими, чем те, для которых её делали, и это дарует дополнительный эстетический кайф :)
Третий источник красоты — это следы, оставляемые работающей системой. Одна из задач, которые регулярно приходится решать — это анализ процессов в уже существующей системе, где что-то пошло не так. Процессов много, они протекают в своём специальном трёхмерном пространстве: первое измерение — время, в котором они разворачиваются; второе измерение — место: потоки управления (иногда каждый со своим собственным временем), между которыми процесс может блуждать, разбредаться и опять сходиться в одну точку; третье измерение — конструкции, через которые он протекает. В качестве четвёртого измерения выступает тот код и те заложенные нами же правила, которые управляют этими всеми процессами. Процессов много, каждый имеет свою собственную траекторию, эти траектории сплетаются в сложный узор взаимодействий, из которогонадо уметь грепать логи можно выделять такие узлы взаимодействий, где что-то пошло не так или просто каким-то особо интересным образом.
(Upd: Старое про программистское дао)
Во-вторых, за это чутьё красоты ещё и неплохо платят!
Я лентяй, не люблю пахать, отлыниваю от менеджмента, отлыниваю от говнокодерских задач (ибо берегу своё чувство прекрасного) и вообще держусь поближе к кухне, подальше от начальства. Зато я держу на кончиках пальцев весь это матан, который работает в самом сердце аццки сложной, большой и жутко дорогой системы. Я делаю его красиво, а если что-то всё же пошло не так — частенько с полунамёка сразу вижу, почему, и как это можно исправить. Это позволяет зарабатывать деньги по формуле "1 рубль — удар молотком; 99 рублей — знал, куда ударить", читать на работе жежешечку и наслаждаться всей этой красотой. Обвешивают её свистелками и перделками и дорабатывают напильником уже обычно другие.
В-третьих, там есть ещё много весёлого :)
Вот, например, моя любимая философская сентенция :)
А вот так выглядит СПЕКА, которую я торжественно достаю, когда ломается самый-самый суровый матан в самой-самой подкапотной глубине. Или не ломается, а кто-то просто не умеет его готовить. Спека есть и в электронном виде, но электронный вид — это безблагодатно. Для сеанса настоящей чорной компьютерной магии необходима именно вот такая книга.
Вот поэтому я всем этим и занимаюсь. А у вас какие источники красоты?
Но просто рассказывать, ЧЕМ я занимаюсь, не так интересно. Занимаюсь я по возможности всякой чорной компьютерной магией и прочим матаном в переносном смысле (могу и в прямом, если надо), ничего особенного :)
Я лучше расскажу, ПОЧЕМУ я этим занимаюсь.
Тыквот,
Во-первых, это красиво.
Главный источник красоты — это, конечно, Математика.
Далеко не все люди умеют видеть красоту математики. Мне повезло :) Однако, моих педагогических талантов не хватает даже на то, чтобы донести эту красоту даже до собственного ребёнка, который притом, например, красоту многих других моих любимых необщепринятых режимов восприятия прекрасно понимает.
Если вы видите красоту, например, теоремы о пересекающихся хордах окружности, или о разнице между счётным и континуальным множествами, или задачи об электростатическом поле, которое создаёт заряженная сфера внутри себя, или о разложении eiφ, или "парадокса" брадобрея, то вам тоже повезло :)
Простейшие наглядные иллюстрации этой не столь наглядной красоты — например, фракталы, или клеточный автомат, претенциозно названный "жизнь", или жизнь настоящая, или наша Вселенная ;)
Немного простых исходных данных, немного простых правил — и эти правила начинают накладываться друг на друга снова и снова, порождая всё более и более сложные и красивые системы из почти ничего. Именно поэтому мы так любим Рекурсию и Транзитивное Замыкание и не любим креационизм :)
Из тыжпрограммистского матана, два моих любимых раздела — это алгебра контрактов и алгебра взаимодействующих процессов.
Алгебра контрактов — это доведённая почти до предела изящества простая (а после применения транзитивного замыкания — большая и сложная) наука об операции импликации (
=>), также известной как "следовательно" или "то". Из А следует Б. Если Б, то уже В. Если рекурсивно выполнить вот такую функцию, то получишь вот такой результат. Если ты усилил постусловие и ослабил предусловие, то ты молодец, и твои инварианты выполняются, а иначе — нет :)Алгебра взаимодействующих процессов — это то же самое, но ещё и в системе, где действует очень много независимых частей, делающих каждая что-то своё, и притом, как и в нашей релятивистской Вселенной, нет даже единого для них всех времени. И надо добиться, чтобы при любых закидонах этого самого времени они все вместе в конце концов гарантированно собрали нужный храм из тех кирпичей, которые каждая из них кладёт.
Второй источник красоты — это конструкции. Архитектура и дизайн систем, которые делаешь. Точнее, источник красоты находится внутри, а архитектура — его приёмник.
Во-первых, красиво сделанное — красиво :) Источником красоты является узор тех связей, которые есть в системе, связей из этих связей и т.д., до самого что ни на есть Транзитивного Замыкания. Хорошо развитое эстетическое чутьё позволяет собирать из этого всего красивые и компактные конструкции, где есть всё нужное и нет ничего лишнего.
Во-вторых, как я недавно уже упоминал, красиво то, что хорошо работает. Красивая конструкция работает быстро, за счёт понимания разработчиком тех коротких и красивых путей, которые дают встроенные в неё законы и инварианты, и позволяют не ходить дорогами дальними и кривыми. Красиво сделанная конструкция начинает жить своей жизнью и справляться даже с задачами более широкими, чем те, для которых её делали, и это дарует дополнительный эстетический кайф :)
Третий источник красоты — это следы, оставляемые работающей системой. Одна из задач, которые регулярно приходится решать — это анализ процессов в уже существующей системе, где что-то пошло не так. Процессов много, они протекают в своём специальном трёхмерном пространстве: первое измерение — время, в котором они разворачиваются; второе измерение — место: потоки управления (иногда каждый со своим собственным временем), между которыми процесс может блуждать, разбредаться и опять сходиться в одну точку; третье измерение — конструкции, через которые он протекает. В качестве четвёртого измерения выступает тот код и те заложенные нами же правила, которые управляют этими всеми процессами. Процессов много, каждый имеет свою собственную траекторию, эти траектории сплетаются в сложный узор взаимодействий, из которого
(Upd: Старое про программистское дао)
Во-вторых, за это чутьё красоты ещё и неплохо платят!
Я лентяй, не люблю пахать, отлыниваю от менеджмента, отлыниваю от говнокодерских задач (ибо берегу своё чувство прекрасного) и вообще держусь поближе к кухне, подальше от начальства. Зато я держу на кончиках пальцев весь это матан, который работает в самом сердце аццки сложной, большой и жутко дорогой системы. Я делаю его красиво, а если что-то всё же пошло не так — частенько с полунамёка сразу вижу, почему, и как это можно исправить. Это позволяет зарабатывать деньги по формуле "1 рубль — удар молотком; 99 рублей — знал, куда ударить", читать на работе жежешечку и наслаждаться всей этой красотой. Обвешивают её свистелками и перделками и дорабатывают напильником уже обычно другие.
В-третьих, там есть ещё много весёлого :)
Вот, например, моя любимая философская сентенция :)
А вот так выглядит СПЕКА, которую я торжественно достаю, когда ломается самый-самый суровый матан в самой-самой подкапотной глубине. Или не ломается, а кто-то просто не умеет его готовить. Спека есть и в электронном виде, но электронный вид — это безблагодатно. Для сеанса настоящей чорной компьютерной магии необходима именно вот такая книга.
Вот поэтому я всем этим и занимаюсь. А у вас какие источники красоты?
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2015-03-26 02:03 am (UTC)Мне очень красивы цвета, формы, текстуры и концепции.
no subject
Date: 2015-03-26 05:32 am (UTC)А мне как раз вчера вечером одна девушка, перед этим устроившая эпический срач на тему терминологии описания этих самых внутренних процессов, написала длиннющую гневную отповедь на тему типа того, что я аспергер и аутист с огромными слепым пятнами в восприятии этих самых внутренних процессов, ничего в жизни и процессах не понимаю, а людей упрощаю до двухбитных математических схем.
На самом деле, для описания этих самых процессов нужно сначала обратить на них внимание, вытащив его из его привычного места - словодумалки. А логики к такому вытаскиванию склонны не так уж часто. Но вот когда внимание всё же вытащено и что-то пронаблюдало, то дальше это можно описать чётко, а можно - мутно. Ну и вообще, как учили ДХ, КК и АПК, описание мира тоналя должно быть вычищено и перенесено на сторону разума, и тогда через другую, освободившуюся, половину пузыря восприятия можно разглядеть сияние нагуаля.
no subject
Date: 2015-03-28 09:29 pm (UTC)no subject
Date: 2015-03-28 10:09 pm (UTC)no subject
Date: 2015-03-26 05:12 am (UTC)no subject
Date: 2015-03-26 05:38 am (UTC)А вот на десктопе стоит венда, потому что там то ворд, то эксель, то на юнихе флеш кривой... Я считаю, что юникс должен стоять где-то там, на сервере, куда я буду ходить по SSH.
Но вообще, POSIX - это ад и коровники. Стандарты по расчёту матана на счётах. Windows API для того же самого, впрочем, ещё хуже. А когда работаешь в тех уровнях абстракции, где этот матан хорошо применим, низлежащая ось уже не так важна.
no subject
Date: 2015-03-26 09:21 am (UTC)Красоту надо везде с собой носить и дома, и на работе. А то у тя получается: красота за деньги, т.е. любуешься красотой, только на работе...
Цирк какой-то!
Надо жить красиво всегда!
Флеш? Ну то такое, если очень прижмет, то есть варианты. Меня устраивают те недочеты, что есть сейчас. терпимо. Ютуб показывает, а реклама на сайтах - ну и слава богу. Хотя падла - показывается, если по-умолчанию, но у меня весь флеш только по разрешению...
Форд-Кисель? Ну мне с головой опенофиса хватало всегда, даже в Винде. И за частую работало даже лучше чем МСО.
Если уж очень совместимость волнует, то у меня есть виртуалка, в которой можно крутить все что хочешь. А кое-чего, что мне нужно (правда такого не очень много) даже через wine работает. А уж если очень и очень на работе надо такое, что не так работает в виртуалке, то есть удаленный доступ на сервер.)))
Но красота всегда со мной...
ПиСя: Винда когда-то подразумевалась как система для быстрого и легкого вхождения - типа сел и порядок. Сейчас же она превратилась в такого монстра (со всеми костылями и надстройками), что по многим вопросам простому пользователю не разобраться как решить проблему.Классическая проблема: куда через время деваются мои ресурсы и почему месяц назад не тормозило, а сейчас тормозит? Опять таки костыли в виде антивирусов и т.д., и т.п. Молчу о цене ОС+МСО. Так смысл тогда?...
no subject
Date: 2015-03-26 10:50 am (UTC)Но если мне вдруг опять сильно приспичит - я просто открою topcoder и начну решать задачки оттуда. По возможности, красиво решать.
Венда, правда, стоИт у меня дома через жопу, особенно говнодрайвер встроенной в материнку видюхи, так что в этом плане без сапог, да :)
no subject
Date: 2015-03-26 12:57 pm (UTC)Но если буду писать песни, то буду стараться сделать их не на винде...))) все таки свобода, должна быть свободной...)))
То что сейчас пишу - все делается в Линуксе.))) Но это так баловство...
no subject
Date: 2015-03-26 01:00 pm (UTC)Пока что она ни в чём меня не ограничивает, если ты о свободе.
no subject
Date: 2015-03-26 05:36 am (UTC)А красоту я стараюсь ловить во всём вокруг - кирпичах зданий, цвете закатов, человеческих лицах. Для визуала это не сложно:)
no subject
Date: 2015-03-26 06:11 am (UTC)Моя любимая онлайф практика - насыщать глаза миром. Не только глаза, впрочем, я ж ещё и кинестетик.
no subject
Date: 2015-03-26 09:22 pm (UTC)ну типа того, инженеро-химико-биолог, во всяком случае по образованию. Но все равно за плечами мат.класс, который привил любовь к математике. А биологию не люблю, просто так получилось. Надеюсь не придется к ней возвращаться...
no subject
Date: 2015-03-27 08:25 am (UTC)no subject
Date: 2015-03-27 03:28 pm (UTC)no subject
Date: 2015-03-26 09:15 am (UTC)no subject
Date: 2015-03-26 09:18 am (UTC)no subject
Date: 2015-03-26 10:23 am (UTC)no subject
Date: 2015-03-26 12:51 pm (UTC)no subject
Date: 2015-03-26 01:23 pm (UTC)А еще красота одежды (потому что я девочка) и красота интерьера (почему-то, в первую очередь, шведского, где белые стены и зеленые пятна растений и разноцветные - ковров на их фоне).no subject
Date: 2015-03-26 01:28 pm (UTC)no subject
Date: 2015-03-26 04:54 pm (UTC)Я открыла для себя знаменитый шведский дизайн прежде всего через интерьер.
http://nicety.livejournal.com/
no subject
Date: 2015-03-26 05:10 pm (UTC)no subject
Date: 2015-03-27 06:13 am (UTC)Или ты не про собственно дизайн, а про менеджмент?
no subject
Date: 2015-03-27 03:24 pm (UTC)no subject
Date: 2015-03-27 12:01 am (UTC)Но вот на что еще я невольно обратила внимание в посте - такое впечатление, что только ты красотой занимаешься, а все остальные сплошным говнокодом, свистелками, перделками и допиливанием напильником твоей красоты :) Как-то неприятно резануло.
no subject
Date: 2015-03-27 06:11 am (UTC)no subject
Date: 2015-03-27 09:27 pm (UTC)no subject
Date: 2015-03-28 07:05 pm (UTC)no subject
Date: 2015-03-28 07:25 pm (UTC)Но вообще мой пост был совершенно о другом.
no subject
Date: 2015-03-28 07:43 pm (UTC)Я поняла, что не об этом (было бы странно, если бы ты специально писал пост об этом). То, о чем пост, я всячески разделяю, но че-то вот не удержалась от офтопа. Сорри :)