Empty Name
LEEEEETS GOOOOOO This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions.
о нет, опять читать вводную часть, дочитать до определенной главы, упереться в какую то непонятную хуйню, бросить книгу на 2 месяца, вернуться к ней и понять свою тупую ошибку, а потом продвинуться на 10 страниц и повторить все опять
🙏5❤1🏆1
Empty Name
https://www.youtube.com/watch?v=gs3L1eSso_k
ха ха я в чате с Аводеем (на самом деле он Аводи, но мне похуй)
🏆2
Empty Name
ха ха я в чате с Аводеем (на самом деле он Аводи, но мне похуй)
я видимо заболел, но я почитал переписку охуеннейших математиков современности (тут даже Кокан) и решил забить хуй на болезнь
🏆2
топ один фильм года это Everything Everywhere All at Once и это не обсуждается
https://www.youtube.com/watch?v=zQ29UhAolHY
https://www.youtube.com/watch?v=zQ29UhAolHY
YouTube
The Top 10 Movies of 2022
-Get a whole month of great cinema FREE on MUBI: https://mubi.com/thomasflight or give the gift of MUBI at http://mubi.com/gifts
This video is spoiler-free. The 10 subjectively greatest movies of 2022.
// WATCH MORE THOMAS FLIGHT
-Ad-Free Videos and Exclusive…
This video is spoiler-free. The 10 subjectively greatest movies of 2022.
// WATCH MORE THOMAS FLIGHT
-Ad-Free Videos and Exclusive…
🤡6🏆1💔1
Empty Name
топ один фильм года это Everything Everywhere All at Once и это не обсуждается https://www.youtube.com/watch?v=zQ29UhAolHY
ставить northman на 10 место конечно не справдливо, но хотя бы смешно наблюдать реакцию фанатов условно юнгера
🤡1🏆1
болезнь заставляет меня понимать Martin-Löf’s Dependent Type Theory
🤡5🏆3🐳1
a divergence is to a (Lawvere) metric as a reflexive multigraph is to a category (or as a reflexive relation is to a preorder).
deep
deep
🏆3🥴1
Forwarded from jaadukiichadi
В этом году раз пять кричал во сне, и каждый раз это было вызвано одним и тем же. Ничего страшного не снилось в плане образов. Никакой жути. Были сны внутри снов внутри снов, и ощущение, что из лабиринта сложно выбраться, как сегодня. Там сны внутри снов внутри снов стоят не линейкой, а запутанно, с возможностью входа в разные слои. Ты «просыпаешься» – а где? Потом еще раз «просыпаешься». Ну и приходится орать, чтобы вовне услышали и растолкали. А то воля к пробуждению работает невесть как. Заканчивается самый кошмарный год моей жизни. А еще сегодня 10 лет, как я переехал жить в Питер из Москвы.
🤯4❤1
A fugue is a beautiful musical puzzle based on just one tune. And when you layer this tune on top of itself, it starts to change and turns into a beautiful new structure.
🏆1💔1
>If I could give any advice to myself when I was starting my PhD it would be “write something, anything, every day!” Moreover, “you can’t say you’ve read it if you can’t write up expository on it in a way with which you are satisfied”
❤4🤡2🙏1🏆1