?

Log in

No account? Create an account

[icon] /^.in$/
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (/me (домен, хотящийся в углу комнаты)).
You're looking at the latest 32 entries, after skipping 96 newer ones.
Missed some entries? Then simply jump back 32 entries or forward 32 entries

Tags:
Security:
Subject:Хаята же
Time:04:15 pm
Тысяча чертей разбери сундук мертвеца! или в новом опенинге Хаяты «Мое-Мое-Кьюн!»:


И вообще опенинг полон фансервиса, да такого, что в ЖЖ страшно выкладывать, засуспендят же.
моар (safe ones)Collapse )

Олсо, я пришел к выводу, что Хаята — унисекс/ассексуал (и, как всем и без меня известно, иногда трап), потому что иначе зачем он обычно носит риббон:

если в их академии форма предусматривает галстук?

Фушиги мисутериосу на но да!
withComments $ arr (take 5) >>> delay new

Tags:,
Security:
Subject:Метасны и юристы
Time:12:24 am
В прошедшую субботу обсмотрелся басквоша, в воскресение играл в соника на Хкоробка полныйкруг. Той ночью мне снились гонки на выживание на бигфутах в стиле беготни соникоигр.
В понедельник весь день думал над придуманным утром утверждением: «в современном (по крайней мере в этой стране) обществе среднестатистический человек, с некоторыми оговорками, имеет не больше прав, чем раб при рабовладельческом строе». Потом всю ночь снились безнаказанные убийства.
Забавно. Вообще забавно, что стали так часто снится сны. И ещё более забавно, что я хотя бы примерно запоминаю их сюжет (обычно после постановки ног из кровати на пол всё куда-то улетучивается).

А ещё юристы наверняка прутся с текущего аниму-сезона.
withComments $ delay new

Tags:,
Security:
Subject:Серокрылая номер раз
Time:01:09 am

moarCollapse )
withComments $ arr (take 9) >>> delay new

Tags:,
Security:
Subject:Вебанутая ненависть
Time:02:17 am
Почему-то меня напрягает браузер, отжирающий 700 Мегабайт оперативной памяти. Последний айсвазель.

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

И вот подумалось мне, что как круто было бы, если бы долго неактивные табы автоматически скрапбучились и вымещались нафиг из оперативки, а при обращении восстанавливались обратно.
Далее нужно, чтобы какие-то табы можно было заморозить, тогда при восстановлении они просто читаются с диска и всё.
А какие-то могли бы ещё и автоматически релоадится.

Таким образом, вариант с заморозкой заменял бы собственно сам скрапбук, а вариант без заморозки — обычные букмарки. А что там можно уже делать с табами (пичкать их тегами, сортировать, леанирезовать дерево, искать по табам, etc) можно было бы оставить на совесть разработчиков.
Просто вот непонятно же, почему табы, букмарки и скрапбук делают примерно одно и то же, а сущности разные. Непорядок.

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

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

Допустим мы заскрапбучим страничку вместе со скриптами, тогда в следующий раз, когда мы её откроем, версия API на сервере может не соответствовать API, подразумеваемому старой версией скрипта.
Если заскрапбучим без скриптов, то новая версия скриптов, добытая с сервера при следующем открытии, может не понять старую заскрапбученную версию разметки страницы.
Полностью отключать скрипты — не вариант, а то вдруг они там сворачивают/разворачивают какие-то куски на странице, или, например, рендерят «скрытые» от ботов емайлы.
Заметим также, что MIME-тип тут не поможет (определяет метод интерпретации, а не атрибуты данных), а парсить жаваскрипт на страницах в попытках эмпирически определить его «аяксовость» и ещё какие-нибудь полезные свойства — просто маразм (хотя именно это и делают разные плагины типа NoScript для файрфокса, но у них искомые свойства скриптов достаточно простые).

А вот с большой колокольни можно смотреть на веб-страницу, как на функцию, имеющую тип Reader-подобной монады, где в спрятанном состоянии изначально находятся все значимые для отображения статические данные (адрес страницы, её HTML-код, инклуженные ресурсы, etc), телом этой функции является код «JavaScript», функциями-членами этой Reader-подобной монады являются функции для работы с DOM, а удалённые запросы делались бы через какой-нибудь «liftAJAX».
Тогда, если наша система типов ещё и является dependent-typed, то браузер, скомпилировав полученные от сервера данные, мог бы сразу и чудесным образом вывести все необходимые свойства этой веб-страницы, руководствуясь только типами базовых функций (типа liftAJAX). Тогда «политика безопасности» была бы просто набором типов для этих базовых функций, а браузер мог бы при компиляции через зависимые типы выводить вообще только один бит информации — Safe | NotSafe. В тоже время, если браузер хотел бы выводить какие-то другие свойства, то собственно этому «JavaScriptу» на странице вообще ничего об этом не надо было бы знать.

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

То, над чем надо подумать. Допустим, мы заменили JavaScript на стековую машину (потому что, что императивный, что функциональный код в неё хорошо компилируется, и всё равно умные браузеры производят подобную компиляцию сами, а так ещё можно этот процесс возложить на создателей скрипта) со всякими интересными операциями а-ля, упомянутый выше, liftAJAX. Можно ли доказать что-то интересное о программе, записанной в этом коде, при условии, что машина может иметь любые операции, и можно положить любую систему типов на эти операции? Казалось бы вопрос интересный, поскольку рассматривая код этой машины не как «просто стековый ассемблер», а добавив туда какие-то операции, манипулирующие типами, может быть можно было бы получить что-то интересное (хотя я сам не очень понимаю что и как). Как-то мутно.

Я мог где-то тут выше ошибиться, так что вот, такие дела.
withComments $ arr (take 5) >>> delay new

Tags:
Security:
Subject:От текста к звёздам
Time:02:03 am
В последние несколько месяцев (лет?), на фоне посвящения себя во всё большее количество различных языков, у меня сложилось убеждение, что все современные инженерные проблемы в компутер сайанс происходят от недостаточных языковых абстракций. Сейчас я тут говорю о натуральных языках, а не языках программирования.

