Taelin
victortaelin.bsky.social
Taelin
@victortaelin.bsky.social
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: an AI-free code synthesis tool (demo)
YouTube video by VictorTaelin
www.youtube.com
January 20, 2025 at 7:24 PM
eu... esqueci de postar as coisas aqui 🤦‍♂️
December 16, 2024 at 10:15 PM
eu vou passar a postar minhas nerdices aqui, se flopar é culpa da rede
November 18, 2024 at 1:12 PM
November 18, 2024 at 1:11 PM
ainda usam aqui?
November 17, 2024 at 7:19 PM
impressão minha ou o cenário de gamedev br é basicamente nulo?
October 6, 2024 at 10:35 PM
existem pessoas no Brasil capazes de implementar GPTs do zero?
October 6, 2024 at 12:48 PM
nao ironicamente minha vida social em uma imagem
September 29, 2024 at 1:39 PM
Oi #bolhadev, bem? Estamos contratando um Dev Sr. Haskell pra o nosso MOBA. É uma boa oportunidade pra trabalhar nas 2 áreas mais legais da programação: funcional e gamedev :D além de ser uma porta de entrada pra HOC. Compensação de 5k a 40k baseado na experiência.
Ajudem a divulgar 💕
September 27, 2024 at 12:06 PM
indiquem perfis para seguir, que sejam:
- gamedevs
- artistas
- desenvolvedores
- cientistas
- criadores de coisas incríveis
que postem suas criações rotineiramente
September 24, 2024 at 2:15 AM
not sure if it is just me but this place seems so chill and healthy compared to twitter. my feed is full of gamedevs and artists and I love it
September 19, 2024 at 11:11 PM
Conselho de vida e carreira:
não crie uma empresa
September 17, 2024 at 10:09 PM
auto moots if:

- computer science
- lisp, rust, haskell, agda
- λ-calculus, type theory
- ai / singularity

- gaming
- zelda, pokémon, sm64
- tibia, ragnarok
- portal, among
- smash bros
- hots, lol

- anime / cartoon
- hxh, snk
- the last airbender
- steven universe
- ghibli studio
- 90's stuff
August 31, 2024 at 2:20 PM
AGI
August 30, 2024 at 12:43 AM