Новый сезон канала HBO
maxim — 08.09.2016 В связи с тем, что последний математик в Groupoid Infinity не выдержал и сошел с ума бросив работу над проектом, я, вС этого момента деканат прикладной математики КПИ величает вашего покорного слугу-грфомана аспирантом (теперь я официально ебанат). В этом году сдают экзамены как на кандидатский (англ., специальность, у меня обе А, готовился чесно, ебанул 50 страниц матфизики вплоть до ядер интегральных операторов и функциональных пространств L2), ну и как всегда на ПМ только дневная форма обучения. Так как это последний год (мне 35) когда я могу поступить в аспирантуру (да да, сейчас КПИ дает PhD дипломы, а не галимого к.ф-м.н). Придется теперь срать тут и везде про рекурсоры и индукции в промышленных масштабах всея ЖЖ и на нескольких языках, чтобы до Андрея Байера слух дошел. Ну и на пары ходить, лекции читать, телочек в КПИ крутезных просто дофига, и все стартапы мутят и матан шарят. Ах Ах Ах.
С кодировками (хотябы CiC, не говоря уже про HIT и QIT) пока не понятно, что буду делать, буду делать pivot наверное. Возьму для начала ебану экстракт Lean, а потом плавно перейду к модифицированому тайпчекеру с Self типами уважаемых Пенг Фу и Аарона Стампа. Если найду хрошего категорщика может продолжу проект о суперкомпактном чистейшем как слеза PTS ядре. Времени дают 3 года.
Мне уже на кафедре посоветовали двух бодхисаттв. Первый бодхисаттва — правая рука Лямбдагарбхи — Любашенко Владимир (Институт Математики НАН Украины), а второй бодхисаттва — Лялецкий Александр (и его сын) из Института Глушкова (тот который придумал кибернетику в
Поэтому, троли — расчехляйте ваши клавиатуры, контентом мы вас завалим сполна. Благо лямбда термы в нашей PTS действительного большого размера.
|
</> |