Чтобы добавлять сообщения и комментарии, .

@0anon:
0anon

pinyin.info
I once had a Chinese friend who had read the first translations of Kafka into Chinese, yet didn't know who Santa Claus was.
...
Similarly, how many Americans other than sinophiles have even a rough idea of the chronology of China's dynasties? Has the average history major here ever heard of Qin Shi Huangdi and his contribution to Chinese culture? How many American music majors have ever heard a note of Peking Opera, or would recognize a pipa if they tripped over one? How many otherwise literate Americans have heard of Lu Xun, Ba Jin, or even Mozi?

What this means is that when Americans and Chinese get together, there is often not just a language barrier, but an immense cultural barrier as well. Of course, this is one of the reasons the study of Chinese is so interesting. It is also one of the reasons it is so damn hard.

@0anon:
0anon

Tom Hales has a beautiful analysis [1] of the NSA backdoor to NIST and is arguing [2] that formal mathematics (like HoTT) should be used as the new standard of rigour for such protocols.

[1] jiggerwit.wordpress.com
[2] jiggerwit.wordpress.com

@0anon:
0anon

The n-category café на главной реддита: reddit.com

What we do as mathematicians seldom has any contact with politics or human affairs. But this is one of those occasions. The NSA and GCHQ must be two of the largest employers of mathematicians in the world. Whatever you think of the ongoing mass surveillance, it can’t be denied that this is an issue that involves, and will continue to involve, our community.

@0anon:
0anon

lettersofnote.com

@0anon:
0anon

У аввы в комментах наткнулся на цитату из "Подводя итоги" британского шпиона Сомерсета Моэма:

Всякий раз я странствовал до тех пор, пока не начинал замечать, что восприимчивость моя притупилась и при встречах с людьми я уже не могу усилием воображения представить их себе отчетливо и связно. Тогда я возвращался в Англию, чтобы разобраться в своих впечатлениях и отдохнуть, пока не почувствую, что опять способен что-то воспринять. Наконец после седьмого, если не ошибаюсь, путешествия впечатления стали повторяться. Все чаще мне попадались типы, уже встреченные когда-то раньше. Они не возбуждали во мне прежнего интереса. Я пришел к выводу, что исчерпал свою способность субъективно и страстно воспринимать людей, за которыми езжу в такую даль (я ни минуты не сомневался в том, что сам наделяю их тем своеобразием, которое нахожу в них), а стало быть, в дальнейших путешествиях проку не будет.
Хорошая книга, зачитался. Снова попробую почитать у него "Мага", про Кроули.

@0anon:
0anon

Очередные статы по языкам: memrise.com

Арабская вязь максимально простая, особенно после иврита. Лого альджазиры красивое: i.imgur.com

Из латыни понравилось: вентиляция-вентиляторы потому что ventus — ветер. А "страна" по-латински rus, лол.

После прочтения книги "Живой как жизнь" Корнея Чуковского (шикарнейшая книга о русском языке) приучился пользоваться этимологическим словарём русского языка: slovari.yandex.ru
Много открытий!

Теперь я больше ничего не умею, поэтому буду ходить.
Всё, ушел ходить.

@0anon:
0anon

Разное:
Мне иногда кажется что я предельно глуп и беспомощен, что делать не знаю. Между знанием и пониманием есть огромная разница.Так получилось, что я сейчас тоже недавно начал изучать математику (ведь не считать же математикой то что давалось в провинциальном вузе на факультете аналоге ВМиК МГУ) — читаю Алгебру Винберга. Так вот, кажется я знаю правильный ответ на ваш вопрос, ибо он меня тоже волнует.
Просто надо напрягать мозги не иногда, а всегда. Просто вообще всегда думать о математике. Зомбоящик и интернет преимущественно не включать. Обедать и спать можно.



Этот курс ... рассчитан на школьников, которые ... в частности, готовы каждый день решать 1-2 новых задачи



