HackerTrans
TopNewTrendsCommentsPastAskShowJobs

marcoeg

no profile record

Submissions

[untitled]

1 points·by marcoeg·पिछला माह·0 comments

[untitled]

1 points·by marcoeg·2 माह पहले·0 comments

COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)

marcoeg.medium.com
62 points·by marcoeg·8 माह पहले·19 comments

Grounding AI with Wittgenstein: From Language-Games to Epistemic Honesty

marcoeg.medium.com
1 points·by marcoeg·9 माह पहले·1 comments

comments

marcoeg
·8 माह पहले·discuss
Source code: https://github.com/marcoeg/cobol-modernization-playbook
marcoeg
·8 माह पहले·discuss
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.