Санта действительно существует? Философское расследование (Does Santa Exist? A Philosophical Investigation)

Эта книга Эрика Каплана, сценариста сериала "Теория большого взрыва", начинается с вопроса про Санту, а заканчивается обсуждением смысла жизни. В процессе философского расследования мы проходим через логику, мистику, юмор, каббалистику и приходим куда-то к религии или трансцедентности. Все путешествие сопровождается иронией, что позволяет не потеряться по дороге на особо заумной мысли, при чтении которой обычно тянет в сон. Также чтению помогает искрометный юмор стилистически близкий к "Теории большого взрыва" и мультсериалам «Футурама» и «Симпсоны», над которыми тоже работал автор. Вот избранные цитаты из книги, которые позволят понять, о чем я говорю

- Рациональность
Если вы не хотите прожить свою жизнь дураком, следуйте правилам практической рациональности. Правда, при этом вы не сможете творить, верить, переживать бурные эмоции, прощать, испытывать привязанность, быть спонтанным, погружаться в момент или чувствовать себя живым. Но зато дураком-то вы точно не станете!
- Минусы логики
Логика обещает вывести нас из дебрей неясностей к четкости и пониманию. Но, когда дело доходит до парадоксов, логика начинает путаться в собственной терминологии, которая не позволяет ей ни описать проблему, ни сформулировать решение. Стоит нам увидеть одно слабое место логики — и мы тут же начинаем замечать их повсеместно.
- Существование
Я лежал ночью в кровати и пытался представить себя несуществующим. Когда мне это удавалось и я пугался, то сразу же понимал, что на самом деле мне не удалось достичь желаемого и я все еще существую, только представляя себя несуществующим. Тогда я пытался вообразить, что и этого тоже не существует, и пугался еще больше.
- Буддизм
Когда я слышу, что кто-то кричит «Спасите! Спасите!» из квартиры этажом выше, я почувствую себя обязанным пойти помочь. Но если это MP3-плеер проигрывает аудиофайл с записью криков «Спасите! Спасите!», а в квартире нет никого, я не должен ничего делать. Не чувствуют ли буддисты нечто подобное: что смысла в неоказании помощи столько же, сколько в ее оказании?
- Санта-йога
Если мы посмотрим на Санту сквозь призму диалектики Мадхъямаки, мы в конце концов в каком-то смысле поверим в него. Наше отношение к Санте будет чем-то сродни мировоззрению тибетцев, практикующих божественную йогу. При этом нам не пришлось бы беспокоиться о том, существует он или нет, потому что парадокс заключается в самих особенностях реальности.
Юмор
В отличие от логики юмор (как и мистика) принимает противоречия. Он объединяет две половины парадокса в большее и живое целое. В отличие от мистики юмор (как и логика) не является авторитарным. Он указывает на противоречия и дает нам инструменты для их разрешения. Итак, именно юмор в состоянии примирить мистику и логику.

В общем, очень рекомендую книгу к прочтению тем, кто хотел почитать что-то по философии, но боялся уснуть в процессе:)

#Philosophy #Humor #SelfDevelopment

Jepsen (Distributed Systems Safety Research)

Сегодня я решил вспомнить про jepsen, clojure библиотеку, которая позволяет тестировать распределенные системы. Почему именно сейчас? Потому что на этой неделе я делал ревью доклада для ArchDays на тему эмулирования сбоев. В рамках ревью я вспомнил про библиотеку Jepsen и мы немного обсудили подход Kyle Kingsbury, автора библиотеки, к тестированию гарантий и отказов в распределенных системах. В общем и целом, мне нравится подход Кайла и я считаю его полезным для применения, поэтому я решил написать этот пост:)

Кайл отлично рассказал о своем подходе в 2018 году на конференции GOTO (рекомендую посмотреть видео - оно сделано с юмором и кучей информации).
На его сайте есть краткое описание работы библиотеки
Jepsen analyses generally consist of running operations against a distributed system in a dedicated cluster, introducing faults into that cluster, and observing whether the results of those operations are consistent with some model. This introduces various sources for error: bugs, bounds on the search space, and the problem of induction. Jepsen’s design also limits its use as a performance benchmark.