Пожалуй, окончательное понимание смысла жизни мне пришло после изучения персидской и более ранних клинописей.
Для всех изученных мной языков, фактом является то, что форма глифов их символов имеет чисто визуальные корни. Например, из книжки по иероглифическому письму я узнал, что латинская «A» — это корова (если перевернуть вверх ногами, то ножки станут рогами), а «S» — горы (если повернуть на 90 градусов). То есть вся письменность изначально была иероглифическая, а позже, повинуясь желанию людей писать много и быстро она упрощалась и спрямлялась. В результате получились сохранившиеся до сих пор китайские иероглифы (для которых существуют хронологии трансформаций символов, демонстрирующие как, например, изображение птицы превратилось в иероглиф 鳥), несохранившаяся клинопись, египетские иероглифы, латинский алфавит, а также, всякие другие письменности о которых я почти ничего не знаю (например, вязь).
Почему люди, придумавшие латинский алфавит отбросили смысловые значения глифов (типа «S <=> горы»), а сделали их только звуковыми — для меня остается загадкой, но мысль была весьма здравой, поскольку, например, носители языков со слоговым письмом очень плохо усваивают звуковой алфавит, а владеющие звуковым с легкостью осваивают слоговой. Конец введения.

Вооружившись этими знаниями у меня возникает сразу куча вопросов. Рассмотрим, например, такую интересную штуку как «БОЛЬШИЕ БУКВЫ». «Большого» иероглифа 鳥 нет, вообще для иероглифов нет деления на «прописные» и «строчные». В клинописи тоже нет такого деления. Зато и клинопись и китайские иероглифы сначала писали справа налево в столбики, а потом стали слева направо в строчки. Короче, я веду к тому, что прописные глифы символов оправданы только удобством деления предложений при чтении и, на самом деле, являются такими же элементами типографической разметки, как и переносы, курсив, полужирный, подчёркивания, перечёркивания и выделение цветом.
Однако почему-то символа, обозначающего букву «а», написанную салатовым курсивом («а») в таблице UNICODE нет, и чтобы её получить мне пришлось написать пару HTMLных тегов, а зато прописная буква «А» и символ смены направления теста в таблице UNICODE почему-то есть.

Теперь рассмотрим символ « » (пробел), который, по сути, является символом «предыдущее слово кончилось». Почему его нельзя использовать в URI? А почему символ «.» (точка), который означает «предыдущее предложение кончилось» в URI использовать можно? Потому что когда-то компьютеры были большими, а программисты, которые для них писали программы, не знали другого языка кроме английского. Так получился великий и ужасный ASCII, соблюдая обратную совместимость с которым, и не желая абстрагироваться от тупого кодирования всё новых и новых символов в таблицу UNICODE мы имеем все те чудесные проблемы, которыми наслаждаемся ежедневно, впечатывая в строку браузера что-то типа somedomain.org/some%20file.txt.

На мой взгляд, автоматическое преобразование из
это первое предложение. а это второе предложение

в
Это первое предложение. А это второе предложение.

не является столь уж непосильной задачей. А если надо специально что-то написать БОЛЬШИМИ БУКВАМИ, то и следовало бы ввести для этого специальные способы разметки.

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

Итого. Я постарался объяснить почему UNICODE — это плохо (кратко: поддерживает обратную совместимость с кошмарным ASCII, невозможно добавить новые символы), и что именно из проблем UNICODE вытекают проблемы современного представления данных, на примере URI, однако сюда же можно отнести и регулярные выражения (эскейпинг специальных символов достаточно часто используемыми символами), и теги HTML/XML (я хочу писать «>_<» по-человечески!), и прочие смешения мух с котлетами.

Что делать? Отделить котлеты от мух. Ровно так, как это делается в PostScript и DjVu.
По сути каждый символ (в самом низком представлении данных) — целое число. То как следует «понимать» и «рисовать» этот символ описывается таблицей соответствий (в рассматриваемом выше случае — таблицей UNICODE). Если разрешить определять свои таблицы, то можно разрешить определять и свои символы и свои глифы (и так оно и сделано в PostScript).

Например, будем кодировать текст символами не таблицы UNICODE, а давая глифам произвольные номера. Для того чтобы нарисовать такой текст, будет достаточно обеспечить его таблицей соответствий наших номеров глифам их символов, т.е. мы как бы «вшиваем» подмножество шрифта, которым этот текст должен быть отображён, в сам документ. Да, тут есть некий оверхед, но PostScript так делает и все довольны. Кроме того, если мы используем только символы таблицы UNICODE, то можно научить наше представление сообщать об этом, чтобы лишнего оверхеда вообще не было. Но это все технические глупости.

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

Теперь слегка абстрагируемся и перейдём от термина «таблица» к термину «функция» и вернёмся к таблице UNICODE.
По сути UNICODE — является функцией (отображением) из целых чисел в «смысл символов». Если посмотреть на его спецификацию, то он ровно так и устроен:
...
U+0041	LATIN CAPITAL LETTER A
U+0042	LATIN CAPITAL LETTER B
U+0043	LATIN CAPITAL LETTER C
U+0044	LATIN CAPITAL LETTER D
U+0045	LATIN CAPITAL LETTER E
...
U+00B3	SUPERSCRIPT THREE
U+00B4	ACUTE ACCENT
U+00B5	MICRO SIGN
U+00B6	PILCROW SIGN
U+00B7	MIDDLE DOT
U+00B8	CEDILLA
U+00B9	SUPERSCRIPT ONE
...

Также любой UNICODE шрифт, в свою очередь тоже является некоторой «функцией смысла», только на этот раз этот смысл — глиф символа.

Представим теперь, что у нас нет глобальной функции смысла (таблицы UNICODE), и рассмотрим ситуацию нескольких вычислительных процессов, где каждый из них имеет свою собственную функцию смысла. До тех пор пока эти процессы работают каждый над своим набором данных (символов) и пользуются только помощью своих функций смысла для выполнения каких-то задач (например, отображения текста на экране), то никаких проблем не возникает (каждый процесс преобразует текст в набор пикселей, а ОС этот набор рисует). Однако, как только два процесса хотят обменяться данными (например, я хочу сделать copy-paste из PostScript документа в текстовый редактор), то им необходимо соблюсти условие эквивалентности по Лейбницу (неразличимость) их функций смысла на множествах используемых ими символов. Например, если у меня есть просмотровщик документов и текстовый редактор, то при копировании текста из первого во второй им следует договориться о глифах символов, передаваемых через буфер обмена.

Можно сказать, что это всё элементарно, но если мы реализуем «функции смысла» и поддержание их неразличимости на общих данных между различными вычислительными процессами, то система получается куда более мощная чем UNICODE. Ведь до тех пор пока мы только читаем текст нам вообще не нужно соблюдать какие бы то ни было условия, кроме эквивалентности глифов одних и тех же символов в разных приложениях. А что-то столь же большое как UNICODE требуется только при поиске (потому что поиск — это обмен данными того кто ищет со всеми у кого он ищет), в свою очередь проблема создания такой глобальной функции смысла для организации поиска является локальной проблемой кластеризации, а не работой некой организации, порождающей огромные таблицы соответствий, на которые никак невозможно повлиять обычному индивиду. И на мой взгляд это тоже своего рода часть свободы слова: свобода символа и свобода глифа. С UNICODE такой свободы нет.
Многие ли из вас хранят на винчестере документы на пяти языках и больше? Я — нет. А тогда нафига мне нужны 200 мегабайт шрифтов, если мне достаточно двух процентов от всех этих символов?

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

