Generalized Data Structure Synthesis [pdf]

Made the front page recently, but strangely few comments: https://news.ycombinator.com/item?id=17362475

Link to the implementation: https://github.com/CozySynthesizer/cozy