Category: литература

Category was added automatically. Read all entries about "литература".

ДР Цертуса 2011

(no subject)

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

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

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

“пересказал Бродского своими словами”

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

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

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

Симон Анри в прошлом году придумал слабые модельные категории — это настолько круто, что учебники (конечно, не школьные) переписывать можно, он вообще на верном пути в ближайшее время доказать гипотезу Симпсона и вскультивировать целиком ландшафт этой науки. Эмили Риль — придумала принципиально новый подход к проблеме когерентности, красиво как симфония. Две недели назад Пит показал мне с коллегами Эвдоксовы вещественные числа — способ определить вещественные числа через квазиэндоморфизмы на абелевой группе целых. Харальд Хельфготт (тот самый мужик, который недавно слабую гипотезу Гольдбаха доказал, профессорствующий, кстати, у нас в Гёттингене) — оптимизировал решето Эратосфена просто невероятно круто. Это просто четыре рандомных вещи, но оно там такое всё, искрится как фейерверк и всё время что-то новое. Это так красиво, что дух захватывает, это окрыляет, этим хочется делиться, это хочется показывать. Но тот язык, на котором написана эта поэзия, к сожалению, не знает почти никто, и культурный контекст за вечер не перескажешь.

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

Спасибо воть только SpaceX с их космическими кораблями — их старты и посадки я ни раз смотрел и с Алисой и с Настей, а как Айлин подрастёт, и с ней буду смотреть старты в прямом эфире и прикольные видео про устройство ракетных двигателей и вообще космической техники.
ДР Цертуса 2011

Вопрос

Меня вот уже который раз спрашивают: что бы почитать такого по истории современного Израиля (с 1881 и особенно 1919 до наших дней), чтобы не совсем сухо и не совсем пропаганда (и совсем не антипропаганда)? В идеале, по-английски, но можно и по-русски. Какую-нибудь книжку или несколько книжек хороших никто не может посоветовать?
ДР Цертуса 2011

С почином

С утра Настя (3 года) в подвале решила поэкспериментировать с огнетушителем. Я выскочил на крик и шум, испугалась она знатна. Порошком были уделаны весь подвал и мой кабинет, включая электронику, часть книг,.. Пять с небольшим часов ушло на ликвидацию последствий. Теперь надо купить новый огнетушитель (50-60 евро) и новые мешки в пылесос (16 евро, ушло 8 мешков). И хорошо бы новый HEPA-фильтр туда же (23 евро). Вот так можно потратить 5 часов родительского времени и сотню евро родительских денег за одно нажатие рукоятки. Кстати, в огнетушителе, разумеется, была предохранительна скоба, которую Настя успешно вытянула.
ДР Цертуса 2011

Okmij

Вчера у меня наконец дошли руки посмотреть на статью Freeer monads Олега Киселёва et al., и реализацию — библиотеку Eff для хаскеля. Вот блин, а. Это же надо так уметь. Шедевр, тончайшая работа.

На чистом хаскеле безо всяких макросов превратили его фактически в язык с модулярными алгебраическим эффектами. Описываешь свой эффект как в языках с алгебраическим эффектами через параметризованный GADT, т.е. просто пишешь какие ты хочешь добавить в ambient language команды с описанием их сигнатуры, пишешь ему модулярный интерпретатор, а дальше можно это свободно перемежать с другими описанными в такой же форме эффектами, умная бубиотика определяет параметрическую монаду Eff '[list of effects], всё настолько круто, что там не только композиция эффектов работает сама и полиморфные по эффектам процыдурки сами получаются, но даже effect inference для do-нотации в какой-то мере работает. И семантически очень красиво выходит: алгебраическое описание эффекта это индуктивный тип * -> *, для него конструируется левое расширение Кана, а на получившемся функторе задаётся свободная монада, вложение индуктивных типов превращается во вложение монад, соответственно “описания эффектов” можно комбинировать через disjoint sums, прощайте монадные трансформеры. В библиотеке описаны стандартные эффекты — IO, State, Non-Determinism, и всё что можно описать через Delimited Continuations (эксепшены, кооперативный мультитрединг/сопроцедуры и т.д.).

