блять я понял

зачем кардио когда есть

я перестал понимать как нормально пользоваться спотифаем

понять сможет только тот кто жил с соседями-индийцами

https://www.youtube.com/watch?v=s2_DepctcIc

A moon full of stars and astral cars (2)

вышел погулять

наш препод по русской философии

As always: сжечь российскую академию.

сука я не могу просто

сделал сам себе журнал в котором он редактор, и теперь он УЧЕНЫЙ нахуй

не знал об этом, но

немецкая кухня хуйня и это блюдо тому подтверждение – ВЫМОЧЕННОЕ В УКСУСЕ МЯСО С ПОДЛИВОЙ ИЗ ПЕЧЕНЬЯ

ебанутые

https://www.youtube.com/watch?v=l3unFP5FIwc

nature speaks through the rustle of leaves

гений

паблик коммитмент: начинаю ЖЕСКУЮ сушку

manchild

Рассказ: «Человек, получивший возможность стать счастливым. Он боится воспользоваться ею, ибо считает, что счастье невозможно и что счастливым может быть лишь сумасшедший. Кое-какие обстоятельства убеждают нашего героя и он решается на то, чтобы воспользоваться возможностью и чудесным путем стать счастливым. И становится сумасшедшим, приобщается к миру сумасшедших, которые, может быть, вовсе не только сумасшедшие, но и обладают способностью быть связанными с миром нитями, не доступными человеку нормальному».

в этой дискусси есть все: аналогия с большевиками в россии, драма, саспенс, чувство открытия, непонимание и главное – счастливая концовка

https://groups.google.com/g/HomotopyTypeTheory/c/Sy2Xho5O-xk/m/sEdhvNMeAwAJ

> then judgemental equality is modelled by propositional equality in the metatheory

БЛЯ НУ ТУПО ВЗРЫВ МОЗГА

поэтому кстати и нужна идея 2-level type theory (писал об этом в курсовой)

> In other words, where default homotopy type theory has categorical semantics (see at relation between category theory and type theory) in suitable type-theoretic model categories but in such a way that only the (infinity,1)-category presented by that really matters, in two-level type theory one adds explicit control over the presenting model category (or other kind of fibration category), thus apparently breaking the ( ∞ , 1 ) -categorical “principle of equivalence” but providing more tools for handling the presentation. It is an open question to what extent the principle of equivalence is actually broken, i.e. whether results proven in two-level type theory can be transferred to any model categorical presentation.

надо опять родину писать, раз уж корфилд не отвечает про интернализацию равенства в мета-теории

причем он (родин) сука мне еще на созвоне сказал что это самая интересная тема, и в итоге спустя полгода я прихожу к тому, что он прав

тема диплома определена (дай бог дожить, прежде всего, а также осилить такую хуйню)

похуй на сон