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

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

ainda usam aqui?

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

existem pessoas no Brasil capazes de implementar GPTs do zero?

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 💕

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

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

Conselho de vida e carreira: não crie uma empresa

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

AGI