این آهنگ " با دللللل چون کبوترم ..." هست عجب غزل زیبایی رو انتخاب کردن از فروغی بسطامی:

دوش به خواب دیده‌ام روی ندیدهٔ تو را
وز مژه آب داده‌ام باغ نچیدهٔ تو را

قطره خون تازه‌ای از تو رسیده بر دلم
به که به دیده جا دهم تازه رسیدهٔ تو را

با دل چون کبوترم انس گرفته چشم تو
رام به خود نموده‌ام بازِ رمیدهٔ تو را

من که به گوش خویشتن از تو شنیده‌ام سخن
چون شنوم ز دیگران حرف شنیدهٔ تو را

تیر و کمان عشق را هر که ندیده، گو ببین
پشت خمیده مرا، قد کشیدهٔ تو را

قامتم از خمیدگی صورت چنگ شد ولی
چنگ نمی‌توان زدن زلف خمیدهٔ تو را

شام نمی‌شود دگر صبح کسی که هر سحر
زان خم طره بنگرد صبح دمیدهٔ تو را

خسته طرهٔ تو را چاره نکرد لعل تو
مهره نداد خاصیت، مارگزیدهٔ تو را

ای که به عشق او زدی خنده به چاک سینه‌ام
شکر خدا که دوختم جیب دریدهٔ تو را

دست مکش به موی او مات مشو به روی او
تا نکشد به خون دل دامن دیدهٔ تو را

باز فروغی از درت روی طلب کجا برد
زان که کسی نمی‌خرد هیچ خریدهٔ تو را

#شعر
https://ganjoor.net/forooghi/divan-forooghi/ghazalf/sh12

@SingularThinker

یک ایده‌ی جالب و قابل بهبود

فرزاد بیان مناظره‌ی بین چت بات Claude Sonnet 3.5 رو که یکبار بهش نقش خداباور و یک بار ناخداباور داده شده رو پخش کرده و از ۵ تا چت بات دیگه خواسته که بهشون امتیاز بدن.

ایده‌ی جالبی بود ولی قطعا جای بهتر شدن هم داره. مثلا داشتم فک میکردم که شاید بشه از مدل‌های reasoning استفاده کرد برای تشخیص قدرت استدلال مطرح شده در هر یکی از طرفین چوم خیلی از جاها به نظرم مغلطه مطرح شد.

یه چیز جالب و فرعی رو نمیدونم توجه کردید یا نه ولی بات خداباور وقتی میخواست جواب بده همیشه از آخرین بحث طرف مقابل شروع میکرد به جواب دادن و میرسید به اول ولی بات آتئیست این طور نبود. دلیلی داره فک میکنید؟

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

https://youtu.be/z060xYPILMo?si=d5KxMXfST5Qznnsi

#video
@SingularThinker

در ضمن بگم من با ادامه این سری پست‌ها برمیگردم نه فورا ولی حتما😭😂

Entropy is decay and with decay nothing last forever.
- Ludwig Boltzmann
یا

چون عاقبت کار جهان نیستی‌ است
- عمر خیام

دیروز داشتم با دوستم صحبت میکردم و بحث رسید که

خوب یا بد، هر چیزی تاریخ انقضا دارد حتی روابط انسانی و در بهترین شرایط تا وقت مرگ یکی از طرفین.

بعد گفتیم که این لزوما بد هم نیست داشتم از این طرفداری میکردم که نامیرایی لزوما چیز مطلوبی نیست چون ما هیچ چیزی ازش نمی‌دونیم و انگار یه دنیای دیگه است.

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

ولی برگردم به بحث و بپرسم آیا مرگ واقعا چیز بدیه؟ و این ویدئو از کانال وزین تفسیر بیضوی رو پرت کنم اینجا و بگم فقط با هدفون گوشش کنید یا جایی که راحتید با شنیدن فحش🔞⚠️
که این دو بیت رو از سنایی میخونه:

اگر مرگ خود هیچ راحت ندارد
نه بازت رهاند همی جاودانی

اگر خوش خویی از گران قلتبانان
وگر بدخویی از گران قلتبانی

معنی قلتبان رو هم خودتون سرچ کنید. خوندن قصیده کاملش هم خالی از لطف نیست:
https://ganjoor.net/sanaee/divans/ghaside-sanaee/sh191

ویدئو:
https://youtube.com/shorts/vyMI8OpXYoY?si=md6jtnLr5AyZJ_Jk
#note #شعر
@SingularThinker

