اما بریم سراغ یکی از محبوب‌ترین Event هام. این Event یک Informal Meeting هستش تا یک Summer School چرا که جای لکچر و درس دادن، دانشجوها و استادا میان راجع به مقالات اخیر یا کارای در دست توسعه‌شون Talk میدن. علاوه بر اون کلی Social Meeting داره که اصلا نگم برات :)
اسم این ایونت Alpine Verification Meeting هست که حوزه‌ی مورد بحثش Model Checking و Verification و Abstract Interpretation هست. شاید دلیل اینکه خیلی دوستش دارم اینه که اومدن بر اساس حوزه‌ی کاریم یه ایونت درست کردن :) پارسال این ایونت رو معرفی کردم و از اون بهتر شرکت کردم که می‌تونید توی این پست راجع بهش بخونید. واقعا فوق العاده بود. هم شهر فرایبورگ و طبیعت بکرش و هم organizer های فوق‌العاده نایسش آقای پودلسکی و آقای دومینیک که حسابی باهاش رفیق شدم و هم پیاله شدیم :)
اما امسال هم مطمئنا شرکت می‌کنم و بسیار به اصحابی که به حرفای کانال علاقه‌ دارند توصیه می‌کنم که در صورت امکان شرکت کنند. امسال این ایونت توی کشور رومانی امسال ۲۳ تا ۲۵ سپتامبر در دانشگاه Universitatea de Vest واقع در شهر Timișoara برگزار میشه. علاوه بر خود دانشگاه، ریسرچ یونیت FORSYTE در دانشگاه TU Wien هم Co-organizer این رویداد هست.

دلیل نام گزاری این ایونت اینه که هر سال توی یکی از کشورای حوزه‌ی رشته کوه آلپ برگزار میشه. هنوز لینک ثبت‌نامش رو نذاشتن ولی برای کسب اطلاعات بیشتر میتونید به این لینک مراجعه کنید. امیدوارم که بتونم مثل سال گذشته، تعداد خوبی از دوستان رو ببینم. امسال قطعا در مورد JMC در AVM حرف می‌زنیم.

فعلا کافیه. منتظر میمونم تا Marktoberdorf هم وب‌سایتش رو برای ۲۰۲۵ راه‌اندازی کنه و بعد معرفیش کنم.
حالا اگر چیز جالب دیگه‌ای هم دیدم معرفی می‌کنم

امیرعلی هم توی کانالش از تجربیات شرکت در کنفرانس POPL نوشته که حتما توصیه میکنم بخونید.

من از روزی که با امیرعلی آشنا شدم سعی کردم تا میتونم فرمال و کانکارنسی درستی رو بهش نشون بدم، واقعا نمیدونم چی شد که آلوده‌ی LLM شد :)))

🔰فرآیند زامبی (Zombie Process) چیست؟
🔹فرآیند زامبی (یا فرآیند معیوب) به فرآیندی گفته می‌شود که اجرای آن به پایان رسیده است، اما هنوز یک ورودی در جدول فرآیندها (process table) دارد. این اتفاق زمانی رخ می‌دهد که فرآیند والد (parent process) وضعیت خروج فرآیند فرزند (child process) را نخوانده باشد. فرآیندهای زامبی از منابع سیستم (مانند CPU یا حافظه) استفاده نمی‌کنند، اما اگر تعداد آن‌ها زیاد شود، می‌توانند جدول فرآیندها را شلوغ کنند.
🔹شناسایی فرآیندهای زامبی

ps aux | grep 'Z'

🔹پیدا کردن شناسه فرآیند والد (PPID)
پس از شناسایی فرآیند زامبی، شناسه آن (PID) را یادداشت کنید. سپس، شناسه فرآیند والد (PPID) را با استفاده از دستور زیر پیدا کنید:

ps -o ppid= -p <PID>

🔹متوقف کردن فرآیند والد
فرآیندهای زامبی را نمی‌توان مستقیماً متوقف کرد، زیرا آن‌ها از قبل پایان یافته‌اند. در عوض، باید فرآیند والد آن‌ها را متوقف کنید تا فرآیند زامبی پاک شود. برای این کار از دستور kill استفاده کنید

kill <PPID>

به جای <PPID>، شناسه فرآیند والد را قرار دهید.
🔹اگر فرآیند والد به‌طور عادی متوقف نشد، می‌توانید آن را به‌زور متوقف کنید:

kill -9  PPID 

📌نویسنده: حسین سیلانی
📌منبع :  آکادمی کندوی دانش
https://learninghive.ir

این پروژه به شما یاد می‌ده که چطور با استفاده از کدهای ساده و کارآمد، یک سیستم کوتاه‌کننده URL بسازید و لینک‌های طولانی رو به لینک های کوتاه و کاربرپسند تبدیل کنید.
این پروژه با پایتون و فریمورک قدرت‌مند FastAPI نوشته شده
و به همه افراد، از تازه‌کارها گرفته تا افرادی که قصد دارن مهارت‌های برنامه‌نویسی خودشون رو تقویت کنن کمک میکنه

https://github.com/irvaniamirali/zip-link

