トップ新着トレンドコメント過去質問紹介求人

marcoeg

no profile record

投稿

[untitled]

1 ポイント·投稿者 marcoeg·先月·0 コメント

[untitled]

1 ポイント·投稿者 marcoeg·2 か月前·0 コメント

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

marcoeg.medium.com

62 ポイント·投稿者 marcoeg·8 か月前·19 コメント

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

marcoeg.medium.com

1 ポイント·投稿者 marcoeg·9 か月前·1 コメント

コメント

·8 か月前·議論

Source code: https://github.com/marcoeg/cobol-modernization-playbook

·8 か月前·議論

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.