Category: общество

Category was added automatically. Read all entries about "общество".

ДР Цертуса 2011

(no subject)

Настоящим объявляю, что все мои персональные данные, тексты, фотографии, рисунки, переписка и т.п. являются объектами моего авторского права (согласно Бернской Конвенции), и оповещаю «ЖЖ» (LiveJournal, Inc / SUP Media) о том, что разглашение, копирование, распространение моей личной информации в коммерческих целях равно как и любые другие противоправные действия по отношению к моему профилю в социальной сети строго запрещены.

Для коммерческого использования всех вышеупомянутых объектов авторского права в каждом конкретном случае необходимо мое письменное разрешение.

Гёттинген
17 января 2015 г.
Александр Куклев
ДР Цертуса 2011

(no subject)

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

TechCrowd, около миллиона людей, занятых в индустрии новейших технологий или восхищённых ими, съехавшиеся со всего света на огромнейшую выставку, которую просто невозможно физически обойти менее чем за два дня, выставку, где впервые в истории показывают кучу офигеннейших новинок (таких как например смартфоны или беспроводной интернет). Невероятно яркие цвета и запахи, невероятно выглядящие люди со всего света — японцы, корейцы, индусы, невероятные одежды и прически, манеры и языки.

Многие из вас родились уже в XXI веке, и контекст совершенно непонятен. Когда я был маленький, у нас дома не было телефона. Не мобильного телефона, а никакого телефона. Если кому-то, например, бабушке хотелось что-то срочно сообщить нам, то самым быстрым способом было сесть на автобус и через полчаса приехать, с риском не застать нас дома. Тогда можно было оставить записку и сунуть её в дверь. Договориться о приходе заранее было невозможно, как невозможно было и отменить заранее согласованную встречу. При хороших отношениях с имеющими телефон соседями, можно было позвонить куда-то от соседей, или в совсем-дико-экстренных случаях могли позвонить соседям и попросить что-то передать. Но это потом, когда к дому подвели телефон, в первые потора года во всем доме не было ни одного телефона.

Когда я был в детском лагере, самым быстрым способом что-то передать домой было послать телеграмму, на следующий день она гарантированно доходила. Телефон был, один на весь лагерь, по нему заведующая могла вызвать скорую помощь или там сообщить чьим-то родителям что кто-то сломал руку. Дело в том, что междугородные звонки стоили чудовищно дорого, кроме того просто взять и позвонить по телефону в другой город было невозможно, ну просто нет способа набрать номер, не находящийся в предалах того же населённого пункта. Чтобы позвонить в Омск из лагеря в области, нужно было _заказать_ междугородний звонок, и через полчаса-час телефон звонил, на том конце провода была телефонистка, которая соединяла. С родственниками и друзьями из других городов мы переписывались письмами (в зависимости от интенсивности общения от одного письма в месяц до парочки в год) и перезванивались примерно один раз в год. Кроме Омска, мелких городков и деревень Омской области, и Новосибирска я не бывал вообще нигде до 11 лет, на самолете ни разу не летал до 16 лет. До 11 лет я не видел ни моря, ни другой крупной реки, кроме той, что протекает в Омске, ни гор. На отдых ездили в леса и/или на речку в пределах автомобильной доступности, за один день езды по раздолбанным дорогам. Всякие там дома отдыха ведомственные ещё были в деревнях Омской области — Чернолучье, Красноярка. За всю жизнь до 6 лет я вживую общался может быть с пятью иностранцами, а видел в непосредственной близости может быть человек 15 максимум, не считая трудовых мигрантов из Китая и Вьетнама. Среди них ни одного японца, ни одного индуса или там южноамериканца. Ни одного негра, кстати. Все кого я видел были европейцы или североамериканцы, не сильно отличающиеся от жителей России внешним видом и в плане одежды, причёсок и всякого такого отличающиеся разве что тем, что одежда более дорогая, а люди чуть более ухожены. Ну и никаких культурных шоков, людей с розовыми волосами, английских лордов. Да что там, я ни одного живого вегитарианца на тот момент не встречал.
Напоминаю, мне не сто лет, мне сейчас всего 36. :-)

