Category: образование

Category was added automatically. Read all entries about "образование".

|, me, hikki, ok

Почти три месяца event_mask is 110111, not able to describe 4th event

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

Из того, что произошло за это время ярко выделяются:
* защита магистерской диссертации,
* поступление в аспирантуру,
* написание отчёта по государственному контракту в TeXе,
* катание по Европе поездами и последствия,
* любовь к NixOS;
* начало ведения другого блога.

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

Про магистерскую я надеюсь когда-нибудь рассказать в другом блоге. Вкратце, я научился кодировать в разрешимом подмножестве зависимой системы (брр, я столько раз писал это словосочетание, что муражки по коже пробежали) типов (Agda) некоторые любопытные утверждения о некотором ограниченном классе программ (подмножество систем управления чем-нибудь достаточно дискретным). Я всё мечтаю допилить это до состояния, когда этим можно будет хотя бы нормально поиграть, но в Агде очень не хватает deriving Eq для эквивалентности по Мартину-Лёфу, я экономил всё, где мог, а потому там пока всё не очень красиво и малоюзабельно (зато научно, ага).

Собственно другой блог это там. Оно в весьма зачаточном состоянии и на английском. В очередной раз хочу выразить благодарность yuno и передать привет всем, с кем после поступления в аспирантуру у меня почти исчезло время поболтать.

Написание отчёта по госконтракту в TeXе это прямо веха в моей жизни, я считаю. Я так смачно натрахался с LaTeX2e, что словами не описать. По дороге возненавидел всё внутренности TeXа всей душой, но выпилил подобие ГОСТовских шаблонов для вёрстки документов и biblatex. Результатами я когда-нибудь тоже поделюсь (я хотел в сентябре, но, как обычно, времени допилить всё до приличного состояния нет, а в неприличном состоянии выкладывать стыдно). Нетипизированные языки программирования надо жечь.

Кстати, любопытно, в сентябре пришлось писать генерировалку doc'овских шаблонов для другого госконтракта. Из любопытства, возьмите достаточно большой вордовский документ, сохраните его в html. Загрузите обратно. За исключением изменения цвета текста (это баг ворда, да) вся разметка сохраняется. Даже ссылки на переменные и вычисляемые выражения в документе. Если почитать сгенерированный html и поэксперементировать с его минимизацией, то можно научиться генерировать красивые htmlные документы, в которых даже нумерация списков, оглавления и ссылки правильно генерируются самим вордом после их открытия им (правда в браузере их бесполезно открывать, вся разметка плывёт в жопу).

Я так нареверсинженерился того, что он там генерирует, что чувствую в себе силы написать компилятор из подмножества LaTeX в этот doc-html. Штука в том, что на этот раз я знаю как LaTeX устроен внутри и, извините, но компиляция документов сделанных при помощи стандартных пакетов и макросов LaTeX2e — занятие не для слабонервных. Если бы между texовским файлом пользователя и LaTeX2e был бы ещё какой-то вменяемый уровень абстракции, то ещё куда ни шло, но там сразу всё макроподставляется в грязнющий Plain TeX, полный всяких хаков, а это нереально декомпилировать обратно в адекватное описание того, что мы хотим получить. Судя по результатам реверсинженеринга, Word, в обмен на флексибилити, пытается держать внутри близкое к адекватному AST документа с которым хоть работать можно.

Короче, надо писать свой компилятор для TeXа.

