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
260 views
Empty Name
Empty Name
Photo
бип боп бип боп dependent type theory sum computation rule product uniqueness
243 views
Empty Name
объясните мне что такое cohomology groups
238 viewsedited  
Empty Name
ладно я хотел забежать чуть вперед относительно своих знаний, но меня накрыло волной непонимания и обоссала математика
239 views
Empty Name
return to mathematical logic
236 views
Empty Name
Empty Name
между прочим вопрос абсолютно тупой, но так я нашел статью по теории игр + логика публичных объявлений, что очень интересно https://link.springer.com/article/10.1007/s11229-010-9838-8
прочитал трезвым, половину понял точно
236 views
Empty Name
вот вроде хочется за раз прочесть 30 страничную статью и все понять, но потом вспоминаю что аналогичную папиру мы обсуждали 3 семинара
243 views
Empty Name
у стэнфорда вышел новый курс по компьютер сайнс

instructors курса: индус, индус, индус

faculty advisor: белый человек Chris Manning
286 views
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