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

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

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

@DevTwitter | <Amiri/>