✓ صمدت المرتبة 1 من 17 مقترحةاستثماري أدوات المطورين 21 أكتوبر 2026

منصة نقل موثّقة بالذكاء الاصطناعي للأنظمة القديمة

عمليات نقل شيفرة بنماذج الذكاء الاصطناعي المتقدمة (COBOL وJava وTS وPython) تُسلَّم مع إثباتات آلية للتكافؤ السلوكي، بدل الاعتماد على الانطباعات.

افتح النقاش ↗

موجز جاهز للصق في Claude Code أو Cursor أو أي وكيل برمجة (بالإنجليزية).

I want to build a venture-scale product. Help me plan and start the MVP.

Product: Verified AI Porting Platform for Legacy Codebases
What it is: Frontier-model code ports (COBOL, Java, TS, Python) shipped with machine-checked behavioral equivalence proofs instead of vibes.
Who pays: VP Engineering / Head of Platform Modernization at enterprises with large legacy codebases (banks, insurers, SaaS with 1M+ LOC); $150k–$1M migration budgets that today go to consultancies.
Closest alternatives: Mechanical Orchard (COBOL modernization, services-heavy), Moderne / OpenRewrite (rule-based automated refactoring, not model-driven ports), Sourcegraph Batch Changes (large-scale edits, no equivalence verification), In-house agent + senior-reviewer time
The gap: Existing players either do deterministic rule-based refactors or sell human consulting hours; none productize automated differential/conformance evidence that a model-generated port is behaviorally equivalent to the original, which is exactly the trust gap egonschiele describes.
Why now: In the last 12 months frontier models crossed the threshold where full compiler-scale ports complete in days (this article is the proof case), so the bottleneck in every migration has shifted from writing code to trusting it.
Moat to build toward: Compounding corpus of language-pair conformance test suites, semantic-diff techniques, and equivalence-failure data from every engagement — each port makes the next one faster and safer; switching means losing the accumulated certification history.
Biggest risk: Behavioral equivalence testing turns out to be as hard as the port itself for stateful, side-effecting enterprise systems, and buyers default to established consultancies regardless of cost.

First three steps:
1. Pick one language pair (e.g., Java 8 monoliths to modern Java/Kotlin or Python 2-era services to Python 3) and build a differential test harness that auto-generates behavioral equivalence tests from the source system's traces and types
2. Run 2–3 paid pilot migrations with a human-in-the-loop agent pipeline, publishing an 'equivalence report' as the deliverable
3. Productize the report + regression harness as a standalone verification offering that plugs into any team's own agent workflow

Start by asking me up to five questions about constraints (stack, budget, timeline), then propose the smallest version a paying customer would use, and scaffold it.

الإجمالي6.5/10

الألم7

الاستعداد للدفع7

التوقيت7

الفجوة6

الخندق6

قابلية التنفيذ5

مع

من سيدفع

نائب رئيس الهندسة أو رئيس تحديث المنصات في المؤسسات التي تملك قواعد شيفرة قديمة ضخمة (البنوك وشركات التأمين وشركات SaaS بأكثر من مليون سطر برمجي)؛ ميزانيات هجرة تتراوح بين $150k و$1M تذهب اليوم إلى شركات الاستشارات.

ماذا قال الناس · 5

تستطيع النماذج المتقدمة اليوم تنفيذ عمليات نقل لغوية واسعة النطاق في أيام، وقد ظهرت في المنظومة بالفعل «slopforks» ونسخ وفية ونسخ معادة الهيكلة من TypeScript، والوفاء بالأصل هو عامل التمييز. من المقال ↗
مستخدم كثيف لوكلاء البرمجة ما زال يراجع مخرجات الذكاء الاصطناعي يدويًا لأن الوكلاء يتخذون قرارات معمارية غير سليمة، ويشير إلى أن الشيفرات الكبيرة تتجاوز الأدوات الحالية. اقرأ التعليق ↗
توجد بالفعل ثلاث عمليات نقل مستقلة لـ TypeScript بمساعدة الذكاء الاصطناعي (tsrs وtsgo-rs وbun check)، ما يدل على الطلب على النقل وتشتّته. اقرأ التعليق ↗
يتساءل أحد المعلّقين عما إذا جُرّب النهج نفسه مع CPython، ما يشير إلى رغبة تتجاوز TypeScript. اقرأ التعليق ↗
قام مطوّر منفرد بتحويل TypeScript إلى C# باستخدام الذكاء الاصطناعي بتكلفة نحو $75، ما يدل على انهيار تكلفة النقل، لكن دون أي ضمان للصحة. اقرأ التعليق ↗

