429
Obunachilar
Ma'lumot yo'q24 soatlar
-37 kun
-430 kun
Postlar arxiv
429
в ближайшие 6 часов мне предстоит
1) прочитать лекцию по одной из моих самых любимых тем
2) сходить в зал
3) поиграть на пианино
4) поучить линейную алгебру
day good
429
Известно нам от давних дней
Что человек сильнее смерти
А в наши дни уже, поверьте –
И жизни тоже он сильней
Она его блазнит и манит
А он ей кажет голый шиш
Его ничем не соблазнишь –
Он нищенствует и ликует
Поскольку всех уже сильней
429
> 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.
429
> Look at the HoTT Book repository
> Expecting to learn more excited stuff about homotopy type theory
> Open request #1101
………
>"remember sex is also a spectrum"
>
429
надо опять родину писать, раз уж корфилд не отвечает про интернализацию равенства в мета-теории
причем он сука мне еще на созвоне сказал что это самая интересная тема, и в итоге спустя полгода я прихожу к тому, что он прав
тема диплома определена (дай бог осилить такую хуйню)
429
> 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.
429
> then judgemental equality is modelled by propositional equality in the metatheory
БЛЯ НУ ТУПО ВЗРЫВ МОЗГА
429
в этой дискусси есть все: драма, саспенс, чувство открытия, непонимание и главное – счастливая концовка
https://groups.google.com/g/HomotopyTypeTheory/c/Sy2Xho5O-xk/m/sEdhvNMeAwAJ
429
Рассказ: «Человек, получивший возможность стать счастливым. Он боится воспользоваться ею, ибо считает, что счастье невозможно и что счастливым может быть лишь сумасшедший. Кое-какие обстоятельства убеждают нашего героя и он решается на то, чтобы воспользоваться возможностью и чудесным путем стать счастливым. И становится сумасшедшим, приобщается к миру сумасшедших, которые, может быть, вовсе не только сумасшедшие, но и обладают способностью быть связанными с миром нитями, не доступными человеку нормальному».
429
не знал об этом блюде, но
немецкая кухня хуйня и это тому подтверждение: ВЫМОЧЕННОЕ В УКСУСЕМЯСО С ПОДЛИВОЙ ИЗ ПЕЧЕНЬЯ
ебанутые
https://www.youtube.com/watch?v=l3unFP5FIwc
429
сука я не могу просто
сделал сам себе журнал в котором он редактор, и теперь он УЧЕНЫЙ нахуй
