24000 دلار آزمایش هوش مصنوعی کامپایلر TypeScript را به Rust متصل می کند

با چند توکن اضافی برای رایت، توسعه‌دهنده و یوتیوب‌بر محبوب تئو براون از عوامل هوش مصنوعی برای انتقال کامپایلر TypeScript مایکروسافت به Rust استفاده کرد تا ببیند آیا می‌توان این کار را انجام داد. او نه تنها یک پیاده سازی کارآمد را تولید کرد، بلکه کد حاصل می تواند راه را برای محیط های حافظه کارآمدتر برای عوامل هوش مصنوعی هموار کند. براون ادعا می کند که پورت Rust او دو برابر سریعتر از بازنویسی رسمی مایکروسافت مبتنی بر Go-based TypeScript (v7) که اوایل امسال منتشر شد و 12.5 برابر سریعتر از نسخه قبلی TypeScript (v6) اجرا می شود – با توجه به اینکه او می گوید حتی کد را بررسی نکرده است، کار بدی نیست.

براون در یک ارائه ویدئویی خاطرنشان کرد TS_Rust پروژه ای است که حتی در اوایل امسال غیرعملی بود. اما مدل‌ها آنقدر سریع در حال توسعه هستند که کارهای غیرقابل تصوری در حال حاضر امکان پذیر است. براون استدلال کرد که تایپ اسکریپت مبتنی بر Rust همچنین امکان استفاده از موتور V8 گوگل را به عنوان جایگزینی با حافظه کمتر برای اجرای بارهای کاری عاملی که در TypeScript نوشته شده است را باز می کند، رویکردی که با استفاده از اجرای Go مایکروسافت از TypeScript غیرممکن است.

کاری که ممکن نبود ایده اصلی براون این بود که توکن‌های اضافی خود را با انجام پروژه‌ای به‌قدری بزرگ بسوزاند که نتوان آن را تمام کرد، فقط برای اینکه ببیند جدیدترین مدل‌ها تا کجا می‌توانند پیش بروند. بازنویسی عاملی شامل انتقال کامپایلر TypeScript، جستجوگر نوع و سرور زبان بود که ویژگی هایی مانند بررسی خطا و تکمیل کد در ویرایشگرها را فراهم می کند. او بیش از 400000 دلار توکن معادل API را با استفاده از OpenAI's GPT-5.6 Sol و GPT-6 Astra سوزاند، که تقریبا 84 درصد سازگاری را قبل از اینکه مدل ها برای تکمیل کار باقی مانده به مشکل برسانند، رسید.

هنگامی که Anthropic ماه گذشته Claude Opus 5.5 را منتشر کرد، او دوباره این ایده را بررسی کرد. در کمال تعجب، مدل جدید یک پیاده‌سازی کارآمد را تولید کرد که از طریق اشتراک‌های کلود براون، توکن‌های معادل API به ارزش 24000 دلار مصرف می‌کرد. پیاده سازی به دست آمده، تست های انطباق TypeScript را با دقت نزدیک به 100 درصد گذراند. براون استدلال می‌کرد که شاید این موفقیت غیرمنتظره به این دلیل بود که کلود 5.5 مدلی عضلانی‌تر بود. اما کلود همچنین به اندازه کافی باهوش بود که استراتژی خود را تغییر داد تا بتواند یک شروع بزرگ داشته باشد.

این مدل به جای تلاش برای ترجمه مستقیم از جاوا اسکریپت به Rust، اجرای Go مایکروسافت از TypeScript را به Rust منتقل کرد و در طول مسیر چند باگ از نسخه اصلی کپی کرد. براون متوجه شد که کلود این کار را پس از اشاره دیگری انجام داده است. او در این ویدئو گفت: «نوشتن تمام TypeScript از JS به Rust عملی نبود. تیم مایکروسافت تمام خطوط کد را در TypeScript بررسی کردند، آن را به Go منتقل کردند و سپس شروع به اصلاح آن کردند تا در Go بهتر و سریعتر شود.

عوامل من همین کار را از نسخه Go تا Rust انجام دادند." TS_Rust یکی از چندین پروژه اخیر است که از LLM برای بازنویسی برخی از نرم افزارها در Rust استفاده کرده است. خود مایکروسافت اخیرا زمان اجرا Copilot را در Rust بازنویسی کرده است. این پروژه حدود 120,000 دلار در سکه های هوش مصنوعی هزینه داشت. Google با انتشار مدل اصلی Gemini، از چندین پورت +C AI نیز استفاده می کند. پایگاه های کد (RE2، libgav1، و بخش هایی از هسته Zircon Fuchsia) به Rust.

عوامل دارای قدرت V8 فراتر از عامل تازگی، نسخه خود براون از TypeScript در نهایت ممکن است با حذف نیاز به عوامل برای استقرار فضاهای کاری نسبتا سنگین عامل مانند ماشین های مجازی و کانتینرهای Docker، یک مزیت عملی ارائه دهد. او استدلال کرد که این کاری است که حتی پیاده‌سازی رسمی Go خود مایکروسافت نیز نمی‌توانست آنقدر مؤثر انجام دهد. این کار، اگر کسی آن را ببیند، به موقع خواهد بود.

براون استدلال کرد که با مدل‌های قدرتمندتر در افق، هزینه‌های استنتاج به‌طور تصاعدی در حال کاهش است، به طوری که هزینه‌های محاسباتی اساسی مورد نیاز برای پشتیبانی از محیط‌های توسعه‌دهنده به زودی گران‌ترین بخش کار خواهد بود. با یک کامپایلر TypeScript مبتنی بر Rust، برخی از بارهای کاری عاملی به‌طور بالقوه می‌توانند در موتور V8 Google اجرا شوند، به‌جای اینکه به یک ظرف کامل یا VM نیاز داشته باشند. به عنوان مثال، Cloudflare در حال حاضر چندین محیط کاربری را با استفاده از زمان اجرا جاوا اسکریپت Google V8 ایزوله می کند و در نتیجه صدها مگابایت در هر محیط مشتری ذخیره می شود.

خود TypeScript، بدون حاشیه‌نویسی‌های نوع خود، به‌طور تمیز در V8 اجرا می‌شود، اما کامپایلر TypeScript مبتنی بر Go مایکروسافت مناسب نیست زیرا جمع‌آوری زباله Go باید با استفاده از WebAssembly در زمان اجرا قرار داده شود – کار آسانی نیست. اما Rust به جمع‌آوری زباله نیاز ندارد، بنابراین با WebAssembly کارآمدتر کامپایل می‌شود. در تئوری، یک محیط عامل سبک می‌تواند در V8 با استفاده از TS_Rust و یک محیط پوسته درون حافظه مانند Vercel's Just Bash اجرا شود و به طور بالقوه هزینه‌ها را در مقایسه با اجرای بارهای کاری مشابه در VM کاهش دهد.

در مورد براون، او همچنان در زمینه هوش مصنوعی و مهندسی نرم افزار خوش بین است. او گفت: "این نوع پروژه های YOLO به هیچ وجه نباید قابل دوام باشند. مانند اینکه [این] حتی نمی تواند آزمایش ها را با موفقیت پشت سر بگذارد، خیلی کمتر به عنوان جایگزینی برای TypeScript عمل می کند." ®