Now is the globe shrunk tight
Round the mouse’s dulled wintering heart.
Weasel and crow, as if moulded in brass,
Move through an outer darkness
Not in their right minds,
With the other deaths. She, too, pursues her ends,
Brutal as the stars of this month,
Her pale head heavy as metal.
Snowdrop
Round the mouse’s dulled wintering heart.
Weasel and crow, as if moulded in brass,
Move through an outer darkness
Not in their right minds,
With the other deaths. She, too, pursues her ends,
Brutal as the stars of this month,
Her pale head heavy as metal.
Snowdrop
только щас дошло, что заниматься надо не только интересными вещами, но и с интересными людьми
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...