Hackernews posts about SupGen

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