es
Feedback

¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Empty Name

Empty Name

Ir al canal en Telegram

@arnold1020

Mostrar más
EEUU18 919Bloques40 648
429
Suscriptores
Sin datos24 horas
-37 días
-430 días
Archivo de publicaciones
Empty Name
Empty Name
429
в ближайшие 6 часов мне предстоит 1) прочитать лекцию по одной из моих самых любимых тем 2) сходить в зал 3) поиграть на пианино 4) поучить линейную алгебру day good

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

Empty Name
Empty Name
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.

Empty Name
Empty Name
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" >

Empty Name
Empty Name
429
I apologise for my ignorance. (с) André Joyal

Empty Name
Empty Name
429
н а к о н е ц т о

Empty Name
Empty Name
429
похуй на сон
похуй на сон

Empty Name
Empty Name
429
надо опять родину писать, раз уж корфилд не отвечает про интернализацию равенства в мета-теории причем он сука мне еще на созвоне сказал что это самая интересная тема, и в итоге спустя полгода я прихожу к тому, что он прав тема диплома определена (дай бог осилить такую хуйню)

Empty Name
Empty Name
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.

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

Empty Name
Empty Name
429
> then judgemental equality is modelled by propositional equality in the metatheory БЛЯ НУ ТУПО ВЗРЫВ МОЗГА

Empty Name
Empty Name
429
в этой дискусси есть все: драма, саспенс, чувство открытия, непонимание и главное – счастливая концовка https://groups.google.com/g/HomotopyTypeTheory/c/Sy2Xho5O-xk/m/sEdhvNMeAwAJ

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

Empty Name
Empty Name
429
manchild

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

Empty Name
Empty Name
429
гений
гений

Empty Name
Empty Name
429
nature speaks through the rustle of leaves

Empty Name
Empty Name
429
не знал об этом блюде, но немецкая кухня хуйня и это тому подтверждение: ВЫМОЧЕННОЕ В УКСУСЕМЯСО С ПОДЛИВОЙ ИЗ ПЕЧЕНЬЯ ебанутые https://www.youtube.com/watch?v=l3unFP5FIwc

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

Empty Name
Empty Name
429
наш препод по русской философии As always: сжечь российскую академию.
наш препод по русской философии As always: сжечь российскую академию.