На этом же сайте есть крутая схема моделей консистентности, соответствие которым проверяется в тестах. Плюс есть отдельный раздел с результатами анализа разных баз, которых накопилось больше 20 за 10 лет исследований.

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

А в конце выпустления он доходит до практических советов по поводу выбора базы данных / очереди для вашего продукта делать следующее
- читать документацию и искать предоставляемые этим решением гарантии
- если там написано просто strong consistency, ACID, strict и ничего больше, то возможно авторы базы данных не понимают что это значит (или скрывают реальные гарантии за marketing bullshit)
- смотреть на формальные гарантии и спецификации
- думать про те инварианты и гарантии, которые важны для вашей системы (баланс между safety/consistency и performance)
- думать про модели отказа (failure modes) и конкретно про
-- краши процессов (kill -9)
-- откзаы машин
-- clock skew
-- паузы на gc/io
-- разделения сети (network partition) (iptables -j DROP)
- тестировать систему end-to-end, а не только базу или очередь - это позволит проверить работоспособность пользовательских сценариев целиком
- не быть перфекционистом и остановиться в тестировании системы на good enough уровне

#DistributedSystems #QualityAssurance #SystemDesign #Engineering #Software #Architecture #SoftwareArchitecture #SoftwareDevelopment #SRE

Густав Климт. Абсолютная красота (Gustav Klimt. La Bellezza Abssoluta)

Эту графическую биографию великого художника создал Отто Габос, который постарался нам рассказать о драматичном пути художника к новой эре в искусстве, уделяя особое внимание психологии и личности Густава. Густав жил и творил в Австро-Венгерской Империи, а умер буквально за несколько месяцев до ее падения по результатам Первой мировой войны. Сама книга построена как путешествие находящегося при смерти художника по уголкам своей памяти, в котором мы его сопровождаем.

В итоге, книга разбита на следующие части:
- Весна священная - ранняя жизнь художника и его взаимоотношения с семьей и братом Эрнестом, с которым они вместе рисовали картины, но который рано умер
- Сецессион - вступление в выставочную организации и нескольких групп молодых немецких и австрийских художников, которые в 1892 году в знак протеста против официального академического искусства вышли из состава мюнхенской выставочной организации «Хрустальный дворец»
- Вена - история про Эмилию Флёге, друга Густава, которая играла значимую роль в жизни Климта как модельер, созадавая шедевры моды. Эмилия была для художника настоящей музой. Плюс здесь же идет реч про множество детей Густава, которые у него были от разных моделей, их набиралось на несколько футбольных команд.
- Аттерзее - рассказ про мастерскую художника, которая сейчас доступна для посещения в Вене. Конечно, доступная сейчас мастерская - это двухэтажный новодел. Сам Климт жил и творил в одноэтажном здании, утопающем в зелени сада, где всегда было множество моделей без избытка одежды:) В этой же части мы видим финал жизни Климта.
- Ателье - в этой части Отто Габос рассказывает про закулисье создания этой книги. Он думал рассказать про Климта устами его моделей, но окзалось, что они перетягивают фокус с художника на себя. Дальше Отто отказался от биографии в стиле романов и свел к минимуму описание исторических событий, поэтому в книге мы путешествуем по времени произвольно. Также Отто не стал заострять внимание на отношениях Климта с его семьей, а точнее мамой и сестрой, хотя присутствие женщин сыграло центральную роль в жизни Климта. В книге остался фокус на Эмилии Флёге из-за ее значимости и важности.

После прочтения книги я заинтересовался художником и на сайте ArtsAndCulture.Google.com нашел страницу художника, где можно посмотреть на его работы, включая самую дорогую его картину "Adele Bloch-Bauer I", которая была продана в 2006 году за рекордную сумму 135 млн долларов. А вот тут есть краткое видео на минуту про Густава Климта, тоже созданное в рамках проекта Arts and Culture от google.

#Biography #Culture #Comics