Так вот, чтобы понять, насколько на выставке в 1996 году меня поразил интернет (а ещё там был VR-шлем), нужно понимать именно этот контекст. В 2001 году я внезапно оказался в Ганновере, и через полгода попал на CeBIT – крупнейшую международную выставку IT, и это был конечно взрыв мозга. Сто новых технологий и устройств за три дня, какие-то невероятные японцы с синими волосами на самокатах. Это как будто оказываешься в фантастическом фильме, а вокруг инопланетяне. Ну и да, технологии про которые сложно сейчас поверить, что так было не всегда, в тот момент показывались просто впервые: от цветных экранов мобильных телефонов, видеозвонков через интернет и до интернет-банкинга и соцсетей – да-да, они всё это появилось в 2001ом, а до этого ничего этого не было вовсе. До этого эти штуки были в фантастических книгах и фильмах, а на выставке их можно было взять и попробовать. И вот это удивительное ощущение причастности к вот этой разноязыкой, но очень близкой по интересам и мировоззрениями толпе, объединённой вовлечённостью в эту невероятную технологическую революцию.
ДР Цертуса 2011

Пожалуйтесь на бога в вышестоящую инстанцию

(из частной переписки)

Сама идея, что физическая реальность не является вопросом компромисса, как-то не укладывается в головах.

Политики, журналисты, колумнисты, общественные деятели привыкли, что всякий, кто что-либо заявил публично по какому-то вопросу, в дальнейшем интересуется не содержательной стороной вопроса, а отстаиванием своей правоты.
Диалог с добросовестным учёным вызывает у них чудовищное недоумение. Учёный то меняет мнение “как флюгер”, как только выяснятся новые обстоятельства, то оказывается упрямым как террорист, и не идёт ни на какие на переговоры — нет чтобы как современные гибкие люди, сдать немножечко своей позиции, ну хотя бы чтобы показать цивилизованность и договороспособность, согласиться хотя бы для приличия, что 2 + 2 не 4, а хотя бы ну может быть 3,8 или 4,1. От большого уважения к бесноватому гению они готовы предложить аж 3,95, но “варвары” от науки просто с цепи сорвались со своим невероятно раздутым эго, продолжают настаивать на том, что 2 + 2 = 4.
То ли дело вирусолог Х, — сетует условный колумнист Фокуса, — вот тот, как только раскритиковали его пресс-релиз, что 2 + 3 = 6, сразу пошёл на встречу и согласился на пять с половиной. Вот цивилизованный человек!

Но ладно бы только это, ведь они же массово пытаются торговаться со стихией, как будто можно ставить ей условия или хитрить с ней путём подгонки фактов. “Мы готовы закрыть школы, но только по средам и пятницам.” Ну молодцы что готовы. Природе/богу похер что вы готовы, а что нет. Обидно, что бессердечная стихия не оценила и без того титанические старания? You feel offended? Ну не знаю, пожалуйтесь на бога в вышестоящую инстанцию, или назло маме отморозьте уши. Только нас в это не втягивайте.
ДР Цертуса 2011

Вирусное равноправие

Сегодня у входа в магазин была совершенно умилительная сцена — равноправие на марше. Подходят к магазину муж и жена турецкой наружности, жена в косынке-хиджабе, и перед входом в магазин переделывает платок так, чтобы он закрывал и нос со ртом тоже. И тут муж соображает, что он не в маске, а вход в магазин только в маске. Он обращается к жене, та откуда-то достаёт длинный платок и секунд за 15 организовывает ему на голове точно такую же косынку. :-)
ДР Цертуса 2011

три баранки

Сегодня на улице бабушка объясняет ребёнку:
– нехорошо кусочничать прямо на улице, невежливо так делать — идти и жевать бутерброд и сладости
– почему?
– ну например потому, что вокруг могут быть люди, сидящие на диете, увидев как ты ешь они тоже захотят, и либо нарушат свою диету, либо потратят лишние силы, чтобы заставить себя её соблюдать.