Для них математика — это такая тусовочная развлекуха. У них неплохая голова. Они могут за какое-то время решить набор задач, они натасканы. И когда они ко мне приходят, я им объясняю, как поменяется их жизнь. Ни на какие олимпиады, кроме малого набора профессиональных олимпиад, я их отпускать не буду. Потому что сейчас они участвуют где-то в тридцати математических соревнованиях за год. И некоторые дети с хорошей головой отказываются ко мне в класс идти. Они не хотят пахать непонятно во имя чего. Труд математика очень жесткий. Я всем это говорю.

Ко мне девочка сейчас не пошла в класс. Я потом прочитал в интернете, что ее родители про меня написали, мол, Давидович хочет у моей девочки отнять детство. И правильно сделала, что не пошла. Она привыкла сутки сидеть «ВКонтакте», при этом 10 минут делать домашние задания. Она на олимпиаде полтора часа напрягается и все. А здесь надо круглые сутки пахать.



Im explaining in Russia to students that real math is pain. And they should choose other way if they afraid of pain. At all levels you mostly fight with problems which you can't solve. But if you break the wall you will feel much much more than fun.

@0anon:
0anon

a

@0anon:
0anon

Статья Ассанжа о том, как продажные математики породили NSA: wikileaks.org

А вот вокруг люди пишут о том же:
lj.rossia.org
udod.livejournal.com

@0anon:
0anon

А вот пара не очень интересных книг:
Иличевский, "Математик", lj.rossia.org
Мюальфа Тэтаэта, bbixob.livejournal.com

@0anon:
0anon

Интервью Ромы Михайлова 12online.ru

@0anon:
0anon

Два года назад я писал (#1698312):
Ну вот например, вот эти преподаватели НМУ, если они готовы проверять задачи, почему не сделать для этого удобную платформу, чтобы любой человек мог легко сдавать задачи?В этом семестре такая платформа появилась: dist-math.ru
Можно сдавать листочки по алгебре и геометрии.

@0anon:
0anon

Роскомнадзор заблокировал gelbooru.com и homotopytypetheory.org
Где нет маленьких голых девочек, нет и науки.

А вот девочка, которая поддерживает sci-hab.org
vk.com
То, чем она занимается — за пределами всякого героизма, Аарона Шварца убили за меньшее. Я думаю, мы еще услышим её имя в новостях.

На торрентах опубликовали фильм Mediastan про внутреннюю кухню Wikileaks, почти целиком на русском языке — действие происходит на территории стран СНГ: Казахстан, Таджикистан, Туркменистан, Кыргызстан, Узбекистан, youtube.com

@0anon:
0anon

Лето кончилось.

За лето прочитал/прорешал чуть меньше полкниги Виро (пропуская много мелкого текста), и прочитал полкниги по HoTT (чуть больше пяти глав, без упражнений). Не занимался программированием, хотя хотел. Языков не учил никаких.

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

С Л. мы больше собираться не будем, шестую главу HoTT я пообещал себе прочитать — и конечно же очень хочется осилить хотя бы еще восьмую, где собственно применяется теория.

Торжественно клянусь учить японский и французский!

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

Я теперь собираюсь два раза в неделю еще с одним чуваком, — пусть он будет С., — мы учим, типа, матан. С. для своих дел хотел натренироваться решать уравнения из Демидовича — а я был не против. Мы решаем параллельно Демидовича, из середины, и читаем-решаем Спивака, тоже из середины (Спивак очень нравится, кстати) — но я тут прочитал на досуге первые три страницы из Global Calculus Раманана, поэтому в следующий раз расскажу ему определения пучка, стека и этального пространства :] Типа, в тему. (Дальше определений ничего не знаю, конечно.)

За вычетом математических дел, фактически перестал общаться с окружающим миром. Норм.

@0anon:
0anon

Читаю второго Гарри Поттера, по-русски, зачем-то.
Потому что бумажные книги русские вокруг всё равно.

Пятая глава об индукции, третий параграф про W-тип. W-тип это обобщение разных индуктивных типов — натуральных чисел, копродуктов, бинарных деревьев, листов, ncatlab.org

До сих пор не умею ничего программировать в coq.

@0anon:
0anon

Закончили третью главу по хотту, о множествах и логике. Зафиксирую для себя что я понял про n-типы — до них мы пока не дошли.