Короче, можно сказать, что я тут описал своего рода Freenet, но для символов.

Такие дела.
withComments $ arr (take 31) >>> delay new

Tags:
Security:
Subject:План летом наваристее
Time:01:16 am
Ближайшую неделю провожу дома наедине с жёлтой собакой и белой кошкой, потому что все остальные сожители уехали в Европу. Вообще, будь я один, я бы жил и без кошки, и без собаки, потому что я сам могу два дня не есть, а они нет. А готовить лень.
Зато кое-какие неоспоримые преимущества жизни всё же остаются: можно не мыть посуду (ура!), можно не закрывать двери в туалет/вторую прихожую (ура!), ни за какими ресурсами нет очередей (ура!), можно жрать всё подряд и не думать, что с кем то надо делиться (ура!), а ещё можно, например, открыть банку со сметаной, зажрать её часть ложкой, а потом эту ложку же в банке и оставить, и не парится гигиеническими соображениями (ура!). Зато на третий день обычно всё, что можно не готовить, заканчивается (блин!) и приходится готовить самому (блин!), а животным тоже надо готовить, пусть и раз в два дня (блин!). Зато можно пожить целую неделю по двадцати восьми часовым суткам (ура!).
К выполнению последнего пункта я приступил ещё в субботу, потому у меня есть стойкое ощущение, что сегодня воскресение. Везде обман.

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

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

