Vibe proving

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

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

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

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

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

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

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

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

@SingularThinker

ویراست جدید کتاب High-Dimensional Probability به صورت آزاد در دسترس قرار گرفته اگر تو حوزه ml theory دوست دارید کار کنید حتما توصیه میکنم که این کتابو بخونید. من خودم در حال مطالعه و حل تمریناش هستم اگر سوالی داشتید یا همفکری خواستید حتما به منم پیام بدید.
https://www.math.uci.edu/~rvershyn/papers/HDP-book/HDP-2.pdf
@SingularThinker

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

📌تمهید اتوبوس برای بازگشت دانشجویان به شهرهایشان


با توجه به پیگیری های شورای صنفی سطح شهر و همکاری اداره کل خوابگاه ها؛
اتوبوس هایی برای انتقال به برخی از شهر های مقصد دانشجویان تهیه شده است.
نکات قابل توجه؛
پسران به گیت کوی مراجعه کنند، نام و نام خانوادگی و شهر مقصد خود را در گیت ورودی کوی اعلام کنند(تا ساعت ۱٠ امشب ثبت نام)
در مسیر شهر های مقصد، شهر های بین راهی نیز قرار داده شده است و دانشجویان میتوانند در بین مسیر در شهر هایی که نام آنها نوشته شده است پیاده شوند.
اگر شهر مقصد ثبت نامش به حد نصاب پر شدن اتوبوس برسد، اتوبوس ساعت ۱۱ حرکت میکند
استفاده از اتوبوس رایگان است.
لطفا دانشجویان هرچه سریعتر اقدام به ثبت نام کنند

🌐روابط عمومی شورای صنفی خوابگاه

📮رسانه دانشجویی دانشگاه تهران
     اینستاگرام | تلگرام | توییتر

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

بهش ظاهرا می گند
Availability Heuristic
یه جور بایاسه. مغز تمایل داره اتفاقاتی که مشاهده می کنه رو بازتابی از کل واقعیت موجود ببینه، که خب واضح و مبرهن است که اشتباهه.

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

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

Dear TAs, 

We’ve been following the international news closely and the continued escalation of violence. I know so many of our volunteers, students, and TAs are living in Iran or have close ties to family and friends there. I hope you and your loved ones are safe. 

I have also been informed that the local internet has become increasingly unstable, and there are additional restrictions being placed on digital communication by the Iranian government. 

I’m reaching out to (1) see if you feel like you are still able to continue in your TA role and (2) get feedback on some potential accommodations we’ve been thinking about. Please let me know as soon as you can (preferably by Sunday, June 22) if you are unable to continue as a TA this year. This will not impact your ability to apply in future years. 

We are exploring options to provide greater flexibility in response to the evolving situation. Our ideas include: 

Creating Iranian-specific pods with only Iranian students and TAs 
This would require some changes to TA timeslots 
Based on feedback already received, we are leaning towards this solution 
Alternatively, we could assign each Iranian TA’s pod a non-Iranian “buddy” pod, where students could go if you are unable to join due to internet outages or platform restrictions 
Allowing more flexibility to change to low-fi pods at any time as needed
Allowing for flexibility on chat and video platforms used to communicate 
Updating our Attendance Waiver policy to allow for students in active war zones to do more of the course on their own and still receive a certificate 
Instead of doing strict pods, we could provide information to all students on which TAs are available for which time slots 
You could self-organize in pods, or support students asynchronously 
The project portion is already optional for students, but we can reiterate this to Iranian students 

Please let me know which of these options are helpful, and what other ideas you have. We plan to move forward with a solution this weekend if possible. 

If email is not working well, please feel free to reach out to Elnaz Alikarami in the already existing Telegram group for Iranian TAs or directly through Telegram (https://news.1rj.ru/str/ElnazAlikarami) or WhatsApp (+1 5873704325).

Thanks, 
NMA academy

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

فقط دیوار دوری روبرومه...
#music
@SingularThinker

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

برای تخفیف صد در صد، تیک «دسترسی کامل» رو بردارید، به سبد اضافه کنید و کد PEACE رو بزنید.

https://maktabkhooneh.org/course/%D8%A2%D9%85%D9%88%D8%B2%D8%B4-%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87-%D9%86%D9%88%DB%8C%D8%B3%DB%8C-%D8%A8%D8%A7-%D9%BE%D8%A7%DB%8C%D8%AA%D9%88%D9%86-%D9%85%D9%82%D8%AF%D9%85%D8%A7%D8%AA%DB%8C-mk346/