Мир гомотопической теории типов устроен следующим образом:
-2: сжимаемое пространство
-1: пустое и единичное пространства (логика)
0: дискретные пространства (теория множеств)
1: 1-группоиды (теория категорий)
2: 2-группоиды (2-категории)
...
бесконечность: бесконечность-группоиды

Уровень определяется количеством высшей гомотопической информации в типе. У множеств (дискретных пространств) нет интересных путей, т.е. все 1-пути одинаковы, тривиальны. У 1-типов, которые соответствуют обычным группоидам, могут быть различные 1-пути, но все двумерные пути (2-морфизмы) тривиальны. У пустого и единичного пространства уже сами их элементы равны.

Вообще, эта иерархия кумулятивна, n-тип ограничивает количество гомотопической информации, а не требует её наличия: если тип является n-типом, то он будет и n+1-типом.

Вся иерархия воспроизводится рекурсивно из сжимаемого типа (тип, в котором все элементы равны и который содержит хотя бы один элемент = тип, эквивалентный единичному типу) по следующему правилу: на n+1-уровне содержатся все типы, пространства путей у которых — типы n-уровня.

Например, на -1 уровне будет пустое и единичное пространства, потому что пространства их путей можно сжать: между любыми двумя элементами этих типов существует ровно один путь.

На 0-уровне живут дискретные пространства, поскольку пространство путей между любыми двумя их элементами — либо единичное (значит, это тот же самый элемент, если мы смотрим на дискретное пространство как на множество), либо пустое (значит, это разные элементы).

На 1-уровне — обыкновенные группоиды, пространство путей между любыми двумя элементами группоида — множество.

Пространства путей у жителей 2-уровня — 1-группоиды, то есть между путями в 2-группоиде могут быть нетривиальные пути.

И так далее.

@0anon:
0anon

Заново учу \TeX, оформил 1.4 из топологии Миши: writelatex.com
Код пока очень быдлокод, нужно как минимум использовать \newtheorem вместо самодельных команд.

@0anon:
0anon

Фактически ничем не занимался эту неделю, пребывал в полутрансе, болел.

@0anon:
0anon

Все статьи, все книжки, листочки — распечатать. Я человек больной. Я злой человек. Я думаю, что у меня болит почка.

@0anon:
0anon

Играю в beta.habitrpg.com
У меня 5 dailies:
hott
duolingo practice
duolingo new words
wanikani
verbitsky

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

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

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

Еще полистал Хатчера... Хочу клеить разные штуковины, чтобы было весело, а не решать глупую алгебру и функторы. Раздражают бесконечные формализмы. Есть замечательная книжка Тёрстона "Three-Dimensional Geometry and Topology" — вот чего-то такого хочется.

@0anon:
0anon

Не встречались с Л. неделю, так вышло, за это время я не продвинулся ни в топологии, ни в HoTT. HoTT я еще упорно разбирал пару дней, копался в исходниках coq, понял некоторые интересные вещи, но формально, если судить по параграфам, остался на месте. Топологию вообще не трогал. Л. за это время дорешал последнюю (четвертую) главу Виро, тем самым завершив наш план — до середины лета прочитать Виро до алгебраической топологии.

Это замечательно иллюстрирует тот факт, что я патологически не способен двигаться самостоятельно в одном направлении, работать согласно плану.

Самое ужасное здесь в том, что я не хочу продолжать учить HoTT c Л., потому что слишком много давления, мне гораздо уютнее и лучше самому. Однако если поддаться этому нежеланию, самостоятельно я заброшу HoTT через пару дней, — если разобраться, уже забросил, уже опять сижу на дуолинго, читаю книжечки, — и всё кончится ничем, как обычно.

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

Шизофрения.

As a side note, читать HoTT сам по себе — глупое занятие, нужно разбирать исходники. Для этого надо знать coq. Пока остановился на книге Coq'Art — там 200 упражнений c солюшенами — готовыми программами для coq. Посмотрим.

@0anon:
0anon

