Hackernews posts about SupGen

1. Show HN: Visually explore recommended/trending sci-fi books (and other genres)
   1 points by bwb 16 days ago | discuss
2. VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com)
   38 points by hyperbrainer 7 months ago | 5 comments
3. Show HN: SupGen, an model-free program synthesizer by examples / dependent types (www.youtube.com)
   20 points by LightMachine 7 months ago | 9 comments
4. Show HN: PLChef – Explore the Spotify catalogue and make playlists quickly (github.com)
   2 points by Saliroz 7 months ago | discuss