только щас дошло, что заниматься надо не только интересными вещами, но и с интересными людьми
Empty Name
незаслуженно недооценивал The Life of Pablo Канье
в этот раз более грустный, чем я его помню
Practical men, who believe themselves to be quite exempt from any intellectual influence, are usually the slaves of some defunct economist.
второй раз когда еду с друзьями в другую страну и кто то из этих долбаебов устраивает засор
неизбежность
неизбежность
кто говорит что философы не могут в быт, пусть посмотрит как я охуенно погладил одежду с утра
супер крутой чел
Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs
и параллельно пишет статьи по философии математики, сам из Принстона
https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs
и параллельно пишет статьи по философии математики, сам из Принстона
https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
изначально эта статья гуглится на сайте Чалмерса, почему так – я хз, учитывая что она по теории типов
https://link.springer.com/chapter/10.1007/978-94-007-4435-6_11
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...