Прочитал "Защиту Лужина", очень понравилось, такое hikaru no go и a beautiful mind одновременно.
она насела на Лужина, первым делом отчитала его за окурки, находимые во всех вазочках и даже в пасти распластанного медведя, а затем предложила ему нынче же, в субботний вечер, принять у них ванну, после того, как выкупается муж. «Редко, наверное, моетесь, — сказала она без обиняков. — Редко? Признайтесь-ка». Лужин мрачно пожал плечами, глядя на пол, где происходило легкое, ему одному приметное движение, недобрая дифференциация теней. «И вообще, — продолжала она, — надо подтянуться». И таким образом создав необходимое настроение у слушателя, она перешла к самому главному. «Скажите, — спросила она, — я думаю, вы успели очень развратить мою девочку? Такие, как вы, большие развратники. А она у меня чистая, не то, что нынешние. Скажите, ведь вы развратник, развратник?» «Нет, мадам», — со вздохом ответил Лужин и затем поморщился, быстро провел подошвой по полу, стирая некоторое, уже совсем определенное, сгущение. «Я ведь вас вовсе не знаю, — продолжал быстрый, звучный голос. — Мне придется навести справки, — да-да, справки, — не больны ли вы какой-нибудь такой болезнью». «Одышка, — сказал Лужин. — И еще — маленький ревматизм». «Я не про то говорю, — сухо перебила она. — Дело серьезное. Вы по-видимому считаете себя женихом, бываете у нас, уединяетесь. Но я не думаю, чтобы скоро могла быть речь о свадьбе». «А в прошлом году был геморрой», — скучно сказал Лужин. «Послушайте, я с вами говорю об очень важных вещах. Вы, вероятно, хотели бы жениться уже сегодня, сейчас. Знаю я вас. Потом будет она ходить с брюхом, замучите ее сразу». Лужин, вытоптав в одном месте тень, с тоской увидел, что далеко от того места, где он сидит, происходит на полу новая комбинация. «Если вы хоть немножко интересуетесь моим мнением, то должна вам сказать, что считаю этот брак чепухой. Кроме того, вы, вероятно, думаете, что мой муж будет вас содержать. Признайтесь: думаете?» «Я испытываю стеснение в капиталах, — сказал Лужин. — Я бы совсем немножко брал. И мне предлагали вести шахматный отдел в одном журнале…» Тут неприятности на полу так обнаглели, что Лужин невольно протянул руку, чтобы увести теневого короля из-под угрозы световой пешки.

@0anon:
0anon

По HoTT закончил первую главу, сейчас на 2.4. "Гомотопии и эквивалентности", упражнения не решал. Глобально пока ничего не понял, а с некоторой мистикой на уровне соглашений смирился. Все доказательства очень простые и сводятся к индукции по путям, которая состоит в том, что достаточно рассматривать случай тождественного пути. В целом, довольно весело, особенно доставила концепция propositions as types (изоморфизм Карри-Говарда), оказывается это простая штука. Зависимые функции не покидают мои сны, в форме точек с привязанными к ним шариками — и стрелами, которые из каждой точки бьют в соответствующий ей шарик. По Виро мы в зверинце факторпространств. Японский таки всё. Очень хочется почитать Кострикина-Манина.

@0anon:
0anon

Не притрагивался к японскому неделю. По Виро закончили главу про топ. свойства. По HoTT сейчас на 1.6 "Зависимые пары", очень интересно. Теория типов сложнее, чем я рассчитывал — совершенно не понимаю некоторых конвенций. Авторы зато очень дружелюбные, отвечают на гитхабе на все вопросы.

@0anon:
0anon

Протащил на главную хабра ссылку на n-Category Café: habrahabr.ru
30000 человек прочитали про гомотопическую теорию типов! До Ромы Михайлова с его производными функторами в Смешариках и тремя миллионами просмотров мне конечно далеко, но надо же с чего-то начинать.
Я там в комментах с умным видом рассказываю про ETCS — было бы хорошо, если б меня кто-нибудь ткнул лицом в грязь.

@0anon:
0anon

memrise.com Статы по японскому: 736. Это скопом, там 250 приходится на одну кану, 70 слов просто фонетической записью, остальное две единицы на одно слово: запись в кандзи — смысл, запись в кандзи — произношения. Всего в сумме 50 иероглифов. У PrinceAdam 6895 итемов!

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

