software · 72 menciones
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
C3, lenguaje de programación de sistemas derivado de C, ha publicado la versión 0.8.3, cuya novedad principal es el atributo @feat, destinado a sustituir al antiguo @if en las declaraciones de nivel superior. Hasta ahora, @if aceptaba cualquier expresión constante en tiempo de compilación, lo que ob
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
mcpp es una herramienta de construcción de software pensada desde el origen para proyectos C++23 que usan módulos. Está escrita íntegramente en módulos C++23 y, según sus autores, ya se autohospeda: más de 43 módulos C++23 componen la propia herramienta y se compilan con su propio pipeline, lo que s
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
Ayush Shukla, ingeniero de Axiom y desarrollador de OpenVM, explica en su blog personal cómo reducir la diferencia entre ejecutar un programa RISC-V dentro de una máquina virtual y hacerlo directamente sobre el hardware del equipo anfitrión. OpenVM es la máquina virtual RISC-V que Axiom utiliza para
Compiler Explorer, el popular sitio web que permite compilar y examinar código ensamblador en el navegador, opera sobre una infraestructura totalmente abierta en Amazon Web Services. Matt Godbolt, su creador, detalla los servicios que intervienen en cada petición del usuario, desde CloudFront y WAF
GitHub ha publicado en detalle cómo su motor de búsqueda de código, Blackbird —que indexa más de 180 millones de repositorios y 480 TB de código fuente—, logró procesar el case-folding (plegado de mayúsculas a una forma canónica para comparaciones) a más de 45 GiB/s en un solo núcleo de un Apple M4.
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
En mayo de 2026, 166 miembros del proyecto Rust y colaboradores invitados se reunieron en Utrecht, Países Bajos, durante tres días para celebrar el Rust All Hands 2026, organizado por RustNL como parte de RustWeek. El encuentro, el segundo consecutivo tras seis años sin celebrarse, reunió a 11 salas
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
Cyber es un lenguaje de programación de scripting cuyo objetivo es ofrecer una experiencia rápida y agradable para los desarrolladores, combinando tipado dinámico y estático opcional, seguridad de memoria y concurrencia basada en fibras. El proyecto se distribuye como multiplataforma e incluye una m
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 blog oficial del equipo de rendimiento del compilador de Rust publica un nuevo balance de progreso correspondiente al periodo comprendido entre el 3 de diciembre de 2025 y el 29 de julio de 2026. Durante esos meses, el tiempo medio de compilación se redujo un 5,59%, una mejora atribuible en parte
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ó
Nix es, a la vez, un gestor de paquetes, un sistema de compilación, un lenguaje para definir builds y la base de la distribución Linux NixOS. Su pieza más práctica para equipos de desarrollo son los flakes, que funcionan como un lockfile universal: fijan una revisión concreta del repositorio nixpkgs
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 desarrollador Keno ha presentado en el repositorio oficial de Julia (PR #62334) una propuesta —bautizada UnifiedIR— para reemplazar las aproximadamente diez estructuras de representación intermedia (IR) que el compilador del lenguaje ha acumulado durante la última década. La iniciativa, actualmen
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
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
BLISS es un lenguaje de programación de sistemas desarrollado en la Universidad Carnegie Mellon (CMU) hacia 1970 por W. A. Wulf, D. B. Russell y A. N. Habermann. Se considera uno de los lenguajes de sistemas más relevantes de su época, hasta la aparición de C pocos años después, idioma que lo despla
El Kernel Address Sanitizer (KASAN) es la herramienta de referencia en el kernel de Linux para detectar en tiempo de ejecución dos de los errores de memoria más comunes en código C: accesos fuera de los límites y use-after-free. Aunque Rust gana terreno en el núcleo, la mayor parte del código sigue
NoiseLang es un lenguaje de programación experimental en el que cualquier valor es una distribución de probabilidad y los operadores mapean distribuciones a distribuciones. Un número escalar equivale a un delta de Dirac, mientras que las variables aleatorias se generan con el operador ~ y las muestr
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
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 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
Microlink opera una flota de navegadores sobre nodos Linux sin tarjeta gráfica ni /dev/dri, una decisión que abarata costes y reduce drivers, pero que obliga a renderizar WebGL por software. En ese contexto, el cuello de botella eran las capturas de páginas 3D, ya que SwiftShader, el motor software
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
Qualcom ha anunciado la adquisición de la startup de chips Modular por cerca de 4.000 millones de dólares, una operación que se materializará en la segunda mitad del año mediante la emisión de hasta 19,2 millones de acciones ordinarias. El acuerdo incluye 300 millones de dólares destinados a los apr
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
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
La numeración de valores (value numbering) es una técnica clásica de optimización de compiladores que identifica instrucciones puras que producirán el mismo resultado en tiempo de ejecución y las fusiona para evitar cálculos redundantes. El artículo parte de la forma SSA (asignación única estática),
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
Themida y CodeVirtualizer, desarrollados por Oreans Technology, son protectores comerciales que traducen código nativo a una máquina virtual interna con un juego de instrucciones propio, un esquema que también emplea VMProtect y que comparten vxlang, EagleVM, Covirt y BinProtect. Este artículo descr
El documental 'C++: The Documentary' se estrenó hoy en YouTube con un recorrido por los 40 años de historia del lenguaje de programación C++, desde su creación en los laboratorios Bell de AT&T a manos de Bjarne Stroustrup hasta su actual adopción global. El filme reúne a figuras clave del lenguaje y
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
Capstone es un framework de desensamblado de código máquina concebido como motor de referencia para el análisis binario y la ingeniería inversa en la comunidad de seguridad. Desarrollado en C puro y distribuido bajo licencia BSD de código abierto, expone una API neutra respecto a la arquitectura, li
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
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
El autor de este artículo comparte su experiencia creando un lenguaje de programación propio llamado «pslang», un proyecto personal nacido de la frustración con las opciones existentes para implementar sistemas de modificación (mods) en videojuegos. Tras 17 años de experiencia programando, decidió e
Un nuevo compilador de Object Pascal llamado 'Blaise' está siendo desarrollado con el objetivo de modernizar el ecosistema de desarrollo Pascal. El proyecto, liderado por Graemeg en GitHub, busca eliminar la complejidad heredada de las opciones existentes, Embarcadero Delphi (propietario) y Free Pas
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
Canonical anticipa una mayor disponibilidad de placas de desarrollo RISC-V a partir de 2026, marcando un hito importante en la adopción de esta arquitectura de conjunto de instrucciones abierta. RISC-V, creada en 2010, ofrece flexibilidad y la posibilidad de innovación, permitiendo a cualquier perso
Se ha lanzado una actualización importante para WireGuard en Windows, incluyendo WireGuardNT v0.11 y WireGuard para Windows v0.6. El anuncio, realizado por Jason A. Donenfeld, destaca mejoras significativas en la estabilidad, rendimiento y modernización del código base, eliminando compatibilidades a
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
Embarcadero ha lanzado RAD Studio 13.1 Florence, junto con Delphi 13 y C++Builder 13, que introduce mejoras significativas para los desarrolladores. La actualización más destacada es el nuevo compilador nativo Delphi para Windows on Arm (Arm64EC), permitiendo a los desarrolladores ampliar su soporte
NVIDIA ha presentado Gluon, una extensión del lenguaje y compilador Triton diseñada para mejorar el rendimiento de las GPU. Gluon ofrece un mayor control a los desarrolladores al exponer más detalles internos del compilador, permitiendo optimizaciones más precisas y un mayor potencial de rendimiento
Este artículo, publicado en la revista técnica experimental "Paged Out!", explora una pregunta aparentemente trivial pero reveladora: ¿cuántas opciones caben en un booleano en Rust? La pregunta surge de una curiosidad inicial y se convierte en una oportunidad para profundizar en los detalles de la r
Este artículo de The Cloudlet explora la estructura interna de GNU Emacs, específicamente cómo representa los valores de Lisp (Elisp) en C. El objetivo es comprender el diseño del sistema desde una perspectiva de bajo nivel, desglosando el tipo de dato `Lisp_Object`. La pieza se basa en el conocimie
Un nuevo proyecto llamado `pg_jitter` está mejorando significativamente la velocidad de compilación JIT (Just-In-Time) para PostgreSQL, lo que resulta en un rendimiento de consulta más rápido en las versiones 14 a 18 de la base de datos. La compilación JIT, introducida en PostgreSQL 11, optimiza el
VoxRay Games ha lanzado la actualización más importante hasta la fecha para su juego de supervivencia y creación cooperativa con trazado de rayos, Voxile: "La Actualización del Constructor". La actualización, disponible desde el 9 de marzo con un 40% de descuento en Steam, introduce un nuevo mundo,
La creciente adopción de la inteligencia artificial (IA) en el desarrollo de software, con empresas como Google y Microsoft utilizando IA para generar entre el 25% y el 30% de su código, plantea serias preocupaciones sobre la verificación y seguridad. Recientemente, Anthropic desarrolló un compilado
Un nuevo enfoque de inteligencia artificial, denominado 'Ralph', está revolucionando el desarrollo de software, según un informe reciente de ghuntley.com. Ralph, inspirado en el personaje de 'Los Simpson', Ralph Wiggum, utiliza un bucle Bash simple y una técnica de ajuste iterativo para construir un
BuildKit es una herramienta poderosa y a menudo subestimada dentro del ecosistema de Docker. Aunque la mayoría de los usuarios interactúan con ella indirectamente a través del comando `docker build`, su función va mucho más allá de simplemente interpretar Dockerfiles. En esencia, BuildKit es un marc
Este artículo de Taylor Troesh explora el fascinante mundo de los "Lil' Fun Langs", o lenguajes de programación muy pequeños. La idea central es que es posible crear lenguajes de programación funcionales y con tipado estático con una cantidad sorprendentemente baja de código. El artículo no solo pre
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
