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
I avoid using LLMs as a publisher and writer(lifehacky.net)162 points by tombarys 1 year ago | 102 comments
A years-long Turkish alphabet bug in the Kotlin compiler(sam-cooper.medium.com)135 points by Bogdanp 1 year ago | 145 comments