@jonathanplasse.bsky.social
Reposted
Reposted
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...
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...
SupGen: an AI-free code synthesis tool (demo)
YouTube video by VictorTaelin
www.youtube.com
January 20, 2025 at 7:24 PM
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...
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...
Reposted
I also want to say that I'm not anti-AI or anti-tech, I'm just pro-humanity
if your tech happens to be anti-humanity in practice, then that tech isn't very nice to have around you know?
if your tech happens to be anti-humanity in practice, then that tech isn't very nice to have around you know?
January 3, 2025 at 5:33 PM
I also want to say that I'm not anti-AI or anti-tech, I'm just pro-humanity
if your tech happens to be anti-humanity in practice, then that tech isn't very nice to have around you know?
if your tech happens to be anti-humanity in practice, then that tech isn't very nice to have around you know?