مُعاد صياغته من النقاش. اتبع الروابط لقراءة التعليقات الأصلية.

المنافسون والفجوة

Mechanical Orchard (COBOL modernization, services-heavy)Moderne / OpenRewrite (rule-based automated refactoring, not model-driven ports)Sourcegraph Batch Changes (large-scale edits, no equivalence verification)In-house agent + senior-reviewer time

اللاعبون الحاليون إما ينفّذون إعادة هيكلة قائمة على قواعد ثابتة، أو يبيعون ساعات استشارية بشرية؛ ولا أحد يقدّم كمنتج أدلة آلية مثل الاختبار التفاضلي وفحص المطابقة تثبت أن الشيفرة المولّدة بنموذج مكافئة سلوكيًا للأصل، وهذه هي فجوة الثقة التي يصفها egonschiele.

لماذا الآن

خلال الأشهر الـ12 الماضية تجاوزت النماذج المتقدمة العتبة التي تكتمل عندها عمليات النقل بحجم المترجم في أيام (هذه المقالة نفسها دليل على ذلك)، لذا انتقل عنق الزجاجة في كل هجرة من كتابة الشيفرة إلى الثقة بها.

الخندق · 6/10

مجموعة متراكمة من مجموعات اختبار المطابقة لكل زوج لغات، وتقنيات الفرق الدلالي، وبيانات إخفاقات التكافؤ من كل مشروع؛ كل عملية نقل تجعل التالية أسرع وأكثر أمانًا، والانتقال إلى منافس يعني خسارة سجل الشهادات المتراكم.

ضد

الفريق الأحمر: تقليص النماذج المتقدمة لتكلفة النقل هذا العام يحوّل فعلًا عنق الزجاجة إلى الثقة، والمؤسسات تنفق أصلًا بين $150k و$1M لكل هجرة، ولا توجد شركة استشارات تحوّل التحقق الآلي من التكافؤ السلوكي للنقل المولّد بالنماذج إلى منتج خارج نطاق COBOL لدى Mechanical Orchard.
ما الذي قد يُفشلها: قد يتبيّن أن اختبار التكافؤ السلوكي بنفس صعوبة النقل نفسه في الأنظمة المؤسسية المعقدة ذات الحالة والآثار الجانبية، ويلجأ المشترون إلى شركات الاستشارات الراسخة مهما كانت التكلفة.

البداية

الخطوات الثلاث الأولى: اختر زوج لغات واحدًا (مثلًا تطبيقات Java 8 المتجانسة إلى Java/Kotlin الحديثة، أو خدمات Python 2 إلى Python 3) وابنِ أداة اختبار تفاضلي تولّد تلقائيًا اختبارات التكافؤ السلوكي من تتبعات النظام المصدر وأنواعه.
نفّذ 2 إلى 3 عمليات نقل تجريبية مدفوعة بخط أنابيب وكلاء مع إشراف بشري، وسلّم «تقرير التكافؤ» كمخرج أساسي.
حوّل التقرير وأداة الاختبار التراجعي إلى خدمة تحقق مستقلة تتصل بسير عمل الوكلاء لدى أي فريق.
النقاش الأصلي: Tsrs: A Port of TypeScript to Rust ↗ 426 نقطة209 تعليقاتمن القصةالمقال المرتبط

مترجم من الإنجليزية. اقرأ النص الأصلي

مع

ضد

البداية

المزيد من هذا العدد