гений

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

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.

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

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

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

похуй на сон

н а к о н е ц т о

I apologise for my ignorance.

(с) André Joyal

> Look at the HoTT Book github repository
> Expecting to learn more exciting stuff about homotopy type theory
> Open request #1101
………
> Witness the following discussion:

- remember sex is also a spectrum
- I can't remember that sex is a spectrum, since it isn't. Procreation requires a male and a female.

what the hell

> Secondly, I am going to block ___ the next time they use a phrase such as "asshole" or "boomer" as a personal insult directed at another participant.

>This mailing list is a community service. The present discussion has run its course and is not contributing anything to the community anymore. At present its only purpose is bickering and reiterating of opinions that have already been stated multiple times. I am therefore locking it.

Известно нам от давних дней
Что человек сильнее смерти
А в наши дни уже, поверьте –
И жизни тоже он сильней
Она его блазнит и манит
А он ей кажет голый шиш
Его ничем не соблазнишь –
Он нищенствует и ликует
Поскольку всех уже сильней

в ближайшие 6 часов мне предстоит

1) прочитать лекцию по одной из моих самых любимых тем
2) сходить в зал
3) поиграть на пианино
4) поучить линейную алгебру

day good

Завтра 88 лет Терри Райли. По этому поводу 88 музыкантов на шести континентах будут играть онлайн. https://facebook.com/events/s/terry-riley-88th-birthday-glob/292365999790814/

Умер Петер Брётцман (1941-2023), легендарный фри-джазовый саксофонист, в Германии просто культовая фигура и ходячая институция.

”Interviewer: ”How would you define free jazz ?”

Brötzmann: ”There is no freedom in music and in life, nothing in this world is free. You just spread your elbows and make a bit more space for yourself. ”

can relate

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

Шайа Лабаф конечно шиз пиздец, уважаю