60 noticias
El ingeniero danluu acuña el término "benchmarkpocalipsis" para describir cómo los modelos de lenguaje están facilitando prácticas que antes requerían gran especialización: optimizar software para superar benchmarks sin mejorar el rendimiento real. A partir de su propio experimento con FRE, un motor
Artículo divulgativo que presenta la programación dinámica como un principio matemático único capaz de explicar algoritmos muy diversos: desde el cálculo de rutas más cortas en grafos y el ajuste de gradientes en redes neuronales hasta el análisis de gramáticas independientes del contexto o la plani
Tras un trabajo prolongado de optimización de la compresión Deflate en Go, el análisis de los benchmarks reveló dos problemas claros en los niveles de compresión existentes. En primer lugar, existía un salto de rendimiento considerable entre el nivel 1 y el nivel 2, algo esperable porque el nivel 1
Un programador aficionado ha logrado construir hexágonos mágicos anormales para todos los órdenes hasta n=21, un avance que supera con creces la mejor solución previa conocida, un hexágono de orden 9 descubierto en 2024 por Klaus Meffert. Un hexágono mágico es una cuadrícula hexagonal en la que cada
Artículo técnico que revisa y mejora un algoritmo clásico para convertir fechas del calendario gregoriano en números lineales de días (rata die o día juliano), la misma operación que en C realiza mktime(). El autor parte de una publicación suya de 2008 y de las observaciones de Ben Joffe para propon
Elegir al piloto, kart, ruedas y planeador en Mario Kart 8 Deluxe no es solo cuestión de estética: las estadísticas de cada elemento determinan en gran medida el rendimiento en carrera. Con decenas de opciones por categoría y múltiples atributos como velocidad y aceleración, el número de combinacion
El programador Serhii Potapov (greyblake) demuestra cómo una técnica de programación sin bifurcaciones (branchless) puede acelerar hasta cuatro veces el típico filtrado de un millón de valores de tipo f64 en Rust. El artículo parte de un caso aparentemente trivial: una función `filter` que conserva
Este artículo, fragmento de la serie Performance-Aware Programming de Casey Muratori, desmonta con mediciones reales algunas de las reglas más repetidas del movimiento "clean code": preferir polimorfismo frente a if/else o switch, mantener funciones pequeñas, hacer una sola cosa y no repetir código
Los ascensores parecen simples, pero su lógica de funcionamiento dista mucho de ser trivial. Este artículo recorre los principales algoritmos que regulan su tráfico, desde el básico SCAN, patentado en 1961, que recorre la planta completa de arriba abajo y vuelve, hasta la variante LOOK, más eficient
Este artículo del blog Stochastic Blog desgrana, paso a paso y desde cero, los tres pilares matemáticos sobre los que se apoya cualquier modelo de machine learning: el álgebra lineal, el cálculo y la optimización convexa. La pieza combina explicación didáctica con código práctico, usando el conjunto
Un equipo de la Universidad de California en Santa Bárbara y Stanford ha presentado el computador probabilístico más grande creado hasta la fecha, equipado con un millón de "bits probabilísticos" o "p-bits", distribuidos en 18 chips FPGA reprogramables. El diseño, descrito el 24 de junio en el servi
Un consultor reflexiona sobre las respuestas que observa ante los problemas en las organizaciones, más allá de la solución directa. Tras años siendo contratado cuando un asunto ya se ha vuelto ingobernable, propone completar el mapa con tres actitudes adicionales: empujar los problemas, preservarlos
El libro «Mathematics of Data Science», depositado en arXiv (cs.LG, referencia 2607.11938), repasa los fundamentos matemáticos que sostienen el campo moderno de la ciencia de datos. El texto, organizado en 15 capítulos más una introducción, está pensado como material didáctico de nivel avanzado que
El trabajo presenta un marco formal para el almacenamiento distribuido de información secreta sobre una red, abordando el problema como la optimización de un funcional de robustez en el que compiten dos requisitos: la capacidad de supervivencia frente a procesos de degradación de la red y la resiste
Quicopt es un solver en la nube orientado a problemas de optimización difícil, accesible desde Python mediante los front-ends estándar OR-Tools MathOpt o Pyomo. La guía oficial propone resolver el primer modelo en tres pasos: instalar el paquete desde PyPI con pip install "quicopt[mathopt]" —o "quic
Investigadores presentan una máquina de Ising multiplexada en el tiempo basada en paquetes de ondas propagantes dentro de líneas de retardo de estado sólido a frecuencias de microondas. El diseño emplea dos líneas de retardo de ondas acústicas de volumen (BAW) conectadas en serie, cada una operando
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 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
libffi es un intérprete de convenciones de llamada: en tiempo de ejecución recibe la descripción de la signatura de una función y, sobre la marcha, decide cómo colocar cada argumento y ejecutar la llamada. Esa interpretación se repite en cada invocación, lo que cuesta alrededor de 650 instrucciones
Un programador repasa su experiencia con la resolución de problemas de programación entera, una rama de la investigación operativa dedicada a optimizar decisiones discretas, y la aplica a un caso singular: seleccionar los cócteles que pueden prepararse con un número limitado de ingredientes. El aut
Este artículo técnico explora dos optimizaciones SIMD para la decodificación de enteros codificados en formato zigzag, descubiertas durante el trabajo del autor en la decodificación de vértices con AVX-512 en la biblioteca meshoptimizer. El zigzag es una técnica que mapea enteros con signo a valores
TensorZero es una plataforma LLMOps de código abierto que integra en un solo sistema las funciones de puerta de enlace, observabilidad, evaluación, optimización y experimentación para modelos de lenguaje grande (LLM). Su objetivo es simplificar el flujo de trabajo de los equipos que desarrollan apli
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 ensayista y desarrollador conocido como 'igerman' acuña el término 'dopamine fracking' para describir un fenómeno cada vez más extendido en la cultura digital: la inyección masiva de recursos —dinero, datos, optimización, presión social, análisis— en actividades antes casuales o complejas con el
or-tools-wasm es una biblioteca de TypeScript que lleva las capacidades de optimización de Google OR-Tools al navegador mediante WebAssembly multihilo. Permite resolver modelos complejos —programación lineal, entera mixta, por restricciones y de rutas— directamente desde el cliente web, sin servidor
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
En el desarrollo de videojuegos retro, específicamente para la Commodore 64 (C64), una de las mayores dificultades es representar mundos vastos en una pantalla pequeña. Este artículo explica cómo implementar la clásica vista cenital (estilo *Ultima*) donde el personaje se mueve dentro de un mundo es
El equipo EAGLE, en colaboración con vLLM y TorchSpec, ha presentado EAGLE 3.1, una evolución clave en el algoritmo de *speculative decoding*. Esta tecnología, ampliamente utilizada en sistemas de producción, soluciona la fragilidad de sus predecesores ante variaciones en plantillas de chat y entrad
La transposición de matrices es una operación fundamental en álgebra lineal que consiste en intercambiar filas por columnas, transformando una matriz $A$ en su versión transpuesta $A^T$. Aunque matemáticamente sencilla, en el ámbito de la programación de alto rendimiento, se convierte en un desafío
El contenido analiza el problema clásico de la geometría discreta conocido como 'Squaring the Square' o 'Cuadrados dentro de Cuadrados'. El objetivo fundamental es determinar el cuadrado contenedor de menor lado posible ($s$) capaz de albergar exactamente $n$ cuadrados unitarios. Este problema es fu
Este artículo de Paul Khuong explora una técnica innovadora para implementar máquinas virtuales basadas en stack, utilizando SBCL (Steel Bank Common Lisp) como plataforma de experimentación. La idea central es aprovechar un stack muy pequeño (solo 8 ranuras) para evitar el movimiento de datos durant
Este artículo explora un problema fundamental en la optimización de rendimiento en Go: la ausencia de abstracciones de costo cero en las rutas críticas de código (hot paths). El autor, al portar el algoritmo Brotli a Go puro para el proyecto go-brrr, descubrió que las abstracciones idiomáticas del l
Akamai implementa las herramientas de optimización OR-Tools de Google para mejorar la programación del mantenimiento en su infraestructura de nube. La compañía enfrenta el desafío de programar tareas de mantenimiento disruptivo en servidores hypervisor que dan servicio a cientos de miles de máquinas
Nvidia y Unsloth han colaborado para acelerar el entrenamiento de modelos de lenguaje grandes (LLM) en un 25%, según un anuncio reciente. La optimización se centra en la eliminación de cuellos de botella ocultos en el proceso de entrenamiento, específicamente en tareas de metadatos y la reutilizació
Este artículo, basado en la obra de Borges y Locke, explora una teoría sobre el funcionamiento del aprendizaje profundo (Deep Learning) que desafía las explicaciones tradicionales. Borges, a través de su personaje Funes, ilustra cómo la capacidad de recordar todo (datos sin filtrar) impide el pensam
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
Este artículo, publicado en arXiv, plantea una idea revolucionaria: la emergencia de una **teoría científica del aprendizaje profundo (Deep Learning)**. Actualmente, el Deep Learning se basa en gran medida en la experimentación y la optimización empírica, más que en principios teóricos sólidos. Este
El proyecto Klondike3-Simulator, desarrollado por Dacracot y alojado en GitHub, es una herramienta para simular partidas del juego Klondike (Solitario). Su objetivo principal es analizar la probabilidad de éxito en diferentes estrategias de juego, algo crucial para optimizar la jugabilidad y entende
Algoritmos de Flujo de Red: Una Visión General. ¿Qué son y por qué son importantes? Los algoritmos de flujo de red son una herramienta matemática poderosa que permite modelar y resolver problemas que involucran el movimiento de algo a través de una red. Originalmente concebidos para optimizar el tra
Este artículo explora una optimización interesante en el lenguaje de programación K, específicamente relacionada con la eliminación de una técnica llamada 'raze'. K es un lenguaje de programación de matriz (array language) conocido por su concisión y expresividad. El problema que aborda el autor, Ch
Este artículo explora una idea fascinante en el entrenamiento de redes neuronales: el impacto del orden en que se presentan los ejemplos de entrenamiento. Normalmente, se asume que el orden no debería importar, especialmente desde una perspectiva bayesiana donde el conjunto de datos es una colección
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
Endbot es una demostración audiovisual increíblemente compacta, que se ajusta en tan solo 256 bytes, diseñada para ejecutarse en el entorno DOS (específicamente a través de DosBox-X). Su tamaño minúsculo desafía las expectativas, logrando renderizar elementos visuales como un sprite de robot con dañ
Un desarrollador ha logrado reducir el tamaño de un archivo ELF (Executable and Linkable Format) de Linux a tan solo 105 bytes, mientras mantiene la capacidad de imprimir el mensaje "Hello, world!". Esta hazaña, impulsada por el trabajo de Josh Triplett, se basa en técnicas de optimización que elimi
Usuarios en internet están experimentando una ralentización generalizada en la velocidad de las aplicaciones web, incluso en páginas simples con solo texto. Esta problemática, evidenciada en plataformas como AWS, Reddit y herramientas como DeepL, sugiere un problema subyacente en la optimización del
Attention Residuals (AttnRes) es una innovadora técnica que optimiza las conexiones residuales en los Transformers, una arquitectura fundamental en modelos de lenguaje grandes (LLMs) como GPT. Tradicionalmente, las conexiones residuales simplemente suman la salida de cada capa con una ponderación u
El algoritmo K-Means es una técnica fundamental en aprendizaje automático para agrupar datos similares. Tradicionalmente, se ha utilizado para tareas como organizar conjuntos de datos o preprocesar incrustaciones (embeddings), pero su aplicación en tiempo real, en sistemas online, ha sido limitada p
Las '5 Reglas de Programación' de Rob Pike, un ingeniero influyente en Google y creador de lenguajes como Go, ofrecen una guía valiosa para el desarrollo de software eficiente y mantenible. Estas reglas, que se basan en principios establecidos por otros grandes de la informática, enfatizan la import
Este artículo aborda una preocupación común en programación, especialmente en Rust: el costo de la indirección, es decir, la sobrecarga de las llamadas a funciones. La advertencia habitual es "cada llamada de función adicional añade sobrecarga, inlínala". Sin embargo, en el contexto del código asínc
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 repositorio de GitHub, creado por Andrej Karpathy, presenta un enfoque innovador para la investigación en inteligencia artificial: la 'autoresearch'. En lugar de la investigación tradicional, donde humanos modifican el código, este sistema permite a agentes de IA experimentar y optimizar modelo
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
Hillel Wayne ha publicado una serie de scripts de ejemplo utilizando Z3, un potente solucionador SMT (Satisfiability Modulo Theories). Z3 es una herramienta que puede resolver problemas matemáticos y de programación, encontrando soluciones que satisfacen un conjunto de ecuaciones y restricciones. Wa
Este artículo explora un problema interesante que surge en el diseño de juegos: cómo eliminar elementos de un mapa de forma estratégica para mantenerlo jugable y atractivo. El problema se presenta en el contexto del juego 'Two Spies', donde eliminar ciudades del mapa es un mecanismo clave para evita
Este artículo explora el concepto de 'Level of Detail' (LoD), originalmente utilizado en gráficos 3D para optimizar el rendimiento renderizando modelos con menos detalle a distancia, y lo aplica al desarrollo de software. La idea central es que, al igual que en gráficos, no siempre es necesario tene
El artículo de Bee Rosa Davis presenta una innovadora técnica llamada 'Curvature-Guided Wavefront Execution' (Ejecución de Frente de Onda Guiada por Curvatura) que revoluciona la resolución de problemas de satisfacción de restricciones (CSP) utilizando la potencia de las GPUs. En esencia, se trata d
Un nuevo framework de Python llamado Copapy ha sido desarrollado para facilitar la computación en tiempo real determinista y de baja latencia en sistemas embebidos. Inspirado en frameworks de IA como PyTorch y JAX, Copapy busca ofrecer la flexibilidad de Python con el rendimiento de código máquina o
Este artículo presenta una técnica innovadora para el auto-tileado en el desarrollo de juegos 2D, que reduce significativamente la cantidad de tiles necesarios para crear niveles complejos. Tradicionalmente, el auto-tileado implica analizar los ocho vecinos de una celda y seleccionar una de entre 16
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
Se ha desarrollado un nuevo método para acelerar las consultas espaciales en bases de datos, conocidas como 'uniones geoespaciales' o 'geo joins', logrando mejoras de velocidad de hasta 400 veces. Las 'geo joins', que involucran la comparación de geometrías para determinar intersecciones (como encon
