ای چرخ فلک خرابی از کینه تُست
بیدادگری شیوه دیرینه تُست
ای خاک اگر سینه تو بشکافند
بس گوهر قیمتی که در سینه تُست

ای دل چو زمانه میکند غمناکت
ناگه برود ز تن روان پاکت
بر سبزه نشین و خوش بزی روزی چند
زان پیش که سبزه بر دمد از خاکت

این بحر وجود آمده بیرون ز نَهُفت
کس نیست که این گوهر تحقیق بِسُفت
هر کس سخنی از سرِ سودا گفتند
ز‌ان‌روی که هست‌، کس نمی‌داند گفت

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

خیام

فصل دوم اضافه شد و می‌تونید دانلود کنید و بخونید.
https://github.com/amirhalijani/Artificial-Intelligence-A-Modern-Approach-Persian/tree/main/Chapter%202

A Canadian math prodigy allegedly stole US$65-million in crypto. Now he’s on the lam from U.S. authorities

via www.theglobeandmail.com

توی این پادکست فارسی که توسط NotebookLM ساخته شده در مورد قضیه ناتمامیت کرت گودل صحبت می‌شه. به عنوان منبع هم براش کتاب Godel's Proof از Nagel و Newman رو قرار دادم.
@supersonic_ai

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

اثبات بدون کلام
every subtree of a tree is a tree

بمناسبت روز استاروارز یکی از بهترین صحنه‌های تاریخ سینما رو ببینیم :)

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

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

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

خلاصه می‌شه گفت برای اولین بار (اگه صادق هدایت رو فاکتور بگیریم) تصمیم گرفتم یه کتاب از نویسنده‌های ایرانی رو شروع به خوندن کنم و انتخاب‌ام هم ۵۳ نفر از بزرگ علوی بود.

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

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

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

فصل سوم (حل مسئله از طریق جستجو) اضافه شد. توی این فصل تمام الگوریتم‌های Informed و Uninformed پوشش داده شده. یه نکته‌ای هم که قبلاً فراموش کردم بگم اینه که بخش‌های مهم و کلیدی توی مباحث رو با یه رنگ دیگه‌ای مشخص کردم و می‌تونید برای اون قسمت‌ها وقت بیشتری بگذارید.
https://github.com/amirhalijani/Artificial-Intelligence-A-Modern-Approach-Persian/tree/main/Chapter%203

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

مولانا

مساله برای فکر کردن:
این مهره ها رو طوری در اون صفحه بذارید که هیچ کدوم همدیگر رو تهدید نکنند.
مساله ای از Martin Garnder