marcoeg
Joined 1 year ago
Karma
31
Submissions
6
Member since
Jun 20
Engineer, entrepreneur, apprentice renaissance man.
View on Hacker NewsRecent submissions
Comment · 1 year ago
Comment · 1 year ago
I’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-playbook
Would love feedback from people who’ve worked on reverse engineering or legacy transformations at scale.