Empty Name – Telegram
Empty Name
@derangednotes
445 subscribers
877 photos
73 videos
18 files
471 links
@arnold1020
Download Telegram
About
Blog
Apps
Platform
Join
Empty Name
445 subscribers
Empty Name
основная проблема с залом – непонятно что делать между подходами
211 views
Empty Name
только написывать людям в лс и письма по поводу всякого
215 viewsedited  
Empty Name
Empty Name
незаслуженно недооценивал The Life of Pablo Канье
в этот раз более грустный, чем я его помню
220 views
Empty Name
как хорошо в кофейне с московскими зумерами
214 views
Empty Name
опа в кофейне играет мак миллер
210 views
Empty Name
Practical men, who believe themselves to be quite exempt from any intellectual influence, are usually the slaves of some defunct economist.
214 views
Empty Name
Empty Name
Practical men, who believe themselves to be quite exempt from any intellectual influence, are usually the slaves of some defunct economist.
советую погуглить чья эта цитата
214 views
Empty Name
на ПМИ был курс с формулой оценки с гармоническим средним, лол
204 views
Empty Name
имеджин вас зовут Tatjana von Solodkoff и вы живете в Дублине
211 views
Empty Name
я очень злой
221 views
Empty Name
второй раз когда еду с друзьями в другую страну и кто то из этих долбаебов устраивает засор
неизбежность
207 viewsedited  
Empty Name
кто говорит что философы не могут в быт, пусть посмотрит как я охуенно погладил одежду с утра
221 views
Empty Name
супер крутой чел

Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs
и параллельно пишет статьи по философии математики, сам из Принстона

https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
210 viewsedited  
Empty Name
Empty Name
супер крутой чел Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs и параллельно пишет статьи по философии математики, сам из Принстона https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
кто ставит себе планку ниже, тот лох
205 views
Empty Name
изначально эта статья гуглится на сайте Чалмерса, почему так – я хз, учитывая что она по теории типов

https://link.springer.com/chapter/10.1007/978-94-007-4435-6_11
SpringerLink
Program Testing and the Meaning Explanations of Intuitionistic Type Th
The relationship between program testing and Martin-Löf’s meaning explanations for intuitionistic type theory is investigated. The judgements of intuitionistic type theory are viewed as conjectures which can be tested in order to be corroborated or...
215 views
Empty Name
Rules of a faithful матрёшка doll with infinite layers
208 views
Empty Name
сидим в кофейне с Аллой Гутниковой из Доксы
204 viewsedited  
Empty Name
Empty Name
супер крутой чел Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs и параллельно пишет статьи по философии математики, сам из Принстона https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
ну я почти дочитал эту статью

https://link.springer.com/article/10.1007/s11229-018-02052-1
SpringerLink
A meaning explanation for HoTT
Synthese - In the Univalent Foundations of mathematics spatial notions like “point” and “path” are primitive, rather than derived, and all of mathematics is encoded in terms...
204 views
Empty Name
tfw когда долго думаешь по некоторой теме
а потом оказывается, что по ней вышел целый special issue в Synthese
199 views
Empty Name
с другой стороны это значит что я на правильном пути так сказать (учитывая что issue буквально прошлогодний)
194 viewsedited  
Empty Name
Dear Arnold,

Please find attached your certificate of admission.

You’ll need the certicate of admission for the application for a student visa at the German embassy. Please apply for a visa as soon as possible. Be aware that you can apply for a so-called National Visa, which is valid for the entire duration of your stay. A National Visa will save you money and additional visits to the Foreigners’ Registration Office in Germany.
209 views