Empty Name
параллельно троллит всех в дискуссиях мэйлинг листа по основаниям математики
In my biased opinion, this is not going well by the grandiose standards I apply to everything.
🤡3🏆3👏1🤔1
Empty Name
https://www.youtube.com/watch?v=2w9Br6gHWdI
he just like me fr fr
(за исключением того что он умный а я нет)
(за исключением того что он умный а я нет)
🏆1
Empty Name
https://www.youtube.com/watch?v=2w9Br6gHWdI
в принципе играет он настолько же странно как я
🏆1
Empty Name
BACK TO THE ROOTS (мое понимание HoTT находится на уровне 90х годов)
удивительно что люди писали статьи в 1996 году.
🤡5🏆2
> Whatever you like. I’m not about to spend time arguing about language at that meta of a level!
But I will.
But I will.
🏆3🤡1
-Dude, I love you. I don’t know the fuck who you are. But… you’re crazy. I am inspired by you. 1AM and you’re still studying… like wtf
-Thanks, I guess. How many drinks have you had?
-Thanks, I guess. How many drinks have you had?
🤡9💔5😁1🏆1
Empty Name
-Dude, I love you. I don’t know the fuck who you are. But… you’re crazy. I am inspired by you. 1AM and you’re still studying… like wtf -Thanks, I guess. How many drinks have you had?
little did he know что днем я пинаю хуй, а работаю ночью
👏8🤡3🏆1
>читаешь пост на сайте про гомотопическую теорию типов, критикующую некоторые формулировки результатов:
"I think it is time to change these words into something that, at least, is not wrong."
>написал какой то Владимир
…
…
>где то в середине поста понимаешь что фамилия Владимира – Воеводский
"I think it is time to change these words into something that, at least, is not wrong."
>написал какой то Владимир
…
…
>где то в середине поста понимаешь что фамилия Владимира – Воеводский
🏆2😁1