@DevTwitter | <Amiri/>

🔥 ابزار Yaak یک API client برای توسعه دهنده‌های مدرن 😎
ابزار Yaak API Client به صورت Offline کار میکنه با Git سازگاره و برای HTTP ,GraphQL ,WebSockets ,SSE و gRPC استفاده میشه

✅ برای ساخت این ابزار از Tauri همچنین Rust و ReactJS استفاده شده

امکانات خوبی داره مثل :
💠 وارد کردن دیتا از Postman, Insomnia, OpenAPI, Swagger یا Curl.
💠 احراز هویت با OAuth 2.0, JWT tokens, Basic Auth , ...
💠 فیلتر کردن پاسخ ها با JSONPath یا XPath queries
💠زنجیره سازی ، دسته بندی تو در تو متغییر های محیطی درخواست ها

قبلا ابزار Bruno را در این زمینه معرفی کرده بودم که در پست که منشن شده یا اینجا میتوانید ببینید
این Awesome API Clients هم مفیده
ابزار مشابه دیگر
HTTPie for Web & Desktop
HTTPie CLI
insomnia
Restfox
ezy
Kreya
API Dash
vscode-restclient
xh
NativeRest
yaade
firecamp
thunderclient
Hoppscotch

❤️ ممنون از حمایت هاتون 💐🌺
#devops #programming

Proposal for ECMAScript enums

https://github.com/rbuckton/proposal-enum

#ecmanoscript #enum

چون دیدم توی خیلی از گروه‌ها هنوز فرق نرم‌افزار آزاد و نرم‌افزار رایگان و نرم‌افزار متن‌باز هنوز جا نیفتاده، یک مطلب نوشتم که درموردشون توضیح دادم.

(شاید ایراداتی داشته باشه که ممنون میشم گوشزد کنید بهم)

از این لینک در دسترسه:

https://blogfa.sohrabbehdani.ir/foss-vs-floss-vs-freeware


@SohrabContents

‏تو Reddit یه نفر یه فایل EXE ویژوال بیسیک ۴ که میشه برای ۱۹۹۷ رو با Claude 3.7 اومده به پایتون تبدیل کرده.

میگه اجرای فایل‌های VB4 الان دردسره، ولی Claude 3.7 فایل رو آنالیز کرده، UI و فایل‌های صوتی رو پیدا کرده و یه کد پایتون معادلش ساخته، بعد همون بار اول هم کار کرد و کل پروسه کلا ۵ دقیقه طول کشید.

معنی این ماجرا اینه که میشه اپلیکیشن‌ها و بازی‌های قدیمی رو بدون کد اصلی به کمک یه ابزار مثل Claude 3.7 بیایم open-source و reverse-engineer کنیم.

@DevTwitter | <Soroush Ahmadi/>

البته خودم تازه با این پکیج آشنا شدم
نمیدونم اجازه میده بجای push کردن replace url انجام بدیم یا نه

خیلی وقته این کتابخونه ترند شده
ولی من جدیدا دارم باهاش کار میکنم

و واقعا تا قبل از استفادش مدیریت search params های پیچیده و زیاد برام کابوس بود مگر اینکه کلی وقت میذاشتم خودم یدونه internal state management مینوشتم براش

https://nuqs.47ng.com/
دریابیدش که خیلی کار راه بندازه 🔥

-------
ذخیره کردن استیت های مربوط به سرچ و فیلتر داخل لیست
یا تغییراتی که توی صفحات محصول کاربر ایجاد میکنه (مثل چک کردن سایز ها و رنگ های دیگه ی محصول) جزو Good Practice ها حساب میشه که هم تجربه کاربری بهتری داره و هم جزو نکاتی حساب میشه که رعایت کردنش توی تست های فنی شمارو یه لول بالاتر نشون میده
-------
البته توی ایجاد تغییرات توی url محتاط باشید. ⚠️
push نکنید
بجاش replace کنید
چون که وقتی کاربر تغییرات زیادی اعمال میکنه انتظار داره با back navigation برگرده به صفحه ی قبل، نه تغییرات قبلی!

می‌خوایین تو سی++ مموری رو فول بشین؟ توی Rust برید ownership و borrowing رو بخونید و ببینید کجاها راست اجازه نمیده کارای اشتباه انجام بدین و بیایین همون مفاهیم رو توی سی++ اجرا کنین


@Linuxor ~ _AbolfazlAbbasi

جالبه بدونید حدودای سال 2000 که Sqlite طوفانی وارد شد سرعتش از Mysql و Postgres بیشتر بود


@Linuxor

این ارایه به نسبت جالبه
https://news.arvancloud.ir/fa/%D8%A7%D8%B4%D8%AA%D8%A8%D8%A7%D9%87-%D8%B1%D8%A7%DB%8C%D8%AC-%D9%81%D8%B1%D8%A2%DB%8C%D9%86%D8%AF-%D8%AA%D9%88%D9%84%DB%8C%D8%AF-%D9%86%D8%B1%D9%85-%D8%A7%D9%81%D8%B2%D8%A7%D8%B1/