Category: лытдыбр

Category was added automatically. Read all entries about "лытдыбр".

ДР Цертуса 2011

(no subject)

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

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

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

(no subject)

Пропылённый двор трёхэтажного старого дома, середина мая, по-летнему тепло, год этак 1988, деды сидят за столом и играют в домино, малыши учатся кататься на трёхколёсных велосипедах и играют в песочнице... А у меня есть целых два воздушных шарика — один круглый и синий, а второй продолговатый и розовый. Остались с первомайской демонстрации. А мне недавно исполнилось целых три!

А вот обшарпанный трёхэтажный дом с эркерами, это его двор. В доме три подъезда, посередине на чердаке башенка с круглым окном. Есть отдельная квартира управдома, из неё отдельный выход на другую сторону. На лестницах в подъездах высокие каменные ступени, а у лестниц красивые резные деревянные перила, такие тёплые и домашние. Тут дедушка учил меня спускаться и подниматься по лестнице как взрослого, перемежая ноги — левой, правой, левой, правой. Мы живём на втором этаже, в 19ой квартире.

С другой стороны дома (туда у нас выходит балкон) проезжая дорога, по которой постоянно едут то густо пахнущие дизелем ЗИЛы и ГАЗы, то приятно пахнущие 72-ым бензином горбатые запорожцы, иногда стрекочут двигателями такси-Волги. По сторонам от дороги плотно растут разлапистые зелёные деревья с большими кронами, они не высажены ровненькими столбиками, они растут как им заблагорассудится, угловато, неровно, очень естественно, под ними тротуар вдоль дороги всегда в тени, между дорогой и тротуаром пыльная земля с этими вот деревьями, из неё местами торчат их живые, уютные корни, местами растёт трава, перед самой дорогой глубокая канава для отвода дождевой воды, и одновременно вместо бордюра. А вот с другой стороны от дома небольшой двор, с которого я начал — он замкнут с всех сторон густо заросшими зеленью изгородями, вход во двор через ворота, прилегающие кирпичной изгородью прямо к дому. Сами некогда красивые кованые чугунные ворота никогда не закрываются, но то, что дом огорожен и вход только через примыкающие к дому ворота, делает его не просто “куском земли, продуваемым всеми ветрами”, не проходным двором, а именно двором конкретного дома, куда чужие обычно не заходят. В самом центре двора вентиляционных выход бомбоубежища, рядом песочница, качели, лавочки. Двор в основном земляной, кочки, бугры, холмики, местами трава есть, местами вытоптана, есть пара клумб с цветочками. Никто никуда не торопится, все просто наслаждаются тёплым летним днем во дворе, один сосед там же чинит машину — она стоит с открытым капотом, он весь склонился туда внутрь с гаечными ключами, на большой холщовой тряпке рядом (кажется, мешке из под картошки) рядом лежат детали и другие ключи с отвёртками. Иногда кто-то кому-то что-то говорит с балконов — жены что-то кричат мужьям, родители детям, “Сонька — обед, и не лезь ты в грязь”. В каком-то окне слышно как ребёнок упражняется на кларнете, за домом с шумом проезжает Камаз (его легко отличить на звук от Зила, Газа и Маза, а других грузовиков тут почитай и не бывает). Скоро дедушка с бабушкой придут с работы, и будет весело, они будут о чём-нибудь рассказывать, спорить, делиться новостями, поздно вечером с работы вернётся папа, он обычно приходит когда идут «Спокойной ночи, малыши», а потом, уже когда я ложусь в кроватку засыпать, мы с ним и с мамой сколько-то разговариваем, я задаю накопившиеся за день вопросы. Небо будет необъятно огромным и бархатно-чёрным, в воздухе будет пахнуть приятным древесным дымком, идущим от старинных бревенчатых домов в соседнем районе, бывшем прежде деревней, там топят печи. Воздух будет свеж и прохладен.

Тогда мир был в порядке, все были живы, родители были молодые, я просто не знал что что-то бывает не в порядке, не был сутул и дышал самой полной грудью! Я много раз бывал в жизни счастлив, но безоблачное счастье, вообще не омрачённое никакими сомнениями и привкусами счастье — это только там.

https://youtu.be/z67JxUfcWTU
ДР Цертуса 2011

Новости науки и техники

В продолжение темы с ториевыми часами, я просто оставлю ссылочку на свежую публикацию о том, как будут в ближайшее время уточнять частоту того самого перехода: https://arxiv.org/abs/1905.08060

