Empty Name
@derangednotes
445
subscribers
877
photos
73
videos
18
files
471
links
@arnold1020
Download Telegram
Join
Empty Name
445 subscribers
Empty Name
https://www.youtube.com/watch?v=gs3L1eSso_k
YouTube
Intensionality, Invariance, and Univalence, Steve Awodey
What does a mathematical proposition mean? Under one standard account, all true mathematical statements mean the same thing, namely True. A more meaningful account is provided by the Propositions-As-Types conception of type theory, according to which the…
Empty Name
про Тарского это буквально моя идея для проекта, но она настолько старая, что я уже не помню додумался ли я сам или спиздил у кого то
Empty Name
logical identity is equivalent to equivalence
Empty Name
ПОЗДРАВЛЯЮ ГЛУБОКО УВАЖАЕМОГО МНОЙ ДРУГА ИГОРЯ СО ВЗЯТИЕМ (В) БЕРКЛИ
Empty Name
всем желаю аналогичного письма
Empty Name
тупо скупили половину зала на Сталкера (12 человек)
Empty Name
а если бы кое-кто внимательно читал канал, было бы 13
Empty Name
худшее еще впереди, но пососал я уже
Empty Name
приму в пожертвования гантели 14-20 кг
Empty Name
на самом деле возьму любые какие есть от 5 кг
Empty Name
лицеисты попросили скидывать домашнее задание не за день до занятия
Empty Name
втф они что хотят учиться???
Empty Name
я человек простой – мне надо повыебываться сложностью изучаемого мной предмета
Empty Name
если легко, значит нельзя повыебываться – значит неинтересно
Empty Name
🎉
1
Empty Name
упс
Empty Name
https://www.youtube.com/watch?v=dLZeJiej_CI
YouTube
Yung Lean - Stardust MIXTAPE REVIEW
Listen: https://www.youtube.com/watch?v=Ysf6pcyeBsY
Lean continues to be capable of both striking highlights and lackluster lulls on this latest tape.
More rap reviews: https://www.youtube.com/playlist?list=PLP4CSgl7K7ormBIO138tYonB949PHnNcP
=========…
Empty Name
5/10 лмао
Empty Name
предлагают обмен в университете Потсдама
Empty Name
Cognitive Systems: Language, Learning and Reasoning
TWeb.init({scrollToPost:'derangednotes/490'});
