وقتشه که یک آپدیت روی این پست بنویسم. پستی که روش ریپلای زدم در حقیقت نقدی بود بر نوع نگاه سیستم آموزشی ایران نسبت به Game Theory. در کنار نقد، سعی کردم گیم تئوری رو با دید فرمال معرفی کنم و جایگاهش رو توی ترک B علوم کامپیوتر بازگو کنم. توی این پست یکی از منابعی که معرفی کردم کتاب Games on Graphs بود که بسیار کتاب خوبی در راستای معرفی تکنیک‌های algorithmic برای آنالیز کردن این دست از بازی‌هاست. دیروز ورژن جدیدی از این کتاب منتشر شد و بهونه‌ای دستم داد تا دوباره یادی از این پست کنیم و کمی در مورد تغییرات این کتاب بنویسم.

اولین تغییر، عنوان کتاب هست که به تایتل اصلی، یک ساب‌تایتل اضافه شده و عنوان کتاب رو به :
Games on Graphs - From Logic and Automata to Algorithms
تغییر داده و من بسیار این تغییر رو دوست دارم. چرا که همگام با نقد ما بر نگاه عمومی نسبت به گیم تئوری، سعی در بهتر معرفی کردن دیدگاه کتاب نسبت به game داره. تغییر دوم بازنویسی بسیار از فصول هست. مثلا فصل regular games کمی جمع و جور تر شده و parity games مشروح تر. علاوه‌بر این فصول بیشتری به کتاب اضافه شدن. مثلا توی ورژن قبلی turned-based games و concurrent games پوشش داده شده بود ولی جای خالی Bidding games حس میشد. توی وزژن جدید آقای Thomas Henzinger و دانشجوی سابق‌شون آقای Guy Avni این مبحث رو پوشش دادن. مورد دیگه‌ای که جاش خالی بود بحث Strategy Complexity در گیم بود که توی ورژن جدید در فصل Positionality and Memory این مباحث پوشش داده شدن. بحث دیگه‌ای که جاش خالی بود Synchronous Distributed Games هست. این بحث هم توی ورژن جدید پوشش داده شده که کاربردهای خیلی مهمی توی Contract-based Verification و سنتز program و controller داره.

خلاصه که این کتاب واقعا تو دنیای فرمال، یک Hidden Gem به تمام معناست.

فایل ورژن دوم این کتاب رو میتونید از اینجا دانلود کنید.

#تجربه

بیش از ۹۸٪ پروژه‌های اپلیکیشن‌هایی که کار کردم دیتابیس رو اشتباه انتخاب کرده بودند!

اصلا طبیعیت دیتاها و کار با دیتابیس و ... اشون SQL نیست
اما ۱۰۰٪ تأکید دارند که از SQL استفاده بشه و اکثراً بعد از مدتی کوئری‌های پیچیده کل سیستمشون رو می‌گیره !


مشکل کجاس ؟
- عدم شناخت کافی از دیتابیس‌های دیگه:
Mongo, Janus, Casandra, Scylla, ....
این بیشترین موردی هست که دیدم.

- عدم توانایی طراحی درست سیستم؛ معماری سیستم خیلی مهم هست.

- عدم بررسی و آنالیز نیازمندی‌های سیستم؛ اینکه درگیر دنبال بهترین‌ها بودن نشید چیز خوبیه ولی اینکه سر چیزای ابتدایی هم تحقیق نمی‌کنید و می‌ندازید گردن اینکه من نمی‌خوام کمالگرا باشم یک موضوع متفاوت هست.

- ترس، ترس از تست کردن چیزای جدید.
طرف می‌گه من ۱۰ ساله دارم SQL کار می‌کنم (خب به درک!!)، نهایت همرو خودم Query می‌نویسم! به فکر نفرات بعدی روی پروژه هم باش
احمقانه تصمیم نگیر


راجب mongodb بخونید، خیلی از شما چیزی که بهش نیاز دارید mongodb هست
Transaction
رو هم داره؛ تا ۱۰۰ لول ارتباط تو در تو هم نگه میداره (که عمرا و عملاً بهش نمی‌رسید)
به راحتی می‌تونید replication و read-only داشته باشید

