توی ریپازیتوری مربوط به کانفیگ‌های #فرگمنت (بدون سرور) که توسط 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 پوینا

خرید و فروش طلا !

این روزا کافه بازار پر شده از اپلیکیشن های خرید طلای آب شده حالا هم دیجی کالا مدتی هست آورده

ولی نکته جالب اینه اگر طلات رو فروختی هر روز ۲۰ میلیون بیشتر نمیتونی برداری

فکر کن مثلا ۲۰۰ میلیون طلا از دیجی کالا بدون محدودیت توی یک روز خریدی

حالا بهش میفروشی دیجی کالا بهت اجازه نمی‌ده ۲۰۰ میلیون رو یکجا برداری توی ده روز باید ده تا درخواست ۲۰ میلیونی بزنی

دیگه فکر کنم فهمیدید چی شد

@poinair پوینا

عدم دسترسی کارشناسان نرم‌افزاری کشورهای تحریم شده به خدمات GitHub

منبع: همکاران سیستم
شرکت GitHub از بزرگترین پلتفرم‌های توسعه نرم‌افزار در جریان سازگاری با تحریم‌های تجاری آمریکا دسترسی به سیستم‌های خود را برای توسعه‌دهندگان نرم‌افزار در کشورهای تحریم شده مسدود کرد. این سایت به اشتراک گذاری کدهای منبع نرم‌افزاری که از زیرمجموعه‌های شرکت مایکروسافت محسوب می‌شود هم اکنون توضیحاتی را در اختیار توسعه دهندگان نرم‌افزار قرار داده و توضیح داده است که از قوانین تجاری آمریکا پیروی می‌کند.
این طور که خبرگزاری زد.دی.نت ژوئیه امسال گزارش داد، GitHub پیش‌تر دسترسی به خدمات اصلی خود را برای توسعه دهندگان نرم‌افزاری ساکن کشورهای تحت تحریم تجاری آمریکا از جمله کوبا، ایران، کره شمالی و سوریه مسدود کرده بود.
تلاش جدید شرکت GitHub برای مطابقت با کنترل‌های طولانی مدت تجاری آمریکا باعث شده است برخی توسعه‌دهندگان نرم‌افزار نادیده گرفته شوند و بر این اساس نتوانند به مخازن خصوصی کدهای منبع دسترسی پیدا کنند یا آنها را ایجاد کنند.



«نات فریدمن» مدیرعامل این شرکت توضیح داد که GitHub در تلاش است تا «طبق قوانین ایالات متحده» اقدامی بیشتر از آنچه که معین شده است را انجام ندهد. با این حال، روش‌های گاه به گاه این شرکت برای همکاری با شرکت‌های مختلف تاثیراتی را بر کسب و کارها و توسعه دهندگان نرم‌افزار که در کشورهای تحریم نشده سکونت دارند هم برجا گذاشته است و از جمله آنها می‌توان به متخصصان و شرکت‌های نرم‌افزاری در بریتانیا اشاره کرد.
یکی از روش هایی که GitHub برای تشخیص میزان دسترسی کاربران به سایت خود از کشورهای تحریم شده مورد استفاده قرار می دهد، اسکن کردن آدرس‌های IP است.

بچه ها بیکار بودم یه پکیج npm زدم میاد یه بررسی از پروژتون بهتون میده که چقدر کد زدین چیا دارین چقدر کامنت دارین و اینا
دوست داشتین نگاش کنین
کافیه بزنین
npx react-loc-analyzer
یه خروجی این شکلی باید بده بهتون
اینم npm اشه اگه خواستین کامند دقیق تر بدین
https://npmjs.com/package/react-loc-analyzer

@DevTwitter | <amiram/>