آقا عرفان یه پروژه دیگه هم توسعه داده برای استفاده از webp به جای jpeg و دیگر فرمت عکس ها و همینطور استفاده از object storage و استفاده از fallback که توضیحات کاملش رو میتونید تو مقاله ویرگولشون بخونید

https://vrgl.ir/aABOU

لینک گیت هاب پروژه :

https://github.com/erfantkerfan/cdn-nginx-image-optimization

#seo #devops #openSource
@CleverDevs - @CleverDevsGp

🔶 وقتشه از دنیای کی پاپر کره خداحافظی کنم.

دیگه از دست ادعای روشنفکری طرفداران کی پایر مخصوصا ایرانیان کی پاپر خسته شدم .

#متفرقه

@TheRaymondDev

🔶 عبارت Squid Game در گوگل موبایل وارد کنید و از مینی بازی Squid Game لذت ببرید.

#خبر

@TheRaymondDev

توی ریپازیتوری مربوط به کانفیگ‌های #فرگمنت (بدون سرور) که توسط GFW-knocker ارائه شده، چندین‌مدل کانفیگ #رایگان وجود داره که چندروز قبل یکی‌از اونهارو معرفی کردم و مورد استقبال قرار گرفت.

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

نکته اول) برای استفاده باید کد QR رو توسط برنامه v2rayN, V2rayNG, NikaNG, MahsaNG یا Streisand اسکن کرده، یا لینک زیر رو ایمپورت کنید:
https://raw.githubusercontent.com/GFW-knocker/gfw_resist_HTTPS_proxy/refs/heads/main/multiple_config.json

نکته دوم) اگر قصد مخفی‌نگه‌داشتن هویتتون رو دارین، توجه کنید که این کانفیگ‌ها به‌دلیل وصل‌نشدن به سرور واسط، آی‌پی شما (یعنی همون آی‌پی ایران) رو برمیگردونن.

🔍 ircf.space
@ircfspace

مدل Claude 3.5 sonnet به GitHub Copilot اضافه شد. کاربران Free هم اکنون می توانند علاوه بر مدل های GPT4o و o1، از مدل کلاد 3.5 نیز استفاده کنند.
https://github.com/copilot

@DevTwitter | <Alireza Naji/>

کاربرهای لینوکس،وقتی ۳۰ ثانیه با ویندوز کار میکنند 😁
یعنی این خود منم 🤣
#linux

من در حال یادگیری عمیق:

#fun

😂😂 @PhiloLearn 😂😂

"Fuzzing for free! Except you, concurrency!"
—————————————————————

توی این پست، Dutchman یه ریپو معرفی کرده که ملت اومدن پیپرهای مرتبط با فازینگ رو توی سال‌های اخیر از کنفرانس‌های تاپ حوزه‌ی PL/FM و Sys/Sec و SE جمع آوری کردند. خیلی به نظرم منبع خوبیه منتهی دوتا نکته، سعی کنید تا جای ممکنه آلوده‌ی Fuzzing نشید. فازینگ قرار نیست Free Lunch باشه و هیچ خبری از گارانتی درش نیست. این قضیه به‌طور خاص تو حوزه‌ی Distributed System و Concurrent System ها بیشتر اهمیت پیدا میکنه و فازینگ دقیقا همین‌جاها خیلی کم میاره. دوم اینکه لیست کامل نیست و به‌طور خاص چهار تا از پیپیرهای خیلی خوب و مهمی که اخیرا تو حوزه‌ی فازینگ Distributed System ها چاپ شدن رو نداره. در ادامه این ۴ پیپر رو کوتاه معرفی میکنم ولی همچنان توصیه میکنم از راه فرمال متد دنبال Bug Hunting برید و Program Analysis رو بگذارید به عهده‌ی این جماعت بورینگ SE. مثلا فرد اومده با ما کار کرده، حالا خیلی خوب هم کار کرده ولی تکون می‌خوردی میرفت سراغ Static Analysis یا الان دم به دیقه چشم به راه این جماعت SE عه برای ادامه راهش. بگذریم.

1. Greybox Fuzzing of Distributed Systems v.s. Model Checking Distributed Protocols in Must

