$ ls -l ~/projects

~/projects

Software que eu construo, com o código, as evidências e as partes que ainda precisam de trabalho.

$cat ~/projects/bend-ml/README.md

bend-ml

Machine learning em Bend. As dimensões dos tensores vivem nos tipos; as garantias estruturais são checadas pelo kernel.

pacotes
5 no BendHub
demos
MNIST · GPT-2
checagem
kernel · PyTorch

um erro detectado pelos tipos

A2 × 3
B4 × 5

SOME PROOFS FAIL

expected  Mat<3n, 5n>
observed  Mat<4n, 5n>
bend-ml42c8aea
$cat ~/projects/llama-bend/README.md

llama.bend

Modelos da arquitetura Llama rodando em Bend, sobre o bend-ml. Pesos tipados, cache verificado e geração comparada com PyTorch.

modelos
135M · 360M · 1.7B
execução
CPU · greedy
pacote
bend-ml-llama

um erro detectado pelos tipos

q576 × 576
k192 × 576

SOME PROOFS FAIL

expected  Bands<576n, 576n>
observed  Bands<192n, 576n>
llama.benda04268a