The Catcher in the Rye

The modern conceptual approach to algebra starts with the description of algebraic structures by means of axioms chosen to suit the examples at hand; as for instance with the axioms of groups, rings, fields, lattices, and vector spaces. This axiomatic approach, emphasized by David Hilbert and developed in Germany in the 1920's by Emmy Noether, Emil Artin, B. L. Van der Waerden, and others became available on the graduate level in the 1930's, and was then popularized on the undergraduate level in the 1940's and 1950's...

Birkhoff G., MacLane S., Algebra, 3ed., AMS-Chelsea ed., 1999 — Preface.

В этом смысле мы всё ещё в 30-х... в лучшем случае.

Чтобы представить себе, хотя бы в самых общих чертах, те направления, в которых развивается современная вычислительная наука, полезно взглянуть на названия сборников широко известной серии Lecture Notes in Computer Science...

Математическая логика в программировании (сборник статей), М.: Мир, 1991. — Предисловие редакторов перевода.

...привет Админу от издательства Springer, многие годы включающего такую ужасную математику, которая живёт в кодировании, в серию Lecture Notes in Computer Science

it.mmcs.sfedu.ru/forum, 13.11.2008.

kid_a_2009 с удивлением говорила, что горячие головы собираются применять алгебры Клиффорда в цифровой обработке сигналов и жаловалась на абстрактность этой штуки. В принципе, поддерживаю. Каждый раз, когда садился читать главы про тензорные произведения и их вариации у Ленга и ван дер Вардена, до этих алгебр не дочитывал. В современных учебниках по общей алгебре (Hungerford, Dummit&Foote) такого (в основном тексте) и вовсе нет (всё-таки должен быть уклон в линейку). Решил посмотреть, где ещё можно прочитать про этого зверя, в чём мне, как обычно, очень помог поиск по индексам библиотеки мехмата МГУ: нашёл книжку Каруби, К-теория: Введение. Оказалось, что это в чистейшем виде универсальный объект с точки зрения теории категорий, и как таковой ( определить его довольно просто... )

но имею возможность наблюдать его через bravit@lj/friends.

Вице-спикер Госдумы от «Единой России» Любовь Слиска...: «В этот день я собираюсь пойти в храм и поставить свечку, чтобы в нашей стране была восстановлена смертная казнь, а маньяки и убийцы детей понесли заслуженное наказание»

drugoi: «Герой дня».

Не перестаю восхищаться этими людьми товарищами. Они просто какие-то фантастические.

Начинаю понимать тех, кто называет Эхо Москвы вражеской радиостанцией. Слушал выпуск новостей и просто не верил ушам:

Медведеву эсеры передали документы, в которых указывается на допущенные нарушения во время голосования 11 октября.

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

Но финальная фраза этого короткого новостного сюжета меня просто убила:

Президент заявил участникам встречи, что итоги выборов 11 октября отменены не будут.

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

Открывается какой-то вал статей по TCS: логика и CS, категории и CS, логика и категории (для CS ;)), теория типов (которая, конечно, использует логические исчисления). Все эти бёрды, миртенсы, уодлеры, рейнольдсы, жирары, не говоря уже о многих неизвестных.

Пока это всё играет исключительно деструктивную роль, «энтропия нарастает», в голове особенно. Всё-таки заниматься чем-то без руководителя до определённых пор невозможно, мне кажется. То есть это всё впустую.

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

$ ls ./Edu/Семинары\ и\ конференции/ -1
Computability
CS-interdepartment
IntelSunSchool
JMP
Marktoberdorf 2009
MMIS
NP-seminar
SciWeek
Таганрог
ТК

Казалось бы, он ещё слишком мал, чтобы заниматься тут мемуаристикой. А хочется — просто потому, что чем же мне ещё тут заниматься...

Смотрю и вижу: Adobe Reader 9.1 отражает шрифты очень тонкими, читать тяжело, evince (сборка которого есть даже под оффтопик) отображает намного чётче. Заметил уже давно, конечно; наверное, существует разумное объяснение этому факту (я даже парочку слышал), но, честно говоря, априори ставит в тупик...

Если кто-то сможет разобрать, вот пруфпик на 5 Мб.

Бывают страшные обиды на жизнь. Я столько раз обижался! Но знаете, что запоминается? Самые трагичные вещи. Даже в путешествии вспоминается то, как вы опоздали на поезд, а не то, как прекрасно вы на нем ехали. Понимаете? Вы запоминаете тех людей, кто не ответил вам взаимностью. Это самые важные для вас люди в жизни. Нужно помнить и тех, кто ответил взаимностью и любил вас, а вы тогда это не ценили. Минуты счастья. Они нам достаточны. Вот такой простой способ жизни, он самый достойный.

И. В. Дыховичный (1947–2009)

xpost from xlarina

05.13.17: ... Разработка методов обеспечения высоконадежной обработки информации и обеспечения помехоустойчивости информационных коммуникаций для целей передачи, хранения и защиты информации...

