DEMO TIME
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
www.youtube.com/watch?v=Gddk...
youtube.com
SupGen: an AI-free code synthesis tool (demo)
YouTube video by VictorTaelin
