IranCoderz

🚀@IranCoderz 👨‍💻

💻از وقتی که وایب‌کدینگ همه‌گیر شده، uptime گیت‌هاب به زیر ۹۰درصد رسیده و هر چند روز یه بار می‌ره تو دیوار. امروز هم دو ساعتی می‌شه که بخش‌های زیادی از گیت‌هاب کاملا از دسترس خارج شدن و هنوز نتونستن کاملا برش گردونن. ‌پ‌ن: نیاید بگید وای پس ما خوبیم و وایب‌کدینگ بده، سومدیریت باعث این وضعیت گیت‌هاب شده وگرنه همه شرکت‌های دنیا نوشتن کد دستی رو از رده خارج کردن. 🚀@IranCoderz 👨‍💻

قضیه رایمن اینطوری بوده که کارمندهای انتروپیک به یک مدل داخلی خودشون گفتن برو یه غلطی در مورد این بکن ما نمی‌دونیم چی ولی یه کاری بکن. اونم رفته و به تعدا دفعات زیاد به مشکل خورده و هی بر می‌گشته می‌گفته بخدا من نمی‌تونم، اونا هم صرفا بهش گفتن نگو نمی‌تونم تو می‌تونی به خودت باور داشته باش. این‌قدر این چرخه تکرار شده که کلاد در نهایت ۷۰-۸۰ ایجنت ران کرده و با هم افتادن به جون مسئله رایمن و بعد از سوزوندن حدود ۳۲ میلیون توکن، تونستن به نتیجه برسن. 🚀@IranCoderz 👨‍💻

‏این شاید یکی از شاخص ترین اتفاقاتی باشه که در حل معماهای ریاضی به کمک هوشواره اتفاق افتاده! ‏بر و بچه های آنتروپیک به کلاود گفتند: ‏«برو یه کاری روی فرضیه ریمان بکن.» ‏حالا فرضیه ریمان چیه؟ ‏یه مسئله خیلی معروف و خیلی سخت ریاضیه که از سال ۱۸۵۹ مونده و هنوز کسی حلش نکرده. ‏خلاصه می‌گه: یه سری عدد خاص (به اسم صفرهای تابع زتا) همه باید روی یه خط مستقیم خاص باشن. ‏حالا کلاود دقیقا چه کار کرد؟ ‏خودِ فرضیه رو حل نکرد. ‏ولی یه چیز مرتبط رو خیلی بهتر کرد: ‏قبلاً ریاضیدان‌ها ثابت کرده بودن که حداقل ۴۱.۶ درصد از این عددها روی اون خط هستن. ‏کلاود اومد و این عدد رو برد به ۶۷.۲ درصد. ‏یعنی تقریباً دو سومشون رو ثابت کرد که روی خط هستند، این بزرگ‌ترین پیشرفت توی این موضوع از چند دهه پیش تا حالا بوده. 😉 naviidtaheri 🚀@IranCoderz 👨‍💻

👍 🚀@IranCoderz 👨‍💻

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

💥 یکی از عجیب‌ترین خبرهای این روزهای دنیای هوش‌مصنوعی مربوط به مدل داخلی جدید OpenAI به نام Astra است که تونسته به ۱۰ مسئله باز در ریاضیات، علوم کامپیوتر نظری و پیچیدگی کوانتومی نتایج جدیدی اضافه کنه و برای اون‌ها اثبات‌های قابل بررسی ارائه بده. اگه این نتایج در بررسی‌های علمی دوام بیارن و نقض نشن، می‌شه اون رو یکی از مهم‌ترین نقاط عطف تاریخ هوش مصنوعی دونست. 🚀 اهمیت ماجرا فقط حل چند مسئله ریاضی نیست بلکه اینه که یک مدل هوش‌مصنوعی تونسته در تولید دانش جدید مشارکت کنه و‌ صرفا مصرف کننده دانش و‌ اطلاعات موجود نباشه. این موضوع می‌تونه سرعت پیشرفت پژوهش در بسیاری از حوزه‌های علمی رو به شکل چشمگیری افزایش بده و یک قدم مهم به سمت AGI محسوب بشه. 📎 https://openai.com/index/ten-advances-in-mathematics/ 🚀@IranCoderz 👨‍💻

