Singular Thinker

#فان_فکت پاول اردوش ریاضی‌دان نامدار مجارستانی قرن ۲۰‌ام دائما روی آمفتامین بوده و کلا نمیخوابیده و دائما مشغول پژوهش روی حوزه های مختلف ریاضیات بوده. تا حدی این بزرگوار پر کار بوده که شاخصی به نام erdős number برای پژوهش‌گران حوزه ریاضی استفاده میشه که ببینن با چند واسطه با اون کار میکردن. سایت هایی هستن که میتونن فاصله افراد رو با هم حساب کنن و در زمینه ایشون خود American society of Mathematics این کار رو انجام میده. منبع: توییت و کتاب موجود در تصویر @SingularThinker

«ماجرا فراتر است» ✴️ مهاجرت از توییتر، به‌خاطر سیاست‌های عجیب‌وغریبی که ایلان ماسک در حال تحمیل آنها به کاربران است، بحث داغ این روزهای شبکه‌های اجتماعی‌ست. آنها که بیشتر دست‌به‌کد هستند و درگیر دنیای فناوری، از مدت‌ها قبل حرف از Mastodon می‌زدند (مخصوصا آنهاشان که علقه‌ای به جنبش متن‌باز داشتند و انحصار شرکت‌های فناوری بدجور اذیت‌شان می‌کند)، اما حتی کاربران عادی هم این روزها فکر و ذکرشان مهاجرت به رقیب دیگر توییتر، Bluesky است و دربه‌در دنبال دعوت‌نامه‌های منقضی‌نشده‌ای که اجازه پرواز پرنده‌های سفیدشان در آسمان آبی را بدهد (فعلا کاری به اوج‌گیری امروز دست‌پخت جدید زاکربرگ و متا با نام Thread نداریم). 🔹 اما ماجرا کمی فراتر از رفتن از یک شبکه اجتماعی به یک شبکه اجتماعی دیگر و ساختن دوباره از صفر است؛ اولا شاید این آخرین باری باشد که مهاجرت به یک شبکه اجتماعی جدید، به معنای رها کردن همه داشته‌ها در شبکه اجتماعی قبلی‌ست و ثانیا این مهاجرت چیزی شبیه قید ویندوز و MacOs را زدن و لینوکس‌باز شدن است، علیه انحصار و سلام بر یک دنیای مشترک و همگانی و باز. 🔹 مهم‌ترین تفاوت ماستادون و بلواسکای با توییتر در «غیرمتمرکز» (decentralized) و «متن‌باز» (Open-Source) بودن آنهاست. در واقع این شبکه‌های اجتماعی در کنترل و مدیریت انحصاری یک شرکت نیست که هم داده‌ها و اطلاعات کاربران را منحصرا در اختیار داشته باشد و هم با سیاست‌ها و قوانین و الگوریتم‌هایش، تعیین کند که هر کاربر در فیدش چه محتوایی را ببیند. در بلواسکای و ماستادون هیچ‌کس‌ نمی‌تواند قوانینی را برای همه کاربران و جوامع وضع کند و برای آنها تصمیم بگیرد. وعده ماستادون و بلواسکای، کنترل بیشتر کاربر روی تجربه آنلاین و محتوایی‌است که حواسش به آنها مشغول می‌شود، چون خودش بهتر صلاح خودش را می‌فهمد و تبلیغات و الگوریتم‌ها نباید این وسط وقتش را هدر دهند. 🔹 کار اصلی بلواسکای و ماستادون، معرفی یک شبکه اجتماعی جدید نیست، بلکه توسعه پروتکلی استاندارد است که ارتباط بین پلتفرم‌های شبکه‌های اجتماعی مختلف و انتقال اطلاعات بین آنها را ممکن می‌سازد. بلواسکای پروتکل ATM (مخفف Authenticated Transfer Protocol) را توسعه داده و ماستادون هم پروتکلش ActivityPub نام دارد. این پروتکل‌ها رویکرد جدیدی برای ذخیره و بازیابی اطلاعات کاربران در شبکه‌های اجتماعی است که به کاربران اجازه می‌دهد از یک شبکه اجتماعی با کاربری در شبکه اجتماعی دیگر ارتباط برقرار کنند و اگر هم دل‌شان خواست، بساط‌شان را در شبکه اجتماعی جدید پهن کنند، آن هم با امکان انتقال تمام اسباب و اثاثیه‌شان از شبکه اجتماعی قبلی به شبکه اجتماعی جدید. 🔹 سیستم ایمیل را به یاد بیاورید، شما می‌توانید با ایمیلی که یکی از سرویس‌دهنده‌های ایمیل در اختیارتان گذاشته، به هر ایمیل دیگری (مستقل از سرویس‌دهنده‌اش) ایمیل بزنید، اما یک حساب کاربری در اینستاگرام امکان ارتباط با یک حساب کاربری در توییتر را ندارد. خود بلواسکای در وبلاگش شبکه‌های اجتماعی غیرمتمرکز را به شهرهای بزرگی تشبیه کرده که در انزوا به سر می‌برند و ارتباطی با یکدیگر ندارد، در حالی که شبکه‌های اجتماعی غیرمتمرکز مجموعه‌ای از شهرهای احتمالا کوچک‌ترند که شهروندان آنها می‌توانند با یکدیگر در ارتباط باشند و حتی بین شهرها سفر کنند. 📝 متن کامل را در تلگراف یا ویرگول می‌توانید بخوانید. @SharifToday