* * *

Тем, кто интересуется темой ракетных двигателей горячо рекомендую статью https://everydayastronaut.com/raptor-engine/ или её видео-версию (доступна по той же ссылке), в которой отлично и понятно объясняется, чем же примечателен разрабатываемый сейчас SpaceX новейший ракетный двигатель. Ну и вообще, почти наверняка будете понимать про ракетные двигатели гораздо больше, чем понимали до этого.

* * *

Раз уж заговорили про двигатели ракетные, давайте пару слов и про двигатели автомобильные. Collapse )
ДР Цертуса 2011

Снова про теорию множеств

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

Стандартную теорию множеств можно аксиоматизировать очень разными способами. Аксиоматика Цермело-Френкеля — прагматичный вариант аксиоматики: прямолинейный, бесхитросный, операционный, комбинаторный. Никаких туманных философий, просто методы конструирования множеств: пустое множество, пара, индуктивное порождение, фильтрация и замена, множество всех подмножеств, объединение. Сверх того только аксиома, определяющая что такое равенство, схема индукции (= аксиома о фундированности), да аксиома выбора опцинально. Такой прагматичный подход удобен для анализа самой теории: можно доказать независимость аксиом друг от друга, а потом убирать аксиомы по одной или заменять более слабые, и смотреть стала ли теория слабее, и, если да, не эквивалентна какой-нибудь другой симпатичной теории.

Так можно, например, выяснить, что ZFC (с аксиомой выбора), ZF (без аксиомы выбора, но с исключённым третьим) и IZF (без исключённого третьего) эквиконсистентны. Т.е. слабейшая из них (IZF) непротиворечива, то непротиворечива и сильнейшая (ZFC). Можно выделить конструктивную версию CZF, которая при добавлении исключённого третьего или аксиомы выбора немедленно превращается в ZF или ZFC соответственно, однако если ничего не добавлять — конструктивная теория, непротиворечивость которой можно обосновать вычислительной интерпретацией и комбинаторно. А слегка усиленный вариант этой теории, минимальный пригодный для рассуждений о вещественных числах (CZF + Full Separation) оказывается эквиконсистентен арифметике второго порядка, и соответственно его непротиворечивость можно обосновать вычислительной интерпретацией (System F). С другой стороны, такие теории удобно усиливать для нужд теорий, не вписывающихся в рамки ZF(C): теории категорий и категорной алгебраической геометрии. Наиболее распространённые расширения — теория множеств TG Тарского-Гротендика и ещё более сильная (и гораздо более элегантная!) теория ZMC/S Фефермана-Шульмана ("ZFC с сильной рефлексией"), которой достаточно для всех известных на данный момент человечеству нужд теории категорий и всей остальной содержательной математики.

Слабой стороной прагматичного подхода как с точки зрения практического удобства, так и с онтологической точки зрения, является то, что всякие штуковины вроде "категории всех множеств", "категории всех групп" и т.д. существуют только “на словах”, вне самой теории множеств, на метатеоретическом уровне, если угодно. На языке теории мы можем записать высказывание “x — группа” и “y — гомоморфизм групп”, но мы не можем из этих гаджетов собрать внутритеоретический объект “категория всех групп”. В теориях с рефлексией, навроде ZMC/S, мы можем собрать внутритеоретический объект, который ведёт себя по построению неотличимо от категории всех групп, но _не саму категорию всех групп_.

Однако есть и другой подход к аксиоматизации — не прагматичный, а философский, когда имеющиеся методы формирования множеств выводятся из каких-то принципов “максимальной свободы, ещё не приводящей к парадоксам”. Тут есть два подхода:
— более распространённый «Limitation of Size» Кантора-фон Неймана-Гёделя (“всё то множество, что неравномощно универсуму”), симпатичный тем, что там из элегантного принципа следует аксиома выбора (в очень сильной форме) и все остальные способы конструирования множеств ZFC, кроме пары, множества всех подмножеств и индуктивного порождения, и
— более интересный «Bottom-up generation» Аккерманна, из которого следуют вообще все способы порождения множеств ZF, но не следует аксиома выбора.

