42 noticias
La gestión de la memoria en la pila es uno de los aspectos más críticos y delicados del desarrollo de sistemas operativos y compiladores. Un reciente análisis técnico publicado en el blog de Microsoft por Raymond Chen ha desvelado un mecanismo fundamental que garantiza la estabilidad de las aplicaci
Solod (So): un subconjunto estricto de Go que compila a C En un ecosistema saturado de nuevos lenguajes de programación que prometen ser "como Go pero con más características" o "como Rust pero más simples", Solod (So) irrumpe con una propuesta radicalmente diferente: no añade complejidad, sino que
Microsoft anunció esta semana la Release Candidate (RC) de TypeScript 7, una versión que marca un antes y un después para este superset de JavaScript: por primera vez, el compilador completo ha sido reescrito en Go, abandonando la implementación original en TypeScript que compilaba a JavaScript. El
Recompilar código Go con niveles de microarquitectura más altos puede recortar hasta un 43% el tiempo de ejecución en operaciones intensivas, sin tocar una sola línea de código fuente, según un análisis publicado por el investigador Daniel Lemire, profesor de la Universidad de Quebec y reconocido ex
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
Se ha lanzado Tight-C, un nuevo lenguaje de programación minimalista diseñado para la programación de sistemas. El lenguaje, creado por el desarrollador Alonsovm, compila directamente a código C11 y utiliza únicamente 10 palabras clave: if, loop, break, defer, ret, struct, fn, use, pub y pin. A dife
Este artículo presenta una suite de pruebas innovadora desarrollada por Julio Merino para el proyecto EndBASIC, donde todos los casos de prueba se escriben en archivos Markdown en lugar de usar código Rust tradicional. Esta metodología surge tras un experimento con agentes de IA que reveló la necesi
El artículo aborda un tema fundamental en la programación con C y C++: el comportamiento indefinido (Undefined Behavior o UB). El autor, con más de 30 años de experiencia, argumenta que prácticamente todo código no trivial en C/C++ contiene UB, y que es imposible escribir código completamente correc
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
FPSan es una nueva herramienta desarrollada por Yuen Hung Chan y Pawel Szczerbuk como un paso decompilación para el compilador Triton. Su propósito es verificar la equivalencia algebraica de programas escritos en Triton que involucran aritmética de punto flotante. El problema fundamental es que las
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
El contenido explora el comportamiento indefinido (UB) en expresiones C/C++ que combinan operadores de incremento pre (++a) y post (a++). El caso central analizado es a = a++ + ++a. Se demuestra teóricamente cómo existen múltiples posibilidades de evaluación: el orden de captura de valores y cuándo
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
Nuevos benchmarks publicados por Vittorio Romeo comparan el costo de compilación del sistema de reflexión de C++26 en GCC 16.1 contra alternativas existentes: la biblioteca enchantum (C++17) y el método x-macro del preprocesador. La prueba consiste en convertir enumerados a strings, operación útil p
Las máquinas abstractas para programas lógicos son un mecanismo conceptual que permite ejecutar definiciones relacionales como programas computacionales. En términos simples, una regla de inferencia como 'plus 0 N N' o 'plus (s N) M (s P)' define la relación de suma entre números, pero no esintrínse
Un desarrollador ha creado rlisp, un nuevo proyecto que combina la sintaxis de Lisp con la semántica y el rendimiento de Rust. La herramienta funciona como un frontal de expresiones S que compila directamente a código Rust, sin necesidad de runtime ni recolector de basura. El proyecto permite utiliz
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
Let-Go es un nuevo lenguaje de programación que combina características de Clojure y Go, desarrollado como un compilador de bytecode y máquina virtual. El proyecto destaca por generar binarios standalone de aproximadamente 10MB, logrando un tiempo de arranque en frío de tan solo 7 milisegundos, lo q
Un reciente artículo argumenta que las revisiones de código tradicionales se están volviendo imprácticas e incluso irresponsables en la era de los agentes de codificación con IA. El autor propone una analogía con los compiladores: nadie revisa el código ensamblador generado por un compilador, sino q
El proyecto 'paella', documentado en ar-ms.me, es una serie de artículos que narran el proceso de construcción de un compilador para el lenguaje C utilizando el lenguaje de programación Zig. El autor, mientras se encontraba en un periodo de transición laboral, se propuso este desafío como un ejercic
Investigadores han demostrado que la inteligencia artificial (IA), específicamente modelos como Grok y Claude, pueden optimizar código en lenguaje ensamblador, logrando mejoras significativas en el rendimiento. Daniel Lemire, investigador, llevó a cabo un experimento donde solicitó a estas IA que op
Desarrolladores de software ahora cuentan con una nueva herramienta para simplificar la creación de compiladores: el Nanopass Framework. Este marco de trabajo, anunciado por nanopass.org, es un lenguaje específico de dominio (DSL) diseñado para facilitar la construcción de compiladores al enfocarse
Este artículo explora la relación entre las optimizaciones de hardware, específicamente la suma de acarreo (Carry-Save Addition), y las optimizaciones de compiladores, como la fusión de bucles (Loop Fusion). La suma de acarreo es una técnica de hardware que acelera la adición de múltiples números bi
La colección de artículos y papers de Lighterra, liderada por Jason R. C. Patterson, abarca una impresionante variedad de temas en informática, desde el diseño de microprocesadores hasta la optimización de compiladores y la calidad de video en la web. El trabajo de Patterson, a menudo originado como
Cranelift, el optimizador de código de la Bytecode Alliance, ha introducido una nueva optimización llamada 'acyclic e-graph' (aegraph) para mejorar el rendimiento de WebAssembly. Esta innovación busca resolver el problema de la ordenación de las fases de optimización en compiladores, donde la inter
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
La 'C++ History Collection' es un valioso repositorio de documentos, código fuente y otros materiales que narran la fascinante historia del lenguaje de programación C++. Creado y editado por Paul McJones, este recurso ofrece una visión profunda de la génesis, desarrollo, estandarización y evolución
Un nuevo lenguaje de programación llamado Koru está sorprendiendo al mundo de la informática al demostrar un rendimiento comparable, e incluso superior en algunos casos, a lenguajes de alto rendimiento como C, Rust y Zig. Según pruebas realizadas por los desarrolladores de Koru, sus 'kernels' (unida
El repositorio de GitHub 'acwj' documenta el fascinante viaje de DoctorWkt para construir un compilador auto-compilador para un subconjunto del lenguaje C. Un compilador auto-compilador es un programa que puede compilarse a sí mismo, lo que es un logro significativo en el campo de la informática y d
El artículo de Golden explora una perspectiva inusual sobre la complejidad de los compiladores de lenguajes de programación. Tradicionalmente, se asume que los compiladores modernos son enormes, con millones de líneas de código que abarcan desde la interfaz de usuario (frontend) hasta la gestión de
Este proyecto, llamado MNM Lang, es una demostración ingeniosa de cómo se puede crear un lenguaje de programación utilizando M&M's (o GEMS, una versión india). La idea surgió de un accidente: el autor derramó un paquete de caramelos que se organizaron en un patrón que le recordó un código. El objeti
Este artículo del blog de xnacly.me explora la implementación de sentencias `match` (similares a `switch` en otros lenguajes) en un nuevo lenguaje de programación llamado Purple Garden. El objetivo es proporcionar una alternativa a las largas cadenas `if-if-else`, mejorando la legibilidad y la estru
Este artículo explora la naturaleza de las funciones en programación y cómo los lenguajes modernos manejan la ejecución del código, particularmente en lo que respecta al despacho dinámico y el manejo de errores. Comienza desafiando la noción de que las funciones son entidades reales, argumentando qu
Los compiladores basados en consultas (Query-Based Compilers o QBC) se han vuelto populares debido a su capacidad para implementar compilación incremental, un aspecto crucial para la experiencia de desarrollo en entornos de IDE modernos donde la respuesta rápida a las ediciones del código es esencia
Un desarrollador, Antirez, replicó un experimento de Anthropic donde se instruyó a un modelo de IA (Opus 4.6) para escribir un compilador C en Rust. Antirez cuestionó la metodología de Anthropic, especialmente la falta de acceso a documentación y recursos sobre optimización de compiladores. Para dem
El artículo explora la pregunta de si los compiladores son deterministas, un tema crucial en el desarrollo de software, especialmente con la creciente integración de modelos de lenguaje grandes (LLMs). La respuesta, según el autor, depende de si se considera desde una perspectiva teórica (ciencia de
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
Este artículo del blog de Bernstein Bear explora una técnica llamada 'análisis de alias basado en tipos' (TBAA) dentro del contexto de un optimizador de código (Toy Optimizer). El objetivo es mejorar la capacidad del optimizador para comprender cómo los diferentes objetos en la memoria interactúan e
`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 Amsterdam Compiler Kit (ACK) es una herramienta de compilación completa, un conjunto de herramientas (toolchain) diseñado originalmente en la Vrije Universiteit de Ámsterdam en la década de 1980 y revitalizado por David Given. Su objetivo principal es permitir la compilación de código fuente en e
Investigadores han descubierto comportamientos inesperados e ineficientes en el código generado por los compiladores GCC y Clang al trabajar con arrays de diferentes tamaños. El problema surge al verificar si un array contiene solo ceros, una tarea aparentemente sencilla. Al variar el tamaño del arr
Anthropic ha desarrollado un compilador de C llamado CCC (Claude’s C Compiler), construido íntegramente con Claude Opus 4.6, un modelo de lenguaje de IA. El objetivo era verificar la afirmación de que CCC podía compilar el kernel de Linux, un logro significativo dada la complejidad de los compilador