Однако я практически поступил в аспу по 05.13.11 (количество набранных на экзаменах баллов максимально).

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

Морские свинки нуждаются в питье НЕЗАВИСИМО ОТ ТОГО ЧЕМ ИХ КОРМЯТ.

(Осторожно, встречается ненормативная лексика.)

Есть первая программа на ассемблере! «Hello, world», естественно. VurtualBox — FreeDOS — NASM (текст набран в edit.exe). NASM сам сделал бинарник (обошёлся без линкёра) — что стало неожиданным поворотом событий.

Теперь можно и детей асму учить...

Вернулся из Германии. Потихоньку перестаю верить, что это было на самом деле — слишком хорошо, ярко.

... провести 4–16 августа вот здесь. Скорость движения очереди (i.e. скорость обслуживания, налаженность) в немецком консульстве просто космическая — подтверждает юридический тезис о том, что на этой территории находится кусочек Германии. 

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

Пишу из дефолт-сити. Сегодня слушал Баха, Моцарта и Гершвина в джазовой обработке. Бах был хорош. Завтра иду брать посольство (немецкое) — понадобится удача...

ЗЫ pppoe в Ubuntu это совсем не больно (вопреки ожиданиям).

Только что досмотрел. Сложно подводить итог в общей сложности шести с половиной часам монолога, а в горле стоит ком.

У меня есть только два слова: пир духа.

И много благодарностей: всем создателям фильма во главе с Олегом Дорманом и Вадимом Юсовым, Ирине Петровской и Ксении Лариной aka xlarina, которые обратили моё и не только моё внимание к этому фильму, вместе со слушателями Эха Москвы, умельцам с torrents.ru, разместившим TVRip на одноимённом ресурсе. И самая главная благодарность — самой Лилианне Зиновьевне Лунгиной за то, что она поделилась всем этим... сокровищем.

Про исключительность XX века говорят многие в разных контекстах. Почитать такой «подстрочник» к нему важно, чтобы приблизиться к понимаю этой исключительности. Напомню заезженное: «кто не помнит прошлого, тот не имеет будущего». Присоединяюсь к многочисленным советам посмотреть этот фильм, где наше общее прошлое описано отражённым в одной исключительно интересной судьбе. Есть там, конечно, и много всего важного для любого Человека (того, который звучит гордо) помимо всякой истории — именно в таком талантливо выполненном сплаве особая ценность фильма.

Написал Перевёл статью для русской Википедии: Вычислительная теория групп. Не густо, конечно, но — сколько было в английской плюс чуть-чуть. Основная просьба к сведующим людям: добавить ссылки на русскоязычные издания, если таковые вам известны.

( пруфвидео )

Спасибо за наводку Эху Москвы.

В последнее время каждый раз, когда я слышу слово «замыкание» в рамках какого-нибудь раздела информатики, я вздрагиваю и думаю, а какую топологию даёт данный оператор замыкания. Оказывается, во-первых, такая паранойя преследует не только меня, во-вторых, иногда ответ может быть «никакую» (как свидетельство того, что науки разные, следовало бы ожидать такой ответ часто).

Сегодня наткнулся на статью в Архиве: Closures in Formal Languages and Kuratowski's Theorem by J. Brzozowski, E. Grant, J. Shallit. ( А там такое... )

ЗЫ Шаллит этот интересный товарищ. В своей книжке A Second Course in Formal Languages and Automata Theory приводит высказывание «одного профессора» про второе издание книги Хопкрофта и компании «Введение в теорию автоматов...» (известной в народе как Книга золушки): «они выбросили всё самое интересное» (по сравнению с первым изданием). Выбрасывалось, кстати, для того, чтобы студентам несчастным попроще было. А мы в результате в таком положении: первое издание на русский вроде не переводилось и на английском не видно (1979 год всё-таки).

По некоторым причинам папе понадобился рутер. Рутер купили с вайфаем, и это был первый плюс: на один провод меньше идёт от моего ноута. Захотелось дотягиваться до десктопа (win←папа) и до принтера, который к нему подключён.

И получилось! Поставил smbfs, smbclient, winbind (чтобы не поднимать DNS на десктопе и не коннектиться по IP, которого я и не знаю вообще-то, а по win-имени десктопа). Подредактировал /etc/samba/smb.conf (прописал win-«рабочую группу») и /etc/nsswitch.conf (дописал в hosts значение wins с той же целью, что и ставил winbind).

Принтер создался совсем просто: в стандартом диалоговым окне Принтеры — Создать есть пункт «сетевой принтер через Самбу». В качестве пробной страницы распечатал текст упомянутой песни.

Под Виндовс нужно добавить в share диски, папки и принтеры: это всё делается одинаково просто: правый клик — Свойства — Доступ и там ставить все возможные галочки.

Учитывая полную мою серость в вопросах компьютерных сетей, я просто-таки горжусь собой!