COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)marcoeg.medium.com62 points·by marcoeg·8 เดือนที่ผ่านมา·19 comments
Grounding AI with Wittgenstein: From Language-Games to Epistemic Honestymarcoeg.medium.com1 points·by marcoeg·9 เดือนที่ผ่านมา·1 comments
marcoeg·8 เดือนที่ผ่านมา·discussI’ve been experimenting with formal, verifiable modernization and taking a small COBOL batch program and translating it through an intermediate representation and Alloy formal model into Kotlin, while proving equivalence with the legacy output.Repo: https://github.com/marcoeg/cobol-modernization-playbookWould love feedback from people who’ve worked on reverse engineering or legacy transformations at scale.