برچسب‌ها

توسعه وب

۶ مطلب با این برچسب

leangineer.com ۲۵ مهر

توسعه یک وب‌اپلیکیشن کامل با Lean 4؛ آیا اثبات‌کننده‌های قضیه برای توسعه وب آماده‌اند؟

زبان Lean 4 که بیشتر به‌عنوان یک دستیار اثبات ریاضی شناخته می‌شود، اکنون به ابزاری برای توسعه وب تبدیل شده است. یکی از توسعه‌دهندگان با ساخت بنچ‌مارک RealWorld در Lean 4 نشان داده که چگونه ترکیب تایپ‌های وابسته، فریم‌ورک Datastar و کدنویسی مبتنی بر AI می‌تواند نرم‌افزاری بسیار کم‌حجم و از نظر ساختاری ایمن تولید کند.

۷۸ امتیاز ۱۰ نظر ۴ دقیقه
jakearchibald.com ۲۵ مهر

مقایسه فنی JPEG XL و AVIF برای وب؛ کدام فرمت تصویر بهتر است؟

این مقاله به مقایسه فنی عملکرد دو فرمت تصویر JPEG XL و AVIF در وب می‌پردازد. نتایج نشان می‌دهد که AVIF در عکاسی با افت کیفیت، اسکرین‌شات‌ها و تصاویر دارای شفافیت معمولاً فایل‌های کوچکتر و سرعت رمزگشایی بالاتری ارائه می‌دهد، در حالی که JPEG XL در حالت بی‌تلفات (Lossless) عملکرد بهتری دارد.

۲۹۲ امتیاز ۱۹۲ نظر ۳ دقیقه
unfenced.land ۲۴ مهر

معرفی Unfenced؛ ابزاری جغرافیایی برای پیدا کردن املاک متصل به اراضی عمومی

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

۳۱۱ امتیاز ۲۰۰ نظر ۲ دقیقه
catchabird.com ۲۳ مهر

پروژه Catch aBird؛ ابزاری مینیمال برای ارسال پیام‌های ناشناس به سراسر جهان

پروژه Catch aBird یک پلتفرم وب خلاقانه و مینیمال است که به کاربران اجازه می‌دهد افکار خود را به شکل پرنده‌هایی دیجیتال در آسمان مجازی رها کنند. این پروژه که بازخوردهای مثبتی از جامعه برنامه‌نویسان دریافت کرده، نمونه‌ای الهام‌بخش از توسعه ابزارهای وب شخصی و انسان‌محور است.

۳۹۱ امتیاز ۱۱۲ نظر ۲ دقیقه
brookslybrand.com ۲۲ مهر

آیا در عصر برنامه‌نویسی ایجنت‌محور، فریم‌ورک‌های وب هنوز اهمیت دارند؟

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

۵۰ امتیاز ۳۸ نظر ۳ دقیقه
felixrieseberg.com ۲۲ مهر

مروری بر کارنامه و وب‌سایت شخصی Felix Rieseberg؛ از توسعه Electron تا هوش مصنوعی در Anthropic

وب‌سایت شخصی Felix Rieseberg، از چهره‌های سرشناس دنیای نرم‌افزار و توسعه‌دهنده Anthropic، نگاهی جامع به مسیر حرفه‌ای او در شرکت‌های بزرگی مثل Slack و Notion و پروژه‌های متن‌باز دارد. این صفحه همچنین به دلیل طراحی تعاملی و پیوندش با ابزارهای مدرن هوش مصنوعی در انجمن هکر نیوز مورد توجه قرار گرفته است.

۲۵۴ امتیاز ۹۸ نظر ۲ دقیقه