💥 یکی از عجیب‌ترین خبرهای این روزهای دنیای هوش‌مصنوعی مربوط به مدل داخلی جدید OpenAI به نام Astra است که تونسته به ۱۰ مسئله باز در ریاضیات، علوم کامپیوتر نظری و پیچیدگی کوانتومی نتایج جدیدی اضافه کنه و برای اون‌ها اثبات‌های قابل بررسی ارائه بده. اگه این نتایج در بررسی‌های علمی دوام بیارن و نقض نشن، می‌شه اون رو یکی از مهم‌ترین نقاط عطف تاریخ هوش مصنوعی دونست. 🚀 اهمیت ماجرا فقط حل چند مسئله ریاضی نیست بلکه اینه که یک مدل هوش‌مصنوعی تونسته در تولید دانش جدید مشارکت کنه و‌ صرفا مصرف کننده دانش و‌ اطلاعات موجود نباشه. این موضوع می‌تونه سرعت پیشرفت پژوهش در بسیاری از حوزه‌های علمی رو به شکل چشمگیری افزایش بده و یک قدم مهم به سمت AGI محسوب بشه. 📎 https://openai.com/index/ten-advances-in-mathematics/

به دوره‌ای از تاریخ رسیدیم که ساخت یک محصول از صفر و با شخصی‌سازی کامل، هزینه کمتری از خرید اشتراک محصولات موجود داره؛ یه جورایی از جایگزینی نیروی انسانی رد شدیم و داریم به جایگزینی خود محصولات و بیزنس‌ها می‌رسیم. آینده جالب و دیدنیه واقعا.💘 🚀@IranCoderz 👨‍💻

یکی از مدل‌هایی که اخیرا خیلی سر و صدا کرده DeepSeek V4-Flash هست که با قیمت خیلی پایین به شما API می‌ده و کاری که بقیه مدل‌ها با چند دلار انجام می‌دن رو ایشون با مبالغ خیلی کمتر و اکثرا در حد چند سنت براتون انجام می‌ده. قدرتش قطعا قابل مقایسه با مدل‌هایی مثل Fable 5 و GPT-5.6 نیست ولی تقریبا هر کاری که بخواید رو می‌تونه براتون انجام بده و اگه یه تسک خیلی پیچیده باشه و ببینید از پسش بر نمیاد(کم پیش میاد)، می‌تونید سویچ کنید رو مدل‌های گرون‌تر و از اون سمت کلی دلار سیو کنید. مصرف اون در مقابل مدلی مثل Fable 5 حدود ۱‍۰۵ برابر کمتره که عدد خیلی بزرگ و عجیبیه. 🚀@IranCoderz 👨‍💻

اگه برای ایجنت خودتون اسکیل‌های کامل و آماده می‌خواید و حال ندارید از اول براشون اسکیل بنویسید، یه سر به سایت زیر بزنید. تقریبا هر اسکیلی که به ذهنتون بیاد رو موجود داره و خیلی راحت می‌تونید اون‌ها رو برای خودتون استفاده کنید. ✈️ skillsllm 🚀@IranCoderz 👨‍💻