А вот ещё кажется в октябре (5 — 9 числах) нагряну в нерезиновую Москву для участия в конференции «Методы и средства обработки информации» в МГУ (вай, как пафосно же ^////^). Остальные подробности, видимо, ближе к октябрю.

Такие дела.
withComments $ arr (take 6) >>> delay new

Tags:,
Security:
Subject:Общественный транспорт? — публичный позор
Time:03:21 am
Неделю назад я пришёл к выводу, что Петербургскую окружную-кольцевую дорогу надо разобрать обратно.
Напомню, что когда-то Таллинское шоссе было в две полосы шириной. Потом кусок от Лигово до Волхонского шоссе и двести метров после расширили до четырёх полос, заодно вокруг понастроили (и всё ещё строят) связок-развязок с кольцевой. За это же время, видимо, количество машин на дорогах увеличилось больше чем на две полосы.

Три года назад промежуток от Лигово до Волхонского шоссе в пробке можно было стоять, ну, максимум, десять — пятнадцать минут.
Восемь месяцев назад там можно было стоять минут сорок.
Неделю назад в автобусе за сорок минут я проехал примерно двести метров, после чего мои нервы не выдержали и я попросил водителя меня выпустить и пошел пешком прямо по середине дороги с двумя проезжими частями и восемью полосами. Все восемь полос в обе стороны стояли. А я шёл. Водители встречной полосы открывали окна и спрашивали: «Много ли там ещё впереди?» Ой, много. Короче, домой я дошёл быстрее автобуса раза в три, то есть я уже несколько часов был в интернетах, а автобус небось только к моей остановке подъезжал (из расчёта средней скорости движения потока).

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

Так вот, если пробка от Лигово до Волхонского ещё понятно почему (четыре полосы сужаются в две после Волхонки), то пробка от меня до Волхонки вообще на пустом месте. Суть такова: есть Таллинское шоссе (две полосы), есть деревенская раздолбанная дорога (0.5 полосы), которая идет этому шоссе параллельно. На эту тропинку можно свернуть на ближайшем ко мне перекрёстке, а вывернуть обратно на шоссе примерно на два с половиной километра ближе к Волхонскому шоссе.
Представим себе ситуацию: плотный поток машинок (ведь теперь с Волхонки можно въехать на кольцевую, а потому этот поток за последние несколько лет увеличился раз в пять, а дорога в толщине не поменялась), всегда находятся дибилы, что лезут куда не надо, тут бац и авария, из плотного потока получается плотная пробка, что делают оставшиеся дибилы из пробки? правильно, они тучами лезут на раздолбанную деревенскую дорогу в 0.5 полосы (тем самым делая её ещё более раздолбанной, но это не самое страшное). См. рис. 1.
Теперь рассмотрим выезд с деревенской раздолбанной дороги обратно на шоссе. Шоссе — две полосы, раздолбанная дорога при повороте на шоссе — одна полоса. Итого — три полосы. Поскольку по раздолбанной дороге всё равно движение быстрее чем по шоссе, то на перекрёстке, где они встречаются, получается загруженный нерегулируемый перекрёсток, где по главной дороге под завязку заняты две полосы, да ещё и со второстепенной лезет поток в одну полосу. А потому движение по Таллинскому шоссе замедляется в полтора раза ((2+1)/2), в результате ещё большее количество дибилов лезет на раздолбанную дорогу, тем самым ещё замедляя движение по шоссе, ну и так далее до полного дедлока (ещё одной аварии).

-------------------------------------------
      -> Таллинское шоссе ->
-------------------------------------------
   |                                    |
   --------------------------------------
    -> деревенская дорога ->

                «Рис. 1.»



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

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

Ладно, ведь настоящий /tr/фаг скажет, что «всё это — фигня, ведь поездка электричкой решает все эти проблемы за шесть минут и тридцать восемь секунд». Проблема заключается в том, что летом РЖД совсем охреневает и убирает пятидесяти процентную скидку для студентов. А за неполный полтиник (в два раза дороже маршрутки!) в электричке я бы не стал ездить, даже если бы мне платили в десять раз больше, чем сейчас. Т.е. РЖД хочется взять и уеばть, взять и уеばть! Потому что, например, если ехать до Крестовского острова, то машиной получается дешевле, чем электричкой, а потом в метро. Маразм! И после этого не удивительно, что как только у людей появляются бобы, они сразу бегут покупать машинку. И вообще я не верю, что такая цена билета на электричку хоть чем-то оправдана. Не может личный транспорт стоить дешевле общественного на такие расстояния.

Такие дела.
withComments $ arr (take 18) >>> delay new

Tags:,
Security:
Subject:От преподавателя студентам и белые пятна
Time:01:07 am
Пить/курить непосредственно перед сдачей зачёта/экзамена — фейл. У преподавателя есть нос.
Не сказать «спасибо» после получения оценки в ведомость/зачётку/etc — фейл. Документирование оценки требует повышенной концентрации и там есть за что благодарить, не говоря уже о обычной вежливости.
Оправдывать незнание предмета кризисом, работой, заботой о семье/детях/племянниках/внуках — фейл. Со мной один раз в жизни была такая фигня, когда я приличное количество времени (три, кажется, недели) присматривал за пожилым человеком, которому нужно было постоянное внимание, но даже тогда я что-то делал на благо науки. Так что не бывает студентов, которые в течении семестра не могут уделить полтора часа в неделю на нужды самообразования. Если нет возможности самому присутствовать на лекции, то всегда можно заняться самообразованием по её материалам. Хотя бы и в выходные.

Таки приняв сегодня пересдачу своего предмета (6 часов подряд) съел пару булок, запил стаканом пепси (буэ! но выбора особо не было) и пошел в сторону тренировочки кендо. Серьёзные физические нагрузки и такое питание — вещи несовместимые. Меня два часа потом тошнило, примерно сорок минут я почти ничего не видел (расфокусировка и «белые пятна по всему экрану», особенно в правом глазу (кстати, это особенно бесит, когда два глаза вдруг оба сразу видят очень плохо, но по-разному)), что, кстати, ужасно напрягает, потому что даже крупные надписи на уличных вывесках не прочесть, не говоря уже о ценниках в магазине, и вообще, у привыкшего читать всё до чего дотягивается взгляд вызывает состояние близкое к панике. Ну и голова болит до сих пор.

Вот.
[ok] Поплакаться в жжшечку.
[??] Уснуть.

Такие дела.
withComments $ arr (take 28) >>> delay new

Tags:
Security:
Subject:Аниму радости и уныния псот
Time:01:01 am
Что-то стал смотреть всякие онгоинги ещё до появления субтитров. Разница в количестве понимаемой болтовни в разных сериалах настораживает.
В бейсбольных девочках я понял всё кроме двух предложений отца главной героини, а в зетсубо от первой половины серии, не знаю, треть, зато вторую — ок.

Олсо, по-моему стиль рисовки слегка поменялся с Zoku сезона (в Goku там тысячи стилей, потому говорить сложно же), какой-то более упрощённый стал что-ли. Задники примитивные и теней почти нет. Впрочем, сузуку ва ваку ваку.

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

И ещё интересно, вот меня прёт этот «японизм» Сенсея, но неужто самих ниппонцев с него также прёт?
withComments $ arr (take 10) >>> delay new

Tags:
Security:
Subject:Телефон будете потреблять?
Time:04:00 pm
Это не секрет, что у меня, как у чоткого поцона, есть чоткое мобилко (Nokia 5200). Где-то в архивах сего жж даже можно найти место её появления.
Но я не об этом. Меня забавляет тот факт, что 99% времени её использования приходится не по назначению. В среднем в месяц я пишу одну СМСку и делаю два телефонных звонка, остальное время она служит как плеер (с весьма противным качеством, но таскать ещё и КПК только ради музыки мне лень) и будильник (каждый божий день кроме воскресения, а также в электричках, чтобы свою остановку не проспать), а в последнее время, всё чаще, как место для заметок.

Выглядит это как-то так: иду куда-то (обычно из универа до какого-нибудь метро, так чтобы через весь город, или вообще от универа пешком домой) или просто еду в метро/электричке, вижу какой-нибудь абсурд, делаю короткую заметку. Или просто стою на месте, вагон метро едет, я думаю, бац — хорошая мысль (например, о том, что в зависимой системе типов можно выразить исключения, которые делают соответствующие объекты невалидными и последующие обращения к этим объектам будут отвергаться компилятором), записал.
Еще там бывают «сюжетные» мысли для гайдзин-манги, которую я всё как-нибудь хочу начать производить, но каждый раз очередная умная статья с математическим уклоном отбивает у меня это желание.
Ну и, наконец, там записаны всякие имена (потому что, пожалуй, единственное на что у меня плохая память — это на имена) людей от которых мне что-то нужно (например, художники, чьи работы меня заинтересовали, будучи в музее, и я хотел бы потыкать их ещё и в интернетах), ну и всякий рандомный стафф, типа списка автобусов, которым можно доехать до Колпино, веб-адреса, подсмотренные у кого-то и которые надо бы внести в закладки своему браузиру, и игры словами, которые мне показались интересными, будучи услышанными или придуманными лично.
Однако самое весёлое это потом расшифровывать короткие (потому что печатать на телефонной клавиатуре в слепую не умею) записки типа «рекурсивный лист в папке» в то, что они значили, когда в эти заметки вносились. Это оказалось на удивление забавным занятием угадывать состояние своих мыслей по такому короткому текстовому отпечатку. Сродни разгадыванию значения кандзи, когда все ключи известны, но логика их связей абсолютно не очевидна.

И вот я уже две недели хотел написать в жж список абсурдов, собранных в дороге, но сейчас подумал, что как-то там всё нифига не абсурдно. В основном там различные вывески и рекламы для туристов в центре города (типа «Релакс ин рашан стайл» и картинка, где три девушки в традиционных нарядах жрут чёрную и красную икру) и местная социальная реклама, которой, кстати, в последнее время стало меньше (кризис, да?). И если раньше она часто была на тему «милицию надо ценить и любить, а не бояться» (например, «Участковый от слова «участие»», а я, кстати, всегда думал, что от «участок»), то сейчас всё больше о том, что надо пристёгиваться в машине и, что «счастье — это семья».
А вот зато недавно в метро увидел рекламу о том, что ходить мимо канализационных люков надо с опаской, потому что асфальт под ногами может прохудится и обвалится, а несчастные, оказавшиеся в этот момент сверху могут сварится в кипяточке. И подумалось мне, что это ужас же, что такая реклама в метро висит. Нет, ну я понимаю, что «предупреждён — значит вооружён», но что это будет, если все вдруг начнут обходить люки стороной. Это словно признание властей города о своей немощности в отношении решения проблем водоканального свойства. И ведь главное, там внизу это же предупреждение по-английски написано. Ужас.
Видя такие абсурдные вещи каждый день так к ним привыкаешь, что даже потом на них внимание перестаёшь обращать. И это очень печально, я считаю.
withComments $ arr (take 2) >>> delay new

Tags:
Security:
Subject:Я хотел написать что-то содержательное
Time:12:04 am
а напишу строчку на bash. Называется «угадай мелодию» или «UNIX-шаффл».

mplayer "`locate mp3 | egrep '*.mp3$' | head -n 1000 | sort -R | head -n 1`"


Магические константы можно менять по вкусу. Так и развлекаюсь.

Решил тут собрать всё нужное, но не видео/музыку/картинки/мангу с девяти винчестеров в одну кучу, чтобы засунуть в один магический меркуриал на сервер, а нужные куски ещё и rsyncом синхронизить с соответствующими девайсами.
Потому что, например, надоели файлы в ~, с названиями типа «SOMERANDOMSHIT», «AOEUF», «BFFF», а засунуть всё их содержание в один большой файл и ввести на нём доступную историю изменений — это профит.
Туда же полетит бекап записей жж, календарь, остатки TODO, различный говнокод и т.п.

А вообще я подумал, что было бы клёво иметь какой-то версион контрол, в который можно было бы без страха совать произвольный контент.
Просто если объект большой (например, видео-файл), то хранить только последний чекпоинт и небольшой (скажем, не больше 10% от размера чекпоинта) backlog (можно даже ограничится только хранением переименований объекта, а копию объекта для diffов не хранить вообще), а при его удалении удалять и чекпоинт и историю. Если объект маленький — то хранить всю историю, чтобы при удалении текущей версии история не исчезала (как в mercurial/git/svn/etc).
withComments $ arr (take 4) >>> delay new

Tags:, ,
Security:
Subject:Плакаю, брызгаю и пишу кровью
Time:08:38 pm
Тут я ссамарияйзу события последней недели.

Допринимал экзамен у третьего курса. Семь часов насилия студентов над моим неокрепшим экзаменаторским умом.
Зато обнаружил в себе способность быстро искать противоречия в чужих логических системных архитектурах (это когда студент нифига не знает, но на ходу чего-то сочиняет, и нужно быстро объяснить почему то, что он сочинил не будет работать). И ещё я слишком добрый, впредь буду строже.

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

В пятницу ездил за зачётом по культурологии в Петергоф. Было две экскурсии: по островам (Царицин и Ольгин) и в императорский коттедж в Александрии.
Коттедж очень понравился, он во время войны почти весь сохранился и построено там всё ок.
А оба острова какие-то недостойные. Во-первых, там почти ничего кроме стен подлинного не осталось, и мебель и скульптуры — почти всё подобрано «во вкусе того времени из современных образцов».
Во-вторых, поскольку оба острова построены для девиц императорской семьи, то и построены они как-то не серьезно, по-девичьи, эдакие кукольные домики, где всё стилизовано, скажем, под римскую виллу, но практическое значение архитектурных элементов в местном климате теряет свой смысл, а потому мне всё это кажется каким-то диким.

Посмотрел «Eden of the east» (начало — ок, конец — бред; краткое содержание (ОСТОРОЖНО СПОЙЛЕР!): 20 000 раздетых до гола NEETов с мобилками и ещё один крутой перец с крутой мобилкой, которая умеет звонить очень умному компьютеру™ могут спасти японию от любых извращенцев), начал смотреть «Asura Cryin» (кончил 5 серий, пока ок) и «Pandora hearts» (про это отдельно).
Так вот осилил 5 серий Пандорных Сердец. Сюжет: очередная большеглазая интерпретация Керролла (когда же эти японцы уймутся, а? им самим не надоело?), снова «контракт», снова симбиоз двух организмов из разных измерений во благо эгоистических целей каждого, с последующим развитием межличностных отношений и возникновением вопроса о возможности любви между людьми и «демонами» (это я только пять серий посмотрел, там ещё этого развития нифига нет, но уже можно догадаться чем всё это кончится. ммм, я могу сходу назвать десяток похожих аниму, это уже штамп, или ещё нет?).
Что касается визуальной части, то закос под готишную архитектуру тоже какой-то дешёвый (моси-моси! художники, откройте же какую-нибудь книжку с приличным готическим собором!), дизайн персонажей — вроде бы ничего выдающегося, но в общую стилистику вливается. Я тут ещё было написал про неоправданность дизайна причёски Алисы, но забил. Общее впечатление от рисовки положительное, но на фонах местами экономили.



И ещё энкодерам из Hatsuyuki надо руки поотрывать.
Вот и после всех этих гадостей я скажу, что смотрю это аниму с такими *_* вот глазами и ушками на макушке, потому что голоса сейю просто офигенно подходят под образы персонажей. Сабер/Нодаме в роли Алисы — МОЭ!

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

P.S. А за окном снова дождь, и снова интырнеты нифига нормально не работают. >_<
withComments $ arr (take 13) >>> delay new

Tags:
Security:
Subject:iЭкзаминатор
Time:09:38 pm
Принимал сегодня экзамен у третьего курса. Понравилось. Завтра ещё пойду.

А вообще в «наши времена» небеса были выше, а трава зеленее.
Впервые в жизни встретил столь массовый метод попытки сдачи экзамена, охарактеризовываемый как-то так: «Не буду ни фига учить, но приду, а то вдруг халяву раздают».
Когда этим принципом руководствуется 1-2 человека с курса, то это ок, но когда собственно что-то сдают около десяти, а ещё столько же специально приезжают в универ только для того, чтобы присутствовать в аудитории на случай дармовой раздачи оценок (и не получив их снова расползаются по домам). О. Давно я не был так впечатлён.
Такую бы целеустремлённость да в правильное русло. ууУУ.
withComments $ arr (take 30) >>> delay new

Tags:
Security:
Subject:Кажется в меня стреляют
Time:08:04 pm
Проснулся утром от шума за окном и желания сходить в уборную. Потом было два выстрела из гаубицы, автоматные очереди, какие-то взрывы, запуски сигнальных ракет, теперь если открыть окно, то слышно как хором орут солдатики, тысячи их.
Не знаю, учения там или просто показуха какая-то, но денег налогоплательщиков на этот концерт уходит, видимо, не мало.

Да, кстати, я живу недалеко от двух полигонов (один испытательный, и хрен знает ещё какой), одного интересного исследовательского института и одной военной части. А если есть желание бродить по лесу, то там иногда можно встретить живые танки, или, как минимум, следы от гусениц. Что, кстати, весьма удивляет, потому что я когда-то думал, что вся деятельность в этом направлении давно уже тю-тю. Ан, нет.

Такие деревенские дела, вот.

P.S. Лузерпик посвящается нанощам.
withComments $ delay new

Tags:
Current Music:IOSYS — Shall we ”IOSYS”?
Security:
Subject:Свобода же
Time:10:20 pm
И все экзамены сданы, и защита ок. Если бы не преподавательские обязанности и один полученный, но не проставленный в зачётку, зачёт (за которым ещё хрен знает когда и куда ехать), то свобода.
Только меня это совсем не радует.

Взглянув в недалёкое прошлое. Моя реакция на окончание учебного года:
в школе — «ААААААА! УРА КАНИКУЛЫ! Что же я буду делать в универе, там же всего два месяца каникул, а не три, как в школе? Ужас же!»
на первых двух курсах — «ААА! УРА КАНИКУЛЫ!»
с третьего курса и до сейчас — «Быстрей бы сентябрь.»

Потому что скучно, когда ни фига не надобно. Но это лето я решил посвятить полезному делу: зазубриванию материалов по метаматематике стенфордского университета и курсов матанализа и функционального анализа, читавшихся у нас.
Только математику по-английски я как-то с большим трудом перевариваю, все эти их обороты типа русских «тогда и только тогда, когда», «если то, то это», или, например, «this means that P must be true if there is a proposition Q such that the truth of P follows from the truth of if P then Q», я вообще не уверен, что даже правильно распарсить это выражение могу. И это печально.
withComments $ arr (take 13) >>> delay new

Tags:
Security:
Subject:Погода
Time:04:24 pm
Что-то все пишут о этой ужасной питерской погоде, дайте и я напишу.

Я НЕНАВИЖУ ЭТОТ ДОЖДЬ! Не из каких-то там призрачных соображений, что там холодно, или там мокро, или там противно, ибо я дома сижу же.
Просто у меня интырнеты едут через всеми любимый Avangard-DSL. А телефонная коробка, что на углу улицы стоит, весьма старая.
Догадываетесь к чему я клоню? В дождь в неё водичка «кап-кап». Если снять трубку то там «фшшшшшфшшшшшшш» вместо гудка. А в интырнеты проходит примерно только каждый пятый пакет. Это, впрочем, не мешает работать торрентам (ошибок много, но ок), а вот сёрфинг превращается в сплошное нажимание F5.

Зато и у меня есть объективная причина плеваться в сторону местных дождевых богов, сидя в уютной комнате. Такие дела.
withComments $ arr (take 4) >>> delay new

Tags:,
Security:
Subject:Очередной пост с глупым математическим юмором
Time:10:06 pm
Действующие лица:

Я — я.
Е — однокурсник.
Д — однокурсник.
А — однокурсник.

Действие происходит в левом аквариуме.

Д: — Вот в твоей бакалаврской есть какая-нибудь теорема и её доказательство?
E: — Нет.
Д: — Значит твоя бакалаврская — говно.
E: — А разве наличие какой-нибудь теоремы с доказательством делает любую бакалаврскую не говном?
Д: — Нет, наличие теоремы и доказательства — условие необходимое, но не достаточное.
Я: — Хорошо, тогда, допустим, я напишу бакалаврскую со следующей теоремой:
«Теорема. Эта бакалаврская — не говно.
Доказательство. Тут есть доказательство.»
Д: — *через смех* Это, сука, парадокс!
*3 минуты ржача всем аквариумом*

*.... какая-то болтовня о теме диссертаций в институте физкультуры ...*
E: — Ну так ведь на нашей кафедре делают элитных специалистов!
A: — Ладно, в какой области ты считаешь себя элитным специалистом?
Я: — Ну если продолжать предыдущую логику, то как на счёт «элитного специалиста в области считания себя элитым специалистом»?

Два раза подряд уже не очень смешно, да.
Но зато мораль: ответ на почти любой вопрос можно свести к какому-нибудь парадоксу теории множеств.

Меня удивляет другое, откуда в моей голове появляются эти парадоксальные утверждения, когда я просто сижу и слушаю чужой диалог. Я даже не думаю о том, что они там говорят. Просто в какой-то момент — бац, и рот сам открылся и сказал, а я искренне посмеялся со всеми над своей же шуткой.
Раздвоение личности? Таки мозг — штука мистическая.
withComments $ arr (take 1) >>> delay new

Tags:,
Security:
Subject:Вам письмо!
Time:12:55 am
А вот пришла посылка с богу. А в комнате как всегда беспорядок, что на полу, что на стенах.

Закрыто. Кстати, что EMS делают с коробками? В футбол ими играют что ли.


Моар фоточекCollapse )
withComments $ arr (take 32) >>> delay new

