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
Celebrating Interesting Flickr Technologies(medium.com)50 points by steerpike 7 months ago | 11 comments
Long distance sound localization with the Raspberry Pi(medium.com)140 points by hcfman 2 years ago | 36 comments