| ||||||
| Тхис жж ис врыттен ин тхе хопе тхат ит вилл бе усефул, бут ВИТХОУТ АНЫ ВАРРАНТЫ; витхоут евен тхе имплиед варранты оф МЕРЧАНТАБИЛИТЫ ор ФИТНЕСС ФОР А ПАРТИЦУЛАР ПУРПОСЕ. РЫД АТ ЁОУР ОВН РЫСК! Я предупредил. Все упоминаемые в данном жж действующие лица вымышленны и не имеют связи с реальными людьми или событиями. Вообще лучше почитайте что-нибудь полезное. Рекомендую Достоевского, Лема, Льва Толстого, встроенную документацию по вашей ОС или что-нибудь про протокол IP (этим вы ещё и спасете несколько невинных жизней). Всё, что я пишу в этом жж (в том числе мои картинки и скриншоты) распространяется по лицензии  В случае использования или копирования моих работ укажите ссылку на этот жж и/или на конкретную запись. | ||||||
do cs <- get; c <- io $ readComment; put c:cs;   |
/^.in$/
|
|||||||||||||
January 19th, 2037
December 3rd, 2009
| ||||||||||
| Я тут проскипал 400 записей своих жжшечек, и обнаружил маркер дна в Ноябре 2005ого. Это двумя месяцами позже моих (те, которые читали мне, а не я :3) первых лекций в универе, а потому история происхождения моего рейновского аккаунта ни в этом, ни во других моих жж не освещена. Вот подумалось мне, что как-то не хорошо писать в блоге только всякий вздор, меня, например, вставляют слегка персонализированные блоги. *голосом юри-мадмуазель из некоторого рейлгана* Хо-хо-хо-онесама, на самом деле всё было не так. Просто на днях у меня кончилась дисковая квота на универском сервере, а поскольку я использовал её для работы (в прямом смысле этого слова, ок), то я даже не постыдился подойти к админу всея ИТМО, чтобы мне её увеличили. И вот уже после разговора с админом мне подумалось, что почему-то вопрос моего логина в жж не освещён. Непорядок. Как сейчас помню тот солнечный день сентября 2005ого, когда один из админов ИТМО, ведший у нас лекции, раздал листочки, на которых нужно было написать свои ФИО и желаемый логин на одном университетском сервере. Сей логин используется для руления местной почтой (универские списки рассылки), входом на сам сервер по ssh для проворачивания различных тёмных дел (а также просто, чтобы всегда иметь юниксовую систему под рукой), и при влогинивании себя в компьютер, находящийся в домене факультета. Условие на придумываемые логины было простое: «Производная от фамилии и/или имени, никаких никнеймов». Уважаемый читатель, если мы не знакомы, то приятно познакомится, меня звали Трофимов Ян. Я долго смотрел на этот листочек, думая о том, что бы туда такое написать, поскольку кроме своего никнейма (который не менялся со школы и до сих пор) в моей глупой первокурснической голове ничего не было. Но внезапно меня осенила абсурдная мысль, и я написал на листочке: «Трофимов Ян — trojan». Я был почти полностью уверен, что меня завернут и сделают какой-нибудь «trofimovjan» или что-нибудь такое, но оно почему-то прошло. Через сессию ( А где-то на втором курсе я стал активно юзать рейн по ssh и благодаря моему нытью в почту админам там появился архиватор 7z, svn, а местный апач перестал посылать rarки плейнтекстом. Кстати я тогда очень гордился тем, что никто из моих однокурсников даже ничего не слышал о svn, а при виде меня, педалящего код в виме и дебажащего его в консольке gdb, некоторые кричали «где тут вижуал студия? так программировать нельзя!». За прошедшие года я перестал считать себя избранным и гордится такими глупостями, многие из сверстников таки осилили svn и всякие другие клёвые штуки типа git (зато готов поспорить, что никто ни разу не пользовался базаром и дарксом, :P), но писать в тормозных IDE и дебажить кнопками в гуе в большинстве не перестали. Но это я отвлёкся. За сим логином также числятся несколько случаев, когда я слал преподавателям решения лабораторных в файлах с именами типа trojan.rar с email адреса trojan@рейн. Преподаватели читали такие письма с опаской, и, видимо, очень радовались, когда обнаруживали там лабораторные, о чём можно было судить не только по косвенным признакам. Но вся эта болтовня, что я пишу уже сорок минут сейчас закончится. Ибо главная мысль состоит в том, что видать такие глупые идеи типа бредовых логинов сильнее всего влияют на локальную репутацию. Ибо когда я вхожу в админскую комнату со словами: — Здравствуйте, я на кафедре работаю и у меня кончилась дисковая квота на рейне. — А что вы там держите? — Ну всякие документы, doc и tex файлы в основном. — А кто вы? Как вас зовут? — trojan. Они отрывают таки взгляд от монитора с восклицанием: «А, так это вы trojan! На сколько увеличить?» Наверно трудно донести до читателя почему, но именно в такие моменты я люблю и ИТМО, и админов, и вообще всех, такие вот фриковые радости. | ||||||||||
| do cs <- get; {- 10 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 29th, 2009
| ||||||||
| Дискутировал вчера в метро с однокурсником о разнице между императивной чушью и функциональной. Разговор получился неконструктивным, зато был полон весёлых примеров, например: «И всё таки императивный подход мне кажется более натуральным, потому что, когда я хочу взять с полки пятую книгу, то я подхожу к полке, отсчитывают пятую книгу и беру её, а не отбрасываю с полки одну книгу, а потом решаю задачу по взятию с полки четвёртой книги.» | ||||||||
| do cs <- get; {- 7 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 25th, 2009
| ||||||||
| А мне вчера вернули ноутбуке из сюрвис-цента. И даже почему-то всё вроде работает, что странно. Предложили мне заодно переустановить операционную систему за 1100 рублей, но я как-то проигнорировал столь щедрое предложение. Олсо желаю, чтобы в сервис центрах наконец появились инженеры, а не просто юзеры поприетарных бенчмаркинговых и железочекинговых утилит, которые вместо того, чтобы разобраться в проблеме тыкают в разные кнопочки и делают поверхностные выводы по наблюдаемому эффекту. А гуями людям из сервис-центров вообще надо запретить пользоваться, я считаю. Инженер, который боится Лингуза и консоли — это не инженер. Впрочем ноутбуке вернулся к жизни, и это ок. А ещё почитал и прочитал тут себе на ночь мангу «Otaku no Musume-san», это надо срочно экранизировать. В «Kodomo no Jikan» творится какая-то лютая жесть, а в «Horou Musuko» я за несколько месяцев, которые к ней не прикасался, потерял сюжетную линию. T_T И вот вам напоследок мой акк на smart.fm. Как можно заметить по профилю — потихоньку зазубриваю там канджи (только вчера начал, ок). Ах, если бы какую-нибудь матлогику можно было бы также легко осваивать, как всякие языки. | ||||||||
| do cs <- get; {- 18 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 22nd, 2009
| ||||||||
| В разрешении дилеммы между полезным, но не очень интересным деланием домашнего задания, и не очень полезным, но очень интересным самообучением сегодня я почему-то выбрал второе. И пришёл мне в голову ко-рекурсивный способ возведения числа в натуральную степень (код на Haskell, я играюсь в ghci): > let pow x = let q = 1 : map (*x) q in q Тогда, например, 2 в 10ой степени можно получить так: > (pow 2)!!10 Не сложно, зато забавно. | ||||||||
| do cs <- get; {- 5 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 19th, 2009
| ||||||||
| После убийства очередных ушных вкладышей (сломался провод у джека) купил где-то на прошлой неделе наушники Sennheiser HD 215. Басы у них слабенькие (заметно неискушенным ухом), на средних частотах слегка добавляют эхо (не заметно неискушенным ухом, я только на третий день почти непрерывного использования заметил), но зато они звучат чисто, закрытые и от шума в метро остаётся ровно столько, сколько не мешает слушать какую-нибудь классическую фортепианную сонату. А ещё у них провод клёвый, как у старых телефонов — пружинкой, а потому не запутывается, и с обоих сторон провода джек-папы, что также сильно радует, потому что провода ломаются в десять раз чаще, чем сами наушники. Кроме того, не помню писал я или нет, но у моего EeePC около месяца назад загнулся 32Гбный встроенный SSD, но я ленился сдавать его в гарантийку, поскольку этим SSD и не пользовался совсем, у меня на 8ми гиговый всё помещается. После покупки наушников слушание музычки с телефона, на котором только микро-джек разъем, отпало, и я стал юзать Eee в качестве плеера, выставляя на минимальное энергопотребление, чтобы не грелся, и затыкая в сумку (мотать вперёд — назад не очень удобно, но если включить какой-нибудь амбиент, то нормально, всё равно там всё примерно одинаковое играет :) ). Но вчера внезапно умер тачпад. Это было последней каплей на тонком пути к необходимости изучения закона о правах потребителя. Ведь к любому очередному лишению девственности следует правильно подготовится, а я на тот момент ни разу в жизни по гарантии в ремонт ничего не сдавал. Покурив законодательство РФ, интернет на тему того, чего следует опасаться при сдаче ноута в ремонт, куда смотреть на бумажке об акте приёма-передачи девайса, и поговорив со знающими людьми, которые уже что-то не раз сдавали, я изучил сайты всех авторизованных сервисных центров, погуглил на тему «чинил что-то в таком-то сервисном центре» на тему отзывов, и выбрал тот, на который в последний раз ругались как можно более давно, а у него ещё и сайт оказался сделан лучше чем у всех остальных. Содержимое всего винчестера с Eee сбекапил на сервер, удалил все скрипты, конфиги и прочую муть, содержащую приватную информацию, а с сервера из authorized_keys выкинул ключ, который остался на мёртвой SSD, джаст ту би сёртан. Акт прошёл безболезненно, я думал будет страшнее. Конечно по работникам центра было как-то не очень заметно, чтобы они получали удовольствие от процесса, но вроде ок. Короче, обменял ноут на квиточек из сервисного центра. Обратно ехал на полтора килограмма легче и вёз на себе глухие наушники, даже грустно как-то. А ещё как-то теперь в универе с чтением почты с домашнего сервера напряг, и латехом и ghc негде покомпилять. Такие дела. | ||||||||
| do cs <- get; {- 12 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 18th, 2009
| ||||||||
| Пусть у нас есть функция-примитив cons с типом forall a . a -> [a] -> [a] (любители System F могут отбросить часть до точки). А также функции head с типом forall a . [a] -> a и tail с типом forall a . [a] -> [a]. Тогда Хаскелевский оператор (:) можно чудесным образом реализовать как: (:) a b = cons a b Изоморфный ему в uncurry форме: (:) (a,b) = cons a b или: (:) t = cons (fst t) (snd t) Элементарно, да? Забавная мысль заключается в том, что, если посмотреть на левую часть определения функции: sumall [] = 0 sumall (a:b) = a + sumall b то там написана обратная функция к (:): (:)' l = (head l, tail l) А потому, если предоставить юзеру возможность определять свои обратные функции, то из всех паттерн-матчингов можно оставить только распаковку таплов, а остальные операции сводить к этой. Тогда доступным удовольствием, например, является радость жизни с программами а-ля: sumallStack emptyStack = 0 sumallStack (a `push` s) = a + sumallStack s Дальше мне разговляться на эту тему лень, но замечу, что слева от знака равно стоит не совсем обратная функция, а предикат с обратной функцией, но это не суть важно. Главное то, что меня иногда жутко тянет заиметь такую фичу, чтобы оборачивать в клёвый синтаксический сахар всякие премудрые упаковки/распаковки/etc. И ещё замечу, что в языках с какими-нибудь зависимыми типами, например, можно даже попытать счастья в доказательстве того, что композиция обратной функции и её прямой версии есть id. | ||||||||
| do cs <- get; {- 8 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 10th, 2009
| ||||||||
| «Мировой лидер европейского рынка банковских услуг» Мозг вскипел. Ещё можно «мировой лидер по слизыванию чая со стола в доме номер два по Мясницкой улице», или там «мировой лидер Сытного рынка инвестиций в компьютерную аппаратуру по бухгалтерскому учёту», ну и для тех кто в танке — «мировой лидер конкретно взятой семьи по непрерывному хикикоморству в конкретно взятой квартире». | ||||||||
| do cs <- get; c <- io $ readComment; put c:cs; |
November 5th, 2009
| ||||||||
| У меня сегодня кошка родила вчера котят. Четыре штуки: два белых самца, одну рыжую и ещё одну чёрную девицу. Раздал им темповые имена. Двум белым — Хаскелл и Кэрри, рыжей — Ватсон, чёрной — Консолька. Теперь у меня в одной коробке сообща ползают функциональная ересь, гендерблендер и вьюникс. Няшно же. | ||||||||
| do cs <- get; {- 13 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
November 3rd, 2009
| ||||||||
| Мне тут внезапно сегодня в больную голову пришла мысль, что я живу в удивительное время в удивительной стране — все только и говорят всевозможных реформах на благо отечества, обращения [п]резидентам пишут, бларги свои пиарят, а ничего в лучшую сторону не меняется. В какой ещё стране в мире в открытом доступе в документации по государственным закупкам по национальным проектам™ можно найти суммы нецелевого расходования средств™ фактически открытым текстом? В какой ещё стране в мире километр обычной автодороги обходится налогоплательщикам дороже километра Большого Адронного Коллаэдра, а три Московских дорожных развязки — как весь проект высокотехнологичной железной дороги в Китае? И в какой ещё стране в мире возможно такое, чтобы обо всех этих вещах знал каждый третий гражданин, но ничего при этом не менялось? Как была страна в двадцатом веке плацдармом для экспериментов над обществом, так и осталась. Только раньше блоги на кухнях вели, а теперь в интернетах. Просто таки чувствую себя частью великих событий, память о которых навсегда останется в учебниках истории. Такие дела. | ||||||||
| do cs <- get; {- 15 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 27th, 2009
| ||||||||
| Иду вчера в универ по Каменноостровскому проспекту, на встречу идёт мужик с детской коляской. Подхожу ближе, коляска оказывается полна не лолей (как ожидалось), а пустых бутылок из под пива. Пофалломорфировал и пошёл дальше. Возвращаюсь из универа домой, иду по улице рядом со своим домом, на встречу идёт другой мужик с коляской. Подхожу ближе, коляска оказывается полна не лолей (как уже не очень ожидалось), а бытового мусора. Это, чё, теперь мода такая? | ||||||||
| do cs <- get; {- 11 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 21st, 2009
| ||||||||
Какое извращение на великим kero kero kero kero, kero suru na! | ||||||||
| do cs <- get; {- 11 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 19th, 2009
| ||||||||
| В связи с высокой степенью загруженности даже аниму посмотреть особо некогда, только вот по воскресениям. Поэтому что-то как-то стало жалко тратить время на всякий онгоинговый бред. Вообще, откровенно говоря, из последних нескольких лет мне не так уж много аниму запало. В девяностых — начале двухтысячных рисовка была не такая моэ, но зато там были аниму которые я по восемь раз пересматривал (СЕ Лейн, Серокрылые и Кино но таби, например), и такие, что я до сих пор начинаю някать при воспоминаниях о содержании (Princess Tutu), не говоря о десятке других, которые я пересматривал более одного раза. В тоже время из «новых» я пересматривал только Кота с Гиассом, Сузухару, Кланнад и первый сезон Зетсубо Сенсея, ну ещё были Розены, но я не помню айр-дат. Печально же. И в этом сезоне всё тоже как-то весьма грустно выглядит, сюжет Нян Кои я уже где-то видел (например, в Натсуме Юдзинчоу), сиквелы судить не буду, ибо рано, в А все продолжения аниму прошлого сезона тоже медленно но верно сливают, Уминеки, например, осточертели, Пандора затянута до жуткой тягомотины, а Сенсей уже не торт. Эй, куда делись амбициозные экспериментальные проекты? Небось моэ-моэ-кьюн просто на ДВД продаётся лучше. | ||||||||
| do cs <- get; {- 10 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 10th, 2009
| ||||||||
| Я восстал из почти мёртвого состояния, в котором пребывал последние два дня. В этой вашей Москве меня как-то очень удачно продуло, на обратном пути (в ночь со среды на четверг) в поезде обдалбывался лекарствами, а с поезда сразу попёр на военку, где до конца как-то пребывал в сознании, пожёвывая таблетки. Зато через три-четыре часа после входа в дом я потерялся до сегодняшнего утра. Сейчас температуры вроде нет, горло не болит, но слабость, в остальном ооок. Обещал написать свои научные впечатления о конференции. Так вот. Организована она была очень круто, и гостиницы там, и соблюдение временного регламента, всё оок. Но содержание докладов, как минимум моей секции, оставило весьма печальное впечатление. Не то, чтобы там был сплошной вздор, но, на мой взгляд, применение экстенсивных методов при решении задач верфикации — трудно назвать высокими научными достижениями. И постоянное нытьё по поводу отсутствия финансирования — тоже не ок. Почему в (кажется) двух работах аксиомы классической логики применяли для доказательств утверждений о алгоритмах я вообще не очень понял, казалось бы там следует опираться на интуиционизм, но бумажную версию публикации я пока не прочёл. Вот. А хоть как-то заинтересовала меня только одна работа, что очень печально. За два дня удалось развиртуалить: товарища Комбинатора (которому спасибо за гидство, терпение меня и прочие плюшки), ![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small} cyber_lyric и red_buttons.Также передаю привет violentlyshine, которую я донимал смсками и в жжтолке. | ||||||||
| do cs <- get; {- 4 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 7th, 2009
| ||||||||
| Вроде бы последний пост, который пишу сидя в Москве. Помните ли вы как я когда-то писал, что как только я в Питере выхожу на улицу, так меня сразу всякие люди начинают спрашивать направления типа <<а как пройти туда-то и туда-то>>, будто я самый местный. Так вот чрезвычайно забавно, что это правило выполняется и в Понаеховске. При том, что я хожу по городу с немаленькой сумкой и огромным рюкзаком за спиной. Должно быть сразу видно, что понаехал, ан нет, всё равно спрашивают как пройти в библиотеку. Надо будет начать спрашивать в ответ: <<Какие мои физиономические особенности заставили вас сделать вывод, что я знаю, как пройти в библиотеку?>> А потом написать на эту тему диссертацию по психологии. Выгода. | ||||||||
| do cs <- get; {- 11 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
| ||||||||
| Ваша Москва -- это звездец какой-то. Все куда-то бегут, все пешеходные (!) тротуары заставлены автомобилями, думаю, не будь там ограждений до газона, то и газоны заняли бы лексусами да ниссанами. Ещё тут дубак, но зато на этом холоде, сидя на скамейке у корпусов разных министерств на (относительных) окраинах города, можно найти какую-нибудь халявную точку вай-фая. Не удивлюсь, если через неё по самбе можно вытащить какие-нибудь интересные министерские документы. На конференции доложил, о научных впечатлениях потом. А все мои вчерашние друзья вдруг куда-то исчезли. И это печально. | ||||||||
| do cs <- get; {- 37 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 6th, 2009
| ||||||||
| Вы ещё там? а я уже тут. Два раза уже чуть было не потерялся, но меня нашли. Тот факт, что никто особо не вызывается меня узреть (ну, кроме того, кто меня встретил) меня печалит. Не френдлента, а бяки какие-то >_< | ||||||||
| do cs <- get; {- 22 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
October 5th, 2009
| ||||||||
Вторник:8:00 || прибытие в Москву .... || свободное время 12:00 || посещение МинОбрНауки .... || свободное время 14:00 || звоню научруку и узнаю правда ли, что после 14:00 есть свободное время .... || возможно, свободное время ???? || прибытие в МГУ, вписывание в гостиницу, etc Среда: .... || доклад на конференции, etc 12:00 || возможно, посещение другого корпуса МинОбрНауки .... || вроде бы свободное время 23:59 || убитие в Петербург Итого: во вторник есть как минимум 8 часов свободного времени (за вычетом посещения министерства), в среду, казалось бы, свободен целый день. Если кто-то хочет меня увидеть, то можно мне позвонить/смснуть по плюс7 92l 38363O7, и я буду готов сообщить вам своё текущее местонахождение и ближайший план действий. Наличие культурной программы приветствуется, да. Кроме того, поскольку мой сколько-то-там-раз-пра-пра-дед -- архитектор Казаков, то я желаю много ходить пешком и смотреть на те пол-Москвы, которые он построил. Такие дела. Читать комментарии к этому посту не обещаю, но если найду халявный тырнет, то постараюсь. Бани-и-и-и-и! ^_^ | ||||||||
| do cs <- get; c <- io $ readComment; put c:cs; |
October 4th, 2009
| ||||||||
| Меня тут на днях пнули, что я не пишу ничего в жж о работе. А вот, ну в общем, теперь вот сижу я в одной такой всем в ИТМО известной комнате (с перерывами на пары и тренировки), изучаю университетские бюрократические процедуры, читаю умные книжки и хожу почитывать лекции. Дома сплю, завтракаю и пью чай перед сном. Всё. Кстати о чтении, внезапно я так много читаю всякой дури последние несколько недель, что времени ещё чем-нибудь заниматься (аниму посмотреть, например) как-то совсем нету. Всерьёз задумываюсь о покупке какого-нибудь e-book ридера, а то на бумаге в нашей великой России таких книг просто не издают (и, скорее всего, никогда и не будут), а печатать по две-четыре страницы на одной стороне листа на лазерном принтере, чтобы прочесть, а потом выбросить — маразм и плохое отношение к тем, из кого эту бумагу и краску делают. И на всякий случай напоминаю, что во вторник приезжаю в Москву, и даже знаю примерное расписание своего в ней пребывания: докладывать буду где-то в промежутке между 9:00 — 12:00 дня среды, что буду делать днём в среду пока не знаю, вторник будет почти свободен во второй половине дня, а в первой половине нужно будет покататься в разные министерства университета блага для. Соответственно было бы очень ооок, если бы нашёлся добрый человек, которому было бы не лень встретить меня на вокзале и провести через запутанное Московское метро до всех этих министерств (благо они там вроде все не очень далеко друг от друга), иначе я рискую быть измотанным до полусмерти шатанием по метро, проспектам и улицам в поисках нужных дислокаций, ибо в Москве я полный топографический кретин и моё о ней представление сводится к «Она такая большая и круглая, с циркулярным расположением улиц, и огроменной запутанной схемой метро». Онегайсимасу! нэ? | ||||||||
| do cs <- get; {- 10 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 29th, 2009
| ||||||||
| А задумывались ли вы когда-нибудь об эгзотеричности открывания пол литровой бутылки какого-нибудь напитка типа Колы/Пепси/etc? Я как-то было задумался над вопросом о том, какой рукой я открываю эти самые бутылки, и глубина проблемы потрясла мои жизненные позиции. Ведь не смотря на то, что, например, бутылку держу я в правой руке, а за крышку хватаюсь левой, бутылку всё равно можно открывать правой рукой, вращая бутылку вокруг крышки. А можно крышку вокруг бутылки. А можно оба эти предмета одновременно в разные стороны. А можно в одну сторону, но с разной скоростью. И всё это в различных комбинациях рук и ног. Так вот. Решил я как-то было открыть полулитровую бутылку, взялся за неё обоими лапами, да призадумался о том, как я обычно (бессознательно) эти бутылки открываю, и вдался в философские рассуждения о том правша я или левша при открывании бутылок, и, если я, скажем, левша, то должен ли я крутить пробку или бутылку? И выдохлись все газики из бутылки, пока я рассуждал и проводил эксперименты. Вот такие дела. | ||||||||
| do cs <- get; {- 10 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 22nd, 2009
| ||||||||
| Вот когда-то давно продали CUPS (Common UNIX Printing System, система печати под Юнихи) Апплу, и вроде те не шевелились, и всё чудесно работало. А тут вдруг зашевелились. Вместо старого серо-жёлтого веб-гуя теперь там гламурный белый и блестящий, весь такой «выглядящий высокотехнологичным», а вот зато собственно печатать новый CUPS на моём принтере разучился. Вот даже не знаю, радоваться всем этим макосообразным рюшечкам, пышащими юзер-френдливосьтию или плакать горькими слезами. Потому сижу, дивлюсь и ржу над своим внезапным попаданием в анальное рабство к одной чудесной корпорации. Между прочим. Когда я, где-то на втором курсе, выбросил последний диск с вендой из окна своего дома и оставил свои (тогда ещё пять) пять компьютеров на едине с Убунтой и Дебианом, то меня очень долго всякие непонятные личности донимали всякими глупостями, что у меня глаза покраснеют от избытка общения с техническими подробностями работы этих систем. Глаза на какое-то время покраснели, но не это кей поинт же. Мне тут несколько недель назад подумалась очень пафосная мысль, что временное красноглазие — необходимый элемент свободы. Я в какой-то умной книжке когда-то прочёл, что настоящим программистом можно стать только самому написав компилятор или операционную систему (и вполне с этим утверждением согласен). Проводя аналогию со «свободным человеком» и «покрасноглазив» получается очень пафосная мысль из предыдущего абзаца. Олсо, «... And if you haven't yet purchased the new MacBook Pro, please do so immediately, because you are already at risk of falling behind. And while you're there in our dazzling, gleaming retail store, please be sure to upgrade your iPhone 3G to the new iPhone 3GS, and then get busy downloading every last one of those 65,000 amazing, life-changing apps.» © fakesteeve. Олсо, вот ещё комекс на тему. Ну вот, раз тут я уж взялся вместо того, чтобы фиксить принтер, писать глупости в жж, то напишу ещё о педофилах. Так вот, в рамках современного общества места педофилии нет, а потому педофилия — это плохо, спору нет. Но если взглянуть на антитеррористические меры, например, в той же англии, где на каждом светофоре висят сотни камер и смотрят кто куда едет, а также, где проезд каждого гражданина в подземке отслеживают всякие спецслужбы, и где людей без мобильников (не отследить передвижения) задерживают за подозрение в терроризме, а если вы вдруг там забыли пароль от своей зашифрованной флешки, то вас посадят на три года за нераскрытие ключей шифрования органам гос-власти, то становится очевидно, что это нифига не антитеррористические меры, а меры по ущемлению всяких свобод. Судите сами, если бы я был террористом и хранил на зашифрованном диске планы зданий, которые хочу взорвать, то уж лучше сесть на три года чем получить пожизненное, зато человек, который не хранит там ничего опасного, в этом случае, просто ни за что, сядет на три года. Аналогично и с педофилами, в Германии, например, «для борьбы с сайтами, распространяющими детскую порнографию» ввели специальный DNS бан-лист, а то, что в этом листе оказались сайты политической оппозиции действовавшей власти, которые, естественно, к детской порнографии отношения не имели — волновало, видимо, только оппозицию. Думаете я тут сказки рассказываю? Дуйте на слешдот и читайте (можете вбить там в поиск, например, «german DNS» для изучения подробностей последней упомянутой мной истории). Так вот я к чему всё это? У человека есть два таких чудесных инстинкта: самосохранения и материнский. Давайте сначала повзрываем какие-нибудь дома, разведём панику по телевизору, а потом «в целях противодействия террористической угрозе» (действительно, кому хочется стать жертвой террориста?) ограничим физические свободы граждан. А теперь, давайте сначала разведём панику о тысячах педофилов, ищущих детишек на улицах и в сети, а потом «в целях борьбы с детской порнографией» (действительно, кому хочется, чтобы с его чудесным малышом плохо обошёлся злой дядя?) ограничим свободу выражения мыслей. Но и это ещё не всё. У меня тут появились подозрения, что такое лоббирование патентов и копирайтов (при том, что, очевидно, что оба этих механизма только мешают саморегуляции соответствующих рынков) в современном мире — тоже не с проста. Как вам нравится идея ограничения свободы творчества? Она прекрасна, а то мало ли чего они там вдруг изобретут или споют/нарисуют. Такие дела. | ||||||||
| do cs <- get; {- 6 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 21st, 2009
| ||||||||
| Присутствовал сегодня на открытии Петербургского научного форума «Наука и Общество», посвящённого теме «Информационные технологии». Видел и слышал вживую Алфёрова, Гросса, Хопкрофта (первые два — лауреаты Нобелевской премии по физике, а третий — премии Тьюринга), а также всяких других умных людей, и, *драматическая пауза*, Чубайса собственной персоной. Выглядело сие действие так: 1) сначала местячковый вице-губернатор долго толкала всякую муть о инновациях и инвестициях, о победах Нашего Города на чемпионатах мира по программированию (хм, а, собственно, при чём тут город? я думал, что во всём ВУЗы виноваты, нет?), и о важности информатизации Российского общества, обильно цитируя последние статьи и речи с ярославского саммита Нашего Президента; 2) потом Чубайс не очень долго толкал о нанотехнологиях, инновациях и инвестициях (я не шучу, и именно в такой последовательности), о великих планах на будущее и всё такое; 3) потом чиновники и почти все журналисты куда-то сбежали, и в зале остались только академики, сотрудники и студенты/аспиранты ВУЗов, а также зарубежные гости; 4) потом Алфёров прочёл лекцию о истории развития полупроводниковой электроники; 5) кофе брейк, пресс конференция; 6) потом Гросс прочёл лекцию о теории струн и всяких других не очень мне интересных, но весьма полезных вещах; 7) ну и, наконец, Хопкрофт очень быстро и популярно прочёл лекцию о современных проблемах обработки и кластеризации многомерной информации. Последние две лекции были на английском (как ни странно, я понял всё до единого слова), а первая на русском. Не смотря на то, что собственно о информационных технологиях была только последняя лекция, я остался в полном восторге. Если бы такие преподаватели еженедельно читали бы лекции в ИТМО, я бы переехал туда жить, согласившись спать в неотапливаемых аудиториях прямо на столах даже зимой, и ежедневно есть в нашей мерзопакостной столовой. Мастерство с которым они выводили весьма не очевидные утверждения из пары абсолютно очевидных (Гросс ещё и всячески наглядно использовал своё собственное тело для демонстрации различных свойств многомерных пространств), а потом, не отходя от кассы, указывали на практическое применение (или трудности, связанные с существованием) этих свойств, достойно глубочайшего уважения. Меня только одно удивляет, от ИТМО в списках приглашённых было около сорока человек (среди которых был и я), и ещё в универский список рассылки пришло сообщение о халявных билетах для остальных желающих послушать умных дяденек. Верхняя грань увиденных ИТМОшников в моём локальном контексте была меньше двадцати. Причём подобная ситуация наблюдалась среди представителей и других местных ВУЗов. Не буду тут разводить пафос на тему того, что я всю ночь не спал, но заставил себя прийти, а кто-то, видимо, нашёл более весёлые занятия на этот день, но, если такие люди читают сей уютненький жж, они могут начинать плакать горькими слезами по упущенной и, возможно, лучшей лекции в своей жизни. А безответственность «молодых учёных», видимо, ещё более удручающая, чем мне казалось. Такие дела. | ||||||||
| do cs <- get; {- 22 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 20th, 2009
| ||||||||
| Немного копипасты из википедии и из головы: харухизм (от яп. Suzuharu) — вера в божественную сущность самой Сузухару и, в некоторых вариациях, приспешников её. синтои́зм (яп. 神道, синто:, «путь богов») — традиционная религия Японии. Основана на анимистических верованиях древних японцев, объектами поклонения являются многочисленные божества и духи умерших. будди́зм (санскр. बुद्ध धर्म, buddha dharma?; пали बुद्ध धम्म, buddha dhamma, «Учение Пробуждённого») — религиозно-философское учение (дхарма) о духовном пробуждении (бодхи), возникшее около VI века до н. э. в южной Азии. анимизм (от лат. anima, animus — душа и дух соответственно) — вера в существование души и духов, вера в одушевлённость всей природы. анонизм (от англ. anon) — вера в существование анонимных божеств? ну и слово забавное, да. Если у богов есть имена, то почему не может быть бога без имени? несправедливость. | ||||||||
| do cs <- get; {- 11 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
| ||||||||
| Вчера было кендо и сегодня было кендо, и меня что-то так прёт, что я бы и завтра тоже сходил на кендо, но кендо завтра не придёт. Зато сегодня была первая на моей памяти тренировка с детьми. С мальчиками ещё как-то более-менее ок (они полны пафоса и отпрыгивают, если что), а с девочкой было страшно, причём непонятно кому больше: мне или ей (таки ~140 см. росту VS 191 см.) — с такой разницей в массе даже толкнуть боязно. Но вообще лоли в богу (доспехи) — это сила, и выглядит весьма кавайно *_* (тут я солидарен с Кёном — пони-тейру это оооок). бтв, выписал коммандировку в нерезиновую, туда приезжаю утром 6-ого, уезжаю ночью 7-ого октября, расписания конференции не знаю и когда там будет свободное время — тоже, но вдруг в моей любимой фленте есть нерезиновшцы, что желают меня увидеть/провести мне VIP экскурсию по моркве? нэ? | ||||||||
| do cs <- get; {- 18 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 19th, 2009
| ||||||||
| Как-то так получается, что срач в этой жжшечке я последнее время развожу в ночь с пятницы на вторник. ОчередногоГлобальногоПоста на конкретную тему у меня чего-то за прошедшую неделю не родилось, потому буду кидаться троллить вас, уважаемые френды, дыбровыми глупостями. Во-номерразовых у меня дома теперь есть водопровод. Люди живущие не в деревне могут идти лесом, а те, кто сейчас находятся в положении меня неделю назад — могут начинать завидовать, потому что теперь чтобы постирать что-нибудь не нужно руками вливать в стиральную машину воду (потому что давления в трубе не хватало), а ещё можно нормально стоять под душем и не думать о том, что если кто-то в кухне откроет горячий кран, то тебя внезапно окатит холодной водой. А ещё у меня в комнате появился шкаф (звиняйте, без фоточке, тут на нём уже интимные вещи лежат, да и поздно же фотоаппарат искать). Во-номердвазовых провожал тут на днях некого родственника в аэропорту, в зале ожидания были сплошные таджики, подбирающие своих родственников и друзей, прилетающих из Душанбе. Я было задался вопросом, а чо это они такие богатые все, что самолётами летают, а оказалось, что лететь самолётом им получается выгоднее, чем поездом, потому что в самолётах не грабят, а в поездах их обирают всякие (кстати, на русской территории, в основном) бандиты по принципу «едешь в Питер/Москву — имеешь денег, имеешь денег — делись, а там заработаешь ещё» (транзитивное замыкание, однако). вот такие дела. Что касается меня, то я всю неделю продирался через бюрократические дебри в универе, чтобы оказаться в различных нужных непонятно кому приказах, которые в начале октября позволят нахаляву (aka командировка) съездить в понаеховск на конференцию. Напоследок я просто оставлю здесь эту ссылку на песенку и предупрежу, что если вы вдруг не терпите ВеликогоРусскогоЯзыка во всех его проявлениях, а также весьма неоднозначных заявлений в сторону РПЦ (это церковь такая, если что), то вам категорически не рекомендуется жмякать на ссылку. Я вообще не фанат штук типа «Бодрячком, пацанчики» и прочего околозэковского гопничества, но текст этой песенки доставляэ. Олсо, можно погуглить майспейсовский акк сией группы, однако там больше особых перлов нет. И ещё замечу, что, видимо, для таких заядлых эгоцентрических (и заодно себялюбивых) личностей типа меня, нет ничего более интересного, чем наблюдать за самим собой же. Это прямо праздник какой-то, а мне пора организовывать на этой почве тренинги и стричь (много-много) бабло. Теория типов — это вздор, кому нужна ваша теория типов, вот тренинги это да-а-а. «Узнайте о себе то, чего сами не хотите о себе знать, освойте виртуозное владение двумя руками одновременно, познайте все удовольствия левоправшизма, а также научитесь параллельно воспринимать две мелодии и шесть голосов через левое и правое ухо одновременно и взаимозаменяемо.» Клёвый слоган, да? И ещё надо себе какой-нибудь псевдоним соответствующий взять, а то на мою фамилию будут только всякие анимешники, извращенцы и прочие среднеевропейцы реагировать. | ||||||||
| do cs <- get; {- 2 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 13th, 2009
| ||||||||
| Собственно вот, сделал капиталовложение в Samsung 2243BW (EB) Black. Выбирал долго, ходил разглядывал всякие мониторчики, читал обзорчики и тестики и понял, что 16:9 мне не нравятся, для фильмов оно может и ок, но для работы высоты маловато, потому у этого ratio 16:10, а ещё есть возможность ставить его в портретный режим (по-человечески читать мангу!). Вот. Хотел сделать мультихед систему со старым моником, но фейл — видеокарта не желает выдавать разрешение больше, чем 1280 по большей стороне, а если эти 1280 ещё и поделить на два моника, то вообще всё плохо. Так что живу на 1280x800, что картинка зумлена — заметно, но жить можно. Ещё один повод купить новую машинку. Зато с EeePC дружит на отличненько.  А недостаток катов в последнем бакемоногатари меня чего-то сильно заугнетал. Печаль. UPD. Портретный режим решает. фап-фап-фап.  | ||||||||
| do cs <- get; {- 45 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 12th, 2009
| ||||||||
| Ехал с тренировки домой чудесным автобусом. Автобус без гармошки, монолитный, дефолтный Питерский двухдверный. К моменту выхода на своей остановке в автобусе были заняты почти все сидячие места и ни одного человека не стояло. И сколько — вы думаете — в этом автобусе человек говорило по-русски? Трое: я и девушка с молодым человеком на заднем сидении. Остальные болтали по-цигански, по-чибурекски, по-узбекски, etc. Знаете, я не рассист/националист какой-нибудь и вообще нормально отношусь ко всем людям, которые понимают, что, может быть, их убеждения не являются единственно верными (ай-ай, ну вы уж простите, товарищи религиозные фанатики), но даже я, такой няшный, добрый и толерантный, слегка засомневался в правильности названия страны, в которой живу. Тут у нас культурная столица, простите, чего? Такие дела. P.S. aka «Раскаяние, чтобы вы тут не подумали обо мне чего грешного». А вот, так вышло, что в сем посте получилась запутанная логика рассуждений, по большей части оставленная IRL, в моей голове и в моих комментариях к этому же посту. Так что, если вы не телепат, то не стоит делать поспешных выводов о самом предмете разговора и моей его эмоциональной оценке. И, да, я — тролль, но совсем чуть-чуть. И в этом каюсь. | ||||||||
| do cs <- get; {- 49 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
September 4th, 2009
| ||||||||
| Когда в начале лета я защитился, то нам сказали, что надо бы прийти 25-28 августа в 420ый кабинет и забрать копию диплома, чтобы потом отдать её в деканат. Я был не первым, кто попытал счастья в этом нелёгком деле, но результат был одинаковый. Я в этот самый кабинет явился 27ого августа через пять минут после конца их обеденного перерыва, который заканчивается в 14:00, и, не обнаружив какой бы то ни было очереди (что очень странно, поскольку обычно в такие места после обеда выстраивается целый стадион), а также, выждав драматическую паузу стоя перед дверью (ну ладно, на самом деле из кабинета были слышны крики (которыми, очевидно, всегда сопровождается бурная работа), и сначала было даже страшновато туда зайти, но), собрался с мыслями и сделал шаг в помещение, в котором сидят три тёти. Я почти уверен, что каждая из них всегда занята каким-то очень важным делом, но только пока в кабинете нет посторонних, поскольку после того как я туда вошёл, оказалось, что одна из тружениц хавала бутерброд с колбасой, другая болтала по (служебному) телефону с подругой о здоровье дочери их общей знакомой, а третья, в момент моего входа в комнату, выбежала через ту же дверь и скрылась в коридоре. Зато на мою просьбу дать мне копии каких-нибудь документов они стали кричать, что очень очень очень заняты, и, если мне так нужно получить бумажки до первого сентября, то я должен сходить в деканат и привести оттуда секретаря, чтобы они ещё и с ним поругались. А в деканате мне сказали, что это они переживут со сдачей документов до октября и идти ругаться не возжелали. Такие дела. В остальных аспектах бытия этот универ тоже всем универам универ, так как расписание занятий появилось в середине дня первого сентября, как раз за час (ну или около того) до начала первой лекции. Конечно, об этом событии никто из преподавателей не узнал и через день, потому что мне звонил один однокурсник и жаловался, что он пришёл на лекцию, а преподаватель — нет. А ещё лекции, которые читаю я, поставили на субботу, а по субботам я обычно сплю. И большинство даже приличных студентов — тоже. Видимо, тетеньки из диспетчерской тоже очень заняты, но сами не очень понимают чем. Вот. А сегодня снова была военка. Я честно конспектировал три четверти от двух унылейших полуторачасовых лекций о какой-то неведомой фигне, а последнюю четверть на свободных местах листов конспектов рисовал манга-головы с разными причёсками и человечков в полный рост. Не смотря на то, что 80% аудитории вообще спали, капитан первого ранга не оценил именно мои художества в конспекте, не смотря даже на содержательность писанины трех четвертей от двух лекций. Нет пророка в своём отечестве же. И вообще, у меня память фотографическая и может недовольная анимешная рожа рядом с типами правовой организации государства помогает мне лучше усваивать материал, а одежда человечка, которого я рисовал большую часть последней четверти времени, может быть является зашифрованным конспектом того материала, что диктовал преподаватель. Короче, БУ! Если бы мой студент на моих лекциях стал изображать поведение юниксовых системных вызовов, рисуя мангу/стрипы/etc (кстати, клёвая идея же :3) — я бы возражать не стал, а уж тем более не стал бы даже пытаться оценивать содержательную ценность такого конспекта. Не то чтобы меня это сильно задело, но логика, эта совковая логика — «или делай видимость, что делаешь что-то нужное для тех кто делает видимость, что им это нужно, или лучше вообще нифига не делай» меня люто раздражает. Такие дела. Но хватит о грустном. Зато я закончил ремонт в своей комнате. Я так насобачился шпаклевать/красить/клеить/мазать/шкурить/п теперь сплю совсем на полу  ( моар фоточге ) Олсо, можно заценить старый вид комнаты, например, вот в этом птосе. | ||||||||
| do cs <- get; {- 35 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 25th, 2009
| ||||||||
| Что-то я так занят последние дни, что даже постик написать некогда, потому буду краток же. В прошлый четверг я даже ИРЛ видел konart и некого «Бачи» в каком-то душном баре, тем самым осознав, что один незнакомый человек мной переваривается более-меннее нормально, а двух я уже боюсь >_<. Впрочем, наличие Садари-тяна скрасило мой период адаптации, и я, вроде, не потерял сознания от страха и ничего такого же =_=.Потом мы прошлись по городу, Конарта оставили дома, а сами разбежались в метро, но я, после этого наблюдения за собой, прикинул чего я ещё такого глупого боюсь. Оказалось не мало, например: боюсь высоты выше девятого этажа (ниже почему-то ок), всяких узких мест типа пещер и труб, и ещё когда поезд останавливается в метро посреди тоннеля. А ещё, в последнее время, я не только разговаривать почти разучился (об этом я уже писал же), но ещё и стал вообще забывать слова. Хочу чего-то сказать, вот в голове есть эта «абстрактная идея» которую хочу выразить, а слов нужных не помню. А ещё бывает, что хочу сказать какую-то определённую фразу, но вдруг забываю как она звучит. клиника. Короче, меня можно отдавать куда-нибудь в тёплое место, где хорошо кормят, в качестве подопытного кролика, потому что вот я сам за собой слежу и не понимаю от чего всё это происходит в голове моей. С другой стороны, эти наблюдения лишний раз подтверждают, что до тех пор пока я не задумываюсь о ходе своих же мыслей — я вообще не использую язык (будь русский то, польский то, ещё какой-то), потому что иначе была бы невозможна ситуация, когда я знаю, что хочу сказать, но не помню как. Такие дела. | ||||||||
| do cs <- get; {- 6 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 20th, 2009
| ||||||||
| В 10:20 был в хостеле у goodsoft, где «помог ему собраться», давая мудрые советы. Потом, посидев в магдональдсе (халявный вайфай!), вылавливал konart в твиттере, но что-то как-то оно не срослось и я его сегодня так и не увидел. Вдвоём мы шли в сторону дома sadari, но, дойдя до Литейного моста, я решил, что Эрмитаж слишком рядом и вообще круче всего остального («Быть в Питере и не быть в Эрмитаже? Это неправильно!» — сказал я, и попёр туда), а Садарин пообещал догнать нас минут через сорок.Так вот пока мы отстояли два с лишним часа в очереди на вход в музей, Садарин отнёс кота ветеринару, а потом, сидя в маршрутке, простоял всё полезное время в пробке на Литейном мосту, в итоге мы, видимо, уже гуляли где-то у немецкой живописи, когда он явился рядом с Дворцовой. Кстати, пешком этот кусок можно было пройти всего минут за двадцать, но избалованные глупостями городские жители предпочитают час стоять в пробке. Ужас же. В общем, пока я рядом с очумелым от длинных переходов по городу и музею, а также просто цундероватым, Гудсофтегом разбрасывался своими знаниями о испанской-голландской-немецкой-французск baka_smith и ожидая его респауна, сожрали по несколько пончиков.Потом, уже вчетвером, попёрлись кругами до «Варшавского экспресса», где я предложил порезаться на автоматеге ddr, но что-то никто особым желанием не возгорел, за сим оставшуюся часть времени была прозжена в каком-то садике со скамейками, где мы рассказывали друг-другу душераздирающие истории. Затем был поход в «Ленту», а потом я убежал на последнюю электричку с Балтийского вокзала и окончания истории в виде посадки Гудсофтега в автобус не застал. Такие дела. Олсо, Курлоняна aka kurloman вызвонить чего-то не удалось T_T, а baka_smith — няшечка :3 | ||||||||
| do cs <- get; {- 9 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 18th, 2009
| ||||||||
| Впервые за более чем месяц выполз из своей берлоги куда-то кроме как на какое-нибудь кендо. В общем, kona — няшка,sadari — няшка,oxij — няшка,а goodsoft — нифига не похож на свой лузерпик и вообще гомофоб :Pвот. а ещё по дороге я случайно встретил geevee и бывшего однокурсника садари-онии-тяна :3А ещё я пономномномал аж пять раз за день, это был бы совсем инглиш-стайл дэй, если бы вместо спрайта в какой-то момент я потреблял бы чай. Такие дела. А ещё отдамся в рабство за большой вакомовский планшет, а то таки придётся сканировать карандашные рисунки :(. | ||||||||
| do cs <- get; {- 33 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 16th, 2009
| ||||||||
В общем, я определился с сюжетом, названием и даже дизайнами главных персонажей своей убер супер-пупер манги. История с названием «Кафе для Хикикомори» примерно такая: Формат планирую 2xЁнкома, про периодичность пока ничего не знаю, уже хотя бы потому, что всё ещё не могу нарисовать на планшете то, что нарисовал на бумаге в качестве дизайна персонажей, а сканировать не хочу и не буду. Даёшь всё цифровое же! ( Эпизод нулевой. Введение (осторожно, стена текста! осторожно, большая PNGшка что-то типа мегабайта.) ) Как страшно жить, правда? | ||||||||
| do cs <- get; {- 22 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 15th, 2009
| ||||||||||
| Давно чо-то хотелось мне состряпать свой комекс, и вот я взял, взял таки! гимпа и нарисовал «ёнкому с комментариями»: ( большая картинка ) кроме того, отныне для моих рисунков лицензия будет  .а вот если я ах да, а ещё у меня теперь есть аккаунт на девианарте вот такой почти пустой. | ||||||||||
| do cs <- get; {- 25 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
![[mood icon]](http://l-stat.livejournal.com/img/mood/opiummmm/foxies/working.gif){kind=small}
accomplished
| ||||||||||
| Наверно я мог бы вести «профессиональный программистский блог»™, потому что что-то в последнее время часто оставляю огроменные коментарии технической направленности в разных сообществах и других местах. Но почему-то не хочу. А ещё я добрался до списка сайтов на которых надо зарегестрироваться. Да я такой. Каждый раз, когда встречаю интересный сайт, требующий регистрации (например, девианарт), я заношу его адрес в специальный список-очередь «Места где меня не ждут». Когда-нибудь потом я выберу оттуда этот записанный юрл, перехожу по нему, читаю весь «Terms of service» (или аналог), и если эти термсы меня устраивают, то регестрируюсь. Вот сижу читаю третий подряд «Термс оф сарвису». Ай тейк регистрайшон сириосли. И кстати, сижу тут с компутером не в своей комнате. Ах да. Я же не говорил, что у меня ремонт. Так вот у меня ремонт. Прямо в моей комнате. Дырявых стен с грибами уже нет, теперь всё ровно и чисто, но сделана примерно половина всего чего надо до «стандартной отделки», потому в комнате я только сплю, затаскивая туда футон на ночь. Так вот сижу я не в своей комнате со своим компьютером и слушаю не свою музыку не со своего компьютера и думаю, чего это у «Ногу свело» в каждой песне первый куплет нормальный, а потом какая-то каша? А ещё я люблю обмазываться несвежей шпаклёвкой для стен и. ой. | ||||||||||
| do cs <- get; {- 2 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
![[mood icon]](http://l-stat.livejournal.com/img/mood/opiummmm/foxies/happy.gif){kind=small}
calmAugust 10th, 2009
| ||||||||||
| А я сегодня первый раз за лето вышел на улицу «просто погулять»™ один-одинёшенек. Вообще наблюдение «казуалов» часто вызывает у меня недоумение: дети малые почти все уже по домам (белые ночи кончились, чо), на улицах остались преимущественно люди старше шестнадцати. И если дедушки в большинстве сидят вдоль озера и ловят рыбу, бабушки — сидят у парадных на скамеечках и сплетничают/болтают о цветочках, то молодёжь сбивается в кучи и ходит с пивом по улицам (никогда не понимал: зачем?), а людей среднего возраста на улицах тоже как-то почти нет (видимо дома телевизоры смотрят). Вспоминая «былые времена»™ вспоминается, как однажды, отрабатывая всякие паркурные штуки во дворе одной не очень далёкой от меня многоэтажки, ко мне приклеились три каких-то девицы, мне лет семнадцать тогда было, им, не знаю, по пятнадцать-шестнадцать, и что-то они ко мне так приклеились, что потащили меня «погулять»™. Я, чо, я никогда ни с кем не «гулявши»™ и вообще не очень зная, что это такое, согласился. В итоге зря потратил часа два, которые мог употребить на дело тренировки, зато наслушался «историй о себе»™ и выпытываний Так вот, видимо, когда я был моложе, я был кавайнее, потому что одна из этих девиц после этого «погулять»™ и последующих нескольких случайных и не очень встреч с ней и её попутчицами мучала меня домагательствами несколько недель, пока я ей прямо не сказал, что желания с ней встречаться у меня нет, на что в ответ был приглашён на день рождения к одной из её подруг, но опасаясь за свою невинность и недоступность (вдруг изнасилуют ещё) — я никуда не пошёл. За сим всё и кончилось. А к чему бы я всё это, да? Небось, чтобы показать какой я мачо, и вообще. БВАХАХАХАХА, ой. А вот и нет. Просто как-то глупо организованно это межполовое взаимодействие у современной молодёжи. Нет, ладно, просто «погулять»™ — это можно как-то понять, ведь многим (пока ещё) не хватает смелости отдаться малознакомому человеку, и в худшем случае это «просто погулять»™ заканчивается впустую потраченным временем (которое обычный юный человек (молодой человек — почему-то обязательно мужчина, шовинизм!) и так не знает куда подевать). Но почему, чуть эти «погулялки»™ становятся возрастом старше (от восемнадцати и дальше), так они в массовом порядке обрастают огромным количеством народу (в группе более девяти человек произвольная особь с произвольной особью, как правило, нормально поговорить не могут, а значит большая толпа — для продуктивного общения штука бесполезная), пивом, сигаретами и прочим кокаинумом — я не понимать. Я считаю, что если уж система существующего воспитания так сильно кластеризует половозрелых, но безпартнёрных, несовершеннолетних лиц различных полов, то первоочередной задачей общества/государства/культуры является организация нормального взаимодействия между этими кластерами. Но Россия куда-то всё это просрала. Куда? [ок] Поделится впечатлениями от прогулки. Что касается заголовка, то он чудесно охарактеризовывает мою устную речь. Если я не читаю кому-нибудь лекции в университете, то я почти ни с кем не говорю, а потому речевой аппарат потихоньку атрофируется. Следствием всё нарастающей его слабости является «архивирование» того, что я говорю, выражающееся в «проглатывании» слогов, а то и целых слов, и даже словосочетаний (за что меня часто шпыняют близкие и знакомые, вдруг вообще переставшие понимать, что же я там транслирую в эфир). Так вот слово «встаишь» — это то, что употребил в фразе «Чо встаишь!», обращённой к кошке, которая зависла при входе в дом. А значило это — «Чо встала и стоишь!» И это сокращение меня так возрадовало, что вон целый абзац в воскресном посте ему уделил. [ok] Разжевать заголовок. Ну и последнее. Я тут иногда что-то в машине, по дороге от метро до кендо-кейко и просто в рандомные моменты времени, слушаю радио «Эхо Москвы». И на днях там выступал какой-то дядька, кажется «Фридман» (вроде он, потому что в гугле по запросу «фридман америка» ищется то, что надо), который на этом вашем радио очень долго катил бочку на современный капиталистически-социалистический строй (как в скандинавских странах), на то что, зависимость процента налогообложения от общей суммы дохода — жуткая несправедливость и тому подобное, и о том, что америка, сама того не понимая, катится в социалистическую жопу. Но это всё хрен с ним, мало ли что обиженный жизнью и, видимо, не очень много понимающий в социальной психологии дядька там себе говорит. Но там он закатил бочку на американскую систему образования, в которой, якобы, тесты и контрольные подгоняют под дебилов, чтобы у них «не было комплексов, что они не могут решить контрольную, а кто-то может», ну и там рядом пляски, что эта «политкорректность» погубит общество. Но это ещё не всё. Всё тоже «Эхо» чуть раньше выдало в эфир передачу, в которой обсуждали почему иностранцы едут в Россию учится, и среди прочего типа «тут дешевле», «ищут приключений в дикой стране, где медведи по улицам в шапках-ушанках ходят», промелькнуло «едут изучать некоторые области математики». И тут-то у меня и возник жуткий диссонанс, потому что ещё не давно я перечитал много интересных мнений о состоянии нашей математики, сводящихся к «такую университетскую программу можно было использовать во времена Коши, но не в современном мире», и что настоящих математиков делают в американских аспирантурах. И что характерно, люблю всё проверять на себе, и я почитал кое-чего из того, что эти критические мнения предлагали в качестве альтернативных программ (не буду скрывать, что изучал в основном с уклоном в логику, а не топологию), и, в общем, мне действительно показалось, что примерно половина из того, что изучалось в университете на первом-третьем курсе было недостойно моего внимания, зато кучу классных вещей даже не упоминали. Так вот возвращаясь к «Эху». Первое, что мне интересно — что это за такие области математики за которыми едут в Россию? Второе — кто прав? Ведь если в штатах такая хреновая система, что контрольные под дебилов подгоняют, а в девятом классе учат тому, чему в России в пятом, то почему я (вроде не дурак) с весьма заметными усилиями изучаю курсы для третьих-четвёртых курсов американских университетов. Они там на первом и втором за два года осиливают всю оставшуюся российскую школьную программу? Или я чего-то не понимаю, или кто-то врёт. [??] Российская математика — кто виноват и что делать? | ||||||||||
| do cs <- get; {- 14 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
August 6th, 2009
| ||||||||
Тысяча чертей разбери сундук мертвеца! или в новом опенинге Хаяты «Мое-Мое-Кьюн!»: И вообще опенинг полон фансервиса, да такого, что в ЖЖ страшно выкладывать, засуспендят же. ( моар (safe ones) ) Олсо, я пришел к выводу, что Хаята — унисекс/ассексуал (и, как всем и без меня известно, иногда трап), потому что иначе зачем он обычно носит риббон:  если в их академии форма предусматривает галстук?  Фушиги мисутериосу на но да! | ||||||||
| do cs <- get; {- 5 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 30th, 2009
| ||||||||
| В прошедшую субботу обсмотрелся басквоша, в воскресение играл в соника на Хкоробка полныйкруг. Той ночью мне снились гонки на выживание на бигфутах в стиле беготни соникоигр. В понедельник весь день думал над придуманным утром утверждением: «в современном (по крайней мере в этой стране) обществе среднестатистический человек, с некоторыми оговорками, имеет не больше прав, чем раб при рабовладельческом строе». Потом всю ночь снились безнаказанные убийства. Забавно. Вообще забавно, что стали так часто снится сны. И ещё более забавно, что я хотя бы примерно запоминаю их сюжет (обычно после постановки ног из кровати на пол всё куда-то улетучивается). А ещё юристы наверняка прутся с текущего аниму-сезона. | ||||||||
| do cs <- get; c <- io $ readComment; put c:cs; |
July 26th, 2009
| ||||||||
 ( moar ) | ||||||||
| do cs <- get; {- 9 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 24th, 2009
| ||||||||
| Почему-то меня напрягает браузер, отжирающий 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. Можно ли доказать что-то интересное о программе, записанной в этом коде, при условии, что машина может иметь любые операции, и можно положить любую систему типов на эти операции? Казалось бы вопрос интересный, поскольку рассматривая код этой машины не как «просто стековый ассемблер», а добавив туда какие-то операции, манипулирующие типами, может быть можно было бы получить что-то интересное (хотя я сам не очень понимаю что и как). Как-то мутно. Я мог где-то тут выше ошибиться, так что вот, такие дела. | ||||||||
| do cs <- get; {- 5 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 16th, 2009
| ||||||||
| В последние несколько месяцев (лет?), на фоне посвящения себя во всё большее количество различных языков, у меня сложилось убеждение, что все современные инженерные проблемы в компутер сайанс происходят от недостаточных языковых абстракций. Сейчас я тут говорю о натуральных языках, а не языках программирования. Пожалуй, окончательное понимание смысла жизни мне пришло после изучения персидской и более ранних клинописей. Для всех изученных мной языков, фактом является то, что форма глифов их символов имеет чисто визуальные корни. Например, из книжки по иероглифическому письму я узнал, что латинская «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, но для символов. Такие дела. | ||||||||
| do cs <- get; {- 31 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 14th, 2009
| ||||||||
| Ближайшую неделю провожу дома наедине с жёлтой собакой и белой кошкой, потому что все остальные сожители уехали в Европу. Вообще, будь я один, я бы жил и без кошки, и без собаки, потому что я сам могу два дня не есть, а они нет. А готовить лень. Зато кое-какие неоспоримые преимущества жизни всё же остаются: можно не мыть посуду (ура!), можно не закрывать двери в туалет/вторую прихожую (ура!), ни за какими ресурсами нет очередей (ура!), можно жрать всё подряд и не думать, что с кем то надо делиться (ура!), а ещё можно, например, открыть банку со сметаной, зажрать её часть ложкой, а потом эту ложку же в банке и оставить, и не парится гигиеническими соображениями (ура!). Зато на третий день обычно всё, что можно не готовить, заканчивается (блин!) и приходится готовить самому (блин!), а животным тоже надо готовить, пусть и раз в два дня (блин!). Зато можно пожить целую неделю по двадцати восьми часовым суткам (ура!). К выполнению последнего пункта я приступил ещё в субботу, потому у меня есть стойкое ощущение, что сегодня воскресение. Везде обман. Вот всегда как соберёшься родить пост в жж, так сразу уйма полезного из головы вылетает. Потому вспомню какой-нибудь рандом. Типа того, что недавно видел в метро немолодого молодого человека в килте (юбка. клетчатая) с сыном на руках, тоже в килте. Мне, кстати, вообще непонятно почему мужские штаны так распространены, а мужские юбки — нет. Ведь древние греки и римляне все поголовно ходили в юбках, юг дальнего востока и Япония тоже вся была в юбках, а штаны вообще придумали варвары. А вот вспомнил. Примерно каждое лето. Сцена прощания меня со всеми остальными уезжающими куда-то в далёкие края. Шесть часов утра. Крик из соседней комнаты: — А ну быстро все сели! Надо посидеть на дорожку! Ян, — это меня так зовут, если что, — а ну давай садись! Ян открывает правый глаз, садится на кровати, обняв скомканное одеяло, используя его как дополнительную точку опоры. Тридцать секунд тишины. — Всё, идём. Ян, пока! Ян отпускает из рук скомканное одеяло и, падая на спину, закрывает правый глаз и засыпает. А потом просыпается часа в два дня. Нанка... боку ва моэ то каваии дес! А вот ещё кажется в октябре (5 — 9 числах) нагряну в нерезиновую Москву для участия в конференции «Методы и средства обработки информации» в МГУ (вай, как пафосно же ^////^). Остальные подробности, видимо, ближе к октябрю. Такие дела. | ||||||||
| do cs <- get; {- 6 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 12th, 2009
| ||||||||
| Неделю назад я пришёл к выводу, что Петербургскую окружную-кольцевую дорогу надо разобрать обратно. Напомню, что когда-то Таллинское шоссе было в две полосы шириной. Потом кусок от Лигово до Волхонского шоссе и двести метров после расширили до четырёх полос, заодно вокруг понастроили (и всё ещё строят) связок-развязок с кольцевой. За это же время, видимо, количество машин на дорогах увеличилось больше чем на две полосы. Три года назад промежуток от Лигово до Волхонского шоссе в пробке можно было стоять, ну, максимум, десять — пятнадцать минут. Восемь месяцев назад там можно было стоять минут сорок. Неделю назад в автобусе за сорок минут я проехал примерно двести метров, после чего мои нервы не выдержали и я попросил водителя меня выпустить и пошел пешком прямо по середине дороги с двумя проезжими частями и восемью полосами. Все восемь полос в обе стороны стояли. А я шёл. Водители встречной полосы открывали окна и спрашивали: «Много ли там ещё впереди?» Ой, много. Короче, домой я дошёл быстрее автобуса раза в три, то есть я уже несколько часов был в интернетах, а автобус небось только к моей остановке подъезжал (из расчёта средней скорости движения потока). Короче, ситуация получается абсурдная: отрезок, который электричка проезжает (в среднем) за шесть минут и тридцать восемь секунд, автобус теперь едет дольше, чем вся моя оставшаяся дорога от университета и до Лигово. Во вторник, когда ездил принимать переэкзамен у студентов, опоздал где-то на двадцать минут, потому что такая же пробка была от меня и до Волхонского шоссе. Правда если бы я сел в автобус, то опоздал бы на полтора часа. А так я просто дошел до того места где пробка кончилась (обогнав шесть автобусов), и вернулся на предыдущую остановку, где и сел в последний обогнанный автобус. Так вот, если пробка от Лигово до Волхонского ещё понятно почему (четыре полосы сужаются в две после Волхонки), то пробка от меня до Волхонки вообще на пустом месте. Суть такова: есть Таллинское шоссе (две полосы), есть деревенская раздолбанная дорога (0.5 полосы), которая идет этому шоссе параллельно. На эту тропинку можно свернуть на ближайшем ко мне перекрёстке, а вывернуть обратно на шоссе примерно на два с половиной километра ближе к Волхонскому шоссе. Представим себе ситуацию: плотный поток машинок (ведь теперь с Волхонки можно въехать на кольцевую, а потому этот поток за последние несколько лет увеличился раз в пять, а дорога в толщине не поменялась), всегда находятся дибилы, что лезут куда не надо, тут бац и авария, из плотного потока получается плотная пробка, что делают оставшиеся дибилы из пробки? правильно, они тучами лезут на раздолбанную деревенскую дорогу в 0.5 полосы (тем самым делая её ещё более раздолбанной, но это не самое страшное). См. рис. 1. Теперь рассмотрим выезд с деревенской раздолбанной дороги обратно на шоссе. Шоссе — две полосы, раздолбанная дорога при повороте на шоссе — одна полоса. Итого — три полосы. Поскольку по раздолбанной дороге всё равно движение быстрее чем по шоссе, то на перекрёстке, где они встречаются, получается загруженный нерегулируемый перекрёсток, где по главной дороге под завязку заняты две полосы, да ещё и со второстепенной лезет поток в одну полосу. А потому движение по Таллинскому шоссе замедляется в полтора раза ((2+1)/2), в результате ещё большее количество дибилов лезет на раздолбанную дорогу, тем самым ещё замедляя движение по шоссе, ну и так далее до полного дедлока (ещё одной аварии).
-------------------------------------------
-> Таллинское шоссе ->
-------------------------------------------
| |
--------------------------------------
-> деревенская дорога ->
«Рис. 1.»Ровно такая же ситуация иногда (обычно по пятницам, когда все прут на дачу) наблюдается в обратную сторону (от Волхонки ко мне), но в этом случае в качестве раздолбанной дороги служит дорога через поле (она кстати уже стала такая, что по ней надо на танке ездить. ещё бы, земля/грязь — не асфальт и непрерывный поток автомобилей не выдерживает). Но там выезд с дороги через поле на шоссе слегка через жопу (не напрямую, а через ещё одно шоссе, перпендикулярное Таллинскому, а на этом перекрёстке светофор, ну и логично, что, в итоге, пробки получаются по обе ветки светофора). Я тут на неделе болтал с неким однокурсником (который, совершенно случайно, есть чемпион мира по программированию) об этой дорожной ситуации и мы сошлись на мнении, что лучший способ улучшить ситуацию на дорогах — вообще не строить новых дорог, потому что на реальных дорогах плохо работают методы подсчёта трафика, применимые на абстрактных графах, так как, например, почти всегда есть гипотетическая «раздолбанная дорога», как в приведённом мной жизненном примере. Остаётся не изученным вопрос улучшит ли дорожную ситуацию перманентное закрытие какой-нибудь существующей достаточно нагруженной магистрали. Ладно, ведь настоящий /tr/фаг скажет, что «всё это — фигня, ведь поездка электричкой решает все эти проблемы за шесть минут и тридцать восемь секунд». Проблема заключается в том, что летом РЖД совсем охреневает и убирает пятидесяти процентную скидку для студентов. А за неполный полтиник (в два раза дороже маршрутки!) в электричке я бы не стал ездить, даже если бы мне платили в десять раз больше, чем сейчас. Т.е. РЖД хочется взять и уеばть, взять и уеばть! Потому что, например, если ехать до Крестовского острова, то машиной получается дешевле, чем электричкой, а потом в метро. Маразм! И после этого не удивительно, что как только у людей появляются бобы, они сразу бегут покупать машинку. И вообще я не верю, что такая цена билета на электричку хоть чем-то оправдана. Не может личный транспорт стоить дешевле общественного на такие расстояния. Такие дела. | ||||||||
| do cs <- get; {- 18 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 8th, 2009
| ||||||||
| Пить/курить непосредственно перед сдачей зачёта/экзамена — фейл. У преподавателя есть нос. Не сказать «спасибо» после получения оценки в ведомость/зачётку/etc — фейл. Документирование оценки требует повышенной концентрации и там есть за что благодарить, не говоря уже о обычной вежливости. Оправдывать незнание предмета кризисом, работой, заботой о семье/детях/племянниках/внуках — фейл. Со мной один раз в жизни была такая фигня, когда я приличное количество времени (три, кажется, недели) присматривал за пожилым человеком, которому нужно было постоянное внимание, но даже тогда я что-то делал на благо науки. Так что не бывает студентов, которые в течении семестра не могут уделить полтора часа в неделю на нужды самообразования. Если нет возможности самому присутствовать на лекции, то всегда можно заняться самообразованием по её материалам. Хотя бы и в выходные. Таки приняв сегодня пересдачу своего предмета (6 часов подряд) съел пару булок, запил стаканом пепси (буэ! но выбора особо не было) и пошел в сторону тренировочки кендо. Серьёзные физические нагрузки и такое питание — вещи несовместимые. Меня два часа потом тошнило, примерно сорок минут я почти ничего не видел (расфокусировка и «белые пятна по всему экрану», особенно в правом глазу (кстати, это особенно бесит, когда два глаза вдруг оба сразу видят очень плохо, но по-разному)), что, кстати, ужасно напрягает, потому что даже крупные надписи на уличных вывесках не прочесть, не говоря уже о ценниках в магазине, и вообще, у привыкшего читать всё до чего дотягивается взгляд вызывает состояние близкое к панике. Ну и голова болит до сих пор. Вот. [ok] Поплакаться в жжшечку. [??] Уснуть. Такие дела. | ||||||||
| do cs <- get; {- 28 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 7th, 2009
| ||||||||
| Что-то стал смотреть всякие онгоинги ещё до появления субтитров. Разница в количестве понимаемой болтовни в разных сериалах настораживает. В бейсбольных девочках я понял всё кроме двух предложений отца главной героини, а в зетсубо от первой половины серии, не знаю, треть, зато вторую — ок. Олсо, по-моему стиль рисовки слегка поменялся с Zoku сезона (в Goku там тысячи стилей, потому говорить сложно же), какой-то более упрощённый стал что-ли. Задники примитивные и теней почти нет. Впрочем, сузуку ва ваку ваку. Если вы вдруг знаете порядок выполнения обряда сеппуку, то арт в конце эпизода может вызвать неконтролируемые приступы хохота.  И ещё интересно, вот меня прёт этот «японизм» Сенсея, но неужто самих ниппонцев с него также прёт? | ||||||||
| do cs <- get; {- 10 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
July 1st, 2009
| ||||||||
| Это не секрет, что у меня, как у чоткого поцона, есть чоткое мобилко (Nokia 5200). Где-то в архивах сего жж даже можно найти место её появления. Но я не об этом. Меня забавляет тот факт, что 99% времени её использования приходится не по назначению. В среднем в месяц я пишу одну СМСку и делаю два телефонных звонка, остальное время она служит как плеер (с весьма противным качеством, но таскать ещё и КПК только ради музыки мне лень) и будильник (каждый божий день кроме воскресения, а также в электричках, чтобы свою остановку не проспать), а в последнее время, всё чаще, как место для заметок. Выглядит это как-то так: иду куда-то (обычно из универа до какого-нибудь метро, так чтобы через весь город, или вообще от универа пешком домой) или просто еду в метро/электричке, вижу какой-нибудь абсурд, делаю короткую заметку. Или просто стою на месте, вагон метро едет, я думаю, бац — хорошая мысль (например, о том, что в зависимой системе типов можно выразить исключения, которые делают соответствующие объекты невалидными и последующие обращения к этим объектам будут отвергаться компилятором), записал. Еще там бывают «сюжетные» мысли для гайдзин-манги, которую я всё как-нибудь хочу начать производить, но каждый раз очередная умная статья с математическим уклоном отбивает у меня это желание. Ну и, наконец, там записаны всякие имена (потому что, пожалуй, единственное на что у меня плохая память — это на имена) людей от которых мне что-то нужно (например, художники, чьи работы меня заинтересовали, будучи в музее, и я хотел бы потыкать их ещё и в интернетах), ну и всякий рандомный стафф, типа списка автобусов, которым можно доехать до Колпино, веб-адреса, подсмотренные у кого-то и которые надо бы внести в закладки своему браузиру, и игры словами, которые мне показались интересными, будучи услышанными или придуманными лично. Однако самое весёлое это потом расшифровывать короткие (потому что печатать на телефонной клавиатуре в слепую не умею) записки типа «рекурсивный лист в папке» в то, что они значили, когда в эти заметки вносились. Это оказалось на удивление забавным занятием угадывать состояние своих мыслей по такому короткому текстовому отпечатку. Сродни разгадыванию значения кандзи, когда все ключи известны, но логика их связей абсолютно не очевидна. И вот я уже две недели хотел написать в жж список абсурдов, собранных в дороге, но сейчас подумал, что как-то там всё нифига не абсурдно. В основном там различные вывески и рекламы для туристов в центре города (типа «Релакс ин рашан стайл» и картинка, где три девушки в традиционных нарядах жрут чёрную и красную икру) и местная социальная реклама, которой, кстати, в последнее время стало меньше (кризис, да?). И если раньше она часто была на тему «милицию надо ценить и любить, а не бояться» (например, «Участковый от слова «участие»», а я, кстати, всегда думал, что от «участок»), то сейчас всё больше о том, что надо пристёгиваться в машине и, что «счастье — это семья». А вот зато недавно в метро увидел рекламу о том, что ходить мимо канализационных люков надо с опаской, потому что асфальт под ногами может прохудится и обвалится, а несчастные, оказавшиеся в этот момент сверху могут сварится в кипяточке. И подумалось мне, что это ужас же, что такая реклама в метро висит. Нет, ну я понимаю, что «предупреждён — значит вооружён», но что это будет, если все вдруг начнут обходить люки стороной. Это словно признание властей города о своей немощности в отношении решения проблем водоканального свойства. И ведь главное, там внизу это же предупреждение по-английски написано. Ужас. Видя такие абсурдные вещи каждый день так к ним привыкаешь, что даже потом на них внимание перестаёшь обращать. И это очень печально, я считаю. | ||||||||
| do cs <- get; {- 2 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
June 30th, 2009
| ||||||||
а напишу строчку на 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). | ||||||||
| do cs <- get; {- 4 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
June 27th, 2009
| ||||||||
| Тут я ссамарияйзу события последней недели. Допринимал экзамен у третьего курса. Семь часов насилия студентов над моим неокрепшим экзаменаторским умом. Зато обнаружил в себе способность быстро искать противоречия в чужих логических системных архитектурах (это когда студент нифига не знает, но на ходу чего-то сочиняет, и нужно быстро объяснить почему то, что он сочинил не будет работать). И ещё я слишком добрый, впредь буду строже. Отходил на все кендо кейко на неделе, содрал до мяса обе ноги, на левой ещё проткнул большой палец, похоже, что это был гвоздь. А вся правая рука в синяках. В пятницу ездил за зачётом по культурологии в Петергоф. Было две экскурсии: по островам (Царицин и Ольгин) и в императорский коттедж в Александрии. Коттедж очень понравился, он во время войны почти весь сохранился и построено там всё ок. А оба острова какие-то недостойные. Во-первых, там почти ничего кроме стен подлинного не осталось, и мебель и скульптуры — почти всё подобрано «во вкусе того времени из современных образцов». Во-вторых, поскольку оба острова построены для девиц императорской семьи, то и построены они как-то не серьезно, по-девичьи, эдакие кукольные домики, где всё стилизовано, скажем, под римскую виллу, но практическое значение архитектурных элементов в местном климате теряет свой смысл, а потому мне всё это кажется каким-то диким. Посмотрел «Eden of the east» (начало — ок, конец — бред; краткое содержание (ОСТОРОЖНО СПОЙЛЕР!): 20 000 раздетых до гола NEETов с мобилками и ещё один крутой перец с крутой мобилкой, которая умеет звонить очень умному компьютеру™ могут спасти японию от любых извращенцев), начал смотреть «Asura Cryin» (кончил 5 серий, пока ок) и «Pandora hearts» (про это отдельно). Так вот осилил 5 серий Пандорных Сердец. Сюжет: очередная большеглазая интерпретация Керролла (когда же эти японцы уймутся, а? им самим не надоело?), снова «контракт», снова симбиоз двух организмов из разных измерений во благо эгоистических целей каждого, с последующим развитием межличностных отношений и возникновением вопроса о возможности любви между людьми и «демонами» (это я только пять серий посмотрел, там ещё этого развития нифига нет, но уже можно догадаться чем всё это кончится. ммм, я могу сходу назвать десяток похожих аниму, это уже штамп, или ещё нет?). Что касается визуальной части, то закос под готишную архитектуру тоже какой-то дешёвый (моси-моси! художники, откройте же какую-нибудь книжку с приличным готическим собором!), дизайн персонажей — вроде бы ничего выдающегося, но в общую стилистику вливается. Я тут ещё было написал про неоправданность дизайна причёски Алисы, но забил. Общее впечатление от рисовки положительное, но на фонах местами экономили.  И ещё энкодерам из Hatsuyuki надо руки поотрывать. Вот и после всех этих гадостей я скажу, что смотрю это аниму с такими *_* вот глазами и ушками на макушке, потому что голоса сейю просто офигенно подходят под образы персонажей. Сабер/Нодаме в роли Алисы — МОЭ! Из летнего сезона буду потреблять всё Шафтовское и Шпайс P.S. А за окном снова дождь, и снова интырнеты нифига нормально не работают. >_< | ||||||||
| do cs <- get; {- 13 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
June 22nd, 2009
| ||||||||
| Принимал сегодня экзамен у третьего курса. Понравилось. Завтра ещё пойду. А вообще в «наши времена» небеса были выше, а трава зеленее. Впервые в жизни встретил столь массовый метод попытки сдачи экзамена, охарактеризовываемый как-то так: «Не буду ни фига учить, но приду, а то вдруг халяву раздают». Когда этим принципом руководствуется 1-2 человека с курса, то это ок, но когда собственно что-то сдают около десяти, а ещё столько же специально приезжают в универ только для того, чтобы присутствовать в аудитории на случай дармовой раздачи оценок (и не получив их снова расползаются по домам). О. Давно я не был так впечатлён. Такую бы целеустремлённость да в правильное русло. ууУУ. | ||||||||
| do cs <- get; {- 30 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
June 20th, 2009
| ||||||||
| Проснулся утром от шума за окном и желания сходить в уборную. Потом было два выстрела из гаубицы, автоматные очереди, какие-то взрывы, запуски сигнальных ракет, теперь если открыть окно, то слышно как хором орут солдатики, тысячи их. Не знаю, учения там или просто показуха какая-то, но денег налогоплательщиков на этот концерт уходит, видимо, не мало. Да, кстати, я живу недалеко от двух полигонов (один испытательный, и хрен знает ещё какой), одного интересного исследовательского института и одной военной части. А если есть желание бродить по лесу, то там иногда можно встретить живые танки, или, как минимум, следы от гусениц. Что, кстати, весьма удивляет, потому что я когда-то думал, что вся деятельность в этом направлении давно уже тю-тю. Ан, нет. Такие деревенские дела, вот. P.S. Лузерпик посвящается нанощам. | ||||||||
| do cs <- get; c <- io $ readComment; put c:cs; |
June 18th, 2009
| ||||||||||
| И все экзамены сданы, и защита ок. Если бы не преподавательские обязанности и один полученный, но не проставленный в зачётку, зачёт (за которым ещё хрен знает когда и куда ехать), то свобода. Только меня это совсем не радует. Взглянув в недалёкое прошлое. Моя реакция на окончание учебного года: в школе — «ААААААА! УРА КАНИКУЛЫ! Что же я буду делать в универе, там же всего два месяца каникул, а не три, как в школе? Ужас же!» на первых двух курсах — «ААА! УРА КАНИКУЛЫ!» с третьего курса и до сейчас — «Быстрей бы сентябрь.» Потому что скучно, когда ни фига не надобно. Но это лето я решил посвятить полезному делу: зазубриванию материалов по метаматематике стенфордского университета и курсов матанализа и функционального анализа, читавшихся у нас. Только математику по-английски я как-то с большим трудом перевариваю, все эти их обороты типа русских «тогда и только тогда, когда», «если то, то это», или, например, «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», я вообще не уверен, что даже правильно распарсить это выражение могу. И это печально. | ||||||||||
| do cs <- get; {- 13 -} putStrLn $ show cs; c <- io $ readComment; put c:cs; |
/^.in$/
|
|||||||||||||