Дальше. Я вроде писал, что у меня есть свой собственный дистрибутив. Так вот, был. Идея была хороша, из общего описания всех машин кластера генерируются squashfs-образы их систем, при пуске поверх squashfs при помощи aufs2 монтируется rwшный tmpfs. Чтобы закоммитить изменения нужно было запустить скрипт, который смонтировал бы ещё один tmpfs поверх, а предыдущий tmpfs зажал бы squasfsом, положил в специально отведённое место в /boot и добавил в смонтированные слои.
На практике, как оказалось, это работает не очень:
* локальные изменения перетирают изменения в настройках кластера и за конфликтами тяжело уследить (это можно было правильно победить, но лень);
* частые локальные изменения генерируют много слоёв в aufs, засирают неймспейс файловых систем в ядре;
* целиком пересобирать образы каждый раз очень бесит.
Я было стал переписывать систему, чтобы победить все эти недостатки сразу. Думал, думал, писал, писал, писал. И понял, что я пишу то, о чём уже слышал. Есть такой пакетный менеджер с очень неудачным трудно гуглибельным названием и операционная система, которая его использует. Мне лень тут пересказывать куски из его документации, читайте сами. Но эта штука решает почти все традиционные проблемы, связанные со сборками пакетов и деплоем.

По сути, Nix — это такой ленивый функциональный язык программирования, в котором есть специальный строгий тип derivation (по сути «пакет»). Эти деривейшоны (пакеты) генерируются из других деривейшонов (пакетов) функциями, принимающими зависимости (естественно, деривейшоны) пакета в качестве аргументов. Форс деривейшона — сборка пакета. Сборка происходит в изолированном окружении, где доступны только содержимые других явно указанных деривейшонов (аргументы функции). Никаких /usr и /usr/local в NixOS нет.
В итоге, забыть указать какую-то зависимость просто невозможно, пакет просто не скомпилируется. Идентефикатором деривейшона является хеш описания дерева зависимостей, начинающихся с него самого. Изменился исходник, способ сборки или зависимость — изменился идентефикатор.

Энвайромент юзера и системы явно составляются Nixом из списка нужных деривейшонов. Юзеры обычно делают это ручками (типа, мне нужен wget, я прошу Nix добавить мне его в энвайромент, если оно уже скомпилировано, то он просто его добавит, если нет, то скомпилирует и добавит, после этого, если другой юзер попросит добавить ему такой же wget (а не с другими зависимостями, например), то это произойдёт моментально), NixOS позволяет делать описание для всей системы, а nixos/modules по абстрактному описанию системы сгенерируют ещё и все конфиги в /etc и initrd (в том числе и конфиг для самого Nix, где рассказывают сколько ресурсов можно жрать во время сборки, например), например.

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

Но и это ещё не всё, у них есть Disnix, который продляет эту логику на распределённые системы. Если у вас там какие-то сервисы друг от друга зависят на разных машинах, то оно даже обновлять и перезапускать их в правильном порядке будет. Чёртова магия.

Так вот, последние несколько недель в свободное время я хачил NixOS под свои нужды (как оказалось, там уже почти всё есть, хачил там-сям, по мелочи). Сделал ещё один уровень абстракции над nixos/modules, который из моего описания кластера генерирует отдельные описания всех машин для nixos/modules, а уже из них оно генерирует содержимое корня и всю ту шелуху, без которой юниксы не работают.

Сегодня, собственно, я закончил переводить последнюю машину в кластере на этот магический дистрибутив. На десктопе тут пока Arch, в универе Debian, но, я чувствую, что это ненадолго.

Фотография стенки рядом с центральным сетевым узлом в доме:
фотография двух сетевых свичей и модема
Стамегабитный свич полностью занят, в гигабитный воткнуты только те, кто делают между собой сетевой RAID1. На переднем плане чифтековский корпус одной из машин (6 винчестеров 3.5 + 3 пятидюймовых корзины для приводов, вместо которых тоже винчестеры), на нём внешний eSATA-бокс для винчестеров, не поместившихся внутрь. Между этим корпусом и стенкой стоит ещё одна машина с большим обёмом RAM, но всего двумя корзинами для винтов (я не хотел ещё один большой корпус, ставить некуда). eSATA-box подключён к ней. Также можно видеть зукселевский модем без крышки. На его CPU лежит чайная ложка, на микросхеме, отвечающей за WAN — десертная ложка на термопасте. Летом в них я воду кипячу. Остальные машины раскиданы по дому.