این پیپر کار آبیک و ایلیا هستش که برای اولین بار سعی کردند با تکیه بر مفهوم Partial Order Reduction که توی مدل چکینگ خیلی ازش استفاده میشه، اولین فازر رو برای timeline-driven testing برنامه‌های Distributed ارائه کنند. بیس POR شون هم بر اساس رابطه‌ی هم‌ارزی Happen-before هستش که گرفته شده از Mazurkiewicz Trace Theory هستش. همین یکی از نقطه ضعف‌هاشونه چرا که توی ستینگ Distributed که پراسس ها Message Passing می‌کنند، میشه رابطه‌ی ترتیبی بین Send های روی یک گیرنده‌ی مشترک رو ریلکس کرد و به‌شکلی از lazy message reduction استفاده کرد که فضای حالت رو به شدت کاهش میده. در مقابلش Mazurkiewicz میاد و تمامی جایگشت‌های ممکن که میتونن این Send ها روی یک رابطه‌ی totally ordered نقش بازی کنند رو در نظر میگیره و فضای حالت منفجر میشه. در مقابل این پیپر، مقاله‌ی Must رو قرار دادم که کار اخیر روپاک و میخالیس هستش و دقیقا از این تکنیکی که گفتم استفاده می‌کنند و تازه کارشون Verification هستش و یعنی اثبات Bug free بودن برنامه‌ی Distributed و نه صرفا Testing اش. راستی ما با همون بنده‌ خدایی که گفتم توی تابستون گذشته Must رو توی JMC پیاده‌سازی کردیم و فهمیدیم که چقدر جای کار داره و داریم روش کار می‌کنیم.

2. Greybox Fuzzing for Concurrency Testing v.s. Truly Stateless, Optimal Dynamic Partial Order Reduction

اینم یکی از کارای اخیر آبیک و اومانگ هستش که خیلی شبیه کار قبلیه با دو تا تفاوت عمده. یکی اینکه رابطه‌ی هم‌ارزی‌شون از نوع Read-from هستش که نسبت به Mazurkiewicz رابطه‌ی Coarser هستش و equivalent calss های کمتری میسازه و تفاوت دومش اینه که تمرکزش روی سیستم‌های concurrent هستش که با Shared Memory با هم در تعامل هستند. در مقابل اینکار، کار ویکتور و میخالیس رو داریم که دارن مدل چک میکنن و همون قضیه‌ی اثبات Bug-free بودن برنامه. نکته جالب اینه که پیپر اول اومده توی Appendix یک لیستی از Benchmark ها آورده که ابزار خودشون به خوبی از پسشون بر اومده ولی GenMC که ابزار پیپر دومه حتی نتونسته پروسه رو بدون error خوردن به پایان برسونه. قول نمیدم ولی تمام تلاشم رو میکنم که با JMC تمام رقابای اون بنچ مارک رو بهشون بپردازم :)

3. Model-guided Fuzzing of Distributed Systems

این کار اخیر روپاک و شیرینیدی هستش که کار خیلی جالبیه. این AWS ای ها میان تو فاز design کلی TLA+ می‌نویسن که بتونن specify کنند رفتار سیستم رو و خب خیلی وقتا هم دیگه کاری با این spec ها ندارن. این کار اومده یه approach برای fuzzing این TLA+ ها ارائه داده که ایده‌اش هم بر اساس یک Mutation خیلی ساده پیش میره که هیچکس دلیلش رو نمیدونه که چرا یک تکنیک انقدر ساده داره خوب عمل می‌کنه :) و خلاصه باعث شده که این spec ها خیلی مفیدتر از اون هدفی که پشتشون هست واقع بشن.

4. Selectively Uniform Concurrency Testing

این کار اخیر آبیک و اومانگ هستش و در اصل Testing عه تا Fuzzing ولی گفتم همینطوری معرفیش کنم. اینجا اومدن با افزودن یک الگوریتم آنلاین Selectively Uniform Random Walk به رندوم تستیتنگ، یک تکنیک بهینه برای Controlled Concurrency Testing ارائه بدند. بنچ‌مارک‌هاشونم خوبه خدایی و کار تمییزی انجام دادن.

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

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

لینکش اینجاست:
https://github.com/hamidtech/Advanced-AI-Prompting-Guidelines-For-Research

@DevTwitter | <حاجیم/>

من حس میکنم زندگی توی یک شهر کوچک، همراه با گشت و گذار توی شهرای کوچک که لابه‌لای یک طبیعت بکر مثل یک جواهر پنهان شدن باعث شده که کاملا از زندگی کردن توی شهرای بزرگ فراری شم. واقعا امیدوارم که در آینده هم سرنوشت توی یکی از همین شهرها منو پاگیر کنه. شما فکر کن رود Saar رو میای بالا و میرسی به شهر Mettlach از اون سمت رود Mosel رو میگیری میای بالا میرسی به Cochem و Trier و توی طبیعت و زیبایی بی‌نظیرشون غرق میشی. یا مثلا رود Rhein رو میگیری میای بالا میرسی به spyer و dürkheimer در نهایت هم میرسی به شهر Koblenz که محل تلاقی دو رود Mosel و Rhein هستش. تابستونا که میشه شهر به شهر کنار این رودها میشه فستوال wine و کشاورزایی که انگوراشون رو قبل از سرکه شدن توی بطری کردن. همه‌ی اهالی شهر جمع میشن و یک ایونت محلی برپا میشه و شبش هم آتیش بازی برپا میشه که بهش میگن Rhein in Flammen. یک چنین چیزی رو کجای برلین و لوگزامبورگ میشه پیدا کرد؟
بازارهای محلی شنبه‌ها، رستورانای سنتی و منوهای قدیمی‌شون، آبجوهای ساخت خودشون، دنیای بی‌انتهای پنیرها و از همه مهم تر Bratwurst.

