Taelin's Avatar

Taelin

@victortaelin.bsky.social

2,126 Followers  |  162 Following  |  48 Posts  |  Joined: 29.08.2024
Posts Following

Posts by Taelin (@victortaelin.bsky.social)

baleia imponente

29.01.2025 12:55 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
SupGen: an AI-free code synthesis tool (demo)
YouTube video by VictorTaelin SupGen: an AI-free code synthesis tool (demo)

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

20.01.2025 19:24 β€” πŸ‘ 29    πŸ” 6    πŸ’¬ 0    πŸ“Œ 1

kkkk

29.12.2024 21:15 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

eu... esqueci de postar as coisas aqui πŸ€¦β€β™‚οΈ

16.12.2024 22:15 β€” πŸ‘ 18    πŸ” 1    πŸ’¬ 4    πŸ“Œ 0

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

18.11.2024 13:12 β€” πŸ‘ 25    πŸ” 1    πŸ’¬ 6    πŸ“Œ 0

The Collapse Monad:

gist.github.com/VictorTaelin...

18.11.2024 13:11 β€” πŸ‘ 28    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1
Post image

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

17.11.2024 20:23 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

eita

17.11.2024 20:21 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

moro sim, pq

17.11.2024 19:26 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

ainda usam aqui?

17.11.2024 19:18 β€” πŸ‘ 27    πŸ” 0    πŸ’¬ 13    πŸ“Œ 1

ty

07.10.2024 12:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

07.10.2024 12:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

07.10.2024 12:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

07.10.2024 12:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

obrigado pela explicaΓ§Γ£o

06.10.2024 22:44 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

impressΓ£o minha ou o cenΓ‘rio de gamedev br Γ© basicamente nulo?

06.10.2024 22:35 β€” πŸ‘ 18    πŸ” 0    πŸ’¬ 8    πŸ“Œ 0

cacilda

06.10.2024 13:24 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

existem pessoas no Brasil capazes de implementar GPTs do zero?

06.10.2024 12:48 β€” πŸ‘ 11    πŸ” 1    πŸ’¬ 5    πŸ“Œ 0
Post image

i want the hauntersaur

29.09.2024 15:41 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

a forΓ§a do tΓ©dio move qualquer montanha

29.09.2024 13:46 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

nao ironicamente minha vida social em uma imagem

29.09.2024 13:39 β€” πŸ‘ 37    πŸ” 5    πŸ’¬ 2    πŸ“Œ 0
Video thumbnail

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 πŸ’•

27.09.2024 12:06 β€” πŸ‘ 129    πŸ” 50    πŸ’¬ 10    πŸ“Œ 3

me lembrou aquele fantasminha que canta

27.09.2024 11:58 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

indiquem perfis para seguir, que sejam:
- gamedevs
- artistas
- desenvolvedores
- cientistas
- criadores de coisas incrΓ­veis
que postem suas criaΓ§Γ΅es rotineiramente

24.09.2024 02:15 β€” πŸ‘ 37    πŸ” 7    πŸ’¬ 9    πŸ“Œ 1

followed

24.09.2024 02:13 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

way to go

24.09.2024 02:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

it is though

22.09.2024 12:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

meu deus eu n vi

21.09.2024 11:29 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

nani?

21.09.2024 11:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

19.09.2024 23:11 β€” πŸ‘ 35    πŸ” 1    πŸ’¬ 5    πŸ“Œ 0