Singular Thinker – Telegram
Singular Thinker
948 subscribers
405 photos
17 videos
5 files
250 links
We talk about things that find them interesting.
توی این کانال از مطالبی که برامون جذاب باشه حرف
میزنیم، یا مطالب جذاب بقیه رو نشر می‌دیم.
Contact/راه ارتباطی:
@Singular_Thinker
Download Telegram
Forwarded from Mathematical Musings
در سال ۱۹۳۱ در یه مجله آلمانی مقاله ای منتشر شد که عنوانش(به انگلیسی) می شد:
On Formally Undecidable Propositions of
Principia Mathematica and Related Systems
به نسبت، عنوان جسورانه ای محسوب می شد از یک جوان ۲۵ ساله. عنوان مقاله اشاره می کرد به اثری از دو ریاضیدان برجسته یعنی وایتهد و راسل که کتاب سه جلدی
Principia Mathematica
درباره منطق و مبانی ریاضی نوشته بودند. مقاله نقطه عطفی در تاریخ منطق و ریاضی محسوب می شد و یکی از مهمترین آثار در این زمینه. البته در زمان انتشار مقاله نه عنوانش و نه محتویاتش برای خیلی از ریاضیدان ها جذابیتی نداشت. خود اثر سه جلدی وایتهد و راسل هم تقریبا به بخش زیادی از ریاضیات ارتباطی نداشت و پیش نیاز مطالعه خیلی از شاخه های ریاضی محسوب نمی شد. مقاله هم اونقدر تکنیکی بود که فقط افراد متخصص می تونستند ازش سر در بیارند. مقاله گودل حمله ای بود به یک مساله اساسی در مبانی ریاضیات.
در هندسه از زمان بسیار قدیم با مساله ای مواجه بودند که اصولی رو به عنوان حقایق می پذیرفتند و بعد قضایایی رو از اون اصول نتیجه می گرفتند.(مثل این اصل که از هر دو نقطه یک خط راست می گذره). در واقع با پذیرش چند اصل می شد سیستمی عظیمی رو بنا کرد که قضایای زیادی در اون قابل اثبات بود. سال ها همه این رو پذیرفته بودند که با فرض درست بودن اصول می شه اون قضایا رو اثبات کرد. یعنی اگر چند تا اصل رو به عنوان اصول اولیه بپذیریم، با چاشنی کمی استدلال و منطق می شه درباره هر گزاره ای تصمیم گرفت. گودل با قضایای خودش این باور چند هزار ساله رو به لرزه در آورد، یعنی ثابت کرد که حتی در یه سیستم ساده مثل حساب و بررسی اعداد صحیح، وقتی که axiomatic بشه، به گزاره هایی می رسیم که نه می شه اثباتش کرد و نه ردش کرد. در واقع برخلاف تصوری که سال های قبل برای بعضی از ریاضیدان ها به وجود اومده بود، ریاضیات رو نمی شد به مجموعه ای از axiom ها کاهش داد.
🔥1
Sacred Memes
#Nerdy_Memes @Memes_are_Sacred
اگه خوشتون اومد میتونید برید اینجا از اول شروع کنید با اصلشو بازی کردن و همین طوری هی پله پله سخت‌ترش میکنه.

https://neal.fun/absurd-trolley-problems/?fbclid=PAY2xjawI0WF9leHRuA2FlbQIxMQABphUnt4HeeEfmEv32XvUJ1SuzH6BojxwbbyLaUhK3CdTyAQ_7ht9gtr-qgg_aem_lHuQChe2ftiibny6uj8OJQ
🔥21👍1
Forwarded from De.coder (M.Mahdi)
امروز دکتر شهریاری توی گروه بچها یک پستی گذاشت درباره آقای Andrej Karpath. ایشون یکی از بنیان گذار های OpenAI هستند که توی دانشگاه stanford تحصیل کرده.