Если бы в моей деревне был нормальный интернет, то все свои хостинговые нужды я обслуживал бы сам :(

Что касается катания по Европе и последствий, то это самое вкусное, оставлю на следующий десерт. А в заголовке другого блога есть моя фотография из Франции, например.
|, me, hikki, ok

Блестящее, с ушами, без, и на колёсиках

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

Ещё меня немного пугает то, что я за последний месяц что-то много всего купил.

Например, у меня совсем стали разваливаться кроссовки, а я уже давно хотел попробовать покататься на «Хилисах».
Сверху вроде как обычные скейтовые тапки, а в пятке ролик, который, при большом желании, можно вытащить.


Collapse )
В общем, поднимаешь вверх оба носка и вдруг куда-то поехал. Кататься у меня пока получается так-себе, но зато как кроссовки они — ок.

Ещё были фигурки из предыдущего поста и скоро приедут ещё.

А на днях из дефолт-сити привезли Asrock ION 330 HT. Почему в Питере, в среднем, он стоит на две тысячи рэ дороже, чем там, а на ебее почти также, как и там — неясно.
Привозят в такой красивой коробочке


Collapse )

Как компьютер оно очень крутое. Не смотря на то, что там двух-ядерный Атом (~1700 МГц) и два гигабайта оперативной памяти, оно проигрывает блюрейные рипы с загрузкой ЦП ~5% (правда через поприетарный хардварный декодер) и его вообще не слышно, если только вентилятор специально не раскрутить.
няшнота во все поля.

Как настоящий блоггер™ я должен был бы тут устроить красочный обзор, и хилисов, и этой чёрной коробочки, чтобы у всех сразу потекли слюнки, а у производителей начали самопроизвольно потираться руки, но я тут совсем не об этом хотел сказать.
Переезд в общежитие к каким-то малознакомым людям меня пугает несколько больше, чем несколько пугающие масштабы траты денег последний месяц. С другой стороны, отучиться шесть лет в универе и не пожить в общаге, это как сходить в зоопарк и не видеть слона, или как съездить на военные сборы и не сдавать/сдать экзамена.
А возвращаясь к для меня непривычно несусметным тратам, и думая о том, что я точно оставлю, а что точно унесу с собой из дома, приходит печальное понимание того, что фигурке вроде и не забрать. Кроссовки — берём, компьютер — берём, носки, полотенца — берём, наушники, монитор, клавиатуру, всякие зарядники — берём, а Тамаки, Саню, Мисаку, Ракку, Тенко и десяток Холо — нет, ибо хрупковат и там ставить некуда.
Такое стечение обстоятельств толкает меня в противомоскитную сетку окна.
Кто без меня будет гладить Тамаки по головке на ночь!?!!!11
Кто без меня будет дёргать за хвост Саню?!??!?!!!
Не дай бог, ещё кто-то без меня нарушит их девственность, заглянув к ним под юбки!
О! все кары небесные! а кто же будет нежно стирать и сдувать с них пыль?!

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

Военные сборы



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

Идейно план сборов содержит в себе два основных события:
* принятие военной присяги;
* выпускной государственный экзамен по специальности.
Почему эти два пункта в хронологическом порядке расположены именно так, как я их только что перечислил — я не понимаю до сих пор.

Принятие военной присяги — это типа такое торжественное мероприятие, где все клянутся на верность Отечеству и вышагивают строем, распевая строевые песни. Естественно, чтобы семьдесят человек синхронно шагало и пело, нужно много тренироваться. Строевые тренировки под прямыми лучами солнца в сорокоградусную жару в лучшем случае вызывают лёгкое головокружение. В реальной жизни все умные мысли из мозга отжигаются нафиг и наступает такое медитативное состояние, скрашенное ярко выраженным желанием выпить два литра воды залпом.
Однако, программа мероприятий после присяги предполагает подготовку к сдаче экзамена и собственно сам экзамен. При температуре +38 градусов по Цельсию в учебных классах, когда опять же наступает такое медитативное состояние и так далее.

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

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

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

