COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)(marcoeg.medium.com)47 points by marcoeg 11 months ago | 14 comments
Deep-Dive into the Internals of TCP Connection Establishment Process(medium.com)61 points by matt_berninger 3 years ago | 10 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