آقای Andrej Karpath یک سری پست هایی رو دارن توی کانال یوتیوب شان قرار میدن که قراره یکسری توضیحات بسیاری خوبی درباره مدل های chatGPT و بطور کلی مدل های مبتنی بر LLM که مدل های بزرگی هستند ارائه بدن. کلا platform هایی مانند GPT مبتنی بر LLM هستند. ایشون توی این مجموعه ویدئو ها میخواهد درباره پشت صحنه این مدل ها صحبت کنه. مثلا توی این ویدئو اومده درباره مدل LLM صحبت های خیلی خوبی کرده و درباره این مدل توضیحاتی داده که برای عموم ملت قابل فهم هست و صرفا تخصصی نیست. پیش نیاز این مجموعه ویدئو ها انگیزه و دانش اندکی از هوش مصنوعی است. توی این ویدئو هم اومده درباره کاربرد های این مدل صحبت کرده.
اما اگر میخوایید کلا مجموعه ویدئوهای ایشون رو دنبال کنید از این ویدئو شروع کنید به دیدن.

چرا اینو توی کانال گذاشتم؟! اول اینکه هوش مصنوعی در دنیای شبکه های نسل آینده بسیار مهم و کاربردی هست طوری که هوش مصنوعی قراره به عنوان زیر ساخت یا یک سرویس ارائه بشه. از اونجایی هم که chatGPT توانسته قدرت هوش مصنوعی رو نشون بده پس به عنوان کاربردی مهم در نظر گرفت. مثلا شبکه های نسل 4 به بعد قراره خودشون پیکربندی رو انجاب بدن و حضور انسان ها برای مدیریت شبکه کمتر باشه. یکی از vision هایی که سازمان AT&T و 3GPP برای شبکه های نسل 6 دیده اند قابلیت self-configuration و مدیریت و بازیابی اتوماتیک است. البته توی شبکه ما کاری به مدل نداریم.
حالا طبق حرفی که زدم درباره قابلیت ها و نسل های شبکه قراره توی کانال کلی صحبت کنیم و جزئیات بیشتری بگیم. فعلا این رو از من بپذیرید.
دوما یکی از خوبی های این کانال این بود که ما توش خیلی منبع معرفی کردیم. از ویدئو گرفته تا کتاب و lecture خواستیم کلکسیون رو همچنان تازه نگه داریم.

PS:
چینی ها هم آدم های بدی نیستند ها. اگر اون ها کد های deepseek رو opensource نمیکردند بعید میدونم این جماعت میومدن درباره پشت صحنه صحبت میکردند.
👍3🔥1
New Candy shop
peak @3blue1brown moment 🔗 neural nets. (@cneuralnetwork) #tweet #video @SingularThinker
لامصب با یه جدیتی اینو میگه آدم باورش میشه😂😂 واقعا زیباست این Grant Sanderson
🔥2
a pessimistic researcher
آقا دیک کلا چیز اوکی و مصطلحیه.
در ادمه این ماجرای جالب که هر کسی داره یه چیزی کوت میکنه هم بگم بله تا اوونجا که برند لباس داریم به اسم Dickies :))
یادمه اولین بار که لباس ماتیا رو دیدم که بزرگ رو سینه‌اش نوشته بود Dickies ناخودآگاه زدم زیر خنده :)
🔥41
تلاشی برای فهم ریاضی و بقیه چیزا

خب همون طور که احتمالا میدونید تو این کانال با یه آدم ریاضی‌دوست ولی نابلد طرفید که به مرور زمان سعی کرده دست و پایی بزنه توی این دریای بی‌پایاب. و دیگه به هر حال هر کسی یه جور اسکله‌.

من تو این چند سال اخیر تو این کانال و جاهای دیگه به شکل‌های مختلفی سعی کردم که ریاضی رو مشق کنم. در ادامه، بخشی‌ از تلاش‌هامو میگم شاید یه جرقه‌ای تو ذهن شما هم بزنه و یکیشو بخواید امتحان بکنید و در آخر خبر اصلی رو میگم.📣⭕️

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

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

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

چند وقت پیش، بعد دو سال تو آزمایشگاه بحث یه پروژه info theory شد و یکی یه سوالی داشت شروع کردم به توضیح دادن براش که شهودی داری که چرا data processing inequality جهتش این سمتیه دیگه و اون جا بود که اون شهود دو سال پیش‌ام رو براش توضیح دادم و گفت چههه جالب! چرا کسی تا حالا این طوری نگفته بود بهم. جالب‌تر ولی این بود که یادم مونده بود و بعد که دیگه پروژه جدی‌تر شد رفتم و فیلمای جلسات رو مرور کردم و همه چیزها یادم اومد. راستشو بخواید حس خوبی داشت و رفتم تو فکر.