Для меня этот план выглядел так:
* время до присяги — строевые тренировки;
* полежал в санчасти;
* время до присяги — строевые тренировки;
* присяга и следующий за ней день отдыха;
* время до известия о приезде министра обороны — занятия в классах;
* ещё раз полежал в санчасти;
* время до известия о приезде министра обороны — занятия в классах;
* известие о приезде министра обороны;
* время до переезда на полигон — подготовка училища к приезду министра обороны, всё чистить, мыть, красить;
* снова полежал в санчасти;
* из санчасти на полигон в автобусе с хлебом;
* время до экзамена — работа граблями и лопатой на полигоне;
* экзамен и день отдыха после него.

Большая часть пунктов самоописательна, потому пройдусь по первым впечатлениям и правде жизни.

В первый день, весьма быстро после выхода из поезда, меня (и ещё человек десять) посадили в крытый брезентом кузов грузовика и повезли с вокзала в училище. Всегда мечтал покататься в кузове грузового автомобиля. Первое впечатление о казарме тоже было весьма положительное, всё выглядит аккуратно, обои почти нигде не ободраны, навесные потолки и всё такое, только старые советские пружинные кровати и разваливающиеся на глазах окна (открываешь его, а из него стекло тебе прямо на ногу, ок) давали пищу для размышлений. Вообще всё помещение называлось казармой «Дивизиона Обеспечения Учебного Процесса», где первый этаж занимали солдаты-срочники, а второй этаж — студенты ИТМО. Ответ на вопрос «Зачем нужны срочники в военном училище, где готовят офицеров?» достаточно прост: «Будущие офицеры в приготовлении пищи для себя самих не участвуют, дорожки вокруг хозяйственных зданий не подметают, учебных классов не чистят и туалеты за собой тоже сами не моют.»
Строевые тренировки при +35 с непривычки давались мне тяжело, и уже вечером второго дня с я головной болью и температурой оказался в санчасти. Как можно было заметить, в лазарете я побывал аж трижды. И все три раза были весьма полезны для моих заметок.

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

Второй раз в палате были в основном курсанты. На мои вопросы о том, почему они пошли учиться именно сюда, все подчёркивали два пункта:
* сам я из семьи военных;
* это Лучший Военный Институт™ России.
На вопросы о жизни после института с поправкой на реформу армии (у нас сейчас всюду сокращение офицерских должностей) большинство также подчёркивали, что:
* да, должностей нет и по распределению никуда в нормальное место не попасть;
* зато, если есть связи™, то можно попасть куда надо™.

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

Начальнико-преподавательский состав университета тоже радует. В рекламном фильме об институте, который нам показали на первой неделе, говорилось, что 60% всего преподавательского состава — кандидаты и доктора наук. Думаю, что по этому показателю институт обогнал почти любой другой ВУЗ мира. Гипотез о том, как так вообще может быть у меня несколько, но я о них лучше умолчу. Зато баек о маразмах управления я наслушался много.
* Стоит взвод курсантов по стойке «смирно», перед ними ходит офицер и проверяет правильность её выполнения:
— Курсант Арбузов! Почему такая плохая строевая стойка?! Объявляю вам выговор!
— Товарищ майор, — чей-то голос из строя, — Арбузова в строю нет, он в санчасти.
— Хм... в санчасти. Ну так и передайте ему, что ему выговор!

* Звонок дежурному по телефону, дежурный снимает трубку:
— Дежурный по курсу, курсант Дынька.
— Дежурный, ты стоишь или сидишь?
— Сижу.
— Встать! Смирно! Тебе выговор!

Остальные цитаты менее цензурны, пропустим. Баек о том, на каком уровне принимаются зачёты и экзамены я тоже наслушался.

Второе моё попадание в лазарет было весьма схоже с первым. Пожарившись в классе при температуре +38 и изрядно вспотев, я не смог спрятаться от сквозняков, которые устроили любители свежего ветерка, открыв все окна в аудитории.

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

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

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