🤔 سوال سیستم دیزاین یک اپلیکیشن موبایل داریم که به صورت مستقیم با سه سرویس بک‌اند زیر در ارتباطه: - UserService - OrderService - PaymentService قراره اسپرینت بعدی یک سرویس جدید به اسم NotificationService هم به این مجموعه اضافه بشه. مشکل اینجاست که تیم موبایل همین الان هم زیر بار پیچیدگی‌های بالا قرار داره و حسابی از حجم سرویس‌ها کلافه شده و هر سرویس جدیدی که اضافه می‌شه، باید کارهای زیر رو از اول براش انجام بدن: - وایت‌لیست کردن دامنه سرویس جدید. - پیاده‌سازی احراز هویت. - ارور هندلینگ. و به طور کلی با جزئیات سرویس جدید درگیر می‌شن. در واقع بخشی از مسئولیت مسیریابی و هماهنگی بین سرویس‌ها که بهتره سمت بک‌اند انجام بشه به کلاینت موبایل منتقل شده. حالا از شما خواسته شده قبل از اضافه شدن NotificationService، وابستگی کلاینت موبایل به سرویس‌های مختلف رو کاهش بدید. کدوم راهکار زیر رو انتخاب می‌کنید؟ 1- یک Load Balancer جلوی همه سرویس‌ها قرار می‌دیم تا کلاینت فقط با یک IP واحد در ارتباط باشه و توزیع ترافیک توسط Load Balancer انجام بشه. 2- به سمت GraphQL Federation می‌ریم تا کلاینت بتونه از طریق یک Schema یکپارچه به داده‌های موردنیاز خود دسترسی داشته باشه. 3- یک API Gateway اضافه می‌کنیم تا همه درخواست‌های کلاینت از یک سرور واحد عبور کنند و بقیه سرویس‌ها پشت Gateway مخفی بشن. 4- یک BFF (Backend for Frontend) برای اپلیکیشن موبایل ایجاد می‌کنیم تا نیازهای این کلاینت از طریق یک لایه اختصاصی تأمین بشه. 🚀@IranCoderz 👨‍💻

عمو باب، یکی از کهنه کارهای صنعت نرم‌افزار با حدود ۶۰ سال سابقه و نویسنده چندتا از معروف‌ترین کتاب‌های برنامه‌نویسی، تو جواب به پست آقایی که پرسیده بود راحت نیستم به کلاد اجازه بدم فایل‌هام رو تغییر بده و نیاز دارم رو کد خودم تسلط داشته باشم نوشته:

استراتژی الانم اینه که هیچ کدی که توسط هوش‌مصنوعی نوشته می‌شه رو نمی‌خونم و ریویو نمی‌کنم. به جای این کار، ایجنت‌های خودم رو شدیدا محدود کردم و قوانین سفت و سختی براشون تعیین کردم که شامل تست‌ها و اصول مختلف می‌شه و کاملا به کدی که می‌نویسن اعتماد دارم چون باید قوانینی که تعیین کردم رو دنبال کنن.

@irancoderz

‏آقا یک ابزار پیدا کردم طلا! یعنی الان که تستش کردم اینجوریم که تو تا الان کجا بودی عزیزم؟!! ‏یک مجموعه‌ای از استانداردهای UI و UX برای دستیار هوش مصنوعی دلبند شما که قدر گاو از دیزاین نمی‌فهمه. انقدر این استاندارد و اصولی کار می‌کنه که حقیقتاً پشمام! impeccable.style alirezanasseh @IranCoderz

واکنش هوش‌مصنوعیم وقتی بهش می‌گم تو هیچ‌وقت نمی‌تونی جای من رو بگیری @IranCoderz

لینوس تروالدز: می‌بینم که بعضی افراد در مقابل هوش‌مصنوعی جبهه می‌گیرن و از اون خوششون نمیاد و من به عنوان مینتینر اصلی کرنل لینوکس، جا داره خیلی واضح بگم که اینجا از این خبرا نیست و از هوش‌مصنوعی تا جایی که بشه برای توسعه لینوکس استفاده می‌کنیم. اگه کسی با این قضیه مشکل داره می‌تونه یه فورک از کرنل بگیره و برای خودش جلو بره یا کلا گم شه بره. هوش‌مصنوعی هم یک ابزاری مثل بقیه‌س و کارهای مفیدی می‌شه باهاش کرد. شاید تا یک سال پیش در مورد این قضیه ابهام وجود داشت ولی الان جای هیچ سوالی باقی نمونده و AI یعنی عشق. @IranCoderz

مشخصه پاول حسابی کینه به دل گرفته.

🪐 ساخت شبیه‌ساز منظومه شمسی فقط با یک پرامپت توسط Grok 4.5 🚀@IranCoderz 👨‍💻

😐 تیم xAi هم در اولین همکاری خودشون با Cursor، مدل جدید گروک با تگ Grok 4.5 رو منتشر کرد که مخصوص کد زدن و اجرا به صورت ایجنت ترین شده و در مقایسه با مدل‌های هم‌رده خودش، مصرف توکن پایین‌تر و عملکرد سریع‌تری داره. 🚀@IranCoderz 👨‍💻