📣 Post-doc in Scientific Machine Learning 📣

More info: https://ellis.eu/jobs/post-doc-in-scientific-machine-learning

این پوزیشن همچنان بازه و من نمیدونم چطوری میشه این رو به اهلش رسوند ولی شاید شما بتونید کمک کنید.
اگه کسی شرایط گفته شده رو داره میتونه به منم پیام بده.‌حوزه های کاری محتمل هم یکی یا ترکیبی از این هاست :
ML Theory
ML for Dynamical Systems and PDEs, especially with applications in molecular dynamics and/or climate modelling
Deep Learning Theory & Language models (Linear RNNs, ... )
Numerical optimization and its application to ML and DL

#phd_position
@SingularThinker

وضعیت:

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

می توان تعصب او را با زمانه ی خودش توجیه کرد اما یادمان باشد عمر خیام هم در همین زمانه می زیست اما او کجا و این ها کجا.

قضاوت اين شخص ارزش مخصوصي در شناسانيدن فكر و فلسفة خيام دارد . مؤلف
صوفي مشرب از نيش زبان و فحش نسبت به خيام خود داري نكرده است . البته
بواسطة نزديك بودن زمان، از هر جهت مؤلف مزبور آشناتر به زندگي و افكار و
آثار خيام بوده، و عقيدة خود را دربارة او ابراز ميكند . آيا اين خود دليل كافي
نيست كه خيام نه تنها صوفي و مذهبي نبوده، بلكه برعكس يكي از دشمنان
ترسناك اين فرقه بشمار ميآمده.

صادق هدایت، ترانه های خیام

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

Vibe proving

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

داستان از این قرار بود که دوستم این اخر هفته زمان گذاشته بود و تز ۳۰۰ صفحه‌ای یک دانشجو کارشناسی رو که قرار بود سوپروایزش کنه رو بررسی کرده بود و دیده بود که بعله دانشجو اومده بود vibe proving کرده و یه آب هم روش. حیف که اونا آقای میثاقی ندارن که بدن آبشو بخوره.

اگه بخوام به زبون ساده‌‌ بگم vibe proving چی میشه تفت دادن درستی یه گزاره با استفاده از نمادها و اصطلاحات ریاضی میشه.

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

ولی جدی بیاید تصور کنید که شما ریویوئر یکی از این کنفرانس‌های مطرح ماشین لرنینگی مثلا NeurIPS هستید و موظفید ۶ تا پیپر رو داوری کنید که هر کدوم ۶۰ صفحه ان و برای این کار دو هفته وقت دارید. ایا شما فرصت میکنید بشینید تک به تک اثبات‌ها رو چک کنید؟ هرگز.

بنابراین خوش اومدید به عصر جدید vibe proving. البته این ابزار تفت دادن اختراع تازه‌ای نیست خود بنده از این روش در درس‌های عمومی دانشگاه بسیار بهره بردم تا حدی که یه درسی رو ۲۰ شدم در حالیکه مطمئن بودم غلط داشتم تو سوالای تستی ولی خب الان دیگه تو ریاضیات هم میشه به تفضیل تفت داد و به ظاهر منطقی هم بود و ازون ور این هم از اوضاع peer review.

کم کم آخر بحثمون به این نتیجه رسیدیم که vibe coding که چند وقتیه مد شده الانم vibe proving اومده کم کم شاید ما تبدیل بشیم به انسان‌هایی که دارن vibe living میکنن در واقع صرفا کسایی که ادای زندگی کردن رو در میارن، اگر تا حالا نشده باشیم.

نمیدونم ولی راستش این ابزارهای مدل زبانی خیلی چیزها رو تغییر داده و نمیدونم ما زمان کافی برای تطبیق پیدا کردن رو داشتیم یا نه براش. شما چی فک میکنید؟ تجربه‌ی مواجه با چنین چیزی رو داشتید؟

@SingularThinker