https://www.youtube.com/watch?v=rStL7niR7gs
چگونه تمام حکومت ها و مراکز قدرت در جهان کار میکندد
و چگونه بفهمیم جمهوری اسلامی و ترامپ چطور قدرتشون رو حفظ و تثبیت میکنن
چگونه تمام حکومت ها و مراکز قدرت در جهان کار میکندد
و چگونه بفهمیم جمهوری اسلامی و ترامپ چطور قدرتشون رو حفظ و تثبیت میکنن
YouTube
You Would Be a Terrible Leader
Adapted from 'The Dictator's Handbook': http://amzn.to/2fgBWps
Part 2: https://www.youtube.com/watch?v=ig_qpNfXHIU
Grey discusses this video on Cortex: https://youtu.be/ILvD7zVN2jo
Also Grey needs a new office because of this video: https://www.youtub…
Part 2: https://www.youtube.com/watch?v=ig_qpNfXHIU
Grey discusses this video on Cortex: https://youtu.be/ILvD7zVN2jo
Also Grey needs a new office because of this video: https://www.youtub…
Inside NGINX: How We Designed for Performance & Scale
https://www.nginx.com/blog/inside-nginx-how-we-designed-for-performance-scale/
https://www.nginx.com/blog/inside-nginx-how-we-designed-for-performance-scale/
Forwarded from Anytime Show (Pouya Kary ✤)
#ComputerScience
Have you ever heard about the Dependent Type programming? It's actually a very interesting topic involving formal verification and proof theory. So in case you like some deep stuff, don't miss this five part lecture on Agda, A dependently typed based programming language.
https://www.youtube.com/playlist?p=B7F836675DCE009C
Have you ever heard about the Dependent Type programming? It's actually a very interesting topic involving formal verification and proof theory. So in case you like some deep stuff, don't miss this five part lecture on Agda, A dependently typed based programming language.
https://www.youtube.com/playlist?p=B7F836675DCE009C
Forwarded from Anytime Show (Pouya Kary ✤)
مت بنک--از موسسین شرکت Mighty AI که خیلی در زمینهی هوشمصنوعی موفقه--یکسال پیش درگذشت. در عرض ۱هفته فهمید که سرطان پانکراس،استیج۴ داره و بعد از ۳ماه فوت کرد.قبل از فوتش مطلب زیر رو درباره زمانی که فهمید سرطان داره نوشت. خوندناش رو به همه توصیه میکنم.
در آخرِ پاراگراف متن این توصیه رو به همه میکنه: «ما همگی خیلی در زندگی شکننده هستیم. هر روز ارزشمنده و مهمترین بخشِ زندگی ما، روابطی هستند که هر روز میسازیم و بخش بزرگی از زندگی ما رو تشکیل میدن.»
پ.ن. در یک کلام، با هم مهربونتر باشیم، زندگی خیلی کوتاه و غیرقابل پیشبینیاه.
تیتری که برای مطلبش انتخاب کرده، شاهکاره.
"روزی که فهمیدم زندگیام به یه نخ بنده"
واقعیتش اینه که زندگی همهمون به یه نخ بنده و معلوم نیست فردا که بلند میشیم چندنفر از آدمهایی که هر روز اینجا باهاشون دعوا میکنیم زنده باشن. تمرینِ مهربونبودن با همدیگه رو بکنیم، خیلی سخت نیست.
https://www.wired.com/story/the-day-i-found-out-my-life-was-hanging-by-a-thread/
در آخرِ پاراگراف متن این توصیه رو به همه میکنه: «ما همگی خیلی در زندگی شکننده هستیم. هر روز ارزشمنده و مهمترین بخشِ زندگی ما، روابطی هستند که هر روز میسازیم و بخش بزرگی از زندگی ما رو تشکیل میدن.»
پ.ن. در یک کلام، با هم مهربونتر باشیم، زندگی خیلی کوتاه و غیرقابل پیشبینیاه.
تیتری که برای مطلبش انتخاب کرده، شاهکاره.
"روزی که فهمیدم زندگیام به یه نخ بنده"
واقعیتش اینه که زندگی همهمون به یه نخ بنده و معلوم نیست فردا که بلند میشیم چندنفر از آدمهایی که هر روز اینجا باهاشون دعوا میکنیم زنده باشن. تمرینِ مهربونبودن با همدیگه رو بکنیم، خیلی سخت نیست.
https://www.wired.com/story/the-day-i-found-out-my-life-was-hanging-by-a-thread/
WIRED
The Day I Found Out My Life Was Hanging by a Thread
Matt Bencke thought he’d thrown out his back. Then he received the most sobering news of his life.
خیلی قبلنا براتون یه تاکی فرستاده بودم که تاریخچه نظریه کامپیوتیشن رو برسی میکرد، اگه یادتون باشه سه تا نظریه به فاصله های نزدیکی میان که هر کدوم از یه دید مختلف یه چیز رو اثبات میکنن و بعد همشون اثبات میشن که یه چیزن و در نتیجه به این نتیجه میرسن که نظریه کامپیوتیشن یه اصل طبیعه که فقط کشف شده.
یکی از این سه تا نظریه هم لاندا کلکولسه (که احمتمالا اگه برنامه نویسی فانکشنال کرده باشین یا قاطی تئوری های زبان و کامپایلر اینا شده باشین در موردش خیلی شنیدین). این کتاب به انجیل لاندا کلکولس معروفه و میتونم بهتون قول بدم خوندنش تو برانامه نویسی هیج فرقی ایجاد نمیکنه در نتیجه اگه دنبال قوی کردن اسکیل هستین اولیتی نیست اما خوب اگه دوست دارین یه وقت خالی رو بشینین یه کتاب باحال بخونین این یه کتاب باحاله.
قشنگیش به اینکه یه سری از پیش پا افتاده ترین فرضیاتی که وجود داره رو اینجا اثباتاشون رو میبینین. و خوب دیدنشون قشنگه.
https://libgen.pw/item/detail/id/1288718?id=1288718
یکی از این سه تا نظریه هم لاندا کلکولسه (که احمتمالا اگه برنامه نویسی فانکشنال کرده باشین یا قاطی تئوری های زبان و کامپایلر اینا شده باشین در موردش خیلی شنیدین). این کتاب به انجیل لاندا کلکولس معروفه و میتونم بهتون قول بدم خوندنش تو برانامه نویسی هیج فرقی ایجاد نمیکنه در نتیجه اگه دنبال قوی کردن اسکیل هستین اولیتی نیست اما خوب اگه دوست دارین یه وقت خالی رو بشینین یه کتاب باحال بخونین این یه کتاب باحاله.
قشنگیش به اینکه یه سری از پیش پا افتاده ترین فرضیاتی که وجود داره رو اینجا اثباتاشون رو میبینین. و خوب دیدنشون قشنگه.
https://libgen.pw/item/detail/id/1288718?id=1288718
Program Calculation Properties of Continuous Algebras — Maarten M Fokkinga and Erik Meijer
https://core.ac.uk/download/pdf/11470285.pdf
https://core.ac.uk/download/pdf/11470285.pdf