#cuda

2 stories

#startups #technology #ai safety #bend #bug prevention #gpu #gpu acceleration #lean proofs #linux #microvm #nestrilabs #nvenc

GitHub - nestrilabs/virtio-nvgpu
Share one NVIDIA GPU across multiple VMs at bare-metal speed with NVIDIA drivers.
GitHub · 1m
Bend: a language that stops AI from breaking your code
A new programming language uses mathematical proofs to prevent AI from shipping bugs, while running as fast as C on any number of cores.
Bend Lang · 1m · 6 views