58 noticias
Un trabajo reciente propone la Gestión de Contexto Agéntico (ACM, por sus siglas en inglés) como disciplina para abordar los problemas de memoria y coste que aquejan a los agentes de IA en producción. Los autores sostienen que los fallos de estos sistemas rara vez se deben a una capacidad de razonam
Una narración en primera persona da voz a un entero con signo de 32 bits en Ada, encerrado en el rango de −2.147.483.648 a 2.147.483.647, y relata el instante en que su programador le ordena superar el límite y provocar deliberadamente una excepción. El texto recorre, con tono literario y técnico a
El autor, desarrollador del driver gráfico AMD en Linux, retoma su serie sobre gestión de VRAM tras el desembarco en el kernel principal de los parches anunciados a principios de año. La entrada anterior dejó una afirmación pendiente: los juegos deberían mantenerse estables siempre que no consuman m
La recolección de basura (GC) no cobra por la memoria usada, sino por los objetos vivos y las referencias entre ellos: por eso un grafo de muchos objetos pequeños resulta mucho más caro de barrer que un único búfer del mismo tamaño. El artículo explica que toda la memoria dinámica vive en el heap —l
En Zig, un ArenaAllocator solo devuelve memoria al «arena» cuando se cumplen dos condiciones: que la liberación afecte a la última asignación y que esa asignación proceda del nodo activo del arena. Si se libera el último bloque (por ejemplo, una variable `b` asignada después de `a`), esa condición s
C++26 incorpora al encabezado <memory> dos nuevos tipos de vocabulario definidos en la propuesta P3019R14 (Coe, Peacock y Parent): std::indirect<T> y std::polymorphic<T>. Ambos aportan semántica de valor a objetos asignados dinámicamente, algo que std::unique_ptr nunca resolvió del todo. Este artícu
Go 1.26 introdujo Green Tea como recolector de basura predeterminado, una evolución presentada originalmente en Go 1.25 que mejora la eficiencia de caché del proceso de limpieza de memoria. En Go, los objetos se agrupan por clases de tamaño dentro de fragmentos contiguos de páginas de 8 KiB, una téc
El análisis de escape es una optimización del compilador de Go que decide, valor por valor, si una variable puede vivir en la pila o debe trasladarse al montón. La pila es una región por gorutina donde las asignaciones son muy baratas y se liberan al retornar la función; el montón es una memoria com
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
Una acumulación excesiva de tablas en una base de datos PostgreSQL puede provocar problemas graves de rendimiento y consumo de memoria, según documenta el consultor Laurenz Albe tras intervenir en un caso real. El síntoma más visible fue la activación del asesino OOM (Out-Of-Memory killer) de Linux,
Un análisis técnico explica por qué herramientas como fastfetch, btop y htop ofrecen lecturas tan dispares del uso de memoria en FreeBSD, un fenómeno comparable al clásico «Linux ate my RAM». El artículo parte de la migración de un servidor desde Ubuntu 16.04 a FreeBSD, donde el autor detectó difere
ClickHouse ha presentado WAL-RUS, una reimplementación en Rust de la herramienta de copia de seguridad y archivado de WAL para Postgres pensada para reducir el consumo de memoria y hacerlo más predecible. El proyecto, publicado como código abierto en GitHub, mantiene la compatibilidad con WAL-G: uti
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
Sale a la luz la segunda edición de "The Garbage Collection Handbook: The Art of Automatic Memory Management", obra de referencia en el ámbito de la gestión automática de memoria que actualiza y amplía las ediciones previas de 1996 y 2012. Editada por Richard Jones y otros autores, la nueva versión
Maestro es un kernel de tipo Unix ligero, escrito en el lenguaje de programación Rust, cuyo objetivo es aprovechar las garantías de seguridad de su sistema de tipos para ofrecer un sistema operativo fiable. El proyecto se encuentra en una fase temprana de desarrollo, por lo que es altamente inestabl
Un desarrollador ha compartido una implementación de array dinámico genérico en C que prescinde de estructuras y del almacenamiento explícito de capacidad. La técnica utiliza un array de dos punteros: el primero guarda la longitud como uintptr_t, y el segundo apunta a los datos. Así, declaraciones c
Alexandros Kapretsos, desarrollador de videojuegos, ha creado Parin, un motor de juegos bidimensional escrito en el lenguaje D, tras abandonar Godot Engine por su creciente orientación al editor. Kapretsos buscaba un flujo de trabajo puramente basado en código, y tras probar Nim, Go, Zig y C, encont
El recolector de basura del subsistema AF_UNIX del kernel de Linux existe porque los descriptores de socket pueden enviarse entre procesos mediante SCM_RIGHTS y quedar inalcanzables desde el espacio de usuario, sin que se libere la memoria asociada. Este artículo técnico recorre, paso a paso, la ree
Declarar en C++ una función que acepta un bloque genérico de memoria parece trivial, pero la elección de la firma no lo es. Este artículo analiza las opciones habituales: el clásico `void DoSomething(const void* p, size_t numBytes)` heredado de C, la variante con `const uint8_t*` que obliga a añadir
Windows de 16 bits fue, ante todo, un sofisticado gestor de overlays: desde sus primeras versiones (1.x y 2.x) funcionaba sobre hardware 8086 y 80286, sin paginación y con una RAM muy escasa para el tamaño del sistema. Para que un PC típico pudiera mantenerlo en ejecución, Windows necesitaba conserv
El artículo explora la implementación de variables mutables en SLAX, una extensión de XSLT utilizada en JUNOS. Aunque XSLT tradicional tiene variables inmutables para optimizaciones, la necesidad de scripts prácticos ha llevado a la creación de variables mutables (mvar). El texto detalla los desafío
komi-learn es una herramienta de código abierto diseñada para dotar a los agentes de codificación (como Claude Code y Codex) de una memoria continua y capacidad de auto-mejora. A diferencia de los asistentes convencionales que olvidan el contexto entre sesiones, komi-learn observa cada sesión de tra
Lone es un intérprete de Lisp escrito en C que se distingue por su desarrollo 'desde cero' sin utilizar librerías estándar como libc. Su sistema de gestión de memoria, conocido como el 'heap', es el tema central de esta explicación y representa un caso de estudio valioso sobre cómo se construyen los
Los arrays en C son una fuente común de confusión para desarrolladores debido a su comportamiento híbrido entre tipos de datos y punteros. Técnicamente, un array `T[n]` representa una secuencia contigua de valores en memoria, pero en la práctica se 'decomponen' (decay) en punteros `T*` en casi todas
Los modelos de lenguaje basados en Transformers han revolucionado la inteligencia artificial, pero enfrentan un cuello de botella crítico: su mecanismo de atención no escala eficientemente con el aumento de la longitud del contexto. Este artículo, titulado "Language Models Need Sleep", propone una s
El código de error ERROR_ARENA_TRASHED, identificado numéricamente como el número 7, es un mensaje de error histórico heredado directamente del sistema operativo MS-DOS. Su relevancia actual reside en la comprensión de cómo funcionaba la gestión de memoria en entornos operativos antiguos, ofreciendo
El GC (Garbage Collector) incremental de Python es un mecanismo automático de gestión de memoria que intenta recuperar memoria ya no utilizada de forma progresiva, en lugar de detener todo el programa para hacer una limpieza completa. En las versiones 3.14 y 3.15 de Python, se ha revertido (eliminad
Este artículo explora la CPU del PC Engine (TurboGrafx-16), una consola de videojuegos lanzada en 1987 que se encuentra en una posición peculiar entre la tercera y cuarta generación de consolas. A pesar de su nombre, la consola no utiliza una CPU de 16 bits, sino una basada en el 65C02, un procesado
Este artículo del blog de dystroy.org describe una optimización significativa de memoria en un programa Rust que deserializa archivos JSON complejos. El problema original era que el programa, al procesar archivos JSON que representan estructuras de datos de AWS (Smithy Shapes), consumía una gran can
El motor JavaScript V8, utilizado en Chrome y Node.js, gestiona la memoria de los objetos JavaScript a través de un recolector de basura (garbage collector). Para optimizar el rendimiento, V8 ha evolucionado constantemente sus algoritmos de recolección de basura, buscando reducir los tiempos de paus
Tachyon es un proyecto de software de alto rendimiento, y como todo sistema complejo, sus desarrolladores han tomado una serie de decisiones de arquitectura cruciales a lo largo del tiempo. El repositorio de GitHub que se describe contiene los 'Architecture Decision Records' (ADRs) de Tachyon. Un AD
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
El autor ha estado buscando el lenguaje de programación perfecto durante años, frustrado por las limitaciones de opciones populares como F#, TypeScript y C#. Si bien Rust ofrece un gran potencial, su curva de aprendizaje y complejidad (relacionada con la gestión de memoria y el sistema de tipos) han
Este artículo de Solidean investiga la cantidad óptima de contigüidad de memoria lineal necesaria para un rendimiento máximo en cálculos de alta velocidad. La sabiduría convencional dicta que la memoria lineal y contigua siempre es la mejor opción, pero este estudio experimental desafía esa idea, de
El entrenamiento de modelos de lenguaje grandes (LLMs), como GPT-3 o LaMDA, es un desafío computacional enorme. Estos modelos pueden tener cientos de miles de millones de parámetros, lo que requiere una cantidad significativa de memoria y potencia de cálculo. Tradicionalmente, el entrenamiento de es
Este artículo del blog de Anton Zhiyanov detalla el proceso de portar el paquete `strings` de Go al lenguaje C. El objetivo no era crear un compilador Go a C, sino permitir el uso de código Go con la flexibilidad y control de C. La portación comenzó con el paquete `io` y continuó con `bytes` y `str
Un nuevo sistema de memoria para agentes de IA llamado Hippo-Memory ha sido lanzado, abordando la limitación de los agentes actuales que olvidan el contexto entre sesiones. Hippo-Memory permite a los agentes recordar información de manera persistente y portátil, funcionando como una capa de memoria
Este artículo, escrito por Matheus Afonso Martins Moreira, narra la evolución de un recolector de basura llamado 'Baby's Second Garbage Collector', originalmente concebido como una solución simple y precisa en el lenguaje dinámico 'lone lisp'. La historia se presenta de forma alegórica, utilizando m
Este artículo de Alice Ryhl explica cómo compartir estados mutables en Rust, un concepto crucial para aplicaciones concurrentes, tanto síncronas como asíncronas. El problema fundamental es permitir que múltiples hilos (threads) modifiquen el mismo dato de forma segura, evitando condiciones de carrer
El toolkit de parsing Ohm, utilizado para analizar formatos de archivo personalizados y construir parsers, intérpretes y compiladores, ha anunciado una actualización significativa (v18) que aumenta la velocidad de parsing hasta 50 veces en comparación con versiones anteriores. Esta mejora sustancial
Investigaciones recientes sobre el firmware de las GPU Mali (como la Mali-G610 en el RK3588) han revelado detalles importantes sobre su funcionamiento interno. El firmware se ejecuta en un microcontrolador (MCU) Cortex-M7 que opera a una velocidad impresionante de 990 MHz en el RK3588. Este MCU gest
Este artículo explora la técnica de "type erasure" (borrado de tipo), un mecanismo fundamental detrás de la implementación de `std::any` en C++. La idea principal es permitir trabajar con objetos de diferentes tipos a través de una interfaz común, ocultando los tipos concretos subyacentes. El artícu
El sistema de planificación (scheduler) de Go es un componente crucial del runtime que gestiona la ejecución concurrente de goroutines, que son funciones ligeras que pueden ejecutarse simultáneamente. Dado que el número de goroutines puede superar con creces el número de núcleos de CPU disponibles,
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 explora un comportamiento peculiar y a menudo desconocido de `/proc/self/mem` en sistemas Linux: la capacidad de escribir en memoria marcada como inescrutable. Normalmente, el sistema operativo impide que el código escriba en áreas de memoria designadas como de solo lectura. Sin embarg
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
Este artículo explora el concepto de "costos ocultos" en la programación, desafiando la idea de que los lenguajes de alto nivel son inherentemente menos eficientes que los lenguajes de bajo nivel como C o C++. El autor observa que los programadores de sistemas a menudo evitan lenguajes con recolecci
El kernel de Linux está modernizando la gestión de memoria swap con la introducción de 'espacios de swap virtuales', un cambio significativo que busca simplificar y optimizar el proceso. Anteriormente, el sistema dependía de una tabla de swap por dispositivo, lo que complicaba tareas como la elimina
Este artículo explora el desafío de realizar búsquedas de similitud vectorial a gran escala, específicamente con 3 mil millones de vectores. El problema surge al intentar encontrar elementos semánticamente similares, una técnica crucial en aplicaciones como búsqueda, recomendaciones y recuperación g
Este artículo del blog explora cómo Dada, un nuevo lenguaje de programación, aborda el manejo de referencias y permisos de una manera innovadora, superando las limitaciones de Rust. Dada introduce un sistema de permisos basado en 'lugares' (places) en lugar de 'tiempos de vida' (lifetimes), lo que s
## Dos y la Memoria: Cómo Evolucionó su Gestión El sistema operativo DOS, fundamental en la historia de la computación personal, ha experimentado una notable evolución en su gestión de memoria, desde sus humildes comienzos hasta la necesidad de soportar mayores cantidades de RAM. Esta evolución, a
Este artículo del blog de Go explica cómo los desarrolladores están optimizando el rendimiento de Go al realizar más asignaciones de memoria en la pila (stack) en lugar del montón (heap). Las asignaciones en el montón son costosas, requieren código adicional y generan carga para el recolector de bas
Este documento de Julia Language ofrece consejos prácticos para optimizar el rendimiento del código Julia. El objetivo principal es ayudar a los desarrolladores a escribir código más rápido y eficiente. La optimización en Julia se centra en evitar problemas comunes que ralentizan la ejecución, como
Un nuevo API de Java, incluido en OpenJDK 26, busca optimizar la eficiencia de la recolección de basura (GC) al permitir a los ingenieros cuantificar el costo de CPU asociado. Históricamente, la optimización de GC se centraba en minimizar los tiempos de pausa, pero con los colectores modernos, la re
## Lenguaje Ensamblador Tipado (TAL): Un Puente Seguro entre Lenguajes de Alto Nivel y Hardware ¿Qué es y por qué es importante? En el mundo del desarrollo de software, especialmente en áreas críticas como sistemas operativos, kernels móviles y aplicaciones que requieren una seguridad extrema, la
Forth, un lenguaje de programación conocido por su flexibilidad, no tiene una implementación estándar de 'arrays' como otros lenguajes. Esto se debe a que Forth facilita la creación de nuevos tipos de datos, permitiendo a los programadores diseñar estructuras que se adapten perfectamente a sus neces
El artículo "The Apollo 11 Paradox" plantea una crítica contundente a la dirección actual del desarrollo de software, señalando una preocupante tendencia a la ineficiencia y la pérdida de conexión con los fundamentos de la computación. El ejemplo citado, la disparidad entre los 4KB de RAM utilizados
Este artículo explora un comportamiento sutil pero común en Python relacionado con la asignación encadenada (chained assignment), y cómo se manifiesta a nivel de bytecode. La asignación encadenada, como en `a = b = []`, puede llevar a errores inesperados porque Python crea *un solo* objeto de lista
