Generalized Data Structure Synthesis [pdf] (homes.cs.washington.edu)

4 points by ketralnis 8y ago ↗ HN

2 comments

[ 1.4 ms ] story [ 16.3 ms ] thread

ketralnis 8y ago ↗

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

ScottBurson 8y ago ↗

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