Обе эти теории очень хороши ещё и тем, что в соответствующих теориях можно говорить не только о множествах, но и о "больших" классах навроде категории всех множеств; в частности один из вариантов теории Аккермана, ARC (см. F.A. Muller, “Sets, classes, and categories” и ревью этой статьи MR1851712 за авторством Andreas Blass) эквиконсистентен ZFC и консервативен над нею (т.е. в отношении множеств в них верны одни и те же высказывания) позволяет говорить не только о таких классах, как "категория всех групп“, но и о функторах между такими категориями, естественных преобразованиях между такими функторами и проч. И это при том, что в теории всего четыре очень естественных аксиомы, и не постулируется вообще никаких бесконечных множеств, операций индуктивного порождения, множеств всех подмножеств, объединений и замен. Всё бесплатно следует из общих принципов. Кроме аксиомы выбора.

Очень хочется выработать консервативное расширение ZMC/S в стиле теории множеств Аккерманна, т.е. чтобы там всё работало так же как в ZMC/S, только о больших категориях можно было бы говорить на языке самой теории, а не только снаружи, и аксиомы были элегантные и минималистичные. Пока этого никто не сделал, и сделать это крайне непросто (а может быть, и вообще невозможно). Но прежде чем перейти в XXI-й век и начать использовать в качестве языка математики HoTT — внутренний язык (т.е. "наименьший общий знаменатель") элементарных высших топосов, нужно закончить век XX-ый: элегантно кодифицировать вариант теории множеств, необходимый и достаточный для математики XX-го века.

P.S. В комментариях к предыдущим постам про теорию множеств меня спрашивали, нет ли какого формального языка навроде языков программирования, только для теории множеств, чтобы было точно понятно, что можно делать, а что нельзя. Разумеется, есть: https://en.wikipedia.org/wiki/Mizar_system, система записи и автоматической проверки доказательств на базе теории множеств TG (Тарского-Гротендика), при желании можно оставаться в рамках ZFC или ZFC. Но там внутре не только чистая теория множеств, но и специальный хитрый синтаксический сахар, чтобы можно было говорить о классах, категориях и прочем. Если бы Мизар (и //metamath.org) делали сейчас, а не 40 лет назад, наверное бы использовали ZMC/S вместо TG.
ДР Цертуса 2011

Батарейки

Прочитал тут про Tesla Powerwall. Это, значить, аккумуляторы для запасания энергии дома в условиях солнечной Калифорнии, где днём можно солнечными батарейками подсобрать прилично круглый год, исключая отдельные дни.

К такой технологии, если её рассматривать, как экологичную сразу возникают следующие вопросы:

1) Как быстро аккумуляторы сдохнут?
По-моему, зрелой технологию можно будет назвать только если батарейки переживут 10000 циклов зарядки-разрядки (это лет на 10-15 использования в режиме рабочей лошадки).

Вообще, такие литий-ионные аккумуляторы можно делать, вот например статейка: http://pubs.acs.org/doi/ipdf/10.1021/nn506394r. Может в каком-нибудь следующем поколении Powerwall такое применят, но пока, увы.

2) Сколько энергии, сколько и каких ресурсов потребляет, сколько и каких отходов выбрасывают процессы производства аккумулятора вместе с электронной и охладительной обвязкой, и процесс их рецайклинга?

Ответа на этот вопрос я просто не знаю. Но очень хочу узнать.

3) Сколько стоит система достаточной для практического применения ёмкости?

Тут спасибо Элону Маску, очень надеемся, что экономия за счёт масштаба выведет цены на разумный уровень.

А лёгость и компактность для стационарных аккумуляторов не важны, это только для автомобилей и переносных устройств важно.
ДР Цертуса 2011

Кстати, хотел похвалить

Вчера звонил в хотлайн нашего провайдера Easybell рассказать им про траблу с интернетом. Мне с первого раза ответил человек, который не боится слов IP, DNS, "Прозрачный прокси" и "подсеть". Я был приятно удивлён, а проблему починили в течение часов трёх или четырёх. Не то чтобы прямо сразу, но вполне себе!

Из негатива: прозвониться в саппорт очень трудно, приходится висеть на линии и слушать нудную музыку минут по десять. Но зато сразу говоришь со специалистом, мне кажется это того стоит.
ДР Цертуса 2011

(no subject)

Гм, читаешь некоторые сюжеты (особенно, если с комментами) и возникает желание поспособствовать как можно большему количеству нормальных* людей как можно быстрее рвать когти.

Почему?

