CAV 2025
Computer Aided Verification

Deadline : 31 January
Conference : 21 - 25 July
Location : Zagreb, Croatia

websire : https://conferences.i-cav.org/2025/

#conference #CAV

آقا اگر از اصحاب کسی CAV رو شرکت میکنه، من و مهیار از فردا تا شنبه هفته دیگه زاگرب هستیم و اگر دوست داشت می‌تونیم با هم یه سری به واین‌لند بزنیم :)

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۷۲۹

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

#مولانا | گنجور
📍@iipoem

Relational Theory for Computer Professionals -CJ Date -O'Reilly
@debrary

مدتیه که bun.js داره به من علاقه نشون میده.
منم بهش علاقه نشون دادم:
https://github.com/alirezaopmc/bun-biome-typedi-template

اگه شما هم خواستید بیاید عشق بورزید

@DevTwitter | <Alireza ♪/>

وقتی پروتکل‌ها (HTTP, HTTPS, VPN و...) کار نمیکنه و مسدود میشه، ولی ترافیک DNS هنوز مجاز باشه:

❓ کدام یک از ابزارهای زیر قابلیت تونل کردن ترافیک اینترنت شما روی DNS را داره؟ (تحلیل فنی خود را به صورت Spoiler در کامنت ها بنویسید😎)

الف) iodine
ب) shadowsocks
ج) zerotier
د) openconnect

🌙 جواب گزینه iodine است در NetworkManager در لینوکس پلاگین داره
این روش به علت سرعت پایین، و نیاز به dnscrypt و پیچیدگی
نیازمندی ها فقط در موارد ضروری پیشنهاد میشود بررسی کنید، باید اطمینان داشته باشید که DNS باز است
اگر از dnscrypt استفاده نکنید مشکل شناسایی توسط DPI وجود دارد

شماره پست پیگیری آموزش های #دیوار_لینوکس : 1

توی لینکدین شروع کردن به انتشار باج افزار با روش بسیار ضایع روی run as administrator کلیک کن

کاری با این قضیه ندارم که این روش دیگه جواب نمی‌ده ولی چرا جامعه هدف جاوااسکریپتیان؟😂


@Linuxor

با اینکه مقاله مون رو ریجکت کردن :))) ولی خب فرصت خوبیه که خیلی از دوستان رو ببینیم و هم زاگرب شهر قشنگیه. من از فردا تا شنبه هفته آینده زاگرب هستم و اگر شما هم اونجا درس میخونید و یا کنفرانس رو شرکت میکنید خوشحال میشم ببینمتون :)

شروع یک پروژه Go همیشه با یک سؤال مهم همراهه:
ساختار پروژه‌ رو چطور طراحی کنیم؟
یکی از چالش‌های اولیه در پروژه‌های گولنگ، انتخاب یک ساختار ماژولار، خوانا و مقیاس‌پذیره. الکس ادواردز در مقاله‌ی زیر، ۱۱ نکته کاربردی برای ساختاردهی پروژه‌های Go مطرح کرده که خوندنش میتونه توی این مورد بهمون کمک کنه:
https://www.alexedwards.net/blog/11-tips-for-structuring-your-go-projects


@DevTwitter | <Abbas Pourhadi/>

آسوم لیستای گیتهاب خیلی خوبن، مثلا این لیست کاملی از ابزارای AI، هم کمک میکنه ابزارای خوبی برای کاراتون پیدا کنید و هم کلی ایده برای پیاده سازی یک ای آی تولز به عنوان ساید هاسل ممکنه پیدا کنید

https://github.com/mahseema/awesome-ai-tools

@DevTwitter | <از ژاپن برگشته/>

آیا ممکنه هوش مصنوعی بیاد جای سایت هارو بگیره و دیگه کسی توی گوگل جستجویی نکنه و در نتیجه همه تولید کننده های محتوا بدبخت بشن ؟

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

@Linuxor

چطور در معماری میکروسرویس، از ناهماهنگی بین دیتابیس و Message Broker جلوگیری کنیم؟
یکی از چالش‌های رایج در میکروسرویس‌ها، تضمین هماهنگی داده (Data Consistency) بین عملیات دیتابیس و ارسال پیام (Event) است.

سناریوی آشنای مشکل‌ساز:
سرویس سفارش (Order) را در نظر بگیرید:
1. سفارش جدید در دیتابیس ذخیره می‌شود. (موفق)
2. قرار است یک رویداد OrderCreated به Kafka یا RabbitMQ ارسال شود تا سرویس نوتیفیکیشن به کاربر ایمیل بزند. (ناموفق)

نتیجه: سفارش در سیستم ثبت شده، اما به دلیل قطعی موقت در Message Broker، ایمیل تأیید هرگز ارسال نمی‌شود! این یعنی یک ناهماهنگی جدی در سیستم.

راه‌حل: الگوی Outbox Pattern
الگوی Outbox یک راه‌حل زیبا و قابل اعتماد برای این مشکل است. به جای ارسال مستقیم پیام، آن را در یک جدول به نام outbox در همان دیتابیس و داخل همان تراکنش ذخیره می‌کنیم.
چرا این روش کار می‌کند؟
چون ذخیره سفارش و ذخیره پیام در جدول outbox، هر دو در یک تراکنش اتمیک (Atomic Transaction) انجام می‌شوند. این یعنی یا هر دو با هم موفق می‌شوند یا هر دو با هم شکست می‌خورند. به این ترتیب، هیچ رویدادی گم نخواهد شد!
سپس، یک پردازشگر پس‌زمینه (Message Relay) مسئول خواندن پیام‌ها از جدول outbox و ارسال مطمئن آن‌ها به Message Broker است.


<Mahdi M./>

