برنامه‌نویسی

دنیای توسعه نرم‌افزار، فریم‌ورک‌ها، متن‌باز و معماری سیستم‌ها

زیرمجموعه‌ها

قطعی گسترده Letterboxd: میلیون‌ها کاربر از حسابداری خود قفل شدند
دواپس و زیرساخت

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

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

دانیال لطفی۱۹ مرداد ۱۴۰۵
Uno Platform 6.6؛ Native AOT، بک‌اند Vulkan و بهبودهای عملکرد و دسترس‌پذیری
برنامه‌نویسی

Uno Platform 6.6؛ Native AOT، بک‌اند Vulkan و بهبودهای عملکرد و دسترس‌پذیری

نسخهٔ 6.6 Uno Platform با Native AOT روی 5 پلتفرم، بک‌اند اختیاری Vulkan، بهبودهای دسترس‌پذیری و ساده‌سازی XAML منتشر شد؛ گزینه‌ای مهم برای اپ‌های کراس‌پلتفرم.

محمد ابراهیمی فر۱۷ مرداد ۱۴۰۵
npm انتشار مرحله‌ای (staged publishing) را عمومی کرد — تأیید انسانی پیش از انتشار بسته‌ها
برنامه‌نویسی

npm انتشار مرحله‌ای (staged publishing) را عمومی کرد — تأیید انسانی پیش از انتشار بسته‌ها

npm قابلیت انتشار مرحله‌ای را فعال کرد تا یک نگهدارنده با 2FA پیش از فعال شدن نسخه‌ها آن‌ها را تأیید کند؛ این ویژگی با OIDC و CI سازگار است.

محمد ابراهیمی فر۱۷ مرداد ۱۴۰۵
چرا کوین‌بیس، شاپیفای و رمپ همچنان برای خدمات Anthropic هزینه می‌کنند
مهندسی نرم‌افزار و معماری

چرا کوین‌بیس، شاپیفای و رمپ همچنان برای خدمات Anthropic هزینه می‌کنند

کوین‌بیس، شاپیفای و رمپ عامل‌های کدنویسی داخلی ساختند اما همچنان برای موتورهای استنتاجی مثل Anthropic هزینه می‌کنند؛ مزیت رقابتی حالا در هارنس عامل نه مدل است.

محمد ابراهیمی فر۱۷ مرداد ۱۴۰۵
AWS Kiro و ACP — جدا شدن عامل‌های هوش‌مصنوعی از ویرایشگرها و ترمینال
مهندسی نرم‌افزار و معماری

AWS Kiro و ACP — جدا شدن عامل‌های هوش‌مصنوعی از ویرایشگرها و ترمینال

AWS با استانداردسازی مرز کلاینت–عامل در Kiro و تکیه بر Agent Client Protocol، امکان انتخاب مستقل ابزارها و عامل‌های هوش‌مصنوعی را برای توسعه‌دهندگان فراهم کرده است.

محمد ابراهیمی فر۱۶ مرداد ۱۴۰۵
چرا توصیه Anthropic برای worktable جدا به‌هر عامل، زیرساخت‌هاتان را به چالش می‌کشد؟
مهندسی نرم‌افزار و معماری

چرا توصیه Anthropic برای worktable جدا به‌هر عامل، زیرساخت‌هاتان را به چالش می‌کشد؟

Anthropic پیشنهاد هر عامل در یک git worktree را مطرح کرده؛ این مدل تولید موازی فشار زیادی روی CI، استیجینگ و دیتابیس وارد می‌کند و نیازمند شاخه‌بندی در همه لایه‌ها است.

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
الگوهای معماری OSS Valkey برای کاهش تاخیر: از میلی‌ثانیه تا میکروثانیه
مهندسی نرم‌افزار و معماری

الگوهای معماری OSS Valkey برای کاهش تاخیر: از میلی‌ثانیه تا میکروثانیه

الگوهای معماری OSS Valkey با بازنگری نیازها و تمرکز روی مسیرهای بحرانی، راه‌های عملی کاهش تاخیر سرویس‌های هوش مصنوعی از میلی‌ثانیه به میکروثانیه را ارائه می‌دهند.

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
ران‌تایم قابل‌حمل در برابر کتابخانه‌های سیستمی: راهبردهای پایداری ABI
مهندسی نرم‌افزار و معماری

ران‌تایم قابل‌حمل در برابر کتابخانه‌های سیستمی: راهبردهای پایداری ABI

پایداری ABI مشخص می‌کند که باینری‌های از پیش کامپایل‌شده پس از ارتقا یا نصب کتابخانه جدید، بدون خطا اجرا می‌شوند؛ مقایسهٔ رویکردهای ران‌تایم بسته‌بندی‌شده و کتابخانه‌های سیستمی و راهکارهای عملی برای مهندسان.

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
IDEهای ابری: تحولی در همکاری تیم‌های توسعه نرم‌افزار
برنامه‌نویسی

IDEهای ابری: تحولی در همکاری تیم‌های توسعه نرم‌افزار

IDEهای ابری مسیر همکاری تیم‌های توسعه را تغییر داده‌اند؛ از دسترسی از راه دور تا محیط‌های توسعهٔ متمرکز که امنیت، ثبات و مقیاس‌پذیری را به همراه دارند.

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
چگونه پروژه متن‌باز را سودآور کنیم: مجوزها، مجوز دوگانه و مدل‌های کسب‌وکار
مهندسی نرم‌افزار و معماری

چگونه پروژه متن‌باز را سودآور کنیم: مجوزها، مجوز دوگانه و مدل‌های کسب‌وکار

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

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
موازنه‌های اشکال‌زدایی: نمادین، دَمپ و ابزاردهی زنده
مهندسی نرم‌افزار و معماری

موازنه‌های اشکال‌زدایی: نمادین، دَمپ و ابزاردهی زنده

مقایسه سه رویکرد اشکال‌زدایی—نمادین، دَمپ و ابزاردهی زنده—با تاکید بر دقّت، سربار و زمان مناسب برای هر روش و راهکارهای ترکیبی عملی.

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵
چهاربُعدیِ نوع‌دهی تدریجی: پروجکشن قیود (GCP) برای بهبود استنتاج نوع
برنامه‌نویسی

چهاربُعدیِ نوع‌دهی تدریجی: پروجکشن قیود (GCP) برای بهبود استنتاج نوع

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

محمد ابراهیمی فر۱۵ مرداد ۱۴۰۵