Срочники утверждают, что служба в дивизионе — это детский сад по сравнению с другими частями, ибо дедовщины почти нет и из дома через дырки в заборе жратву передают.
Меня же всё время пребывания в институте кормили отвратительно. Даже описывать вкус блюд, приготовленных их мяса неприкосновенного запаса 51-ого года заморозки противно. Как можно есть эту рыбу — вообще не понятно, тётенька из раздаточной в лазарете рассказывала, что её кот, который обычно ест вообще всё, эту рыбу есть не стал.
После переезда на полигон еда стала куда приятнее (ибо готовили её срочники, которые же сами её и ели, а не повора, которые тащили домой всё, что можно унести, а из остатков делали что-то похожее на съедобное, и тушёнка была не 51-ого года выпуска).
Сам мой переезд из третьего пребывания в лазарете на полигон (остальные уехали туда из казармы на день раньше) был весьма неожиданным. Вдруг утром пришёл начмед и через минуту я уже должен был грузиться в автобус, везущий на полигон хлеб и отряд ВОХРа (вооружённая/военизированная охрана).

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

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

Государство, может быть и российское, но армия однозначно осталась советской. В этом духе бравого коллективизма пользования всем (от рукомойников до чайников в столовой), поддерживаемом существованием различных дежурных, дневальных, нарядов по столовой и тому подобных — групп, состоящих всего из нескольких людей, но подбирающих говно за полутора сотнями, прослеживается такая ненависть ко всей этой совковой системе, неуважение к труду (система построена так, что работа воспринимается как наказание, а не как обязанность), что считается нормальным, сдав наряд следующей группе несчастных подбирателей за всеми, пойти и обосрать только что самим-собой же и вымытый сортир или намазать чистую раковину гуталином.
Изо всех щелей слышно: «Да, мы знаем, что это плохо организованно, но мы мучались и стали настоящими мачо, так что теперь и вы помучайтесь.», «Солдат должен мужественно преодолевать все тяготы и лишения службы.»
Армия — это такая машина по созданию трудностей личному составу. Если говорят, что завтра выходной, то с пятидесяти процентной вероятностью завтра дадут грабли и отправят что-то ими копать. «Обещаний» нет. Реального коллективизма тоже нифига нет, ибо действительно ценными ресурсами никто ни с кем не делится.
Зато муштру и синхронность можно сколь угодно долго доводить до абсурда: ходить в ногу, петь синхронно, засыпать и просыпаться одновременно, конспект вести синхронно, суп из миски зачёрпывать синхронно, в рот ложку тоже синхронно, короче, есть ещё куда стремиться.
Любое твоё действие нарушает какое-нибудь правило. Пока это устраивает начальство ­— всё ок. Если что не так — виноват ты.
Список того, что меня бесит продолжать можно бесконечно.

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

В отсутствие интернетов и аниму мне снилось, что я сижу в твитторе и смотрю «WORKING!!». В последние пару дней я стал было сравнивать сборы с пионерскими летними детскими оздоровительными лагерями и пришёл к выводу, что результат будет один и тот же.
Из своих поездок по лагерям я (на удивление) многое помню. Что делал, что происходило — помню, а людей с которыми общался — почти нет. И со сборами, я уверен, будет такая же фигня. Что лопатой копал траншеи помнить буду, а с кем лежал в лазарете — нет. С учётом того, что 80% времени я от скуки донимал кого-нибудь своими вопросами, общая польза от потраченного времени стремится к нулю. Это печально.

А министр обороны институт так и не посетил.
|, me, hikki, ok

Аряря, где это я

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

Последнее время я страшно люблю шерстить в яндекс.блогах по запросам «haskell», «теория категорий» и всяким смежным понятиям типа «monic- epic- морфизм» (as a side note, почему это люди считают, что подмножество как мономорфизм — это страшно, меня это почему-то не испугало при первом знакомстве, ну и до сих пор не пугает, наверное я чего-то не понимаю). Так вот, кроме вполне ожидаемых вещей, типа записей в соответствующих сообществах и жжшечках (многие из которых я и так иногда читаю) попадаются всякие интересные посты примерно следующего вида:
«... таким образом морфизм является связью между доменом порно-голые-нудисты и кодоменом ...»,
честно признаюсь, когда я встретил первую подобную запись в блоге какого-то бота — я смеялся, когда встретил непервую — задумался, собственно, а почему для порчи «контекстными» (кстати, ай вандер, что тогда из себя представляет кодомен голых нудистов) ссылками выбираются такие экстравагантные тексты?