شروع یک پروژه Go همیشه با یک سؤال مهم همراهه:
ساختار پروژه‌ رو چطور طراحی کنیم؟
یکی از چالش‌های اولیه در پروژه‌های گولنگ، انتخاب یک ساختار ماژولار، خوانا و مقیاس‌پذیره. الکس ادواردز در مقاله‌ی زیر، ۱۱ نکته کاربردی برای ساختاردهی پروژه‌های Go مطرح کرده که خوندنش میتونه توی این مورد بهمون کمک کنه:

https://www.alexedwards.net/blog/11-tips-for-structuring-your-go-projects


<Abbas Pourhadi/>

لینکدین یه بخشی به اسم Skill Assessments داره که توش می‌تونی آزمون‌هایی توی موضوعات مختلف (مثلاً Python، JavaScript، Excel، SQL، و غیره) بدی تا نشون بدی توی اون مهارت خاص حرفه‌ای هستی، این لیست همه سوال ها و جوابشون رو جمع کرده :

ebazhanov.github.io/linkedin-skill-assessments-quizzes


@Linuxor

اینکه چسبیدید به یه زبان هیچ معنی خاصی نداره، هرچی توش پول بود بزن بره، حالا یه زبان پرانتز و آکولاد داره دیگه!

@Linuxor

https://catgpt.wvd.io/
It meows

دبیان ۱۳ با نام رمز «تریکسی» روز شنبه ۱۸ مرداد ۱۴۰۴ منتشر خواهد شد.

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

برای کمک به ما می‌تونید فرایند ارتقا رو طبق این راهنما امتحان کنید و مشکلات رو با reportbug upgrade-reports گزارش بدید:
https://wiki.ubuntu-ir.org/wiki/%D8%A7%D8%B1%D8%AA%D9%82%D8%A7%DB%8C_%D8%AF%D8%A8%DB%8C%D8%A7%D9%86

گلچین روزگار چه بد سلیقه است.....

اینتل توزیع clearlinux رو توسعش رو متوقف کرده.

https://www.phoronix.com/news/Intel-Ends-Clear-Linux

اینکه اسمش ررو نشنیده بودید تا الان نگران نباشید، چون حتی دانلودش هم نمی‌تونستید بکنید میفرستادتون دنبال نخودسیاه.



@SohrabContents

🎉 ورژن نخست چت بات وال ای ریلیز شد
✔️ هروقت دلتون بخواد میتونید صداش کنید
✔️ می تونید باهاش چت کنید
✔️ می تونید ازش راجب فیلم - سریال و موزیک سوال بپرسید

قانون اصلی: حرف فنی ممنوع.
🍃🙂

🆔 @TheGeeksCommunity

🧭 راهنمای ساختاربندی پروژه‌های Go

1. ساختار را بر اساس نیاز پروژه انتخاب کنید
سبک‌های ساختاری بسته به نوع پروژه (CLI، کتابخانه، وب‌اپ/میکروسرویس) متفاوت است و «یک ساختار برتر» وجود ندارد .


2. کارآمدی مهم‌تر از کمال
هدف این باشد که ساختار پروژه قابل فهم، قابل تغییر و قابل نگهداری باشد؛ نه لزوماً کامل و بی‌نقص .


3. از روی عادت‌ به ساختار زبان‌های دیگر نقل رعایت نکنید
اGo فلسفه‌ٔ ساده خود را دارد؛ تقلید ساختار Django یا Rails ممکن است منجر به سردرگمی شود .


4. هر پوشه=هر package
ایجاد فولدر فقط به دلیل نظم ظاهری اشتباه است. فقط هنگامی package بسازید که منطق مستقلی بخواهید .


5. با یک skeleton استاندارد شروع کنید

پروژه‌های کوچک: همهٔ فایل‌ها در روت

main.go, foo.go, bar.go

وقتی پکیج‌های داخلی نیاز بود:

internal/foo/foo.go
main.go

پروژه‌های بزرگ‌تر با چند executable:

cmd/app1/, cmd/app2/, internal/, go.mod, README.md


6. اجازه دهید ساختار با رشد پروژه تغییر کند
نیاز به تغییر ساختار را با توسعه واقعی پروژه شناسایی کنید؛ نه از ابتدا همه‌چیز را طراحی کنید .


7. اگر بلاتکلیف هستید، با دو فایل شروع کنید
فقط go.mod و main.go؛ باقی را با نیاز واقعی اضافه کنید .


8. موارد مرتبط را در کنار هم نگه دارید
توابع کمکی، typeها و متدها مرتبط را نزدیک هم نگه دارید تا خوانایی بیشتر شود .


9. اندازه فایل مهم نیست، تا وقتی درست است
فایل‌های بزرگ ایرادی ندارند، مگر اینکه واقعا نگهداری را سخت کنند .


10. پکیج‌سازی فقط وقتی لازم باشد
پکیج‌های خیلی کوچک یا کم‌اهمیت اضافه نکنید؛ مگر برای استفاده مجدد یا جداسازی لایه‌ها .


11. به علائم هشدار توجه کنید

مشکل در پیدا کردن کد

تغییرات کوچک توزیع‌شده در کل پروژه

پیچیدگی در debugging

وابستگی‌های دورانی و مشکل در error handling
→ وقت بازنگری ساختار است .

⚡ جمع‌بندی

هدف: ساختاری موثر، خوانا، و قابل نگهداری.

روش:

1. شروع ساده،

2. استفاده از ساختار پیشنهادی (مثل پوشه‌های cmd/, internal/)،

3. اجازه دهید پروژه رشد کند و ساختار با آن عینا وفق پیدا کند.

هشدار: وقتی احساس کردید ساختار کارآمد نیست، فکری برای بازطراحی آن بکنید.

https://t.iss.one/addlist/QtXiQlynEJwzODBk