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
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left(medium.com)176 points by gabiteodoru 1 year ago | 124 comments
A summary of recent AI research (2016)(blog.plan99.net)20 points by mike_hearn 1 year ago | 1 comments
Compiling LLMs into a MegaKernel: A path to low-latency inference(zhihaojia.medium.com)291 points by matt_d 1 year ago | 74 comments