Есть очень много вполне созидательных людей, кто прежде никак не проявлял агрессии в трезвом виде, разве только выпимши или после трудного дня у них глаза наливались яростью и они что-нибудь такое иногда высказывали, в духе что какую-нибудь группу населения ("олигархов" там или наоборот "быдло", кому что глаза мозолит) надо изгваздать до кровавых соплей. А сейчас не то что джина из бутылки выпустили, а просто людей вверх дном перевернуло. Теперь они в совершенно трезвом виде спорят о том, как именно следует выколоть глаза и оторвать конечности "олигархам", и как бы побольнее бросить атомную бомбу на "быдло". Причём не надо иллюзий, что массовый психоз задел только тех, кто за "крымнаш", вот эти самые, кто всерьёз про "атомную бомбу на Москву" говорит, они как раз из противоположного лагеря "намкрыш".

Collapse )

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

Почти все, кто два года назад подходил под это определение, подходят под него и сейчас, с ними мало что изменилось. Я знаю лишь пару случаев, когда совершенно нормальные (в вышеописанном смысле) пару лет назад люди, вдруг сочли, что кругом враги, надо на многие годы отложить свои жизненные планы, комфорт и интересы близких, всякую деятельность по улучшению окружающего мира, а вместо этого надо оскалиться и класть жизнь на борьбу с врагом. Это обратимое, просто их сейчас убедили, что против них идёт война на уничтожение.
ДР Цертуса 2011

Ну даёт!

Я просто оставлю это здесь: https://pigworker.wordpress.com/2015/01/05/linear-dependent-types/

Нет, я не могу просто оставить, я чуток прокомментирую. Конор МакБрайд положительно был стукнут молотом Тора и из его гениального мозга посыпались звёзды. И ещё вот это (https://pigworker.wordpress.com/2015/01/01/irish-induction-recursion/), и вот это (https://pigworker.wordpress.com/2015/01/02/coinduction/). Ну блин, ну он даёт, ну надо же так, а. Взял и всё разложил по полочкам. Когда я это всё читать-то буду, ночью я и так работаю, выкопать откуда-то ночь ночи? Я как-то сомневаюсь, что смогу нормально заснуть, пока не вкурю хотя бы про линейные зависимые типы.
Свечка и валокардин

(no subject)

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

То есть я не знаю, я просто не знаю. Среди своих знакомых я что тут в Германии, что в Москве вижу совем другое детство у детей: зарегулированное/домашнее, где просто нету места тому, чтобы слоняться во дворе и делать что приспичило. Там 100500 кружков, там могут быть прекрасные поездки "в лес" и "на свежий воздух", "на детскую площздку", "на поиграть в футбол", "в развивалку техническую", в "развивалку спортивную", в "бассейн", "на скалодром". Оно всё к чертям зарегулировано! Там вообще не осталось личной инициативы детей без контроля или участия родителей. Вот не чтобы "папа, мама, а отвезите меня на скалодром, чтобы я там полазил", а просто схватить с вешалки куртку, крикнуть "мам, я пойду погуляю", а потом во-дворе "ребят, а давайте в футбол" или "Женька, пошли на речку!", или "Пойду по гаражам полазаю!".

Нет, без этого точно вырастают нормальные люди, 2/3 моих коллег-физиков никогда не знали ничего кроме зарегулированного детства и вообще впервые оказались свободны на первом курсе. Может всё это не надо? А мне кажется, я бы без этого чего-то недополучил.. Все 100500 кружков можно в зрелом возрасте скомпенсировать просто элементарно, но куда ты денешь лекарство от печени кроме как в самого себя как ты восполнишь ощущение безграничной детской свободы? Вот этих трех месяцев лета, когда можно делать вообще абсолютно всё что угодно, самому себе выдумывать любые занятия, затевать и реализовывать любые проекты! В США времён Фейнмана и даже времён Джеймса Дина так тоже можно было, и потому страна была клёвая, а счас что тут, что там, что в Москве, всё одно и то же регулирование всего до самого института.

Иногда мне кажется, что спасение "цивилизованного человечества" от стагнации только вот в этих разноцветных ребятах из "плохого квартала", да в кучерявых ребятишках с умными и хитрыми глазами из Лондонского Stamford Hill'а. Больше очагов, где бы детство людей проходило без родительского гиперконтроля, кажется, не осталось в западном мире вообще.
Свечка и валокардин

(no subject)

Жесть какая-то. Я думал, я просто устал с дороги, но похоже я таки чем-то заболел. Позавчера я проспал 12 часов, вчера отрубился в 19 часов, проснулся в 10, это 15 часов сна. Я еле соображаю и всё время хочу спать, на будильники я теперь не реагирую вообще.

Хотя может погода. У нас тут сейчас крайне хмуро и дождливо, солнце выключили.