А ещё за последнее время я понял, что вообще все мои знания полученные в университете достаточно беспорядочны, например, я понял, что знаю почти ничего по теории меры, а там, оказывается есть много интересных печенек. А ещё, например, на слешдоте недавно опубликовали новость, позже продублированную на ЛОРе, о судебном деле в США, в некотором смысле решающем судьбу патентной системы вышеназванной страны. Кроме всякого юридического мусора в той новости содержалась ссылка на документ An Explanation of Computation Theory for Lawyers. Не уверен, что, будь я юристом прочитавшим сей документ, мне бы хватило сил понять все премудрости символьных вычислений, арифметики Пеано, лямбда-исчисления и машины Тьюринга, зато, как человеку уже что-то понимающему в этих вещах (и не понимающему, зачем документ вообще упоминает Gödel Numbers, можно было и без них), текст дал некоторое представление об онтологии событий, и мотивации тех, кто родил те самые лямбда-исчисление и машину Тьюринга. Сие я считаю чрезвычайно полезным для наведения общего порядка в голове, поскольку набор формальных систем и фактов о них, полученный в том числе на лекциях в университете, абсолютно лишен ясности в ответе на вопрос «Зачем?». А без хорошего ответа на этот вопрос («чтобы сдать зачёт» таким не считается) у меня как-то не складывается общей картины мира в рассматриваемой области, а новые факты усваиваются с большим трудом. Кроме того, интересно было почитать цитаты из решений разных американских судов, потому что а) судебные логи записываются каким-то смешным английским диалектом, в попытках разобрать тексты на котором я нахожу некоторое удовольствие б) смешно читать задокументированные проявления глупости людей с гуманитарным складом ума™ (в простонародии, идиотов), коими, в том числе, являются все юристы.

Вообще, если вдуматься, то парадокс. Нормальный человек™ вообще знать ничего не должен об этих юридических глупостях, и каждый раз, когда я вижу в метро кого-нибудь с книжкой в которой на странице повышено содержание словосочетаний типа «юридическое лицо» мне хочется плеваться, потому что люди, которые эти книжки изучают, занимаются исключительно тем, что узнают то, что написали те, кто эти книжки написали, что, на мой взгляд, является абсолютно бесполезным занятием, поскольку содержание таких книжек меняется ежедневно (знаете сколько законопроектов в день коммитит ближайший законодательный орган?).
Допустим, прочитал я книжку по теории типов. Выпущенная завтра новая книжка по теории типов не сделает невалидной ни одной строки в уже прочитанном (ну, ок, если там не было ошибки).
Зато вот увеличат завтра размер налоговых вычетов для военнослужащих, или вообще отменят, и всё чему я научился на лекциях по праву (да, у нас есть такие глупости на военной кафедре) станет абсолютно бесполезным.
Парадокс заключается в том, что, во-первых, чтобы у тебя завтра не отобрали жилище, нужно иметь какие-то представления об этих юридических глупостях (и это очень печально), а во-вторых, что навести порядок в этой дисциплине не дают сами люди, её творящие. Вот меня всегда мучает вопрос: почему нельзя просто сделать формальный язык для всех этих юридических штучек (ведь все законы имеют вид предикатов с выходными воздействиями) и формально верифицировать их непротиворечивость. Кроме того, можно было бы, например, редуцировать множество законов до минимального эквивалентного, и не пудрить себе и другим мозги толщиной сборников юридической литературы.
С другой стороны, страшно представить, что может произойти если, например, в России завтра вдруг появится нормальное налоговое законодательство и там где сейчас не справляются десять бухгалтеров и пятнадцать компьютеров с какой-нибудь 1C:Бухалтерией можно будет оставить один программируемый калькулятор. Революция! люди разных бесполезных паразитирующих профессий выйдут на улицы и будут устраивать митинги под лозунгами «Даёшь пятикратное увеличение количества пунктов в каждом законе!», «Не дадим машинам жрать наш хлеб — долой автоматическую верификацию юридических текстов!», появятся движения «ломателей машин», как в годы индустриальной революции в Европе, и другие радужные прогнозы.

