✓ Bertahan Peringkat 1 dari 17 usulanVenture DevTools 21 Okt 2026

Platform Porting AI Terverifikasi untuk Codebase Legacy

Port kode berbasis model frontier (COBOL, Java, TS, Python) yang dikirim beserta bukti kesetaraan perilaku yang diverifikasi mesin, bukan sekadar asumsi.

Buka diskusinya ↗

Ringkasan siap tempel untuk Claude Code, Cursor, atau agen coding lainnya (dalam bahasa Inggris).

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.

Total6.5/10

Masalah7

Kesediaan membayar7

Waktu7

Celah pasar6

Parit pertahanan6

Kelayakan5

Pro

Siapa yang membayar

VP Engineering / Head of Platform Modernization di perusahaan enterprise dengan codebase legacy besar (bank, asuransi, SaaS dengan 1 juta+ LOC); anggaran migrasi $150 ribu–$1 juta yang saat ini dialokasikan ke konsultan.

Apa kata orang · 5

Model frontier kini dapat melakukan port bahasa skala besar dalam hitungan hari, dan ekosistemnya sudah memiliki 'slopfork', port yang setia pada sumber, serta varian TypeScript yang didesain ulang. Kesetiaan menjadi pembeda utama. Dari artikel ↗
Pengguna agent coding berat masih meninjau output AI secara manual karena agent membuat keputusan arsitektur yang tidak sehat, dan ia mencatat codebase besar sudah melampaui kemampuan tooling yang ada. Baca komentarnya ↗
Sudah ada tiga port TypeScript independen berbantuan AI (tsrs, tsgo-rs, bun check), yang menunjukkan adanya permintaan porting sekaligus fragmentasi pasar. Baca komentarnya ↗
Seorang komentator bertanya apakah pendekatan port berbasis AI yang sama sudah dicoba untuk CPython, yang mengindikasikan minat melampaui TypeScript. Baca komentarnya ↗
Seorang developer solo mem-port TypeScript ke C# dengan AI seharga sekitar $75. Ini menunjukkan biaya porting sudah runtuh, tetapi tanpa jaminan kebenaran sama sekali. Baca komentarnya ↗

Diparafrasekan dari diskusi. Ikuti tautan untuk komentar aslinya.

Pesaing dan celah

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

Pemain yang ada hanya melakukan refactor deterministik berbasis aturan atau menjual jam konsultasi manusia. Belum ada yang memproduksi bukti differential/conformance otomatis bahwa port hasil model setara secara perilaku dengan sistem aslinya, padahal inilah celah kepercayaan yang dibahas egonschiele.

Mengapa sekarang

Dalam 12 bulan terakhir, model frontier telah melewati ambang di mana port skala compiler selesai dalam hitungan hari (artikel ini adalah bukti kasusnya). Akibatnya, hambatan dalam setiap migrasi bergeser dari menulis kode menjadi memercayai kode tersebut.

Parit pertahanan · 6/10

Korpus suite uji konformansi per pasangan bahasa, teknik semantic-diff, dan data kegagalan kesetaraan yang terakumulasi dari setiap proyek. Setiap port membuat port berikutnya lebih cepat dan aman. Berpindah berarti kehilangan riwayat sertifikasi yang sudah terkumpul.

Kontra

Tim merah: Runtuhnya biaya porting berkat model frontier tahun ini benar-benar menggeser hambatan ke soal kepercayaan. Perusahaan enterprise sudah menghabiskan $150 ribu–$1 juta per migrasi, dan tidak ada konsultan yang memproduksi kesetaraan perilaku terverifikasi mesin untuk port hasil model di luar ceruk COBOL milik Mechanical Orchard.
Yang bisa membuatnya gagal: Pengujian kesetaraan perilaku ternyata sama sulitnya dengan porting itu sendiri untuk sistem enterprise yang stateful dan memiliki efek samping, dan pembeli tetap memilih konsultan mapan tanpa memedulikan biaya.

Mulai

Tiga langkah pertama: Pilih satu pasangan bahasa (misalnya monolit Java 8 ke Java/Kotlin modern atau layanan era Python 2 ke Python 3), lalu bangun harness differential test yang secara otomatis membuat uji kesetaraan perilaku dari trace dan tipe sistem sumber.
Jalankan 2–3 pilot migrasi berbayar dengan pipeline agent yang melibatkan manusia dalam prosesnya, dan jadikan 'laporan kesetaraan' sebagai hasil akhirnya.
Jadikan laporan dan regression harness sebagai layanan verifikasi mandiri yang bisa dipasang ke alur kerja agent milik tim mana pun.
Diskusi asli: Tsrs: A Port of TypeScript to Rust ↗ 426 poin209 komentarDari ceritaArtikel tertaut

Diterjemahkan dari bahasa Inggris. Baca versi asli

Pro

Kontra

Mulai

Lainnya dari edisi ini