Tags:
Security:
Subject:О какой-то лямбда-фигне и недостатке формализма
Time:06:41 pm
Current Mood:горячее желе вместо мозга
Сегодняшнюю ночь-день закопал в чтении умных книжек по теории типов и всяких статей и блогопостов умных дядек, которые этими вещами занимаются. Меня теперь не покидает ощущение, что я последние полтора года занимался фигнёй.
Просто вот оказывается дофига идей, которые приходили мне в голову случайным образом в разное время (например о вычислении функций от «числовых» аргументов результатами которых является тип, или о внесении в тип функции представлений об её алгоритмической сложности вычисления, потребляемой памяти и тому подобного) уже кое-где нашли своих исследователей и даже какие-то результаты.

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

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

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

А ещё у меня возникает когнитивный диссонанс, когда после трёх часов чтения о рекурсии в зависимых системах типов и теории элиминаторов я переключаю свой лоскут внимания на ленту жж или ирку, где мирно общаются беззаботные люди, не обременённые мыслями об алгоритмах оценки структур логических выражений, на основе алгебраических типов данных, в языке Epigram.
withComments $ arr (take 2) >>> delay new

Tags:
Security:
Subject:Конфетки
Time:12:58 am
Того, кто придумал делать шоколадные (горький) конфеты с начинкой с арбузным вкусом следовало расстрелять.
withComments $ arr (take 6) >>> delay new