این مرج ریکوست رو بخونید
تروالدز مرج داده یکی دیگه با نام هوندِل(که خودش یکی از غول‌های اوپن‌سورسه) ریویو کرده بعد تایید کرده و مرج شده
(خیلی جذابه)

https://github.com/subsurface/libdc/pull/69

پ.ن
حالا برید اکانت گیتهاب اون هوندل رو ببینید. کلا ۵۰۰ نفر فالوش نمیکنن

https://github.com/dirkhh

یه خاطره‌ای یادم اومد

یبار یکی اومد بهم گفت بیا راجع به یه پروژه صحبت کنیم بیا تو تیممون کار کن
منم رفتم صحبت کنم، طرف یکی رو بهم نشون داد گفت فلانی رو میشناسی؟
گفتم نه کیه؟
گفت تو اینستا ۱۰۰ هزار نفر فالور داره
منم گفتم چقدر خوب ولی من اینستا نیستم
بعدش چاییمو تموم کردم و خدافظی کردم رفتم بیرون

خلاصه امروز توییتر کامیونیتی برنامه نویسی و کامپیوتر :

تولد لینوس توروالدز بود و حجم بزرگی از کامیونیتی تولدش رو تبریک گفتن.
توی قسمت دیگه عذاب وجدان شدیدی کامیونیتی برنامه نویس ها رو فرا گرفته بود، گویا احساس می‌کنند با ChatGPT دارن به StackOverFlow خیانت می‌کنند. اما برنامه نویس های واقعی خودشون رو نشون دادن و گفتن که هنوز دارن از StackOverFlow استفاده می‌کنن.

@Linuxor

تا حالا این صفحه رو دیده بودید؟
https://www.youtube.com/oops

واقعا RustDesk چجوری باید بگه که با Rust نوشته شده که بفهمین؟


@Linuxor

🔶 مدل تقویم شمسی برای متابیس (Metabase)

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

۱- همگام‌سازی کامل گزارش‌ها با تقویم شمسی
۲- امکان تحلیل‌های پیشرفته در بازه‌های زمانی مختلف با تقویم شمسی (روز، هفته، ماه، فصل و سال)
۳- یکپارچه‌سازی تحلیل‌های تاریخی با چرخه کسب‌وکار
۴- محاسبه درست تاریخ در سال‌های کبیسه

</Navid Behrangi>

گیت هاب :

https://github.com/navidb/metabase-persian-calendar

#معرفی
@TheRaymondDev

اینم بگم جالب بود
یه جلسه‌ای رفتم یبار، که توی اون جلسه همه تحصیل‌کرده بودن. همراه من داشت همه رو معرفی میکرد بهم. مثلا آقای دکتر فلانی رئیس ستاد بهمان، جناب دکتر ایکس مشاور اجرایی مجمع وای، خانم دکتر پریم مدیر بخش بیسار.
تنها بی‌سوادشون من بودم.
بعد من بهشون یه پروپوزال ارایه دادم و قرار شد بهم خبر بدن.
چند روز بعد موبایلم زنگ خورد و جواب دادم:
+سلام آقای مهندس
-سلام بفرمایید
+من آقای دکتر فلانی هستم
(حالا من دستپاچه شدم که چی شده خدای نکرده کسی چیزیش نشده باشه)
-از کدوم بیمارستان هستید چیزی شده؟
+نه بیمارستان نیستم اگه حضور ذهن داشته باشید برای اون پروپوزال که ارایه دادید
-آها بله بله. یه جوری گفتید آقای دکتر فلانی هستم گفتم حتما از بیمارستانید
+چرا مگه چی شده
-آخه تا حالا نشنیده بودم کسی خودش رو آقای دکتر خطاب کنه موقع معرفی خودش
بعدش یکم ترش کرد و خدافظی کرد و خبری ندادن
فک کنم از حرفم خوشش نیومد و بهش بر خورد

یک تجربه مهم در سئو :

یکی از دوستامون دو تا سایت داشت

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

بعد مدتی یکیش کلا از نتایج گوگل حذف شد
یکیش موند و فروشش اوکی بود

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

چون توی اون سایتی که کلا از نتایج گوگل حذف شده بود صفحه محصول رو کاستوم کرده بودیم و تغییرات توش داده بودیم

اما صفحه محصول سایت دوم پیش فرض بود و اسکیماش درست بود

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


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

@poinair پوینا