✓ टिका 17 प्रस्तावों में 1वाँ स्थानवेंचर डेवटूल्स 21 अक्टू॰ 2026

लेगेसी कोडबेस के लिए सत्यापित AI पोर्टिंग प्लेटफ़ॉर्म

फ्रंटियर मॉडल से किए गए कोड पोर्ट (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

पक्ष में

कौन भुगतान करेगा

बैंकों, बीमा कंपनियों और 1M+ LOC वाले SaaS कंपनियों में VP Engineering / Head of Platform Modernization; $150k–$1M के माइग्रेशन बजट, जो आज कंसल्टेंसी फर्मों के पास जाते हैं।

लोगों ने क्या कहा · 5

फ्रंटियर मॉडल अब कुछ दिनों में बड़े पैमाने के भाषा पोर्ट कर सकते हैं, और इकोसिस्टम में पहले से 'slopforks', सटीक पोर्ट और TypeScript के पुनर्गठित संस्करण मौजूद हैं — निष्ठा ही अंतर है। लेख से ↗
भारी एजेंट उपयोगकर्ता अब भी AI आउटपुट को मैन्युअली जाँचता है, क्योंकि कोडिंग एजेंट अनुचित आर्किटेक्चर निर्णय लेते हैं, और वह बताता है कि बड़े कोडबेस मौजूदा टूलिंग से आगे निकल जाते हैं। टिप्पणी पढ़ें ↗
तीन स्वतंत्र AI-सहायता प्राप्त TypeScript पोर्ट पहले से मौजूद हैं (tsrs, tsgo-rs, bun check), जो पोर्टिंग की मांग और बिखराव दिखाते हैं। टिप्पणी पढ़ें ↗
एक कमेंटकर्ता पूछता है कि क्या यही AI-पोर्ट तरीका CPython के लिए भी आज़माया गया है, जो TypeScript से आगे की रुचि दिखाता है। टिप्पणी पढ़ें ↗
एक अकेले डेवलपर ने लगभग $75 में AI की मदद से TypeScript को C# में पोर्ट किया, जो दिखाता है कि पोर्टिंग लागत गिर गई है, पर साथ में कोई correctness गारंटी नहीं है। टिप्पणी पढ़ें ↗

चर्चा से अपने शब्दों में लिखा गया। मूल टिप्पणियों के लिए लिंक देखें।

प्रतिस्पर्धी और कमी

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

मौजूदा खिलाड़ी या तो नियम-आधारित डिटर्मिनिस्टिक रीफैक्टर करते हैं या इंसानी कंसल्टिंग घंटे बेचते हैं; कोई भी ऐसा उत्पाद नहीं बनाता जो मॉडल-जनित पोर्ट के व्यवहारिक रूप से समतुल्य होने का स्वचालित differential/conformance प्रमाण दे, और यही वह भरोसे का अंतर है जिसे egonschiele उजागर करते हैं।

अभी क्यों

पिछले 12 महीनों में फ्रंटियर मॉडल उस स्तर पर पहुँच गए हैं जहाँ कंपाइलर-स्तर के पूरे पोर्ट कुछ दिनों में पूरे हो जाते हैं (यह लेख ही इसका प्रमाण है), इसलिए हर माइग्रेशन की बाधा कोड लिखने से हटकर उस पर भरोसा करने पर आ गई है।

सुरक्षा कवच · 6/10

भाषा-जोड़ियों के conformance टेस्ट सूट, semantic-diff तकनीकों और हर एंगेजमेंट से मिले समतुल्यता-विफलता डेटा का बढ़ता संग्रह; हर पोर्ट अगले को तेज़ और सुरक्षित बनाता है, और बदलने पर संचित प्रमाणन इतिहास खो जाता है।

विपक्ष में

रेड टीम: इस साल फ्रंटियर मॉडल से पोर्टिंग की लागत गिरने से भरोसा ही असली बाधा बन जाता है, एंटरप्राइज़ पहले से प्रति माइग्रेशन $150k–$1M खर्च करते हैं, और Mechanical Orchard के COBOL क्षेत्र के बाहर कोई कंसल्टेंसी मॉडल-जनित पोर्ट के लिए मशीन-चेक्ड व्यवहारिक समतुल्यता को उत्पाद के रूप में नहीं बेचती।
यह किस वजह से असफल हो सकता है: स्टेटफ़ुल, साइड-इफ़ेक्ट वाले एंटरप्राइज़ सिस्टम के लिए व्यवहारिक समतुल्यता परखना खुद पोर्ट जितना कठिन निकले, और खरीदार लागत के बावजूद स्थापित कंसल्टेंसी फर्मों को ही चुनते रहें।

शुरुआत

पहले तीन कदम: एक भाषा-जोड़ी चुनें (जैसे Java 8 मोनोलिथ से आधुनिक Java/Kotlin, या Python 2-युग की सेवाओं से Python 3) और एक differential टेस्ट हार्नेस बनाएँ जो स्रोत सिस्टम के traces और types से व्यवहारिक समतुल्यता टेस्ट स्वचालित रूप से बनाए
2–3 भुगतान वाले पायलट माइग्रेशन चलाएँ, जिसमें human-in-the-loop एजेंट पाइपलाइन हो, और डिलीवरेबल के रूप में 'equivalence report' दें
रिपोर्ट और रिग्रेशन हार्नेस को स्वतंत्र सत्यापन सेवा के रूप में उत्पाद बनाएँ, जो किसी भी टीम के अपने एजेंट वर्कफ़्लो में जुड़ सके
मूल चर्चा: Tsrs: A Port of TypeScript to Rust ↗ 426 पॉइंट209 टिप्पणियाँकहानी सेजुड़ा हुआ लेख

अंग्रेज़ी से अनूदित। मूल पढ़ें

पक्ष में

विपक्ष में

शुरुआत

इस अंक से और