Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by marcoeg
COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)
62 points
marcoeg
2025-11-08T05:32:31Z
marcoeg.medium.com
Grounding AI with Wittgenstein: From Language-Games to Epistemic Honesty
1 points
marcoeg
2025-10-02T16:41:08Z
marcoeg.medium.com