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

این عدد اول که ۴۱ میلیون رقم داره که ۱۶ میلیون رقم طولانی‌تر از بزرگترین عدد اول کشف شده قبلی است و پیدا کردنش شش سال زمان برده.

لوک دورانت از یه برنامه آزاد به اسم «جستجوی عظیم اینترنتی عدد اول مرسن» استفاده می‌کرده که اجازه می ده داوطلبان سراسر جهان با استفاده از جی پی یو و سی پی یو دنبال عددهای اول به فرم مرسن بگردن. عددهای مرسن اعداد به شکل «دو به توان ایکس منفی یک» هستن که ایده‌شون به کشیشی فرانسوی به همین نام می‌رسه.

عدد جدید کشف شده، ۵۲مین عدد اول مرسن است که ۴۱ میلیون و ۲۴ هزار و ۳۲۰ رقم داره. این کشف جایزه ۳هزار دلاری رو نصیب آقای دورانت کرده و جوایز بعدی برای اعداد بالای ۱۰۰ میلیون رقم و یک میلیارد رقم، ۱۵۰هزار و ۲۵۰ هزار دلار هستن.

اگر علاقمند به مشارکت و تجربه و تست هستین، برنامه مرسن اینجاست:‌
https://www.mersenne.org/download/

#خبر #ریاضی #آزادی

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

زنان پیشرو ایرانی

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

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

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

دیگه چی؟ یه سری پادکست خوب دیگه هم در مورد یه سری از زنان دیگه گوش دادم که لینکشو اینجا میذارم.
مثلا اینجا نگار می‌گوید که(کانالش پرایوته ولی میتونید درخواست بدید):

به مناسبت روز جهانی زن وقت بازشنیدن اپیزود ویژه‌ی روز زن #پادکست رخ هست.

لینک castbox
https://castbox.fm/vb/579806205
لینک Spotify
https://open.spotify.com/episode/32iApGFxA1W1MO7Nbfu1aT?si=jL-Mosk3RiWiXB4M0uB_Xg
توی این اپیزود امیر سودبخش خلاصه‌ایی از زنان پیشرو در زمان خودشون میگه؛ مثل قمرالملوک وزیری، بی‌بی مریم و ایران درودی

یا مثلا در پادکست رامشگر (پادکست زنان موسیقی ایران) زندگی قمرالملوک وزیری شرح داده میشه که واقعا به شدت جالبه این زن. (خلاصه‌ای کوتاه از این اپیزود رو تو کامنت همین پست میذارم.)

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

جالبی حرکت این آدم‌ها در این بوده که چیزی فرای موفقیت فردی رو در زندگی دنبال میکردن اما نه به طور سوپرمن‌گونه‌ای که دنیا رو تنهایی نجات بدن بلکه به شدت واقعی و با پاهایی کاملا به روی زمین. اگه این اپیزودا رو گوش دادید به من بگید که کجای داستان واستون جالب بوده یا کجاشو دوست نداشتید تا یکم بحث هم شکل بگیره این پایین.
#video #podcast
@SingularThinker

خب خب من یه چند وقتی درگیر بودم خیلی نرسیدم اخبارو پیگیری کنم‌. دو تا چیزی که خودم سیو کردم که حتما چک کنم یکیش search gpt عه و اون یکی notebook llm
در مورد این دو تا اگه سورس خوبی توییتی چیزی دارید بفرستید.
و اینکه دیگه چه خبرا بوده این چند وقت؟
کلا اگه نقدی، پیشنهادی چیزی دارید به آدرس توی بیو یا این لینک ناشناس بگید.

مدل‌های زبانی به عنوان ویرایشگر متن

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

به طور کلی میگفت که ما بعد از اینکه نسخه‌ی اولیه متن‌مون رو نوشتیم میتونیم در ۲ جنبه‌ی کلی استفاده کنیم از مدل‌های زبانی: ۱. گرامر و ساختار زبانی ۲. ساختار متن و پیام‌های اصلی
در واقع اینکه متن ما از نظر زبانی مشکل جدی‌ای نداشته باشه و دوم اینکه نکات کلیدی رو بشه راحت ازش فهمید.

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

واسه دومی هم که یکم سخت‌تره میخواد ازش که ۱.نکات اساسی که از متن ما فهمیده رو به صورت خلاصه بگه و ۲.جریان متن رو فهرست وار بیان کنه.

حالا وقت ارزیابی هستش که چک میکنه اون اهدافی که داشته محقق شده یا نه و اگه نشده کل فرآیند رو دوباره انجام میده و این کارو تکرار می‌کنه.

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

#tweet #language_modeling
@SingularThinker

