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 3 months ago | 5 comments
2. Show HN: SupGen, an model-free program synthesizer by examples / dependent types (www.youtube.com)
   20 points by LightMachine 3 months ago | 9 comments
3. Twilio Suppending Account for Fraud
   3 points by ryansam10 almost 2 years ago | 11 comments
4. Lovecraftian subgenre monsters (52 min) (www.youtube.com)
   3 points by abudabi123 almost 2 years ago | 1 comments
5. Show HN: PLChef – Explore the Spotify catalogue and make playlists quickly (github.com)
   2 points by Saliroz 3 months ago | discuss