خلاصه آخرین نسخه‌ این قضیه تا به امروز این بود که صدا رو تو کانالا ویس میذاشتم، عکس رو هم از کتاب میگرفتم بعد خب تیکه تیکه این‌ها بود و این طوری بودم که چه کاریه؟ خب یه ویدئو درست کن و تموم شد و رفت به قول آقای پزشکیان. ولی خب همون طور که میدونید سخته محتوای ویدئویی تمیز درست کردن مخصوصا برای یه سری مفاهیم انتزاعی.

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

#note
@SingularThinker
Please open Telegram to view this post
VIEW IN TELEGRAM
👍74🔥3
📣⭕️خلاصه این طوری شد که اولین ویدئوی کانال یوتیوب رو گذاشتم.

خواستید اونجارو هم سابسکرایب داشته باشید و اگه از ویدئو هم خوشتون اومد و حس کردید به درد دوستان میخوره بفرستید برای بقیه هم. ممنونم.

https://youtu.be/k6hoD45y38M

#youtube
@SingularThinker
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥145👍1
پیدا کردن سامر اسکول ml

خب من میخوام یه هفته است که این متن رو بنویسم ولی هی دست و دلم به نوشتن نمیرفت عجیب بود چون اصلا قرار نیست متن طولانی ای باشه.
ریپازیتوری زیبای awesome-mls اومده خیلی از سامر اسکولا رو یه جا جمع کرده و یه سری فیچرای جالب هم داره که ددلاینش کیه و ...

از طریق این وبسایت میتونید همه اطلاعات رو ببینید. از تمپلیت aideadlines هم استفاده کرد امیدوارم که استرس نگیرید و برید سامر اسکول لذتش رو ببرید. همونطور که میدونید فایده اصلی این جور سامراسکولا اینه که شما میرید و به کلی آدم از استاد گرفته تا دانشجوها متصل میشید حالا عمقش هر قدره که خودتون بخواید از صحبت ۵ دیقه ای گرفته تا همکاری روی موضوع مشترک و الی آخر. در کنارش هم یه جای جدیدی از دنیا رو میبینید که خودش پوینت کمی نیست.

یکی از سامر اسکول های خوبی که نذاشته بود و به نظرم جالب میاد Eastern European Machine Learning Summer School عه که آدمای جالبی رو معمولا میاره که اکثرا از شرق اروپا میان. ددلاینش آخر مارچه و باید یه سری ریسرچ استیتمنت اینا براشون بنویسید که من حوصله شو ندارم هیچ وقت و اینکه یه ذره سخنرانش خیلی دیگه جنراله که میتونه چیز خوبی هم باشه. آدرسشونم اینه:
eeml.eu

خلاصه برسونید دست اهلش اگه میشناسید کسی رو.

#Summer_School
@SingularThinker
8🔥1
یه سری سامر اسکول هایی که مرتبط به #learning_theory هم هست رو تو این پیام میگم برای اینکه شاید کسی مثل من علاقه مند بود.

اولیش این کورس دوره دکتری تو دانشگاه جنواست که به صورت summer school هم قراره برگزار بشه به اسم Theoretical Foundations of Machine Learning Course که اطلاعات بیشتر رو میتونید از اینجا بیابید. من خودم احتمال زیاد این رو شرکت میکنم و اگر شما هم اومدنی بودید خبر بدید ببینیم همو.

دیگه یه ورکشاپ Learning and Optimization in High Dimensions تو دانشگاه بوکونی Bocconi در میلان برگزار میشه که خیلی سخنرانای خفنی داره تقریبا بهترین آدمایی این حوزه رو جمع کرده. همین که ادم بتونه بره این ببینشون از نزدیک واقعا میرزه که رایگانم هست اتفاقا شرکت کردنش. اینم احتمالا من باشم و اگه بودید خبر بدید. از اینجا میتونید اطلاعات بیشتری پیدا کنید.

کلا هم اگه علاقه مند به ریسرچ تو learning theory هستید حالا چه ml theory چه dl theory یه ندایی بدید بهم شاید بتونیم یه کارای جالبی کردیم با هم یا مثلا اگه عضو ELLIS هستید هم حتما بگید که همو بشناسیم.