Я отлично помню, как мне было четыре (1989 год, никаких ресторанов, в магазинах пустые полки), и мы шли с моей прабабушкой Ирой по улице, и у меня в пакетике были три баранки, а она объясняла мне, что неукультурно есть прямо на ходу, потому что вокруг могут быть голодные люди, и у них обострится чувство голода и выделится желудочный сок (а значит, может живот заболеть, если не поесть), а не могут же они поесть прямо на улице, дома-то они ещё только вечером окажутся.

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

Интересно, какую причину не кусочничать на улице мы будем приводить нашим правнукам?
ДР Цертуса 2011

Taxi for one

(Ежегодный пост)

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

Идеальным такси для одного пассажира является беспилотный микроэлектромобиль с закрытым, шумоизолированным, кондиционируемым салоном, куда влезает один пассажир, один большущий чемодан и один элемент ручной клади (чемоданчик или городской рюкзак). Микроэлектромобиль должен иметь длину в пределах 2300мм (чтобы парковаться поперёк) и ширину в пределах 900мм — тогда допустимо использовать одну (например, автобусную) вдвоём, а также совершать на ней обгон, когда другая машинка остановилась для посадки/высадки пассажира. Ну и ехать такая штука должна уметь хотя бы 80км/ч. Не считая отсутствия беспилотности, к этому близки Renault Twizy Cargo 80 и Toyota i-Road.
ДР Цертуса 2011

Несправедливо малозамеченная статья

Год с небольшим назад вышла статейка “Leibniz Equality is Isomorphic to Martin-Löf Identity”.

Она люто офигенная. Цитатка: Leibniz equality can be viewed as the Church encoding of Martin-Löf identity.

Вопрос: можем ли мы в Cedille вывести закон индукции для Leibniz equality, т.е. J rule?

А если можем, то мы, наверное, можем определить и тип Prop := Σ(T : *) Π(a b : T) a = b и дальше всевозможные импредикативные представления quotient inductive types следуя https://arxiv.org/abs/1802.02820.

Можно ли будет добавить туда “large eliminations” в Prop и в частности доказать 0 ≠ 1 естественным путём, а не как сейчас?
ДР Цертуса 2011

Ближе, чем кажется

Ведущая игровой группы в садике (ей около 60), куда мы ходим с младшей, мимоходом рассказала что у них есть в собственности полузаброшенная хижина с малозаметным причалом и моторной лодкой на берегу северного моря, и ей завещали никогда в жизни это никому не отдавать, не продавать и держать в порядке, т.к. это “спасло много жизней, путём бегства в Данию и в Швецию”.

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

А ещё у её деда на руке был вытатуирован лагерный номер, по поводу которого он шутил что “телефон подружки, чтобы не забыть”, и она из него всё детство и всю юность пыталась вытянуть, что это и откуда это, злилась страшно, но так и не вытянула ничего кроме “главное, что вы живы” и “тебя не касается”. Она даже не знает, когда, как и где он оказался и как выжил, был ли “политическим” или евреем, ничего не знает про его родителей и семью и т.д.
ДР Цертуса 2011

И не поймёшь

Ходил сейчас в банкомат, стоял в очереди вместе с человеком моего возраста, который был с очень древним дедом в инвалидной коляске. Дед в маразме.

— Куда ты меня везёшь? (Разговор естественно, по немецки.)
— Мы всё ещё идём к зубному, у тебя болит зуб. (Очень спокойно и вкрадчиво.)
— Зачем ты меня повёз из дома?
— У тебя болит зуб.
— Да, болит зуб. Мы идём к зубному?
— Да, мы идём к зубному.
— Только найди мне зубного-еврея, они самые лучшие зубные. Я с детства хожу только к зубным-евреям. Самые лучшие зубные.
— Да где-ж я тебе сыщу зубного еврея?..
— А мне будут делать наркоз? Я очень боюсь наркоза. Я ОЧЕНЬ боюсь наркоза. Они, они будут убивать меня, они будут сжигать меня, расстреливать меня, душить меня газом, и травить овчаркой!
— Кто они?
— Как кто?! Они каждую ночь мне снятся, я тебе не рассказывал? Каждую ночь.
— Нет.. кто?
— Люди, которых мы убили на восточном фронте.