60 noticias
El concepto de dominador en un grafo —un nodo por el que pasan todos los caminos desde la raíz hasta otro nodo dado— es una herramienta habitual para analizar dependencias, sistemas de compilación y análisis estático de programas. Este texto explica, de forma accesible y con ejemplos visuales intera
Un equipo de investigación independiente ha publicado un artículo en IEEE Xplore que evalúa el flag -fret-clean de OpenBSD, introducido en la versión 7.6 para arquitecturas amd64. La mitigación ordena al compilador LLVM insertar, tras cada instrucción call, un movq que pone a cero la dirección de re
El emulador de código abierto RPCS3, dedicado a reproducir juegos de PlayStation 3 en hardware moderno, ha dado un salto significativo en eficiencia sobre procesadores ARM tras seis meses de trabajo de optimización. En un vídeo de algo más de una hora, el desarrollador conocido como Whatcookie repas
BorrowSanitizer es una herramienta de análisis dinámico diseñada para detectar errores de aliasing específicos de Rust en aplicaciones escritas en varios lenguajes. El compilador de Rust ofrece garantías estáticas de seguridad muy estrictas al restringir el aliasing y la mutabilidad, pero los desarr
Fuse es un lenguaje de programación de tipado estático y funcional puro que incorpora tipos de orden superior (higher-kinded types) y polimorfismo ad hoc mediante traits. Su compilador se apoya en GRIN, un optimizador de programa completo, y delega la generación de código nativo en LLVM, lo que prod
El equipo de PennyLane, una biblioteca de software cuántico, estaba desarrollando Catalyst, un compilador cuántico basado en MLIR, cuando descubrió que su infraestructura podía ejecutar código JAX clásico sin necesidad de instrucciones cuánticas. El decorador @qjit acepta funciones JAX puras con Num
El proyecto gccrs, que desarrolla un frontend de Rust para el compilador GCC, dedicó la primera mitad de 2026 a intentar compilar el núcleo Linux, un esfuerzo que ha permitido detectar y corregir múltiples fallos en el compilador. Aunque de momento gccrs solo puede manejar programas sencillos y autó
scriptc es un compilador experimental, desarrollado por vercel-labs, que traduce código TypeScript ordinario a ejecutables nativos pequeños y rápidos, sin necesidad de Node ni de un motor de JavaScript incluido en el binario. La promesa central es que el mismo TypeScript que se ejecuta sobre Node —t
El artículo analiza las limitaciones actuales de la función std::simd::swizzle_dyn de Rust, una primitiva SIMD que reorganiza elementos dentro de un vector en tiempo de ejecución. El autor, mantenedor del proyecto Fearless SIMD, describe tres problemas concretos. Primero, la implementación solo apro
AMD ultima el lanzamiento de su serie MI400 de aceleradores para centros de datos, que se presentará en su evento Advancing AI. Antes del anuncio, el análisis de los commits preliminares de LLVM —el compilador open source en el que se apoya ROCm— permite reconstruir la arquitectura del chip bautizad
Un desarrollador presenta bet, un lenguaje de programación real, no un experimento de juguete: compila a código nativo mediante LLVM, gestiona su propia memoria, se compila a sí mismo (self-hosting) y, como prueba de capacidad, ha servido para portar más de 56.000 líneas del código fuente original e
El blog Tesseract presenta una cadena de compilación experimental que permite derivar automáticamente código Fortran heredado y obtener gradientes exactos sin reescribirlo en JAX o PyTorch. La propuesta combina LFortran, LLVM y Enzyme, un sistema de diferenciación automática que opera a nivel de LLV
Spectral Compute, una empresa londinense fundada en 2018 por cuatro ingenieros con 60 años de experiencia combinada en optimización para HPC, desarrolla SCALE, un compilador basado en CLang y LLVM que funciona como sustituto directo de NVCC, el compilador CUDA de Nvidia. La herramienta permite recom
Phobos es un lenguaje experimental de kernels creado por el desarrollador João como ejercicio personal de aprendizaje sobre la programación de bajo nivel en GPUs NVIDIA. Inspirado en Triton, el proyecto se plantea como una alternativa minimalista que compila directamente a PTX, el lenguaje ensamblad
Maxime Chevalier-Boisvert retomó su proyecto personal UVM, una máquina virtual minimalista basada en bytecode con pila que abandonó a principios de 2023, y se propuso compilar software real en ella. Hasta ahora, programar para UVM exigía usar su lenguaje ensamblador propio o ncc, un compilador de ju
El artículo repasa la historia, el diseño y el impacto de LLVM, la infraestructura de compiladores de código abierto nacida en 2000 como proyecto de investigación en la Universidad de Illinois Urbana-Champaign y publicada por primera vez en octubre de 2003. Financiada inicialmente por la Fundación N
El Eternal Software Initiative (ESI) propone una arquitectura de computación minimalista, basada en el modelo Subleq OISC, diseñada para preservar software durante siglos o milenios. Su especificación completa cabe en una servilleta, lo que garantiza que cualquier persona del futuro pueda entenderla
Hobbes es un lenguaje de programación fuertemente tipado con un compilador JIT integrado y runtime diseñado para la evaluación dinámica eficiente de expresiones, almacenamiento y análisis de datos. Desarrollado por Morgan Stanley, se integra de forma nativa con aplicaciones C/C++ ofreciendo máximo r
La 29ª edición del International Obfuscated C Code Contest (IOCCC) publicó los resultados de su convocatoria 2025 con 23 entradas premiadas, tras ser revivido el año pasado tras un paréntesis de cuatro años. Tres programadores —Yusuke Endoh, Nick Craig-Wood y Don Yang— acapararon el protagonismo al
Raphael Amorim, creador de Rio Terminal, presenta Jam, un lenguaje de programación en desarrollo hacia su versión 1.0 que busca combinar la inmediatez y la ergonomía de los lenguajes de tipo C —Go, Zig, C moderno— con la seguridad de memoria propia de Rust, pero sin recolector de basura ni un sistem
La sabiduría heredada sobre optimización en C++ —el inverso rápido de raíz cuadrada de Quake III, el intercambio por XOR, el conteo de bits de Kernighan, el acceso por punteros de fila— se asentó sobre hardware y compiladores que ya no existen. Este artículo demuestra con benchmarks en un AMD Ryzen
El artículo describe un método poco ortodoxo para obtener cobertura precisa de código en binarios sin código fuente (black-box), inspirado en la necesidad del autor de construir un fuzzer propio sin dynamic recompilation ni un portátil con Intel PT. Explica primero la evolución del fuzz testing: des
El repositorio crustc, publicado en GitHub por FractalFir, contiene una traducción completa del compilador rustc a código C, de modo que puede construirse con GCC y make sin necesidad de rustc como binario anfitrión. El proyecto sirve como demostración pública de cilly, una herramienta en desarrollo
El repositorio vulkan-netbsd, mantenido por el desarrollador segaboy, persigue llevar la pila de software gráfico Vulkan al sistema operativo NetBSD, el único BSD mayor que aún carece de ese soporte. El proyecto compila e instala el controlador por software Lavapipe de Mesa —un ICD Vulkan 1.4 que no
FPChecker es un marco de análisis asistido por compilador, basado en clang/LLVM, que instrumenta código en C y C++ para exponer el comportamiento de la aritmética en coma flotante y detectar fuentes de error numérico. El taller, de media jornada, se celebrará el 22 de junio de 2026, entre las 9:00 y
LLVM, el compilador de Clang, ha introducido una optimización en SmallVector::push_back para tipos aproximadamente copiables triviales, su operación más caliente. Antes, la ruta rápida del push_back reservaba capacidad, almacenaba el elemento y luego llamaba a grow_pod, lo que obligaba a guardar thi
El desarrollador Parsa, autor de un blog técnico sobre compiladores y parsers, relata una sesión de refactorización de su motor de JavaScript escrito en Rust en la que una versión 'estética' de una función del lexer provocaba errores de parseo, mientras que una variante menos elegante funcionaba cor
Ejecutar un kernel aparentemente trivial —sumar dos vectores de un millón de floats— esconde una cadena de traducciones y movimientos de datos que este artículo recorre paso a paso. El programa fuente, escrito en CUDA C, se divide en dos ramas: el código del host lo compila el compilador habitual de
La comunidad NixOS ha publicado la versión 26.05 de su distribución Linux, bautizada como "Yarara", disponible públicamente desde este anuncio oficial. La nueva entrega recibirá correcciones y actualizaciones de seguridad durante siete meses, hasta el 31 de diciembre de 2026, momento en el que la an
BumpPtrAllocator es el asignador bump (de tipo arena) de LLVM: cada asignación avanza un puntero dentro de un slab y todo se libera de golpe al destruir el asignador. Da soporte a áreas críticas como el ASTContext de Clang, los pools de objetos make<T> de lld y los registros de TableGen. Una optimiz
Gossamer es un lenguaje de programación de código abierto, publicado bajo licencia Apache-2.0, que combina una sintaxis expresiva inspirada en Rust con características propias de Go, como las goroutines y los canales tipados. Se ejecuta sobre una máquina virtual de bytecode con REPL para iterar con
Fil-C, una variante de C y C++ con seguridad de memoria desarrollada por pizlonator, incorpora compatibilidad con ensamblador inline manteniendo las garantías de seguridad. La función, aún en fase preliminar y no incluida en el lanzamiento 0.679, requiere compilar desde el código fuente. El proyect
CS 6120 es un curso de nivel doctoral de la Cornell University, impartido por Adrian Sampson, que ahora se ofrece como itinerario autoguiado y abierto en la web. El programa aborda la implementación de lenguajes de programación desde una perspectiva tanto clásica como de investigación: representacio
El programador gráfico Jiayin Cao desarrolló Tiny Shading Language (TSL), un lenguaje de sombras personalizado para su renderizador SORT, en cuatro meses. La motivación detrás de este proyecto incluyó el aprendizaje profundo del proceso de compilación, la flexibilidad para modificar el código y la n
WebAssembly se encamina hacia un hito histórico: el Component Model 1.0, una especificación estable y formalmente definida que promete consolidar a Wasm como pilar fundamental de la informática moderna. Así lo adelantaron Luke Wagner y Alex Crichton en el Bytecode Alliance Plumbers Summit de febrero
El equipo de desarrollo de Apple está ultimando la adopción del enlazador paralelo de DWARF dentro de dsymutil, la herramienta que agrupa la información de depuración de las plataformas Apple en un bundle autónomo. El objetivo es reducir los tiempos de procesado en proyectos C++ de gran tamaño, dond
Yon es un lenguaje de programación de investigación cuyo sistema de tipos se fundamenta en la teoría de topos, el lema de Yoneda, la teoría de tipos de homotopía (HoTT) y la teoría de tipos cúbica, con efectos algebraicos y un núcleo de lógica intuicionista. Constituye, a la vez, un programa de inve
Reify es una herramienta de generación aleatoria de programas basada en reificación semántica, diseñada para poner a prueba compiladores de C y, potencialmente, otras máquinas virtuales. Su propósito es producir funciones y programas en C libres de comportamientos indefinidos (UB), de modo que cualq
Ü es un lenguaje de programación compilado y de tipado estático que prioriza la seguridad y el rendimiento. Inspirado en C++, pero sin sus desventajas, y con influencias menores de Rust, Ü ofrece una separación entre código seguro e inseguro, verificación en tiempo de compilación y abstracciones com
José Marchesi y los desarrolladores de GCC-BPF abrieron la sesión sobre BPF en el Linux Storage, Filesystem, Memory-management, and BPF Summit 2026 con un repaso de 90 minutos sobre los avances del último año en el soporte de BPF en la cadena de herramientas GNU. GCC estaría cerca de alcanzar la par
Perry es un nuevo compilador que traduce TypeScript directamente a ejecutables nativos para múltiples plataformas sin requerir un entorno de ejecución de JavaScript como Node.js, V8 o Electron. Utiliza SWC para el análisis y LLVM para la generación de código, produciendo binarios tan pequeños como 2
El Vectorizador SLP es una fase de optimización clave dentro del compilador LLVM diseñada para transformar operaciones escalares en vectoriales, permitiendo que el procesador ejecute múltiples cálculos simultáneamente. Su importancia es fundamental para el rendimiento en arquitecturas modernas, como
Este artículo detalla un experimento sorprendente sobre la búsqueda de errores en compiladores, utilizando modelos de lenguaje avanzados como ChatGPT y Claude. Justin Lebar, un experto en compiladores con experiencia en Google, Waymo y OpenAI, descubrió que podía encontrar una cantidad significativa
El compilador de Clojure 'jank' ha implementado su propia representación intermedia (IR) personalizada, diseñada específicamente para optimizar el código a nivel de semántica del lenguaje Clojure. Anteriormente, jank delegaba toda la optimización a LLVM, pero debido a que LLVM IR opera a un nivel mu
El proyecto Data.Array.Accelerate, desarrollado por el equipo AccelerateHS, es una librería Haskell que define un lenguaje embebido especializado para cálculos de arrays de alto rendimiento. Esta herramienta permite expresar computaciones sobre arrays multidimensionales regulares mediante operacione
Spectre es un nuevo lenguaje de programación diseñado para el desarrollo seguro de sistemas de bajo nivel mediante el uso de contratos. El lenguaje permite definir invariantes a nivel de tipo y precondiciones y postcondiciones a nivel de funciones, ofreciendo seguridad a través de inmutabilidad por
Un desarrollador llamado Glouw ha creado Nibble, un nuevo lenguaje de programación similar a C escrito en aproximadamente 3000 líneas de código. La particularidad de Nibble radica en que genera LLVM IR sin necesidad de dependencias externas ni asignaciones de heap. El lenguaje soporta diversas funci
Desarrolladores de Async Rust están buscando optimizaciones para reducir el tamaño del código binario, un problema especialmente relevante en entornos con recursos limitados como microcontroladores. El problema surge porque el uso de Async Rust introduce una cantidad significativa de 'bloat' o códig
Fil-C es un nuevo enfoque para implementar C/C++ con seguridad de memoria. El proyecto, detallado en corsix.org, busca resolver los problemas de seguridad inherentes a estos lenguajes mediante una transformación automatizada del código fuente. En su modelo simplificado, Fil-C inserta un `AllocationR
Un ingeniero ha identificado y corregido una regresión de rendimiento del 25% en el compilador LLVM al generar código para procesadores RISC-V. El problema surgió tras una reciente modificación en LLVM que, aunque optimizaba ciertas conversiones de punto flotante, inadvertidamente rompió una optimiz
Este artículo de investigación aborda un problema de optimización en la programación de computadoras: la división de números enteros sin signo de 32 bits por constantes en arquitecturas de 64 bits. Aunque la división por constantes es una operación común, su implementación eficiente puede ser un cue
TinyGo, un nuevo compilador basado en LLVM, ha expandido la capacidad del lenguaje de programación Go para abarcar sistemas embebidos y WebAssembly (WASM). El proyecto, impulsado por los autores de TinyGo, permite a los desarrolladores compilar y ejecutar programas Go en más de 100 placas de microco
Un nuevo lenguaje de programación llamado 'Han' ha sido desarrollado y se distingue por utilizar palabras clave en coreano, aprovechando el sistema de escritura Hangul. Creado por Xodn y basado en Rust, Han busca ofrecer una experiencia de programación única, combinando la belleza del diseño lingüís
Un desarrollador de Fedora Linux ha detallado el progreso y los desafíos en la adaptación del sistema operativo a la arquitectura RISC-V. Desde hace aproximadamente tres meses, se ha trabajado en la triagem de paquetes, con un total de 86 solicitudes de extracción (pull requests) enviadas para paque
Este artículo explora una propuesta para mejorar la convención de llamada en Rust, especialmente en arquitecturas x86, y cómo esto impacta la eficiencia del código generado. La convención de llamada define cómo se pasan los argumentos a las funciones y cómo se devuelven los valores, y la actual conv
LFortran ha logrado compilar con éxito el Fortran Package Manager (fpm), un proyecto complejo que ha permitido identificar y corregir numerosos errores y carencias en el compilador. Este logro, completado el 7 de febrero de 2026, marca un hito importante en el desarrollo de LFortran, acercándolo a s
`fbounds-safety` es una extensión para el lenguaje C que busca abordar un problema crítico: los accesos a memoria fuera de los límites (out-of-bounds, OOB). Estos accesos son una fuente común de vulnerabilidades de seguridad en C, y esta extensión tiene como objetivo eliminarlos convirtiendo estos a
El desarrollo de Swift 6.0 enfrenta importantes obstáculos técnicos que impiden su lanzamiento estable, según un análisis detallado publicado en GitHub por LadybirdBrowser. La lista de problemas abarca desde incompatibilidades con LLVM, errores en la gestión de tipos opcionales entre Swift y C++, ha
Un desarrollador ha creado BarraCUDA, un compilador de código abierto que permite ejecutar código CUDA en GPUs de AMD. El proyecto, escrito en C99 sin dependencia de LLVM, traduce archivos .cu directamente a código máquina GFX11 para GPUs AMD RDNA 3. Esto elimina la necesidad de capas de traducción
En programación, es común encadenar funciones, donde una función llama a otra. Aunque esto es una práctica habitual, cada llamada de función tiene un costo en términos de rendimiento. Este artículo explora ese costo y cómo los compiladores pueden optimizarlo a través de una técnica llamada 'inlining