خلاصه برسونید دست اهلش اگه میشناسید کسی رو.

#Summer_School
@SingularThinker
👍4🔥3
Intelligent Machines
Neuromatch Academy Course Applications are OPEN for 2025!
برای بچه هایی که داخل ایران هم هستید من پیشنهاد میکنم از دوره های Neuromatch Academy استفاده کنید حالا یا به عنوان TA یا به عنوان گذروندن دوره.

فک میکنم هنوز برای ما ایرانیا رایگان باشه و شما صرفا این رو در نظر بگیری که فرصت آشنایی با کلی آدم هم فکر و هم جهت رو داری خودش خیلیه.
2👍2🔥1
Singular Thinker
یه سری سامر اسکول هایی که مرتبط به #learning_theory هم هست رو تو این پیام میگم برای اینکه شاید کسی مثل من علاقه مند بود. اولیش این کورس دوره دکتری تو دانشگاه جنواست که به صورت summer school هم قراره برگزار بشه به اسم Theoretical Foundations of Machine Learning…
یه سری از بچه ها پرسیدن ELLIS چیه؟ چون سرچ کنی تو گوگل درست سرمون نمیاره.

که اینه قضیه اش
ELLIS - the European Laboratory for Learning and Intelligent Systems - is a pan-European AI network of excellence which focuses on fundamental science, technical innovation and societal impact.
یه کامیونیتی برای آدمایی که تو اروپا ماشین لرنینگ کار میکنن.

حالا که بحث به اینجا کشیده شد ولی بگم که اگه کسی رو میشناسید که برای فراخوان PhD الیس مرحله اول رو پذیرفته شده و تو یکی از زمینه های زیر کار کرده و یا فک میکنه که میتونه کار کنه بگید که به من یه پیامی بده

ML Theory
PDE & ML (Neural Operators, PINN, ...) especially with applications in climate modelling
Learning dynamical system (Koopman operator, transfer operator, ....)
Deep Learning Theory & Language models (Linear RNNs, ... )

خلاصه برسونید دست اهلش اگه میشناسید کسی رو و تو این بی پوزیشنی یکی رو نجات بدید.
#phd_position
🔥1
محمد سبک‌رو رو دورادور میشناسم و فک میکنم که آدم جالبیه و میتونه فرصت خیلی خوبه باشه اگه علاقه‌مند به پژوهش تو این حوزه هستید.

https://www.linkedin.com/posts/mohammad-sabokrou-76464434_i-am-seeking-several-research-assistants-activity-7304666311433895936-eYQt?utm_source=share&utm_medium=member_android&rcm=ACoAAB-Jks0BesfzQ7QdYEgF_FfXs-JLMu4t5fs

#phd_position

پ.ن: من خودم خیلی دوست ندارم هی اینجا پوزیشن بذارم ولی دارم میبینم که روز به روز اوضاع داره سخت‌تر میشه مخصوصا به عنوان یه ایرانی! در نتیجه این چند وقت یه مقدار ویژه‌تر سعی میکنم حواسم باشه.

@SingularThinker
👍52🔥1
Singular Thinker
📣⭕️خلاصه این طوری شد که اولین ویدئوی کانال یوتیوب رو گذاشتم. خواستید اونجارو هم سابسکرایب داشته باشید و اگه از ویدئو هم خوشتون اومد و حس کردید به درد دوستان میخوره بفرستید برای بقیه هم. ممنونم. https://youtu.be/k6hoD45y38M #youtube @SingularThinker
📣⭕️خب بلاخره دومین ویدئو رو هم گذاشتم. قراره طبق عادت هر هفته یه ویدئو آپلود کنم اگر که بتونم ادیتا رو سریع تر بزنم و یکم منظم تر باشم.

تو این جلسه از دوره نظریه اطلاعات راجع به مفهوم آنتروپی شرطی و توام و همچنین آنتروپی متقاطع و اطلاعات متقابل صحبت کردیم.

https://www.youtube.com/watch?v=sTQm4owr13Q

#youtube
@SingularThinker
Please open Telegram to view this post
VIEW IN TELEGRAM
👍7🔥3💅2