Skip to content
View nuxyel's full-sized avatar
24 followers · 18 following

Highlights

  • Pro

Block or report nuxyel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nuxyel/README.md

neofetch — renan vinícius @ nuxyel — software developer at sidia / samsung R&D, focused on AI, building machine learning in bend. click to open nuxyel.dev

what I'm building

  • bend-ml: machine learning in Bend 2, with tensor shapes in the types and laws the checker proves
  • llama.bend: SmolLM2 (135M, 360M, 1.7B) running in Bend, token for token against PyTorch
  • BendTorch: neural networks trained in Bend, typed forward/backward layers checked against PyTorch

Pinned Loading

  1. bend-ml bend-ml Public

    Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws

    Python 21 3

  2. llama.bend llama.bend Public

    Llama-architecture models (SmolLM2 135M, 360M, 1.7B) in Bend 2, token for token against PyTorch, with the shapes in the types

    Python 16 1

  3. BendTorch BendTorch Public

    Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch

    Python 18 2