یکمی از Summer School ها بگیم

امسال SAT/SMT/AR 2025 توی اسکاتلند برگزار میشه. این سامر اسکول به رسم هر سال، همراه با کنفرانس‌های SAT و SMT و CP برگزار میشه. من خودم خیلی توی این کامیونیتی نیستم منتهی پارسال که توی Nancy فرانسه بود شرکت کردم و خیلی تجربه‌ی خوبی بود. یه چیز جالب برام این بود که آدما به قدری توی حوزه‌ی خودشون تخصص داشتن و وقت گذاشته بودن که اگر یکمی از حوزه‌ی خودشون فاصله می‌گرفتن خیلی متوجه حرف‌ها و لکچرها نمیشدن. مثلا طرف SMT کار خیلی قوی‌ای بود ولی لکچرهای SAT رو خیلی متوجه نمی‌شد!

خلاصه از اصحاب اگر کسی ویزاش رو داره و می‌تونه بره به شدت توصیه می‌کنم. پارسال EuroProofNet یا همون EPN هزینه‌ی دانشجوهایی که توان مالی شرکت در این سامر اسکول نداشتن رو ساپورت می‌کرد. منتهی نمی‌دونم امسال هم این ساپورت رو دارن یا نه. امسال این سامر اسکول ۶ تا ۸ آگوست در University of St Andrews برگزار میشه. پورتال ثبت‌نام هم هنوز باز نشده. برای اطلاعات بیشتر می‌تونید به این لینک مراجعه کنید.

اما کمی بپردازیم به کامیونیتی SE. امسال SIESTA توی سوئیس برگزار میشه. من خیلی با این سامر اسکول آشنا نیستم. کلا هم خیلی با این SE کارا حال نمی‌کنم. منتهی تیم organizer این سامر اسکول تیم خیلی قوی‌ای هستش. آقای Paolo Tonella که از خدایان Test و Software هستند به همراه ۳ تا دیگه از همکارانشون در دانشگاه لوگانو organizer هستند و ایشون کارشون خیلی درسته. این سامر اسکول ۲۷ تا ۲۹ آگوست در دانشگاه لوگانو یا همون USI برگزار میشه و به اصحاب اروپایی بسیار توصیه میشه. فعلا لینک ثبت‌نام رو نذاشتن ولی برای کسب اطلاعات بیشتر می‌تونید به این لینک مراجعه کنید.

Compiler driven development

Some compilers are so strict (like your mom) that we might say

if it compiles, it probably works

Therefore exists another way of writing software called CDD or Compiler-Driven Development. Much like TDD but instead of your tests giving you the green light, you obey the compiler. It's highly feasible in Rust due to its type system and strict ownership rules.

This methodology can be summarized as:

> Write client code for your module even though it doesn't exist
> Figure out its model/interface
> Compile and face errors
> Errors bad, Life sad, Write code to get rid of errors
> Improve your model and repeat

> Hate yourself for choosing rust

تصاویری از AVM 2024 در شهر Freiburg

اما بریم سراغ یکی از محبوب‌ترین 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