Вообще, если вдуматься, то все «инженерные» (в супротив «фундаментальных») изобретений человечества — сплошной унылый мусор. Все законы, опкоды всех CPU (кроме, может быть, MIPS), протокол HTTP, любой ABI, POSIX-совместимые интерфейсы, не говоря уже о ужасах WinAPI, и вообще почти всё, что угодно, инженерное — унылый мусор, который завтра на самом деле может стать никому не нужен, но от которого будет очень трудно отказаться, из-за обратной совместимости, например.
А в фундаментальных вещах всё хорошо. Есть ты, нет тебя, был Гилберт, не было Гилберта — в математических фактах ничего не поменяется.
Таким образом, любая дисциплина, не содержащая фундаментальной составляющей — по определению — мусор. И в этом смысле юридическая дисциплина куда более противный мусор, чем, например, набор системных вызовов ядра FreeBSD или лингвистика, поскольку на последние две мне, в принципе, плевать, а с глупостями первой приходится мирится ежедневно. Такие дела.

А! Вот ещё интересно, почитав Стенфордскую энциклопедию философии, я пришел к выводу, что «американская» философия вполне себе математика по сути, и я был бы вполне не против послушать лекции, например, по такой или такой философии, но почему-то на лекциях философии, читавшихся мне в великом ИТМО (как впрочем, видимо, и любом другом вузе великой России), философия представляет собой какую-то «типа историю» (а история, по определению данному выше, является метамусорной наукой, поскольку изучает изменения в унылом мусоре) с комментариями. И главное, когда речь заходит о том, чтобы выкинуть эту чушь из университетской программы непрофильных специальностей (а я ещё считаю, что культурологию и историю надо отправить туда же), или хотя бы из экзаменов при поступлении в аспирантуру, то великие академики начинают писать статьи во всякие великие журналы и пытаться доказать мне, что я, как бакалавр прикладной математики и будущий математик в широком смысле этого слова (ну, по крайней мере, мне хочется в это верить), а не только в смысле диплома магистра/кандидата/etc, просто жить не смогу без знаний о том движется ли перводвигатель.
А у меня знаете ли очень плохая память на имена (я даже однокурсников не всех по именам смогу перечислить, не говоря уже о представителях движения киников) и даты. И главное, непонятно чего ради напрягаться, изучая этот почти всюду метамусор, ведь очевидно, что работающему математику, не увлеченному греческой философией в качестве какого-нибудь хобби, глубоко плевать на представителей движения киников. Существует мнение, что ради трудоустройства тысяч никому не нужных преподавателей философии.
Вообще я считаю, что учить надо какому-то миниму (скажем, три первых курса по профильным специальностям) и навыкам работы с информацией, а потом, отгородив студента от армии/необходимости самого себя обеспечивать, дать кучу свободного времени и несколько дедлайнов, и нормальный студент сам себя научит всему чему надо, а ненормального можно выбросить из универа с дипломом бакалавра, и пускай идет заниматься инженерными вещами. Такие дела.
|, me, hikki, ok

Maria†Holic

Пересмотрел свежим взглядом опенинг Марии†Холика, и оказалось, что с третьей на четвёртую эпизоду он
1) изрядно поменялся перекрасился
2) удлинился на ~300ms (причём и звуковой ряд тоже, правда в районе, где было ~500ms тишины и только картинка на экране)

фленту фансервисом — фас^W tease
Collapse )

Guitar Maiden pauwa!

Collapse )

СМОТРИ МАРИХОЛИКА
@
ФОНТАНИРУЙ КРОВЬЮ

Collapse )


соре ва нэка сарвису. меня очень токи-доки ри

Collapse )