nuxyel
renan vinícius. escrevo software, e agora escrevo sobre isso também.
Construo projetos de IA e machine learning e escrevo sobre o que aprendo.
comece por aqui
O Plano
A trajetória: por que estudo IA e o preço em horas.
6 min · EN·PTum pytorch onde erro de shape não compila
O projeto: construindo machine learning com shapes checados pelos tipos.
48 min · EN·PTa inteligência artificial não começou no ChatGPT
Explore as ideias por trás da IA com demonstrações interativas.
141 min · EN·PT$ ls ~/projects
bend-ml
Machine learning em Bend. As dimensões dos tensores vivem nos tipos; as garantias estruturais são checadas pelo kernel.
5 pacotes publicados · treino de MNIST · geração com GPT-2
conhecer o projeto →llama.bend
Modelos da arquitetura Llama rodando em Bend, sobre o bend-ml. Pesos tipados, cache verificado e geração comparada com PyTorch.
SmolLM2 135M / 360M / 1.7B · um pacote publicado
conhecer o projeto →$ ls -t ~/posts | head -4
por que acredito que Bend pode tomar o lugar do Python em machine learning
depois de construir matemática, inferência e treinamento em Bend, minha aposta ganhou exemplos concretos: tipos, provas, paralelismo e uma distância de desempenho que ainda precisa diminuir
llama.bend: modelos de linguagem com pesos e cache tipados
como rodei três modelos SmolLM2 em Bend: atenção, RoPE, pesos tipados, cache causal, um erro na RMSNorm e os resultados públicos, com as limitações
a inteligência artificial não começou no ChatGPT
da lógica às redes neurais, dos invernos aos agentes: uma história da IA contada do começo, com pessoas, exemplos e experiências visuais, sem exigir programação ou matemática
você não é especialista em IA (e tudo bem)
usar uma ferramenta não dá autoridade sobre um campo inteiro. como avaliar promessas de IA, reconhecer competência e construir profundidade sem vender o que você ainda não sabe