سونار، Gitar را خرید تا شکاف بازبینی کد با AI را پر کنه
هوش مصنوعی
تستخلاصهٔ کاملتر
سونار، شرکت وارسی و حاکمیت کد مستقر در آستین (سازندهی SonarQube)، شرکت Gitar از سیلیکونولی را خرید تا نیازهای محیطهای توسعهی نرمافزار AIمحور را بهتر پاسخ بده. به گفتهی مدیرعامل، این خرید کمک میکنه مشکلات ظریفتری مثل ناسازگاری منطقی، مشکلات وارسی کارکردی و نقصهای طراحی که بهسختی بهصورت ریاضی کدگذاری میشن شناسایی بشن. ابزارهای قطعی برای مشکلات ساختارمند سریع، ارزان و دقیقان، اما همهی نیازهای وارسی را پوشش نمیدن.
Gitar که سال ۲۰۲۳ تأسیس شده و ماه گذشته با ۹ میلیون دلار سرمایهی اولیه از استلث بیرون اومد، توسط مدیری با سابقهی Uber، گوگل و فیسبوک رهبری میشه. تیم مهندسی سونار حین بررسی، محصول را خرید و داخلی استفاده کرد و دید که بهخوبی در گردشکار توسعهدهنده ادغام میشه.
نکتهی محوری اینه که سیستمهای بازبینی کد AIمحور شبیه توسعهدهندهی انسانی از «اصول اولیه» استدلال میکنن، نه با الگوریتمهای ازپیشتعریفشده. اما نتایج AI احتمالاتیه نه قطعی؛ یعنی اجرای دوباره میتونه نتایج متفاوت بده، که نگرانیهای جدی دربارهی auditability، انطباق و قابلاعتماد بودن میسازه. به گفتهی مدیرعامل، میشه بازبینی AI را دوازده بار اجرا کرد و دوازده نتیجهی متفاوت گرفت.
یک نکتهی جالب دربارهی هزینه: کدبیس تمیزتر و کمپیچیدهتر، ۷ تا ۱۰٪ توکن کمتری مصرف میکنه، چون AI تلاش کمتری برای فهم زمینه نیاز داره و دقتش هم بالاتر میره. برنامهی سونار اینه که انواع تحلیل را هوشمندانه ترتیب بده: اول وارسی قطعی کمهزینه مشکلات ساده را بگیره و بعد AI روی مسائل ظریفتر تمرکز کنه تا پردازش گران AI کم بشه.
نکات کلیدی:
- سونار Gitar را خرید تا استدلال LLM را به تحلیل قطعی SonarQube اضافه کنه
- بازبینی AI مثل انسان از اصول اولیه استدلال میکنه ولی احتمالاتی و ناسازگاره
- ناسازگاری نتایج AI نگرانی auditability و انطباق میسازه
- کدبیس تمیزتر ۷ تا ۱۰٪ توکن کمتری مصرف میکنه؛ برنامه: اول قطعی، بعد AI
