baleia imponente

SupGen: an AI-free code synthesis tool (demo) YouTube video by VictorTaelin

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...

kkkk

eu... esqueci de postar as coisas aqui 🤦‍♂️

eu vou passar a postar minhas nerdices aqui, se flopar é culpa da rede

The Collapse Monad:

gist.github.com/VictorTaelin...

eu adoraria de verdade, porém eu estou completamente trancado trabalhando. as pessoas acham que é brincadeira mas eu literalmente trabalho o dia inteiro, e não é nem exagero. só nessa tarde de domingo já foram 8h de trabalho e tem +6 pela frente

eita

moro sim, pq

ainda usam aqui?

ty

saberia indicar os servers ou comunidades onde o movimento maior acontece?

saberia indicar os servers ou comunidades onde o movimento maior acontece?

saberia indicar os servers ou comunidades onde o movimento maior acontece?

obrigado pela explicação

impressão minha ou o cenário de gamedev br é basicamente nulo?

cacilda

existem pessoas no Brasil capazes de implementar GPTs do zero?

i want the hauntersaur

a força do tédio move qualquer montanha

nao ironicamente minha vida social em uma imagem

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 💕

me lembrou aquele fantasminha que canta

indiquem perfis para seguir, que sejam:
- gamedevs
- artistas
- desenvolvedores
- cientistas
- criadores de coisas incríveis
que postem suas criações rotineiramente

followed

way to go

it is though

meu deus eu n vi

nani?

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