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 about 1 year ago | 5 comments
2. Show HN: SupGen, an model-free program synthesizer by examples / dependent types (www.youtube.com)
   20 points by LightMachine about 1 year ago | 9 comments
3. Church of the SubGenius (en.wikipedia.org)
   5 points by thomassmith65 about 1 month ago | discuss
4. Show HN: Supogen – A customer support agent built for technical teams (app.supogen.com)
   2 points by hacker1234444 5 months ago | discuss
5. Show HN: A tool to explore new music by detailed genres (powered by Every Noise) (thisisnewmusic.com)
   2 points by saint-james-fr 5 months ago | discuss
6. Show HN: PLChef – Explore the Spotify catalogue and make playlists quickly (github.com)
   2 points by Saliroz about 1 year ago | discuss
7. Show HN: Visually explore recommended/trending sci-fi books (and other genres)
   1 points by bwb 8 months ago | discuss
8. Maine's black market for baby eels (www.pressherald.com)
   27 points by noleary 3 months ago | 13 comments
9. Show HN: Open-Source Lovable Alternative (github.com)
   7 points by justb15 6 months ago | 3 comments