Years After the Early Death of a Math Genius, Her Ideas Gain New Life


A new proof extends the work of the late Maryam Mirzakhani, cementing her legacy as a pioneer of alien mathematical realms.

https://www.quantamagazine.org/years-after-the-early-death-of-a-math-genius-her-ideas-gain-new-life-20250303/

در سال ۱۹۳۱ در یه مجله آلمانی مقاله ای منتشر شد که عنوانش(به انگلیسی) می شد:
On Formally Undecidable Propositions of
Principia Mathematica and Related Systems
به نسبت، عنوان جسورانه ای محسوب می شد از یک جوان ۲۵ ساله. عنوان مقاله اشاره می کرد به اثری از دو ریاضیدان برجسته یعنی وایتهد و راسل که کتاب سه جلدی
Principia Mathematica
درباره منطق و مبانی ریاضی نوشته بودند. مقاله نقطه عطفی در تاریخ منطق و ریاضی محسوب می شد و یکی از مهمترین آثار در این زمینه. البته در زمان انتشار مقاله نه عنوانش و نه محتویاتش برای خیلی از ریاضیدان ها جذابیتی نداشت. خود اثر سه جلدی وایتهد و راسل هم تقریبا به بخش زیادی از ریاضیات ارتباطی نداشت و پیش نیاز مطالعه خیلی از شاخه های ریاضی محسوب نمی شد. مقاله هم اونقدر تکنیکی بود که فقط افراد متخصص می تونستند ازش سر در بیارند. مقاله گودل حمله ای بود به یک مساله اساسی در مبانی ریاضیات.
در هندسه از زمان بسیار قدیم با مساله ای مواجه بودند که اصولی رو به عنوان حقایق می پذیرفتند و بعد قضایایی رو از اون اصول نتیجه می گرفتند.(مثل این اصل که از هر دو نقطه یک خط راست می گذره). در واقع با پذیرش چند اصل می شد سیستمی عظیمی رو بنا کرد که قضایای زیادی در اون قابل اثبات بود. سال ها همه این رو پذیرفته بودند که با فرض درست بودن اصول می شه اون قضایا رو اثبات کرد. یعنی اگر چند تا اصل رو به عنوان اصول اولیه بپذیریم، با چاشنی کمی استدلال و منطق می شه درباره هر گزاره ای تصمیم گرفت. گودل با قضایای خودش این باور چند هزار ساله رو به لرزه در آورد، یعنی ثابت کرد که حتی در یه سیستم ساده مثل حساب و بررسی اعداد صحیح، وقتی که axiomatic بشه، به گزاره هایی می رسیم که نه می شه اثباتش کرد و نه ردش کرد. در واقع برخلاف تصوری که سال های قبل برای بعضی از ریاضیدان ها به وجود اومده بود، ریاضیات رو نمی شد به مجموعه ای از axiom ها کاهش داد.

اگه اطلاعات تکمیلی خواستید تو این پست یه ویدئو جالب رو معرفی کردم.

چون دیدم بحث Gödel داغه و طبق تجربه شما هم مثه من Von Neumann دوستید :)
#math

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

https://neal.fun/absurd-trolley-problems/?fbclid=PAY2xjawI0WF9leHRuA2FlbQIxMQABphUnt4HeeEfmEv32XvUJ1SuzH6BojxwbbyLaUhK3CdTyAQ_7ht9gtr-qgg_aem_lHuQChe2ftiibny6uj8OJQ

امروز دکتر شهریاری توی گروه بچها یک پستی گذاشت درباره آقای 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 نمیکردند بعید میدونم این جماعت میومدن درباره پشت صحنه صحبت میکردند.

peak @3blue1brown moment

🔗 neural nets. (@cneuralnetwork)

#tweet #video
@SingularThinker

لامصب با یه جدیتی اینو میگه آدم باورش میشه😂😂 واقعا زیباست این Grant Sanderson

در ادمه این ماجرای جالب که هر کسی داره یه چیزی کوت میکنه هم بگم بله تا اوونجا که برند لباس داریم به اسم Dickies :))
یادمه اولین بار که لباس ماتیا رو دیدم که بزرگ رو سینه‌اش نوشته بود Dickies ناخودآگاه زدم زیر خنده :)

در همین راستا :))
پ.ن: گویا مرحوم اخلاق درست درمونی هم نداشته😂