دیزاین collection (مثل table بهش فکر کنید) می‌تونی ثانیه‌ای عوض بشه اگر بخواید.
فرض کنید توی sql بتونید، هروقت خواستید بدون دردسر و migration, ... ستون اضافه کنید.

به کمک پکیج motor خیلی راحت؛ async رو هم در اختیار خواهید داشت

Janus
هم گزینه خوبی هست برای اون‌هایی که به دیتابیس Graph نیاز دارند.
۶ سال قبل بعنوان جایگزین رایگان Neo4j ازش استفاده کردم روی حجم داده بسیار بسیار بالا و خیلی رضایت بخش بود.


خلاصه که زرتی نرید با SQL شروع کنید.

چند روزی بود که درگیر توسعه یه پروژه با Claude Opus 4 بودم.
مثل خیلی از ماها که فعلاً به API این مدل دسترسی نداریم، مجبور بودم کل پروژه رو به‌صورت دستی تو چت بهش بدم.

ولی خب...
هر بار که می‌خواستم کدی رو export کنم، باید تکه‌تکه کدها رو کپی‌پیست می‌کردم.
و وقتی Claude جواب می‌داد، باز باید فایل‌هامو به‌صورت دستی import می‌کردم تو پروژه اصلی.

خیلی زود فهمیدم که این فرآیند هم وقت‌گیره، هم اشتباه‌پذیر.

واسه همین نشستم و یه ابزار خط فرمان ساختم به اسم:
Interactive Project Export/Import Tool

کاری که این ابزار می‌کنه، دقیقاً همونه که ما توسعه‌دهنده‌ها لازم داریم:

پروژه رو از مسیر دلخواهت انتخاب می‌کنی

با ساختاری مشخص، کلش رو export می‌کنی تو یه فایل تمیز

این فایل رو می‌دی به Claude

وقتی تغییرات رو گرفتیم، فقط کافیه با ابزار، اون فایل رو import کنیم
و همه چیز درست می‌ره سر جای خودش

حتی یه قابلیت جالب هم داره:
اگه یه دایگرام Tree از ساختار پروژه داشته باشی، می‌تونه از اون ساختار یه پروژه واقعی بسازه!

بدون هیچ dependency اضافی، فقط با Node.js
از React گرفته تا Vue، Express، Nest، Next و خیلی فریم‌ورک‌های دیگه رو پشتیبانی می‌کنه.

https://github.com/AliSaadat-ir/interactive-project-tool/

@DevTwitter | <علی سعادت/>

متود insertOrIgnore() در لاراول برای وارد کردن چند رکورد بصورت دسته‌ ای هستش. اگه رکوردی باعث تکرار unique key یا نقض محدودیتهای دیتابیس بشه، بجای ایجاد خطا، اون رکورد هارو نادیده میگیره و بقیه رکورد هارو‌ وارد میکنه.


این متود زمانی خیلی کاربردیه که بخوای داده‌های حجیم رو وارد کنی و احتمال بدی بعضی رکوردها قبلاً توی دیتابیس داشتن. درین حالت، برنامه بدون خطا ادامه پیدا میکنه و کل عملیات bulk insert متوقف نمیشه.

📌 مثال:

$data = [
    ['email' => '[email protected]', 'name' => 'User One'],
    ['email' => '[email protected]', 'name' => 'User Two'],
    ['email' => '[email protected]', 'name' => 'User One Duplicate'], // ایمیل تکراری
];

// جدول users ایمیل رو به عنوان UNIQUE تعریف کردیم

DB::table('users')->insertOrIgnore($data);

درین مثال، رکورد سوم دارای ایمیلی هستش که قبلاً در جدول وجود داره (پس تکراریه).

با insertOrIgnore() رکوردهای تکراری رو نادیده میگیره و فقط رکوردهای جدید ([email protected]) رو وارد میکنه.

@GoldenCodeir

#Laravel
(به‌منبع و مثالش دقت کنید 👇🏾)
https://x.com/PovilasKorop/status/1950492837373469057?s=1