Заодно понятно, каким образом будет выглядеть комбинирование эффектов с зависимыми типами. Кажется, там ничего не сломается, кроме того что Eff станет вообще говоря относительной монадой (“монадоподобный объект, не являющийся эндофунктором”). Единственное, что мне пока не понятно — это как в сигнатуре эффекта указывать соотношения (например требовать, чтобы вызовы ReadEnv коммутировали), я вообще пока не встречал удовлетворительного подхода к этому вопросу, если работать в терминах монад/комонад, а не в терминах стрелок. Но по идее оно должно быть, собственно монадами описываются эффекты, у которых контракты накладываются на интерпретатор (если он есть), а процедуры могут полагаться на их выполнение, а комонадами эффекты, налагающие на использующую их процедуру обязательства по выполнению контрактов (например, использовать вызов команды только один раз).
ДР Цертуса 2011

Случай в кабинете

У меня в кабинете над кроватью висели книжные полки с чуть более 200 кг отличной научной литературы, учебников и конспектов (в том числе, моей матушки и частично моего деда). Судя по всему, не без помощи некоторых детей (ну и моего неразумного решения положить на край верхней полки объекты повышенной плотности и существенного объема), глагол «висели» в предыдущем предложении оказался в прошедшем времени, а 200 кг отличной литературы в процессе падения разломали кусок каркаса кровати. :-)

Хорошо, что там никого не лежало. Завтра будем чинить каркас кровати брусом, а полки крепить намертво, чтобы никакие кирпичи и три-четыре пуда повисающих на краюшке детей не могли им повредить.
ДР Цертуса 2011

Где взять?

А где бы добыть книжку “Derivation and Integration” (Washek F. Pfeffer)?

Насколько я понимаю, это всеобъемлющая монография по неабсолютному интегрированию на абстрактных топологических пространствах от суммирования рядов до зарядов (signed-аналогов мер) на произвольных однородных пространствах.

У меня к этой теме почему-то уже лет десять с лишним болезненный интерес.
ДР Цертуса 2011

Местный колорит

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

Семинарчик?

Ну что, Кокан опубликовал ещё раз обновлённую версию вычинтерпретации HoTT: http://www.cse.chalmers.se/~coquand/face.pdf
(Теперь в приложении рассказывается про то, как там унивалентно построить стандартную предикативную иерархию вселенных вместе с операцией композиции идентификаций на ней.)

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


В качестве пререквизитов хотелось бы ограничиться HoTT Book, знанием теорката на уровне CftWM МакЛейна + какого-нибудь вводного текста про симплициальные множества, комплексы Кана и квазикатегории, т.е. возможно потребуются дополнительные доклады про какие-то неэлементарные аспекты теории кубических множеств и т.п.
ДР Цертуса 2011

Изобретённый велосипед, серия 247

Придумал клёвую мысль: литературное программирование, это же когда не комменты отмечаются в коде, а код в "комментах", следовательно в идеале исходник программы должен быть маркдауном с вкраплёнными кусками кода, благо в языках питоновского типа они автоматически индентированы, а первая строка помечена ключевым словом, обозначающим что дальше пойдёт код: def, structure, object, theorem и т.д.

Так вот, оказалось что эта идея (причём в качестве языка комментов взят в точности маркдаун) уже применена в literate coffescript, единственное в кофескрипте нету ключевых слов интродукции сущностей, что чуть ухудшает внешний вид: индентить нужно не только тело, как в любом исходнике, но весь код.

Ну и идея не доведена до логического завершения: в отличие от CWEB, тут нету умных инклудов и возможности augment'ить (это когда какую-то секцию кода недописали, оставив там многоточие в конце, которое оператор throws NotYetImplementedException, отвлеклись на что-то другое, а потом сказали augment SectionName: и написали, на что многоточия заменять) и ammend'ить секции (это когда к уже написанным секциям с аннотацией, что определение @preliminary или @incomplete, применяются трансформации). Я думаю, что амменды и аппенды должны поддерживаться самим языком в рамках общей поддержки аспектно-ориентированности, а инклуды в любом синтаксически допустимом месте в рамках поддержки макросов. Ну и ссылки на идентификаторы в litcoffee не саморесолвятся, а чего, казалось бы, нет чтобы заюзать для инклюзии валидных кусков кода специально зарезервированную под это конструкцию [code].