hacker-news feeds.twtxt.net Mon, Jan 20 19:03 (12w ago) Show HN: SupGen, an model-free program synthesizer by examples / dependent types Comments ⌘ Read more ⤋ Read More