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
youtube.com
eu vou passar a postar minhas nerdices aqui, se flopar é culpa da rede
Taelin@victortaelin.bsky.social · 2y agoThe Collapse Monad: gist.github.com/VictorTaelin...
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
Piloto de Oppressor MKII☭@mjbritto.bsky.social · 2y agoDesse naipe...:
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
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