یه نکته در باب این نکات خانه‌داری که Annie میگه که خیلی به من کمک کرده هم بگم امروز که خیلی فاز بالای منبر رفتن هست
اگر دارید مستقل زندگی میکنید و خسته شدید ازین که هی به این فکر کنید که ناهار و شام چی درست کنید پیشنهاد میکنم که برنامه‌ی غذای هفتگی رو یادداشت کنید واسه خودتون بعد متناسب با اون برید خرید و این چرخه‌ی معیوب هوس فلان چیز کردیم ولی بهمان چیز رو نداریم رو پایان بدید.

نمیدونم چرا خواستم اینو اینجا بگم بهتون ولی دیگه حالا امتحان میکنیم پایینم یه سری میم میذارم که خودم خیلی وقته دلم تنگ شده بود.

پ.ن: اوصیکم به توجه کردن به میزان پروتئین لازم و دریافتی در هر روز.
#life_hack
@SingularThinker

«چه جالب. ولی نه.»
جمله‌ای که بدون اون تو دنیای ارتباطات و شلوغ امروز خواهی مرد.

مرده نپندارید

و آنان را که کشته‌اید، مرده نپندارید
و آنان را که شبانه خاک کردید و کسی خبر نشد
و آنان که با طناب، تیغ، تفنگ و چوب
و بعضی امضا نمی‌کردند
گفتید: "مث اینکه نمی‌خوای همکاری کنی؟"
جواب هم که لابد خاطرتان هست: "بیلاخ"
مرده نپندارید
و خاک را
و میوه‌هایی که می‌خورید
و مرغی که به نیش کشیده‌اید و
-بسم الله اخوی، بسم الله.

و حتما همه‌تان هر شب -هر شب و هر شب-
به آن روز فکر می‌کنید؛
آن روز که سراسیمه
مشغول پاک‌کردن علائم‌اید؛
با بلیطی در جیب ودست عیال و توله‌سگ‌هاتان در دست:
- و هاجروا

اما یادتان نرود آنان را
آنان در خاک را
آنان را که میوه و دانه می‌شوند
و می‌روند در رگ
در سلول‌هایتان سنگر می‌گیرند
و بعد ...
آن روز که ناگزیر:
- به خدا من نبوده‌ام
- باور کنید ما نبوده‌ایم

ها که کنید
می‌فهمیم و
ها که می‌کنید
گریه رهامان نمی‌کند

#شعر: علی اسداللهی
@SingularThinker

#music
در چه هنگامی بگویم من؟
یک نفر در آب دارد می‌کند بیهوده جان قربان!
...

کلمه‌ها رو چطور میشه عدد کرد؟

پرده اول - توی جلسه ارائه پوستر داشتم با عکاس اون ایونت که از قضا ایرانی هم بود صحبت میکردم و قشنگ یادمه که سر پوستر xLSTM وایستاده بودیم و پرسید که اع چرا این پوستر انقدر شلوغه بعد شروع کردم یکم توضیح دادن و با توجه به بازخوردش دیدم که خیلی کنجکاوه به موضوع ولی چون خیلی در جریان ml نیست باید مطلبو از پایه شروع کنم به توضیح دادن و شروع کردم حرف زدن به اینکه اصن چطور یه کلمه رو به یه سری عدد میشه تبدیل کرد در حالی که اون اعداد معنادار باشن.

پرده دوم - چند هفته‌ای هست که تو فکر این هستم که یه سری مطلب در مورد Transformer و Large Language Model ها بنویسم و توش سعی کنم تا حدی که میفهم توضیح بدم که توی این مدل‌ها چه خبره و یه سری سرنخ جالب برای کنجکاوی بیشتر در اختیار بقیه بذارم. فعلا در حال جمع‌آوری مطلب و پیدا کردن یه پلتفرم درست برای انتقالشون هستم که اتفاقی به این رشته توییت برخورد کردم.

این به نظرم شروع خوبی میتونه باشه برای آغاز این مسیر و خیلی جالب موضوع رو نوشته به نظرم:
https://threadreaderapp.com/thread/1789916739733475585.html

#tweet #note #language_modeling
@SingularThinker

Post-doc in Scientific Machine Learning

The Italian Institute of Technology is looking for a Post-doc in Scientific Machine Learning. The position is within the Computational Statistics and Machine Learning (CSML) research unit at IIT. The successful candidate will be engaged in designing novel learning algorithms for numerical simulations of physical systems, with a focus on machine learning for dynamical systems. CSML has a strong focus on ML theory and algorithms, but also significant multidisciplinary interactions with other IIT groups in areas ranging from Atomistic Simulations, to Neuroscience and Robotics.

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