Tags:, ,
Security:
Subject:ГОСУдарство и РАниму
Time:01:54 pm
Сдал вчера ГОСы, процесс сдачи проходил по лолтличному алгоритму, результат тоже получился отличный. Осталась защита и несколько часов страдания фигнёй по культурологии.

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

Собственно я хотел сказать, что вылечился от плевания анимой, которая не слишком кавайно нарисована. Посмотрел недели, не знаю, три назад «Boys Be», а потом начал смотреть всякое старьё типа «Ранмы» и «Земляничных Яиц». И знаете, оно оказывается ничем не хуже всяких Кейонов. Кроме того, в старых аниму можно найти всякие клёвые эффекты, которых больше не рисуют, например, моргание зрачками в случае сильного удивления персонажа.

А вот в Кейоне меня Азуса как-то не радует. Ну DFC, ну лоли, ну некомими, ну «-nyan», но её абсолютно не вписали в опенинг, она там лишняя, а появление её в аниму провоцирует повторение уже пройденных этапов сюжета, типа тупняка с школьными тренировками, Савой-тян и её манией кого-нибудь переодеть, тренинг-кампом и т.д. Десять серий уже, а движения почти ноль, высоких целей не видно, зато фансервис, да.
Я вчера посмотрел KissXSis 01, вот там фансервис так фансервис, меня всю ночь потом кошмары мучали.