یکی دو روزه صحبت از مدل جدید اوپن سورس چینی GLM-4.5 هست که ادعا داره در حد Grok 4 عمل می‌کنه، امشب به تست و جیلبریک آن خواهم نشست

تست :
https://chat.z.ai
بیشتر بخوانید :
https://z.ai/blog/glm-4.5
&
https://github.com/zai-org/GLM-4.5

@DevTwitter | <Amir/>

راه اندازی سه سوته (حتی یه سوته ) فایل سرور سریع و ساده و زیبا و کاربردی و فوق العاده

https://github.com/9001/copyparty

@DevTwitter | <Rahmanism/>

فکرشو نمیکردم انقدر دانلود بگیره

This was short but thought provoking.

https://gomakethings.com/minification-doesnt-matter-much/

#article

من امروز فهمیدم که بعضی فرآیندها توی لینوکس nice تر از بقیه هستن.
خیلی ساده بخوام بگم داستان اینه که هرچی فرآیند nice تر باشه بیشتر تعارف میکنه و اولویت و منابع رو به بقیه میده :))

بیشتر بخونید
https://www.gnu.org/software/coreutils/manual/html_node/nice-invocation.html#nice-invocation
https://man7.org/linux/man-pages/man1/nice.1.html

#linux #til #nice

متا دیگه دنبال coder نمی‌گرده
حتی اینکه چندتا leetcode هم حل کردید و حفظ کردید توی متا مهم نیست.

ازین پس، توی مصاحبه‌های شرکت META اجازه استفاده از هوش مصنوعی رو هم دارید.

۱ سال و نیم قبل گفتم، شرکت‌ها قطعاً و حتماً به این سمت خواهند رفت 👌

تعریف جونیور هم بیشتر عوض خواهد شد !

پی‌نوشت:
Coder != Software Engineer
برای دوستان تازه‌ وارد

پیش میاد

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

یادش بخیر :))))

یادمه اولین باری که پشت سیستم نشستم ۶ سالم بود و روی ویندوز XP پلنگ صورتی بازی میکردم. چه زود گذشت


➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

بعضیا فکر میکنن نموداری که گذاشتیم شانسی بوده و برای یک سایت بوده

نمونه دیگر برای موبایل و سیستم تمام لینکا سبز

بدون یکدونه قرمز و زرد روی سرور های ایران ( بدون کلود فلر و بدون CDN)

و به تازگی وارد دیسکاور گوگل شده یعنی توی 36 ماه اخیر فقط سه ماه اخیر که سرور و سایتش رو بهینه کردیم تونسته وارد دیسکاور بشه

متاسفانه اینکه میگن سرور خارج برای سئو خوبه اشتباهه

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


@poinair پوینا

🎂🎊امروز زادروز چنل گوفر آکادمی هست🎊🎂

🥂امروز ۸ مرداد دقیقا روزی بود که گوفر آکادمی متولد شد🎂

🍾توی این مسیر کلی چیز یادگرفتم و حتی کلی رفیق خوب پیدا کردم

👑روز های خوب و بد زیادی داشتم تا جای که بود تونستم مقالات مفید و بروز براتون بذارم

🌷کانال ما چهارشنبه ۸ مرداد سال ۹۹ شروع به فعالیت خودش کرد یعنی 5 سال میگذره از عمر این چنل (خیلی کوچیک بودیم اما زود بزرگ شدیم با تجربه تر شدیم در کنار شما)

🖐 دوستان این چنل ما رو حمایت کنید که همچنان با قدرت کارش رو ادامه بده👑🫡🍾🌷

💸🚬 به مناسبت این روز تخفیف 50 درصدی رو تمام تعرفه های تبلیغاتی چنل

➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🟢اگر تلگرام پرمیموم داری boost کن 👇

🔵 https://t.iss.one/gopher_academy?boost
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🟢لینک حمایت مالی👇

🔵 https://www.coffeete.ir/mrbardia72
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🟢 اگرم سوالی نظری انتقادی بود درخدمتم👇

🔵 @mrbardia72
➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖➖
🟢اگر دنبال تبلیغ هستی اینجا پیام بده👇
🔵 @labdon_ads