اگر مباحث نظری در ماشین لرنینگ و ریاضیات مربوط به الگوریتم‌ها جز علاقه‌مندی‌های شماست پیشنهاد میکنم به مجموعه سمینارهای موسسه مکس پلانک ریاضی که لینکش رو در پایین این پست گذاشتم یه نگاهی بکنید و اگر دوست داشتید عضو بشید.

🔗 لینک
#Webinar #learning_theory
@SingularThinker

یه چیز جالبی که شاید تو این دوره و زمونه زیاد می‌شنویم اینه که الان عصر، عصر بین رشته‌ایه و این ویژگی حداقل برای شخص من خیلی جالبه.

این که زبان‌شناسی مرتبط میشه به هوش مصنوعی و بعد جفتشون به علوم شناختی که از یافته‌هاش میتونیم به شدت تو سیاست و غیره استفاده کنیم واقعا جالبه. یا اینکه مثلا یه تیم پژوهشی با پیشینه‌های متفاوت می‌شن کنار هم و در مورد یک موضوع فکر می‌کنند، باعث میشه نوآوری پژوهش‌ها بیشتر بشه و اون مرز‌بندی‌های سفت و سخت سابق بین زمینه‌های مختلف علم کمتر بشه.

ازون طرف خیلی این نظریه محبوبه که هر کسی باید تو حیطه تخصصی خودش کار بکنه و نظر بده مخصوصا این بحث تو علوم انسانی زیاد پیش میاد که میگن اگه علوم انسانی نخوندی حرف نزن در موردش یا واردش نشو(که غیر ممکنه به نظرم)

اما علی بندری راهکار جالبی رو بهش اشاره می‌کنه که قابل تامله ، خودتون بشنوید.

🔗 لینک
#Video
@SingularThinker

"We must know. We will know", stated David Hilbert. However, maybe we don't know, or we can't know. Hmmm?


توصیه می‌کنم حتما این ویدیوی زیبا از کانال Veritasuim رو ببینید، حتما چند دیقه‌ی اولشو ببینید خود به خود جذب می‌شید اگر علاقه‌مند/کنجکاو به موضوعش باشید.

There is a hole at the bottom of math that means we will never know everything with certainty ....

🔗 لینک
#Video
@SingularThinker

کلی ایونت امروز برگزار میشه که لینکش تو این توییت هست

https://twitter.com/LondMathSoc/status/1656932313450545155?t=_OPM1iF6mKCk910ZW8QJsQ&s=19

تاریخ و ساعت سخنرانی‌های این ورکشاپ اعلام شده و سخنرانی‌های بسیار جالبی داره.


پ.ن: زمان‌ها به ساعت Pacific time(PT) هستش ولی اگه گزینه add calender رو بزنید و ساعت تقویمتون درست باشه خودش تبدیل میکنه واستون.

🔗لینک

#Workshop
#Webinar
@SingularThinker

شب از شب‌های پاییزی‌ست.
از آن همدرد و با من مهربان شب‌های شک‌آور،
ملول و خسته‌دل، گریان و طولانی.
شبی که در گمانم من که آیا بر شبم گرید، چنین همدرد،
و یا بر بامدادم گرید، از من نیز پنهانی.
و اینک (خیره در من مهربان) بینم
که دست سرد و خیس‌ش را
چو بالشتی سیه زیر سرم ـ بالین سوداها ـ گذارد شب
من این می‌گویم و دنباله دارد شب.

خموش و مهربان با من
به‌کردار پرستاری سیه پوشیده پیشاپیش، دل برکنده از بیمار،
نشسته در کنارم، اشک بارد شب.
من این می‌گویم و دنباله دارد شب.

- مهدی اخوان ثالث

@SingularThinker

آرشام غواصیه تو کانالش داره یه سری ویدیو با عنوان "درس‌های کوتاهی بر علم شبکه" میذاره که به نظرم خیلی جالبه، دوست داشتید شما هم نگاه کنید.

🔗 لینک: قسمت اول
#video
@SingularThinker

من بارها توی کانال در مورد اهمیت اثبات درستی برنامه‌هایی که می‌نویسیم توضیح دادم. اما بیاید یه بار دیگه با یه مثال دیگه بهتون نشون بدم داستان رو.

در نظر بگیرید که نماد
[ (0,inf)
همون انتگرال صفر تا بی‌نهایت باشه. شما اگر بخواید انتگرال زیر رو محاسبه بکنید به جوابی می‌رسید که جلوش نوشتم :
[ (0,inf) sin(t)/t . dt = pi/2
انتگرال زیر رو هم همینطور
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . dt = pi/2
و ایضا این انتگرال
[ (0,inf) sin(t)/t . sin(t/101)/(t/101) . sin(t/201)/(t/201) . dt = pi/2

از روی همین پترن یه حدسی که میشه زد اینه که به ازای هر عدد طبیعی مثل n رابطه زیر برقراره:
[ (0,inf) {Pi(0,n) sin(t/100*i+1)/(t/100*i+1)} . dt = pi/2

باورتون میشه که اگر از ۱ شروع کنید و همینطور بیاید جلو، اولین عددی که این حدس رو نقض میکنه عدد زیره :))

15341178777673149429167740440969249338310889

و این یعنی این که شما به هیچ عنوان نمی‌تونید به Test کردن برنامه‌ای که نوشتید اکتفا کنید. و اینجا میشه جای خالی اثبات رو به طور خیلی محسوسی احساس کرد.