software · 22 menciones
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