Короче, что-то Кейон меня последние три серии совсем не радует. Печаль.
withComments $ arr (take 6) >>> delay new

Tags:,
Security:
Subject:Анонимный психолог
Time:10:01 pm
В универе внезапно почти всё ок. Из страшного остались госы.
А Питер тем временем — беспощадный город. Зимой минус 30 градусов, а сегодня плюс 28.
Вышел из дома, пошел пошел пошел, расплавился, вошел и сплавился обратно.

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

Короче, давайте знакомиться, вы читаете запись из ЖЖ человека, которого часто принимают за указателя городских дорог и направлений, а также анонимного психолога, который готов выслушать вас в любом общественном транспорте, в не зависимости от ваших проблем, музыкальных предпочтений, употребляемых веществ или о чём там ещё вы хотели мне рассказать. Йорошку!
Только не трогайте меня руками, у меня от незнакомых людей сыпь.
withComments $ arr (take 19) >>> delay new

Tags:, ,
Security:
Subject:Травы полей вести с
Time:11:38 pm
Последние два дня прямо-таки не перестают удивлять. Вчерашний — ещё ок, опустим, но сегодня пришло аж два воодушевляющих письма следующих содержаний:
1) мне не светит зачёт по «художественным стилям» (вообще, что делает этот предмет на четвёртом курсе программистской специальности?),
2) предзащита перенесена с восьмого числа на первое.
Они отобрали у меня бесценную неделю.
Первая реакция по прочтении: «паника, паника, паника, паника, паника, паника, паника, ...»
Через минуту: «ок, четыре дня. два на доделывание четвёртой главы диплома, два на доделывание первой. ещё один день — ожидание рецензии. успею.»
Но тренировку в пятницу и субботу, а также мою пару у третьего курса, видимо, придется отменить. Печально.

А вот зато с прошлой пятницы на кендо я занимаюсь в богу (доспех). Сугой дзя!
Мне и до этого всё нравилось, но теперь можно бить противника по голове в самом деле, а не бесконтактно.
В общем я напоминаю самому себе Мио-мио из «Бамбу Блейда»: «Мне нравится бить людей!!!»

А ещё ко мне с завидным постоянством пристают люди на улицах (приличные люди, спрашивают как куда-то пройти) и в метро (наркоманы всякие, и спрашивают фигню всякую). А я сам не знаю как куда-то пройти, и вообще с чего они все решили, что я знаю? И вообще я незнакомых людей боюсь, кто все эти люди, что им всем от меня надо?!
withComments $ arr (take 2) >>> delay new

Tags:, ,
Security:
Subject:Цитата дня
Time:11:57 pm
Еду с тренировки, стою в метро упершись подбородком в запакованный в чехол синай (да, с сегодняшнего дня у меня есть свой синай, сейчас фоткать лень, как-нибудь потом).

A — одноклубник.
Е — одноклубник и одногруппник.
Я — я.

A: — А чего это у тебя синай до подбородка достаёт?
Я: — Да я просто вот держу его тут высоко.
A: — А, а то я испугался, что у тебя 46 размер.
Я: — И сколько же это?
A: — Да хрен его знает, но на соревнованиях больше чем 43ий использовать нельзя, а он рассчитан на 2 метра 30 сантиметров роста.
Я: — Короче, 46ой просто для понтов.
A: — Да, а до 190 сантиметров используют 39ый размер, до 170, кажется, 37ой.
Я: — Ну так вот я как раз и есть 190.
Е: — Активное ограничение!!!!

Кто не сдавал Иванова — юмора не понял, ну и ок.
withComments $ arr (take 17) >>> delay new

Tags:,
Security:
Subject:А чем всё кончилось (ref to prev post)
Time:02:31 pm
В воскресение кончилось всё 250 строками на хаскеле (на джаве были то ли две, то ли три тысячи), кривым, ужасным, тормозным, но всё-таки рисованием через cairo, 12ти страничным отчётом. А в понедельник — ещё и зачётом.
Осталось самое простое — сети, машинное обучение, госы и диплом. лол

олсо, вчера я понял, что всю жизнь не понимал, даже когда о лямбде знал ничего — не понимал, зачем нужен код типа:
class SomeClass {
    sometype_a a;
    sometype_b b;
    sometype_c c;
    sometype_d d;
    .......
    sometype_z z;

    SomeClass (sometype_a a, sometype_b b, sometype_c c, sometype_d d, ..., sometype_z z) {
        this.a = a;
        this.b = b;
        this.c = c;
        this.d = d;
        ......
        this.z = z;
    }
}


Не холивора ради, но современное ООП программирование придумали стенографисты—графоманы.
Все нетривиальные преобразования, производимые в конструкторах можно делать и снаружи. Тогда таких графоманских конструкторов можно вообще не делать. А private, public, etc, которые в эту модель не вписываются просто не нужны и их следует заменять разрешениями экспортов из модулей. И получится модель структур данных как у хаскеля, а почему я не знаю ни одного императивного языка с подобной моделью — я не знаю, что-то тут не так.
withComments $ arr (take 12) >>> delay new

Tags:
Security:
Subject:Иванов
Time:02:44 pm
Писал писал я вчера Иванова во фреймворке одного сокурсника. На джаве.
Результат: всю ночь снились страшные вещи. Проснулся, думаю: «А ну его всё нафиг.»
И сел во спасение души писать все с нуля на хаскеле:
data MMatr = MMatr Int Int [[Double]] deriving (Show, Eq)
instance Num MMatr where
    (*) (MMatr row1 col1 a) (MMatr row2 col2 b) =
        if (col1 == row2)
        then MMatr row1 col2 $ [ [ (foldl1 (+) $ zipWith (*) (a!!(row-1)) (map (\x -> x!!(col-1)) b)) | col <- [1..col2] ] | row <- [1..row1] ]
        else error "Bad size"


Педпоследняя строка — это процедура умножения матриц. Как её написал прям такое счастье озарило, что не передать. На жабе у меня там был аж целый класс, а тут одна строка. ПРОФИТ!!! Аж от сердца отлегло.

а джаву надо закопать, закопать, закопать
殺じアワー!
withComments $ arr (take 13) >>> delay new

Security:
Subject:Вмузей!
Time:11:34 am
Poll #1400748 Вмузее

Сегодня ночь музеев. Идёте?

Иду!
3(27.3%)
Нет.
8(72.7%)


Я хотеть. Плевать куда. Хотеть.
withComments $ arr (take 18) >>> delay new

