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
делал упражнение на трицепс и порвал трос, чуть не зарядил себе по balls со всей силы нахуй
238 views
Empty Name
сила с которой рука летела в сторону паха была очень страшная, но я попал по ляхе
236 viewsedited  
Empty Name
отзыв на клуб в ереване
237 views
Empty Name
https://www.youtube.com/watch?v=jrVPB-Ad5Gc
YouTube
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
The Curry-Howard Correspondence is the observation that there exists a correspondence between objects present in disparate formal systems. Once such instance of this correspondence is the conspicuous propositions-as-types notion, which draws correspondences…
244 views
Empty Name
http://www.cs.nott.ac.uk/~psztxa/publ/ydtm.pdf
254 views
Empty Name
every good idea will be discovered twice, once by a logician and once by a computer scientist
239 views
Empty Name
интересно что Мамонов бы сказал по поводу 24 февраля
хотя похуй
235 views
Empty Name
Forwarded from Раньше всех. Ну почти.
Директор ЦРУ Бернс прибыл с необъявленным визитом в Ереван, сообщает Sputnik Армения со ссылкой на источники
224 views
Empty Name
Forwarded from Deleted Account
Философ из ВШЭ Арнольд Григорян прибыл с необъявленным визитом в Ереван, сообщает Sputnik Армения со ссылкой на источники
256 views
Empty Name
Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД Я ОБЯЗАТЕЛЬНО ПОЛУЧУ ПХД
292 views
Empty Name
аффирмации на каждый день
284 views
Empty Name
имеджин люди спорят в интернете вместо того чтобы читать статьи, глупые
309 views
Empty Name
Empty Name
бип боп бип боп dependent type theory sum computation rule product uniqueness
бип боп бип боп ординалы это канонические представители классов изоморфизмов вполне упорядоченных множеств
272 views
Empty Name
Empty Name
жестко бустанулся из за смузи боула перед тренировкой
кусок carrot cake плюс альбом no love deep web
251 viewsedited  
Empty Name
очень продуктивно сегодня:
1) поизучал доказательство трансфинитной рекурсии для ординалов
2) вроде rest day, но в зале даже увеличение весов идет вообще без напряга
241 viewsedited  
Empty Name
я думаю это из за морковного тортика
230 views
Empty Name
как же я ебашу друзья
244 views
Empty Name
I pay the price to roll with it
Waste your life and you won't get it
Played out with nowhere to go, bet it
Makes you feel like a whole donut
Don’t it?
Known for it

великая поэзия death grips
236 viewsedited  
Empty Name
Empty Name
делал упражнение на трицепс и порвал трос, чуть не зарядил себе по balls со всей силы нахуй
смачно порвал трос когда делал leg curl, тренер аж с другой части зала подошел
228 viewsedited  
Empty Name
как же я устал от смолл толков
я просто хочу читать статьи и решать задачи
225 views
Empty Name
спасите меня
218 views