ساختن تقریباً مجانی شد، تأییدکردن نه
تستخلاصهٔ کاملتر
جفری هانتلی تو یه پست کوتاه اعلام کرده که به تیم Antithesis میپیونده، و همونجا جمعبندیاش از شش ماه گذشته رو هم مینویسه: به گفتهٔ او حرفهٔ ما تو این شش ماه بیشتر از سی سال قبلش تغییر کرده. نوشتن نرمافزار کالایی شده؛ حالا همه توسعهدهندهان، ولی توسعهدهنده بودن به معنی مهندس بودن نیست. او یادآوری میکنه که تو صنایع دیگه کلمهٔ «مهندس» یعنی جایی که خرابی پذیرفته نیست، در حالی که تو این حرفه سرسری به کار میره.
نگرانیای که تو سخنرانی AI Engineer World Fair هم مطرح کرده بود، ورود به یه «سپتامبر ابدی» دیگهست: بعد از ترکیدن حباب داتکام، بهاندازهٔ کافی مهندس نرمافزار تربیت نشد که مدل یادگیریِ شاگردی تو صنعت سرپا بمونه، و حالا که همه میتونن نرمافزار بسازن، این کمبود خودش رو نشون میده. با این حال به نظر او کار مهندس نرمافزار هنوز همونه: ساختن تجربههایی بدون نقص.
فرضیهاش برای حل این وضعیت چهار بخش داره. اول، وریفیکیشن صوری و تست قطعیِ سیستم دارن از شکاف عبور میکنن، چون حجم بالای کد و تغییر همزمان سراغ همهٔ نرمافزارهای قدیمی سی سال اخیر اومده و سؤال «حالا چطور کدریویو کنیم؟» رو ساخته. دوم، متخصص کافی تو این حوزه وجود نداره. سوم، هرچند ساخت شبیهساز برای یه پروژه حالا خیلی ارزونتر شده، دستههایی از مشکلات هست که تا وقتی یه کامپیوترِ قطعی رو شبیهسازی نکنی اصلاً بروز نمیکنن.
و چهارم، ابزاری مثل Antithesis در کنار کدریویوی تهاجمی توسط مدل زبانی و آنالایزرهایی که با pre-commit hook اجرا میشن، میتونه به آدمها و ایجنتها اجازه بده نرمافزار قابلاتکا تحویل بدن بدون اینکه مجبور باشن خودشون این دانش تخصصی رو یاد بگیرن.
جملهای که پست باهاش تموم میشه، خلاصهٔ کل حرفشه: خلقکردن تقریباً مجانی شده، ولی تأیید و فهمیدن هنوز نه — و وقتشه که slop رو مهندسی کنیم و از سر راه برداریم.
نکات کلیدی:
- هانتلی به Antithesis پیوسته و نوشتن نرمافزار رو کالاییشده میدونه
- به گفتهٔ او همه حالا توسعهدهندهان، ولی این با مهندس بودن یکی نیست
- حجم کد و تغییر، مدل معمول کدریویو رو زیر فشار گذاشته
- پیشبینی: وریفیکیشن صوری و تست قطعی سیستم به جریان اصلی میرسن
- بعضی دستههای باگ فقط با شبیهسازی یه کامپیوتر قطعی خودشون رو نشون میدن