Tags:, , ,
Security:
Subject:Назад в девятнадцатый век
Time:07:31 pm
Откровенно, мне лень писать обо всём том, что было в литве.
Потому что
1) там почти ничего не было,
2) всё что было — сугубо реально, а всё что я пишу в этом жж — вымысел :3

А вообще там всё плохо. Поездка на автобусе стоит 2.5 лита, умножаем на 13 — получаем в рублях. Дорого. Продукты тоже подорожали (правда не так сильно как у нас), но остались не менее вкусными (в отличии от того, что делается у нас). Пожалуй вот и всё.

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

А ещё сегодня сделал один чудесный замер. Если выйти из метро на Невском проспекте и быстро шпарить до универа (ИТМО на Петроградке) через ВО, то это получается всего на 15 минут дольше, чем если выйти на Петроградской и шпарить до универа от неё нормальным шагом. От универа шёл обратно тем же путём, зашёл в сабвей (:3), потом в сторону Сенной мимо БДТ, там до Варшавского вокзала, мимо Балтийской до Нарвской, а потом и до Автово. Там уже сел на автобус. От выхода из универа до посадки в автобус всё действо вместе с едой с сабвее заняло примерно три часа. Сжёг три сантиметра в пузе, покрылся шестью сантиметрами пыли. Питер — это ок.

Кстати, по дороге узрел вот что.

Реклама кофе. Всегда думал, что передают _по_ почте, но _через_ интернет.
Ещё бесит, когда пишут «на вконтакте», но на рекламе в городе фтентакля не видел.
grammarnazi@localhost негодует.
withComments $ arr (take 18) >>> delay new

Tags:,
Security:
Subject:Tadaima
Time:10:21 am
.

Раз первое что делаю, войдя в дом — изучаю изменения в уютной жжшечке, то исцеления блоггера не наступило. Ычь.

Песнь самурая в вольном и искажённом переводе с литовского:
«Что-то там, песнь молодого самурая. Ычь.

Иду я как-то по лесу, впереди идёт медведь,
Вижу медведя. Думаю: «Надо резать медведя.»
Достаю свой меч,
Вжих, отрезаю медведю правую руку,
Вжих, отрезаю медведю левую руку,
Вжих, отрезаю медведю голову,
Сажусь, кладу меч рядом,
И начинаю петь свою самурайскую песню.

Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля.

Иду я дальше по лесу, вижу впереди белочку,
Видимо тут её оставила маленькая девочка,
Вижу белку. Думаю: «Надо резать белку.»
Достаю свой меч,
Вжих, отрезаю белке правую руку,
Вжих, отрезаю белке левую руку,
Вжих, отрезаю белке голову,
Сажусь, кладу меч рядом,
И начинаю петь свою самурайскую песню.

Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля.

Иду я дальше по лесу, ...
тут кусок не помню
Думаю: «Надо резать себя.»
Достаю свой меч,
Вжих, отрезаю себе правую руку,
Вжих, отрезаю себе левую руку,
Вжих, отрезаю себе голову,
Сажусь, кладу меч рядом,
И начинаю петь свою самурайскую песню.

Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля,
Ля-ля-ля-ляляляляля,
Ля-лялялял-ля-ляляля.»

Такие дела.
withComments $ arr (take 9) >>> delay new

Tags:
Security:
Subject:K-ON 6
Time:02:15 pm
Я волновался за Мио больше чем сама Мио >_<

Олсо собрал сумку. Ноут, витая пара, папка с бумагой, ручки-карандашики, документики, запасные носки и бельё. ок.
На винчестере беру с собой Марию саму га митеру, остатки Шаффла, бакалаврскую и учебник кандзей. ещё хз чего из этого буду делать в поезде.
withComments $ arr (take 2) >>> delay new

Tags:,
Security:
Subject:Самцунг и (снова) деньги
Time:11:58 am
Сегодня в восемь вечера уезжаю в фашистскую Литву, потому вот пишу обо всём о чем хотел написать на выходных.

Во вторник привёз очередной девайс: МФУ Samsung CLX-2160. Прикольно было то, что у него прямо на коробке было написано «поддерживает различные версии Linux OS, в том числе: RedHat ..., SuSE ...». На практике всё оказалось несколько грустнее.


Через cups печать взлетела. Однако самцунговский (проприетарный) драйвер, как оказалось, текст нормально печатать не умеет. Получается как будто лист в воде подержали, глифы символов размытые-размытые. Зато картинки печатает, но цветопередачу лажает. Из под венды цветопередача ок. Я убил целый день, чтобы разобраться как эта драйверная фигня работает, и в общем остался непонимании. На принтер посылается их проприетарный самсунговский формат — QPDL, который из себя представляет своеобразную CMYK-bmp, разбитую на чанки, которые есть прямоугольные куски на бумаге. Спрашивается почему растеризатор под венду и под линукз работают не одинаково?
И самое обидное, что реверсинжинированный foo2qpdl делает точно такую же фиговую цветопередачу. Зато оно, в отличии от проприетарного драйвера, чудесно растерисует PostScript и бумажки-документы в монохроме получаются ок.

К работе сканера претензий нет.

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


оригиналCollapse )

В общем, как ч/б принтер — ок, как сканер — ок, как цветной принтер — надо или через венду, или править gs/foo2qpdl/что-тамещёучавствуетврастеризации.

А ещё ББ расшифровал вчерашние платежи. Пейпал зааксептился, только как-то странно. Там, действительно было 2 транзакции. На $1 и на $1.95, так вот вторая правильно пересчиталась в рубли, а первый бакс стоил на 12 рублей больше.
За жж тоже всё правильно провелось.
Ни фига не понимаю.

UPD: ок. мне всё объяснили в службе поддержки с этим долларом несчастным. оказывается резервируемые транзакции считаются в евро в не зависимости от валюты. потому оно рассчитано по курсу евро, а остальные транзакции рассчитаны по курсу доллара. а вот когда придут подтверждения от пейпала и транзакцию проведут до конца, то с меня снимут доллар, а разницу (евро-доллар) в рублях мне обратно вернут. ужас.
экономистам делать нечего, только такие правила запутанные придумывать. %_% брр
withComments $ arr (take 9) >>> delay new

Tags:
Security:
Subject:Shuffle
Time:08:00 pm
Смотреть на глаза у Рим-тан.



Это они так спрятали её характер за чужими волосами? :3
withComments $ arr (take 30) >>> delay new

[icon] /^.in$/
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.
View:Website (/me (домен, хотящийся в углу комнаты)).
You're looking at the latest 32 entries, after skipping 96 newer ones.
Missed some entries? Then simply jump back 32 entries or forward 32 entries