COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)(marcoeg.medium.com)47 points by marcoeg 11 months ago | 14 comments
The SIM-to-real problem isn't about simulators – it's about behavior robustness(medium.com)20 points by fabotelli 9 months ago | 3 comments
When anyone can build software, who decides what not to build?(architectureintel.com)29 points by younss 1 month ago | 22 comments