Vx: un lenguaje para programar todos los chips sin errores de memoria
Vx – One Language, Every Chip
Vx es un lenguaje de programación de sistemas para computación heterogénea que integra la memoria de CPU, GPU, NPU y aceleradores en el sistema de tipos. Así, desreferenciar un puntero de dispositivo desde el host es un error de compilación, no un segfault. El compilador verifica direcciones, capacidades, contratos de transferencia y tipos lineales antes de generar el binario. La máquina se declara en un archivo con jerarquía de memoria e interconexiones, y el compilador acepta o rechaza ubicaciones según ella. No es para quienes aún exploran, sino para lo que debe ser correcto y rápido en diez tipos de silicio.
La heterogeneidad pertenece al sistema de tipos, no al runtime.
- pdpi
> Vx es el lenguaje adecuado para lo que debe ser correcto y rápido en diez tipos de silicio. No es el lenguaje adecuado para lo que todavía estás descifrando.
Un poco tangencial, pero realmente *realmente* aprecio que hagan esta distinción, y desearía que más gente lo hiciera. Demasiadas herramientas intentan publicitarse como todo para todos, atendiendo a todos los casos de uso, y eso no ayuda a nadie.
- dreamoffire
«¡Quiero el mejor lenguaje de programación! ¡Mira lo que le gusta a la gente de Rust, Mojo y Zig y crea especificaciones para él!
Ah, no olvides que tenemos que pensar en el futuro... Asegúrate de que podamos ejecutarlo en GPUs.
Intenta no sonar demasiado a LLM.
No la cagues.»
Te deseo suerte, supongo.
- jack_h
Me recuerda a una serie de críticas que han surgido a lo largo de los años, como «C Is Not a Low-level Language: Your computer is not a fast PDP-11» y otras que no recuerdo en este momento. En esencia, nuestros lenguajes «de bajo nivel» están diseñados para ejecutarse en una máquina abstracta que no ha cambiado mucho desde los años 70, mientras que el hardware real que se supone que abstraen se ha vuelto increíblemente sofisticado. Como ejemplo simple, considera cuántos lenguajes de programación tienen algo tan simple como soporte SIMD sin recurrir a intrinsics del compilador o depender del optimizador.
De hecho, ya he creado algunos embeddings experimentales de DSL en torno a esta idea, ya que me parece un área fascinante. Echando un vistazo a la documentación de Vx, parece que está moviendo parte de la máquina abstracta al sistema de tipos para una mayor flexibilidad.
- yewenjie
¿Por qué me da vibras de Vlang?
- png732
¿Hay alguna historia detrás de que se llame Vx? Parece un poco demasiado cercano para mi comodidad al SO VxWorks, aunque parece que no hay conexión.