چرا خورشید میتابه؟ چرا میچرخه زمین؟ به خاطر قانون دوم ترمودینامیک: https://youtu.be/DxL2HoqLbyA @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 کردن برنامه‌ای که نوشتید اکتفا کنید. و اینجا میشه جای خالی اثبات رو به طور خیلی محسوسی احساس کرد.

آرشام غواصیه تو کانالش داره یه سری ویدیو با عنوان "درس‌های کوتاهی بر علم شبکه" میذاره که به نظرم خیلی جالبه، دوست داشتید شما هم نگاه کنید. 🔗 لینک: قسمت اول #video @SingularThinker

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

کلی ایونت امروز برگزار میشه که لینکش تو این توییت هست https://twitter.com/LondMathSoc/status/1656932313450545155?t=_OPM1iF6mKCk910ZW8QJsQ&s=19

خدایی اگه اینا رو جنریت کردن، ما رو چیکار کردن؟ چه کپشن بدی شد. مدل Midjourney5.1 هستش که سه روز پیش ارائه شده. @SingularThinker

یه چیز جالب متوجه شدم 😁 کوپایلت (Github Copilot) پیشنهاد هایی که توش واژه های gender یا sex باشه رو سانسور می کنه و نمایش نمیده 🙂 اینجا مثلا aurgument parser مربوط به متغیر آخر من که اسمش char_gender بود رو پیشنهاد نمیده، در حالی که سه تای دیگه رو پیشنهاد داد (اگه اسم همون متغیر رو هم عوض کنی پيشنهاد میده). تو حالت های مختلف هم امتحان کردم و نتیجه هر دفعه همینه. @SingularThinker

#Meme @SingularThinker

#Meme @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

یه چیز جالبی که شاید تو این دوره و زمونه زیاد می‌شنویم اینه که الان عصر، عصر بین رشته‌ایه و این ویژگی حداقل برای شخص من خیلی جالبه. این که زبان‌شناسی مرتبط میشه به هوش مصنوعی و بعد جفتشون به علوم شناختی که از یافته‌هاش میتونیم به شدت تو سیاست و غیره استفاده کنیم واقعا جالبه. یا اینکه مثلا یه تیم پژوهشی با پیشینه‌های متفاوت می‌شن کنار هم و در مورد یک موضوع فکر می‌کنند، باعث میشه نوآوری پژوهش‌ها بیشتر بشه و اون مرز‌بندی‌های سفت و سخت سابق بین زمینه‌های مختلف علم کمتر بشه. ازون طرف خیلی این نظریه محبوبه که هر کسی باید تو حیطه تخصصی خودش کار بکنه و نظر بده مخصوصا این بحث تو علوم انسانی زیاد پیش میاد که میگن اگه علوم انسانی نخوندی حرف نزن در موردش یا واردش نشو(که غیر ممکنه به نظرم) اما علی بندری راهکار جالبی رو بهش اشاره می‌کنه که قابل تامله ، خودتون بشنوید. 🔗 لینک #Video @SingularThinker

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

💎 The Linux of LLMs is here: https://youtu.be/ddG2fM9i4Kk @SingularThinker

اگه علاقه‌مند به حوزه‌های تئوری ماشین لرنینگ و یا نظریه‌ی اطلاعات هستید توصیه میکنم به این سمینار موسسه Simons حتما نگاه کنید و اگر دوست داشتید ثبت نام کنید. 🔗 لینک #Webinar @SingularThinker