Внезапно же книжка по HoTT: math.andrej.com Мы начали по типам Пирса — чтобы затем понять гомотопические типы, но теперь можно удачно учить типы прямо на месте, вместе с гомотопическими штуками.

Вообще не работал неделю, всего лишь два часа в понедельник. Достать Боба Блэка и плакать!

@0anon:
0anon

Вчера и сегодня проходили связность. Японский всё.

@0anon:
0anon

Ничего нового. Существовал.

@0anon:
0anon

Опять не учил новых кандзи, только повторил старые. Наблюдаю за одним игроком на Мемрайзе — за пару дней он выучил больше тысячи слов, и я уверен, что это не бот.

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

В понедельник копал, а еще смотрел финал престолов. Мартин усугубляет мои внутренние неопределенные фобии, ощущение надвигающейся угрозы, ощущение того, что я занимаюсь ерундой, упуская из виду существенное. Нашел одно место в сериале, где это даже проговаривается явно (суть первых сезонов, если коротко: короли тратят энергию на локальные междоусобицы, не замечая пробуждения древних сил, враждебных всему человечеству) — "I tried telling your brother, he's marching the wrong way. All these swords, they should be going north, boy, not south. The cold winds are rising."

Время и комфорт делают меня всё более провинциальным.

За последние полгода сильно растолстел.

@0anon:
0anon

Тошнота.

@0anon:
0anon

25 кандзи. Жарил сосиски на костре.

@0anon:
0anon

Хорошо бы как-то привязать Мемрайз к forvo.com
Во всех японских курсах на Мемрайзе для многих слов нет произношений, на Forvo же почти всегда произношение есть. Может, клонировать мой текущий курс memrise.com добавив к нему звуки с Forvo? А когда на Forvo нет, можно брать звуки прямо от гугла, он вроде бы неплохо произносит.
С другой стороны, кана, кажется, довольно точно отражает произношение, так что реальной необходимости во всём этом нет. Но меня пугают такие треды: japanese.stackexchange.com

@0anon:
0anon

За сегодня выучил 4 иероглифа.
Солнце, луна, дерево, гора!

@0anon:
0anon

Вчера забрался на товарный поезд и проехал 70 километров.

@0anon:
0anon

Выучил 68 слов из курса Genki на Мемрайзе. Весьма глупый курс, сразу зачем-то дают слова типа だいがくいんせい (graduate student).

@0anon:
0anon

Посадил кану.

@0anon:
0anon

Читал сегодня math.ias.edu
Сегодня начну повторять кану.

@0anon:
0anon

Зарегистрировал еще один профайл на Дуолинго: duolingo.com
Португальский последний язык, который я там не пробовал, все остальные зафейлил.

С утра читал Гомотопическую топологию, застрял на задаче: придумать пару пространств, которые не являются гомотопически эквивалентными, но для которых существуют непрерывная биекция из первого во второе и непрерывная биекция из второго в первое. Не стал гуглить. Расстроился. Cмотрел TBBT.

Сейчас смотрю video.ias.edu

@0anon:
0anon

Фукс-Фоменко-Гутенмахер, страница 14, первый абзац: "база" --> "предбаза"
(Там определение компактно-открытой топологии на множестве непрерывных отображений из X в Y. Интересно, это опечатка-ошибка или они действительно так называют предбазу? Еще у меня дежавю: я наверняка уже читал это определение, запинался на нем и у кого-то спрашивал.)

На Дуолинго с недавних пор ввели механизм полос: это длина последней непрерывной серии дней, когда ты занимался. Вчера я ничего не сделал и счетчик обнулили :-( Плакал мой итальянский!

@0anon:
0anon

Сегодня опять строил. Очень устал, но, неожиданно, строить доставляет.
(Моё строительство сегодня заключалось в перетаскивании кирпича с одного места на другое.)

А давайте я вам челюсть сломаю? mancunian.livejournal.com
А вот еще, у аввы подсмотрел: rupoem.ru