Glosario de Arquitectura
608 términos · definiciones con implementaciones canónicas y papers fundacionales
Sin resultados para ""
Algoritmos de Consenso (3)
Paxos Paxos es una familia de algoritmos de consenso distribuido que garantiza la consistencia de los datos en un sistema distribuido, incluso frente a fallos de nodos o de red, permitiendo que un grupo de Proof of Work (PoW) Proof of Work (PoW) es un mecanismo de consenso criptográfico que requiere que los participantes realicen una cantidad significativa de trabajo computacional para añadir nuevos bloques a una cadena de Raft Protocolo de consenso distribuido diseñado para ser comprensible, usado en etcd, CockroachDB y Consul.
Sistemas Distribuidos (150)
A/B Testing El A/B Testing es una metodología experimental para comparar dos o más versiones de un elemento (A y B) para determinar cuál rinde mejor en función de métricas predefinidas, exponiendo segmentos de us ACID Transactions ACID (Atomicity, Consistency, Isolation, Durability) es un conjunto de propiedades que garantizan que las transacciones de bases de datos se procesen de forma fiable, incluso frente a errores o fallos AT Protocol El AT Protocol (Authenticated Transfer Protocol) es un protocolo de red federado y descentralizado para aplicaciones sociales, diseñado para permitir la interoperabilidad, la portabilidad de datos y l Accumulators Los Accumulators son estructuras de datos o patrones de programación que permiten la agregación eficiente y distribuida de valores, a menudo en un contexto de procesamiento paralelo o distribuido, sin Actor Model Un modelo de concurrencia que trata a los 'actores' como las primitivas universales de computación concurrente, comunicación asíncrona y aislamiento de estado. Adaptive Specialization Adaptive Specialization es una técnica que permite a un sistema optimizar dinámicamente su comportamiento o estructura en tiempo de ejecución basándose en patrones de uso o condiciones ambientales obs Agentic AI Agentic AI se refiere a sistemas de inteligencia artificial que operan con autonomía, persisten en el tiempo, poseen memoria, y son capaces de planificar, ejecutar acciones, y corregir su comportamien Agentic Systems Sistemas autónomos que perciben su entorno, toman decisiones y actúan para lograr objetivos específicos, a menudo exhibiendo comportamiento adaptativo y auto-organización. AllReduce AllReduce es una operación de comunicación colectiva en sistemas distribuidos donde todos los procesos contribuyen con un dato y reciben el resultado de una operación de reducción aplicada a todos los AppView AppView es una abstracción de la interfaz de usuario de una aplicación que permite su renderizado y manipulación de forma remota o desacoplada del proceso principal de la aplicación. Backpressure Mecanismo para que un consumidor lento notifique a un productor rápido que debe reducir su tasa de envío de datos, evitando la sobrecarga y el agotamiento de recursos. Bounded Context Un Bounded Context define un límite explícito dentro del cual un modelo de dominio particular es coherente y tiene un significado unívoco, resolviendo ambigüedades semánticas en sistemas complejos. Bytecode Virtual Machine Una Bytecode Virtual Machine (BVM) es un entorno de ejecución que interpreta y ejecuta 'bytecode', una forma intermedia de código que es independiente de la plataforma y del hardware subyacente. CAP Theorem El Teorema CAP establece que un sistema distribuido que maneja datos compartidos no puede garantizar simultáneamente Consistencia (Consistency), Disponibilidad (Availability) y Tolerancia a Particione COPY FROM Protocol Un protocolo de transferencia de datos optimizado para la replicación eficiente de grandes volúmenes de información entre nodos en sistemas distribuidos, minimizando la carga en el nodo fuente. CORBA CORBA (Common Object Request Broker Architecture) es un estándar de la OMG que permite la interoperabilidad entre objetos distribuidos escritos en diferentes lenguajes de programación y ejecutándose e CRDT Los CRDT (Conflict-free Replicated Data Types) son tipos de datos que pueden ser replicados en múltiples nodos, actualizados de forma independiente y concurrente, y fusionados automáticamente sin nece Canonicalization Canonicalization es el proceso de convertir datos que tienen múltiples representaciones posibles a una forma estándar, única y preferida, eliminando la ambigüedad y facilitando la comparación y el pro Cap'n Proto Cap'n Proto es un formato de serialización de datos binario extremadamente rápido y eficiente, diseñado para RPC y almacenamiento, que permite acceso directo a los datos sin deserialización ni copias. Channel Un 'Channel' es un mecanismo de comunicación concurrente que permite el intercambio seguro de datos entre diferentes procesos, goroutines o threads, actuando como una cola de mensajes tipada y sincron Circuit Breaker Patrón de resiliencia que corta llamadas a un servicio degradado para evitar la propagación de fallos en cascada. Circular Wait Una de las cuatro condiciones de Coffman para el deadlock, donde un conjunto de procesos o hilos están esperando recursos que son poseídos por otros procesos en el mismo conjunto, formando un ciclo. Cloudflare Workers Cloudflare Workers es una plataforma de computación serverless basada en el estándar WebAssembly, que permite ejecutar código JavaScript, TypeScript o cualquier lenguaje compilado a WASM en la red glo Code Mode Un 'Code Mode' se refiere a un estado o configuración de un sistema o herramienta donde el usuario interactúa directamente con el código fuente o la configuración programática, en lugar de interfaces Cog Un 'Cog' es una unidad fundamental de procesamiento o un componente de servicio en un sistema distribuido, a menudo encapsulando lógica de negocio específica y recursos, diseñado para ser escalable y Colossus Colossus es la tercera generación del sistema de archivos distribuido de Google, diseñado para reemplazar a GFS (Google File System) y proporcionar almacenamiento escalable, duradero y de alta disponi Composition Composition es un principio de diseño que implica construir sistemas complejos a partir de componentes más pequeños, independientes y bien definidos, que interactúan entre sí para lograr una funcional Conditional Write Una operación de escritura que solo se ejecuta si una o más condiciones predefinidas sobre el estado actual de los datos se cumplen, garantizando atomicidad y consistencia en sistemas concurrentes. Confucius Framework Confucius Framework es un framework de computación distribuida de código abierto diseñado para la gestión y ejecución eficiente de tareas en clústeres heterogéneos, optimizando el uso de recursos y la Consensus Scoring Consensus Scoring es una técnica en sistemas distribuidos para evaluar y ponderar la confianza o validez de las propuestas de múltiples nodos, facilitando la toma de decisiones colectiva y robusta. Consistent Hashing Consistent Hashing es una técnica de hashing distribuido que minimiza la reasignación de claves cuando se añaden o eliminan nodos en un sistema, mejorando la disponibilidad y reduciendo la carga de da Contract-First Design Una metodología de diseño donde la interfaz de un servicio o componente se define formalmente antes de su implementación, actuando como un contrato vinculante entre las partes. Control Plane El Control Plane es el componente de un sistema distribuido responsable de la lógica de orquestación y gestión, tomando decisiones sobre el estado del sistema y la configuración de sus componentes. Crossplane Crossplane es un framework de código abierto que extiende Kubernetes para permitir la gestión y el aprovisionamiento de infraestructura y servicios externos desde cualquier proveedor de nube o on-prem Custom Resources Custom Resources (CRs) en Kubernetes permiten extender la API de Kubernetes con nuevos tipos de objetos, facilitando la gestión declarativa de componentes de aplicaciones y servicios que no son nativo DCOM DCOM (Distributed Component Object Model) es una extensión de Microsoft del modelo COM que permite a los componentes de software comunicarse directamente a través de una red, facilitando la construcci Deforestation En sistemas distribuidos, 'Deforestation' es una técnica de optimización de compilación que elimina la construcción y deconstrucción de estructuras de datos intermedias, fusionando múltiples transform Disaggregated Prefill Disaggregated Prefill es una técnica de optimización para Large Language Models (LLMs) que desacopla la fase de 'prefill' (procesamiento del prompt inicial) de la fase de 'decoding' (generación secuen Domain-Driven Design Domain-Driven Design (DDD) es un enfoque de desarrollo de software que prioriza la comprensión profunda del dominio de negocio y la creación de modelos de software que reflejen fielmente esa lógica, u Dot2 Dot2 es un algoritmo de replicación de datos optimista, asíncrono y sin líderes, diseñado para sistemas distribuidos que priorizan la alta disponibilidad y la baja latencia, incluso frente a particion Dual-Source Hypothesis Engine Un Dual-Source Hypothesis Engine es un componente de software que genera y evalúa hipótesis sobre el estado de un sistema o entidad, utilizando información proveniente de al menos dos fuentes de datos Durable Object Un Durable Object es una instancia única de una clase JavaScript que persiste su estado y maneja todas las solicitudes para un ID dado, garantizando consistencia fuerte y coordinación distribuida sin Durable Object Alarm Un mecanismo de temporización asíncrono que permite a un Cloudflare Durable Object programar una función para que se ejecute en un momento futuro, incluso si el Object no está activo. Dynamic Dilation Dynamic Dilation es una técnica para ajustar dinámicamente la velocidad de ejecución de un subconjunto de nodos en un sistema distribuido, desacelerándolos artificialmente para simular condiciones de Dynamic Worker Isolate Un Dynamic Worker Isolate es un entorno de ejecución ligero, efímero y altamente aislado, diseñado para ejecutar cargas de trabajo de corta duración y sin estado, optimizando la seguridad, el rendimie ETS Table ETS (Erlang Term Storage) Table es un mecanismo de almacenamiento en memoria, rápido y flexible, proporcionado por el entorno de ejecución de Erlang/OTP, utilizado para guardar cualquier tipo de térmi Escrow Contract Un Escrow Contract es un acuerdo en el que un activo o dato es retenido por una tercera parte neutral hasta que se cumplen condiciones predefinidas, garantizando la seguridad y el cumplimiento entre p Event Sourcing Event Sourcing es un patrón de arquitectura donde todos los cambios al estado de una aplicación se almacenan como una secuencia inmutable de eventos, en lugar de solo el estado actual. Event-Driven Architecture Un paradigma de arquitectura de software donde los componentes de un sistema se comunican y reaccionan a eventos, desacoplando productores y consumidores para mejorar la escalabilidad, resiliencia y e Event-Driven Task Una Event-Driven Task es una unidad de trabajo o computación que se inicia y ejecuta en respuesta a la ocurrencia de un evento específico, en lugar de seguir un cronograma fijo o una invocación direct Exponential Backoff Exponential Backoff es una estrategia algorítmica que incrementa progresivamente el tiempo de espera entre reintentos de una operación fallida, reduciendo la carga en el sistema y evitando la congesti Failover Failover es un mecanismo de alta disponibilidad que transfiere automáticamente la carga de trabajo de un componente fallido a un componente redundante y en buen estado, minimizando el tiempo de inacti Feature Flag Una Feature Flag (también conocida como 'Feature Toggle') es una técnica de desarrollo de software que permite activar o desactivar funcionalidades de forma dinámica en tiempo de ejecución, sin necesi Feedback Control Un mecanismo de control donde la salida de un sistema se mide y se realimenta para ajustar la entrada, buscando mantener un estado deseado o alcanzar un objetivo específico. Feedforward Control El Feedforward Control es una estrategia de control proactiva que utiliza mediciones de perturbaciones para anticipar y compensar sus efectos en un sistema antes de que afecten la salida, mejorando la Firehose Un 'Firehose' es un patrón de diseño en sistemas distribuidos que describe un flujo continuo, de alto volumen y baja latencia de datos, a menudo utilizado para la ingesta y procesamiento en tiempo rea Fitness Function Una Fitness Function es una métrica objetiva que cuantifica qué tan bien una solución candidata resuelve un problema, guiando la optimización y evolución de sistemas complejos, especialmente en arquit Foreign Function Interface Un Foreign Function Interface (FFI) es un mecanismo que permite a un programa escrito en un lenguaje de programación llamar a funciones o utilizar servicios de bibliotecas escritas en otro lenguaje de GEPA GEPA (Generalized Eventual Path Agreement) es un modelo de consistencia distribuida que extiende el concepto de consistencia eventual para garantizar que todos los nodos eventualmente acuerden la mism Geometric Lens Un 'Geometric Lens' es un patrón de diseño para la gestión de datos distribuidos que permite la manipulación y consulta eficiente de subconjuntos de datos basados en propiedades geométricas o espacial GitOps GitOps es un paradigma operativo que utiliza Git como la única fuente de verdad declarativa para la infraestructura y las aplicaciones, permitiendo la entrega continua y la gestión de la configuración Hexagonal Architecture La Arquitectura Hexagonal, también conocida como 'Ports and Adapters', es un patrón arquitectónico que aísla la lógica de negocio central de las preocupaciones externas (UI, bases de datos, servicios Host Function Una Host Function es una función proporcionada por el entorno anfitrión (host) que puede ser invocada por un módulo de 'guest' (invitado), como un WebAssembly (Wasm) o un eBPF, para realizar operacion IDEMPOTENT mode El modo IDEMPOTENT asegura que una operación puede ser ejecutada múltiples veces sin cambiar el resultado inicial después de la primera ejecución exitosa, crucial para la fiabilidad en sistemas distri IPC IPC (Inter-Process Communication) es un conjunto de mecanismos que permiten a procesos separados intercambiar datos y sincronizar sus actividades, fundamental para la colaboración en sistemas operativ Idempotencia Propiedad de una operación donde ejecutarla múltiples veces produce el mismo resultado que ejecutarla una sola vez. Incremental Static Regeneration Una técnica de renderizado web que permite actualizar páginas estáticas pre-generadas en tiempo de ejecución, combinando la velocidad del Static Site Generation (SSG) con la frescura de los datos del Inference Trilemma El Inference Trilemma describe el desafío fundamental de optimizar un sistema de inferencia de Machine Learning para baja latencia, alto rendimiento y alta precisión simultáneamente, donde solo dos de Infrastructure as Code Infrastructure as Code (IaC) es la gestión y aprovisionamiento de infraestructura computacional (redes, máquinas virtuales, balanceadores de carga, etc.) utilizando archivos de configuración legibles Internationalization Internationalization (i18n) es el proceso de diseñar y desarrollar un producto o aplicación de software de tal manera que pueda ser fácilmente adaptado a diferentes idiomas, regiones geográficas y cul JSRPC JSRPC es un protocolo RPC ligero basado en JSON para la comunicación entre procesos, diseñado para ser simple, interoperable y fácil de implementar en diversos entornos de programación. KAITO KAITO es un marco de trabajo de código abierto para construir y operar sistemas de IA distribuidos y escalables, facilitando la orquestación de modelos de lenguaje grandes (LLMs) y otros modelos de IA LATERAL JOIN LATERAL JOIN es una construcción SQL que permite referenciar columnas de la tabla de la izquierda en una subconsulta o función con valores de tabla en el lado derecho, ejecutando la subconsulta una ve Language Boundary Un Language Boundary es el punto de interacción o interfaz entre componentes de software escritos en diferentes lenguajes de programación, a menudo implicando mecanismos de serialización/deserializaci Layout El 'layout' se refiere a la organización física o lógica de datos o componentes dentro de un sistema, afectando directamente el rendimiento, la eficiencia del almacenamiento y la resiliencia. LockId Un LockId es un identificador único utilizado para referenciar y gestionar un recurso bloqueado dentro de un sistema concurrente o distribuido, permitiendo su adquisición y liberación controlada. Low Precision Collectives (LPC) Low Precision Collectives (LPC) son operaciones de comunicación colectiva en sistemas distribuidos que utilizan tipos de datos de menor precisión (ej. FP16, BF16, INT8) para reducir el ancho de banda MVP Matrix La MVP Matrix es una herramienta estratégica para la priorización de características en el desarrollo de productos, mapeando el valor para el usuario frente a la viabilidad técnica para identificar el Model Context Protocol Un protocolo estandarizado para la gestión y el intercambio del contexto operacional de un modelo de Machine Learning entre diferentes componentes de un sistema distribuido, asegurando coherencia y tr Model Context Protocol (MCP) El Model Context Protocol (MCP) es un estándar o patrón de diseño para la gestión y propagación del contexto operacional y de negocio a través de sistemas distribuidos, asegurando la coherencia y traz Multi-Version Concurrency Control MVCC es una técnica de control de concurrencia que permite a múltiples transacciones acceder y modificar datos simultáneamente sin bloqueos mutuos, manteniendo versiones históricas de los datos. Multi-card Sharding Multi-card Sharding es una técnica de distribución de carga y datos en sistemas de cómputo de alto rendimiento, donde las operaciones se dividen y asignan a múltiples unidades de procesamiento (GPUs, Natural Batching Natural Batching es una técnica de optimización en sistemas distribuidos que agrupa automáticamente múltiples solicitudes o eventos individuales en un único 'batch' más grande, basándose en la acumula OCI Image Format El OCI Image Format es una especificación estándar para empaquetar imágenes de contenedores, asegurando la interoperabilidad entre diferentes runtimes y herramientas del ecosistema de contenedores. OpenFeature OpenFeature es un estándar de Cloud Native Computing Foundation (CNCF) que proporciona una API agnóstica de proveedor para la evaluación de feature flags, permitiendo a los desarrolladores instrumenta Operational Transformation Operational Transformation (OT) es un algoritmo para mantener la consistencia de datos compartidos y concurrentemente editados en entornos colaborativos, permitiendo que múltiples usuarios modifiquen Operator Pattern El Operator Pattern es un método para empaquetar, desplegar y gestionar una aplicación de Kubernetes. Extiende la API de Kubernetes para automatizar tareas operacionales complejas, como el despliegue, PGAS PGAS (Partitioned Global Address Space) es un modelo de programación paralela que ofrece una vista global de la memoria compartida, pero donde cada procesador posee una porción local de esa memoria, o PNR PNR (Passenger Name Record) es un registro electrónico que contiene la información del itinerario y los datos personales de un pasajero o grupo de pasajeros, gestionado por sistemas de distribución gl Pipeline Parallelism Técnica de paralelización que divide una tarea computacional en etapas secuenciales, ejecutando cada etapa en un procesador o dispositivo diferente de forma concurrente, similar a una línea de ensambl Prefill Prefill es una técnica de optimización que consiste en cargar o generar datos de forma anticipada en un sistema o componente, antes de que sean explícitamente solicitados o necesarios, para reducir la Prefix Caching Prefix Caching es una técnica de optimización que almacena en caché prefijos comunes de datos o resultados de cómputo para acelerar el acceso futuro a elementos que comparten esos prefijos, reduciendo Preview Environment Un Preview Environment es una instancia efímera y aislada de una aplicación o servicio, replicando su entorno de producción, creada dinámicamente para validar cambios de código antes de su despliegue. Prompt Caching Prompt Caching es una técnica de optimización en Large Language Models (LLMs) que almacena en caché las representaciones intermedias (claves y valores) de los tokens de un prompt, evitando recalcularl RAG RAG (Retrieval-Augmented Generation) es una técnica que mejora la precisión y relevancia de los Large Language Models (LLMs) al permitirles acceder y referenciar información externa y actualizada dura RAG (Retrieval Augmented Generation) RAG es una técnica que mejora la precisión y relevancia de los Large Language Models (LLMs) al recuperar información de fuentes de datos externas y autorizadas antes de generar una respuesta. RFC 9457 RFC 9457 define un formato estándar para comunicar detalles de problemas en APIs HTTP, facilitando la interoperabilidad y el manejo de errores estructurado en sistemas distribuidos. RPC RPC (Remote Procedure Call) es un protocolo que permite a un programa de computadora invocar un procedimiento (subrutina) en otro espacio de direcciones (normalmente en una computadora remota) como si Ranking System Un Ranking System es un conjunto de algoritmos y procesos que evalúan y ordenan elementos (productos, usuarios, resultados de búsqueda) basándose en criterios específicos para presentar los más releva React Server Components React Server Components (RSC) son componentes de React que se renderizan en el servidor, permitiendo una mejor performance al reducir el JavaScript enviado al cliente y acceder directamente a recursos Rebase Rebase es una operación de Git que permite mover o combinar una secuencia de commits a una nueva base, reescribiendo el historial de un branch para mantenerlo lineal y limpio. Reconciliation Loop Un Reconciliation Loop es un patrón de control en sistemas distribuidos que compara continuamente el estado deseado de un sistema con su estado actual, aplicando acciones correctivas para cerrar cualq Reified Environment Un 'Reified Environment' es una representación explícita y programática de un entorno de ejecución o configuración, tratada como una entidad de primera clase que puede ser manipulada, versionada y des Request-Oriented Optimization Estrategia de optimización que prioriza la latencia y el rendimiento de las solicitudes críticas, adaptando los recursos y el comportamiento del sistema para satisfacer sus requisitos específicos, a m Retrieval-Augmented Generation RAG es una técnica que mejora la precisión y relevancia de los Large Language Models (LLMs) al recuperar información de una base de conocimiento externa y usarla para fundamentar la generación de resp Retrieval-Augmented Generation (RAG) RAG es una técnica que mejora la precisión y relevancia de los Large Language Models (LLMs) al recuperar información de una base de conocimiento externa y usarla para condicionar la generación de resp Rmax Rmax es el número máximo de réplicas que un sistema distribuido puede tolerar que fallen simultáneamente sin perder disponibilidad o consistencia, un parámetro crítico para la resiliencia. Rolldown El 'Rolldown' es una técnica de optimización en sistemas distribuidos y bases de datos que consiste en consolidar o agregar datos históricos o de baja granularidad para reducir el volumen de almacenam Rollup Un Rollup es una solución de escalabilidad de Capa 2 que agrupa (batches) múltiples transacciones fuera de la cadena principal (off-chain) y luego publica una prueba criptográfica concisa de su valide SME Un Subject Matter Expert (SME) es un individuo con un conocimiento profundo y especializado en un área técnica o de negocio específica, crucial para la toma de decisiones y la resolución de problemas SQL Dialect Una variante específica del lenguaje SQL estándar, adaptada por diferentes sistemas de gestión de bases de datos (DBMS) para incluir funcionalidades, sintaxis o tipos de datos propietarios. Schema Morphism Un Schema Morphism es una transformación que mapea un esquema de datos a otro, preservando la estructura y la semántica de la información subyacente, facilitando la interoperabilidad y la evolución de Semantics La semántica define el significado y las reglas de interpretación de las operaciones y estados en un sistema, crucial para la consistencia y el comportamiento predecible, especialmente en entornos dis Sharding Técnica de particionamiento horizontal que divide los datos en fragmentos independientes para escalar horizontalmente. Simulation Relation Una relación de simulación es una técnica formal para probar la corrección de un sistema complejo (el 'sistema concreto') demostrando que su comportamiento es una 'simulación' del comportamiento de un Single Writer Principle El Single Writer Principle es un patrón de diseño que asegura que solo una entidad (un hilo, proceso o nodo) tenga permiso para modificar un estado o recurso compartido en un momento dado, simplifican Sparse Architecture Una Sparse Architecture es un paradigma de diseño de sistemas que prioriza la eficiencia y escalabilidad mediante la activación selectiva de componentes o recursos solo cuando son estrictamente necesa Speculative Decoding Speculative Decoding es una técnica de optimización para la inferencia de Large Language Models (LLMs) que acelera la generación de texto prediciendo y validando secuencias de tokens en paralelo, redu Spilling Spilling es el proceso de mover datos temporales desde la memoria principal (RAM) a un almacenamiento secundario más lento (como disco o SSD) cuando la memoria disponible es insuficiente para una oper Stateless Broker Un Stateless Broker es un componente de un sistema distribuido que procesa mensajes o solicitudes sin retener ningún estado específico de la sesión o del cliente entre interacciones, simplificando la Structured Concurrency Structured Concurrency es un paradigma de programación concurrente que organiza las operaciones concurrentes en una jerarquía bien definida, asegurando que el ciclo de vida de las tareas secundarias e TPF TPF (Transaction Processing Facility) es un sistema operativo de tiempo real y un entorno de procesamiento de transacciones diseñado para manejar volúmenes extremadamente altos de transacciones con ba TTL Time To Live (TTL) es un mecanismo que limita la vida útil o el número de saltos de un dato o paquete en una red, asegurando su eventual expiración o descarte. Temporal Buckets Los Temporal Buckets son una técnica de agregación de datos que organiza eventos o métricas en intervalos de tiempo discretos y predefinidos, facilitando el análisis, la consulta y la gestión eficient Tensor Parallelism Tensor Parallelism es una técnica de paralelización de modelos de Machine Learning que distribuye las operaciones de tensores (matrices y vectores) a través de múltiples dispositivos computacionales, Thick Client Un 'Thick Client' (o 'Rich Client') es una aplicación cliente en una arquitectura cliente-servidor que realiza una parte sustancial del procesamiento de datos y la lógica de negocio localmente, requir ThreadLocal ThreadLocal es un mecanismo que permite almacenar datos de forma aislada para cada hilo de ejecución, garantizando que cada hilo tenga su propia copia independiente de una variable. Tiered Rationales Un enfoque estructurado para la toma de decisiones en sistemas complejos, donde las justificaciones se organizan jerárquicamente, desde principios de alto nivel hasta detalles de implementación especí Time to First Token Métrica clave en sistemas generativos de IA que mide el tiempo transcurrido desde que se envía una solicitud hasta que el primer token de la respuesta es recibido por el cliente. Token Budget El Token Budget es el límite máximo de tokens (unidades de texto procesables) que un modelo de lenguaje o sistema puede procesar en una única interacción o contexto, afectando directamente la longitud Token Cost El Token Cost es una métrica que cuantifica los recursos computacionales o financieros asociados con el procesamiento de unidades discretas de información (tokens) en sistemas basados en modelos de le Token Economics El diseño de incentivos y mecanismos económicos que rigen la creación, distribución y valor de los tokens dentro de un ecosistema descentralizado, buscando alinear los intereses de los participantes. Tombstone Un 'tombstone' es un marcador especial utilizado en sistemas distribuidos y bases de datos para indicar que un elemento de datos ha sido eliminado lógicamente, pero aún se mantiene físicamente durante Tool Calls Mecanismo mediante el cual un Large Language Model (LLM) puede invocar funciones externas o 'herramientas' para extender sus capacidades más allá de su conocimiento entrenado, permitiéndole interactua Topos Topos es un concepto matemático de la teoría de categorías que generaliza la noción de 'espacio' y 'conjunto', proporcionando un marco para modelar sistemas con propiedades lógicas y estructurales com Torchcomms Torchcomms es una biblioteca de comunicación distribuida de alto rendimiento para PyTorch, diseñada para facilitar el entrenamiento de modelos de aprendizaje profundo a gran escala en clústeres de GPU Totality En sistemas distribuidos, 'Totality' se refiere a la propiedad de que un conjunto de operaciones o un estado de sistema se considera completo y consistente, sin omisiones ni ambigüedades, garantizando Tribal Knowledge El 'Tribal Knowledge' se refiere al conocimiento no documentado, tácito y a menudo crítico que reside en las mentes de individuos o pequeños grupos dentro de una organización, vital para operar, mante Tuple Deforming Tuple Deforming es una técnica avanzada en sistemas distribuidos que permite la modificación dinámica de la estructura de tuplas de datos en tiempo de ejecución, adaptándose a cambios en esquemas o re Turbopack Turbopack es un bundler de JavaScript y TypeScript escrito en Rust, diseñado para ser un sucesor de Webpack, ofreciendo compilaciones más rápidas y un HMR (Hot Module Replacement) instantáneo para apl WeakConnectionHandle Un 'WeakConnectionHandle' es una referencia débil a una conexión de red activa, permitiendo que la conexión sea recolectada por el garbage collector si no hay otras referencias fuertes, facilitando la WebAssembly WebAssembly (Wasm) es un formato de instrucción binario para una máquina virtual basada en pila, diseñado como un objetivo de compilación portátil para lenguajes de alto nivel, permitiendo la ejecució WebAssembly (Wasm) WebAssembly (Wasm) es un formato de instrucción binario para una máquina virtual basada en pila, diseñado como un objetivo de compilación portátil para lenguajes de alto nivel, permitiendo la ejecució Window Virtualization Técnica que permite a múltiples usuarios o aplicaciones ejecutar sus propias instancias de un entorno de escritorio gráfico, cada una aislada, sobre un único servidor físico o virtualizado, optimizand Workers AI Workers AI es una plataforma de inferencia de modelos de Machine Learning sin servidor, distribuida globalmente y optimizada para la ejecución de modelos en la 'edge', directamente sobre la infraestru Workers Isolate Un Workers Isolate es un entorno de ejecución ligero y aislado, similar a un 'sandbox', que permite ejecutar código de forma segura y concurrente sin la sobrecarga de procesos o máquinas virtuales com Zero Runtime Zero Runtime se refiere a sistemas o herramientas que, una vez compilados o procesados, no requieren un entorno de ejecución adicional (runtime) para operar, resultando en binarios autocontenidos y de etcd etcd es un almacén de clave-valor distribuido, consistente y altamente disponible, diseñado para almacenar datos de configuración críticos y estados de sistemas distribuidos, utilizando el algoritmo d liteLLM liteLLM es una librería de Python que simplifica el uso de modelos de lenguaje grandes (LLMs) de diversos proveedores, unificando sus APIs en una interfaz consistente y ofreciendo funcionalidades avan workerd workerd es un runtime de JavaScript/TypeScript de código abierto, diseñado para ejecutar servicios de red de alto rendimiento y baja latencia, optimizado para arquitecturas serverless y edge computing
Estructuras de Datos (151)
Abstract Syntax Tree Un Abstract Syntax Tree (AST) es una representación intermedia y jerárquica del código fuente de un programa, que abstrae la sintaxis concreta y se enfoca en la estructura lógica y semántica del códig Abstract Syntax Tree (AST) Un Abstract Syntax Tree (AST) es una representación intermedia y jerárquica del código fuente de un programa, que abstrae la sintaxis concreta para centrarse en la estructura lógica y semántica. Ad Hoc Polymorphism El Polimorfismo Ad Hoc permite que una misma función o método opere sobre diferentes tipos de datos, con una implementación específica para cada tipo, seleccionada en tiempo de compilación o ejecución Adjoint Triple Un Adjoint Triple es una construcción abstracta en teoría de categorías que describe una relación fundamental entre tres funtores, donde dos de ellos son adjuntos entre sí y el tercero es adjunto al s Agentic Coding Agentic Coding es un paradigma de desarrollo de software donde agentes autónomos basados en IA colaboran para generar, probar, depurar y refactorizar código, operando con un alto grado de independenci Aho-Corasick El algoritmo Aho-Corasick es un algoritmo de búsqueda de cadenas de texto que localiza todas las ocurrencias de un conjunto finito de patrones dentro de un texto de entrada en tiempo lineal. Alive2 Alive2 es un verificador de equivalencia de programas que utiliza SMT solvers para demostrar la corrección de optimizaciones y transformaciones de código, especialmente en compiladores como LLVM. Allocator Un Allocator es un componente fundamental en la gestión de memoria que se encarga de asignar y liberar bloques de memoria a los programas bajo demanda, optimizando el uso de recursos y minimizando la Approximate Nearest Neighbor (ANN) ANN es una familia de algoritmos que encuentran los 'vecinos más cercanos' a un punto de consulta en un espacio de alta dimensión, sacrificando una pequeña cantidad de precisión por una mejora signifi Approximate Nearest Neighbor Search Algoritmos para encontrar puntos de datos 'cercanos' en espacios de alta dimensión de manera eficiente, sacrificando una precisión perfecta por velocidad y escalabilidad. AtomicPtr AtomicPtr es un tipo de puntero atómico que permite operaciones de lectura, escritura y modificación de punteros de forma segura en entornos concurrentes, garantizando la integridad de los datos sin n Attention Mechanism Un mecanismo en redes neuronales que permite al modelo ponderar la importancia de diferentes partes de la secuencia de entrada al generar una salida, mejorando el enfoque en información relevante. Automatic Prompt Optimization Automatic Prompt Optimization (APO) es un conjunto de técnicas y algoritmos que ajustan y refinan iterativamente los prompts de entrada para modelos de lenguaje grandes (LLMs) con el objetivo de mejor Autoresearch Autoresearch se refiere a la capacidad de un sistema de inteligencia artificial para formular hipótesis, diseñar experimentos, ejecutarlos, analizar los resultados y refinar su conocimiento de manera B-tree Un B-tree es una estructura de datos de árbol auto-balanceado que mantiene los datos ordenados y permite búsquedas, inserciones y eliminaciones eficientes en tiempo logarítmico, optimizada para sistem BLAS BLAS (Basic Linear Algebra Subprograms) es una especificación de API para rutinas de álgebra lineal de bajo nivel, optimizadas para rendimiento en operaciones vectoriales y matriciales. BM25 BM25 (Best Match 25) es una función de ranking utilizada en sistemas de recuperación de información para estimar la relevancia de documentos respecto a una consulta, basándose en la frecuencia de térm Block-Max WAND Block-Max WAND es un algoritmo de optimización para la recuperación de información que acelera las consultas 'top-k' en índices invertidos, utilizando umbrales y la estructura de bloques para evitar e BlockingQueue Una BlockingQueue es una interfaz de cola concurrente que bloquea la operación de un hilo cuando intenta añadir un elemento a una cola llena o tomar un elemento de una cola vacía, hasta que la operaci Bump Allocator Un Bump Allocator es un tipo de asignador de memoria muy simple y rápido que asigna bloques de memoria de forma contigua, incrementando un puntero ("bump") con cada solicitud, ideal para escenarios de Byte-Pair Encoding Byte-Pair Encoding (BPE) es un algoritmo de compresión de datos que identifica y reemplaza pares de bytes o caracteres que aparecen con frecuencia por un nuevo byte o símbolo no utilizado, construyend Bézier Curve Una curva de Bézier es una curva paramétrica utilizada en gráficos por computadora y diseño asistido por computadora para modelar curvas suaves que son escalables y fáciles de manipular. Catamorphism Un catamorfismo es una función de plegado (fold) que reduce una estructura de datos recursiva (como una lista o un árbol) a un valor único, aplicando una operación a cada elemento y combinando los res Chain-of-Thought Chain-of-Thought (CoT) es una técnica de 'prompt engineering' que permite a los Large Language Models (LLMs) descomponer problemas complejos en pasos intermedios, mejorando su capacidad de razonamient Chain-of-Thought Prompting Una técnica de ingeniería de prompts que instruye a los Large Language Models (LLMs) a descomponer problemas complejos en pasos intermedios, mejorando la precisión y la interpretabilidad de sus respue Chroma Chroma es una base de datos vectorial de código abierto diseñada para facilitar la construcción de aplicaciones de inteligencia artificial generativa, permitiendo el almacenamiento, indexación y búsqu Codelet Un Codelet es una pequeña y autocontenida unidad de código ejecutable, diseñada para realizar una tarea específica y a menudo utilizada en contextos de optimización de rendimiento, paralelización o co Concrete Syntax Tree (CST) Un Concrete Syntax Tree (CST) es una representación en árbol de la estructura sintáctica de un código fuente, preservando todos los detalles léxicos y sintácticos, incluyendo comentarios, espacios en Conditional Types Los Conditional Types son una característica de los sistemas de tipos que permite definir un tipo basado en una condición que evalúa otro tipo, similar a una expresión condicional en tiempo de ejecuci Conformer Conformer es una arquitectura de red neuronal que combina las fortalezas de los Transformers (atención global) y las redes convolucionales (localidad y eficiencia) para el procesamiento de secuencias, Congruence Closure Un algoritmo para determinar la igualdad de términos en un conjunto de ecuaciones de equivalencia, fundamental en la verificación formal y optimización de compiladores. Context Window La 'Context Window' se refiere a la cantidad máxima de tokens (palabras, subpalabras o caracteres) que un modelo de lenguaje puede procesar o 'recordar' en una sola inferencia o generación. Control-Flow Graph Un Control-Flow Graph (CFG) es una representación abstracta del flujo de ejecución de un programa, modelando todas las posibles rutas que puede tomar el control durante su ejecución. DFA Un Autómata Finito Determinista (DFA) es un modelo matemático de computación que acepta o rechaza cadenas de símbolos, caracterizado por tener un número finito de estados y transiciones deterministas DSPy DSPy es un framework para programar y optimizar modelos de lenguaje (LLMs) y pipelines de LLMs, permitiendo la composición modular de componentes y la optimización automática de prompts y pesos de mod DataFrame Algebra DataFrame Algebra es un conjunto de operaciones relacionales y transformaciones que se aplican a DataFrames, permitiendo la manipulación y análisis de datos estructurados de manera declarativa y optim Dataflow Analysis Técnica de análisis estático que recolecta información sobre los posibles valores de las variables a medida que fluyen a través de un programa, sin ejecutarlo. Decode El proceso de transformar datos codificados de un formato a otro, generalmente de una representación compacta o segura a una forma utilizable o legible. Document Object Model (DOM) El DOM es una interfaz de programación de aplicaciones (API) multiplataforma e independiente del lenguaje que trata los documentos HTML, XML y SVG como una estructura de árbol lógico, donde cada nodo Dominance Tree Un Dominance Tree es una estructura de datos jerárquica que representa las relaciones de dominancia entre nodos en un grafo dirigido, comúnmente utilizada en compiladores para análisis de flujo de con Dominator Tree Un Dominator Tree es una estructura de datos que representa las relaciones de dominancia en un grafo dirigido, donde un nodo 'domina' a otro si todo camino desde el nodo de entrada al segundo debe pas Dual Dispatch Dual Dispatch es un mecanismo de despacho de métodos donde la función a invocar se selecciona basándose en el tipo dinámico de dos objetos, en lugar de uno solo (Single Dispatch). E-graph Una E-graph (Equality Graph) es una estructura de datos que representa de manera compacta un conjunto de términos equivalentes, permitiendo la reescritura y optimización eficiente de expresiones simbó Effect Algebra Un marco matemático para razonar sobre efectos computacionales, como excepciones, I/O o estados mutables, permitiendo su composición y análisis formal. Effect Handlers Los Effect Handlers son un mecanismo de programación que permite separar la descripción de un efecto computacional de su interpretación, facilitando la composición, reutilización y razonamiento sobre Effect Polymorphism Effect Polymorphism es un concepto en programación funcional que permite escribir código genérico que opera sobre diferentes tipos de 'efectos' (como I/O, estado, o errores) sin acoplarse a una implem Embeddings Los Embeddings son representaciones vectoriales de alta dimensión que capturan el significado semántico y las relaciones contextuales de entidades complejas como palabras, imágenes o documentos, permi Energy-based models Los Energy-based models (EBMs) son una clase de modelos generativos que asocian una energía escalar a cada configuración de variables, donde configuraciones de baja energía corresponden a eventos prob Factorial Grid Search Factorial Grid Search es una técnica exhaustiva de optimización de hiperparámetros que evalúa todas las combinaciones posibles de un conjunto predefinido de valores para cada hiperparámetro de un mode Feed-Forward Network (FFN) Una FFN es un tipo de red neuronal artificial donde las conexiones entre las unidades no forman ciclos, procesando la información en una sola dirección, desde la entrada hasta la salida. Fexpr Una Fexpr (del inglés 'Function Expression') es una forma especial de expresión en lenguajes de programación Lisp que evalúa sus argumentos de manera no estándar o los pasa sin evaluar a la función, p Fixpoint Resolution Un algoritmo iterativo que busca un estado estable (punto fijo) donde la aplicación repetida de una función ya no produce cambios, fundamental en análisis estático y resolución de restricciones. Foundation Model Un Foundation Model es un modelo de IA a gran escala, pre-entrenado con una vasta cantidad de datos no etiquetados, diseñado para ser adaptable a una amplia gama de tareas downstream mediante fine-tun Functor Un Functor es un tipo que implementa una operación de 'mapeo' (map) sobre su contenido, permitiendo transformar los valores internos sin alterar la estructura del Functor en sí. GEMM GEMM (General Matrix Multiply) es una operación fundamental en álgebra lineal computacional que calcula el producto de dos matrices, optimizada para rendimiento en hardware moderno. Garbage Collector (GC) El Garbage Collector (GC) es un mecanismo automático de gestión de memoria que identifica y libera bloques de memoria que ya no están siendo utilizados por el programa, previniendo fugas de memoria y Gradual Typing Gradual Typing es un sistema de tipos que permite la coexistencia de código tipado estáticamente y código tipado dinámicamente dentro del mismo programa, facilitando la migración progresiva y la flexi Grouped-Query Attention (GQA) GQA es una optimización de la arquitectura Transformer que reduce los requisitos de memoria y el ancho de banda, permitiendo inferencia más rápida y eficiente al agrupar múltiples 'query heads' para c Grover's Algorithm Un algoritmo cuántico que ofrece una aceleración cuadrática para la búsqueda en bases de datos no estructuradas, reduciendo la complejidad de O(N) a O(√N). HNSW HNSW (Hierarchical Navigable Small World) es un algoritmo de búsqueda de vecinos más cercanos aproximados (ANN) que construye un grafo jerárquico para realizar búsquedas eficientes en espacios de alta Hallucination La 'hallucination' en modelos de IA, particularmente LLMs, se refiere a la generación de información falsa o sin fundamento que se presenta como hechos, a menudo con gran confianza, debido a limitacio Hash-Consing Hash-Consing es una técnica de optimización que asegura que solo exista una instancia de un valor inmutable dado en la memoria, compartiendo referencias a esa instancia única para reducir el uso de me Higher-Order Function Una Higher-Order Function (HOF) es una función que toma una o más funciones como argumentos, o que devuelve una función como resultado, o ambas. Huffman Coding Huffman Coding es un algoritmo de compresión de datos sin pérdida que utiliza un código de longitud variable para codificar los caracteres de una fuente, asignando códigos más cortos a los caracteres IVF IVF (Inverted File Index) es una técnica de indexación utilizada para acelerar la búsqueda de vecinos más cercanos aproximados (ANN) en espacios vectoriales de alta dimensión, dividiendo el espacio en Intermediate Representation (IR) Una Intermediate Representation (IR) es una estructura de datos abstracta utilizada por compiladores y otras herramientas de procesamiento de código para representar el código fuente de un programa en Inverse Document Frequency (IDF) IDF es una medida estadística que evalúa la importancia de una palabra en una colección de documentos, ponderando inversamente su frecuencia de aparición para destacar términos raros y significativos. JSONata JSONata es un lenguaje de consulta y transformación ligero para datos JSON, diseñado para extraer, filtrar y remodelar estructuras JSON de manera expresiva y potente. Knowledge Distillation Técnica para transferir el conocimiento de un modelo grande y complejo (teacher) a un modelo más pequeño y eficiente (student), mejorando el rendimiento del modelo pequeño sin sacrificar excesivamente Kullback-Leibler Divergence La Divergencia de Kullback-Leibler (KL Divergence) es una medida asimétrica de la diferencia entre dos distribuciones de probabilidad, cuantificando cuánta información se pierde al aproximar una distr LLM Un Large Language Model (LLM) es un tipo de modelo de inteligencia artificial entrenado con vastas cantidades de texto para comprender, generar y manipular lenguaje humano con alta coherencia y contex LLM as Judge Metodología donde un Large Language Model (LLM) evalúa la calidad o relevancia de las respuestas generadas por otros modelos o sistemas, actuando como un juez imparcial y escalable. LLM-as-a-Judge LLM-as-a-Judge es una técnica donde un Large Language Model (LLM) se utiliza para evaluar la calidad o el rendimiento de otros modelos, sistemas o salidas, actuando como un evaluador automatizado y co LRU LRU (Least Recently Used) es una política de reemplazo de caché que descarta el elemento que ha sido menos utilizado recientemente cuando la caché está llena y se necesita espacio para un nuevo elemen Language Server Protocol Un protocolo estandarizado basado en JSON-RPC que permite la comunicación entre editores de código o IDEs y 'language servers' para proporcionar características de lenguaje como autocompletado, refact Large Language Model (LLM) Un Large Language Model (LLM) es un tipo de modelo de inteligencia artificial entrenado con vastas cantidades de texto para comprender, generar y procesar lenguaje natural, exhibiendo capacidades de r Lattice Boltzmann Method (LBM) El Lattice Boltzmann Method (LBM) es una técnica computacional para simular fluidos que discretiza el espacio y el tiempo, modelando la dinámica de poblaciones de partículas en una red en lugar de res Lean 4 Lean 4 es un lenguaje de programación funcional, un asistente de pruebas interactivo y un sistema de reescritura de términos, diseñado para la verificación formal de software y matemáticas. Leftmost-Longest Semantics Un principio de resolución de ambigüedades en parsers y sistemas de matching de patrones que prioriza la coincidencia más larga posible que comienza en la posición más a la izquierda. Levenshtein Distance La Levenshtein Distance, o distancia de edición, cuantifica la diferencia entre dos secuencias (cadenas de caracteres) como el número mínimo de ediciones de un solo carácter (inserciones, eliminacione Log-Mel Spectrogram Una representación visual de la energía de las frecuencias de un sonido a lo largo del tiempo, escalada logarítmicamente en el eje de frecuencia Mel para emular la percepción auditiva humana, crucial MLIR MLIR (Multi-Level Intermediate Representation) es un framework extensible y reutilizable para construir compiladores, diseñado para manejar la complejidad de los dominios de hardware y software modern Mamba-2 Mamba-2 es una arquitectura de modelo de estado de espacio (SSM) de segunda generación que mejora significativamente la eficiencia computacional y la calidad de los modelos de lenguaje, superando a lo Mapped Types Los Mapped Types son una característica de los sistemas de tipos que permite crear nuevos tipos transformando las propiedades de un tipo existente, aplicando una operación a cada propiedad. Memoization Técnica de optimización que almacena los resultados de llamadas a funciones costosas y devuelve el resultado almacenado cuando se invocan las mismas entradas nuevamente, evitando recálculos. Method Resolution Order El Method Resolution Order (MRO) es el algoritmo utilizado en lenguajes de programación orientados a objetos con herencia múltiple para determinar el orden en que se buscan los métodos en la jerarquía Mixture-of-Experts Mixture-of-Experts (MoE) es una arquitectura de red neuronal que divide una tarea en subtareas, asignando 'expertos' especializados a cada una y combinando sus resultados mediante una 'puerta' (gating Mixture-of-Experts (MoE) Mixture-of-Experts (MoE) es una arquitectura de red neuronal que divide el problema en subproblemas, asignando 'expertos' especializados a cada uno y combinando sus salidas, permitiendo modelos con mi Monomorphization Monomorphization es una técnica de compilación que transforma código genérico (polimórfico) en versiones especializadas y concretas para cada tipo de dato utilizado, eliminando la sobrecarga de despac Monte Carlo Tree Search Monte Carlo Tree Search (MCTS) es un algoritmo heurístico de búsqueda que combina la simulación de Monte Carlo con la exploración de árboles para tomar decisiones óptimas en dominios con un espacio de Multi-task Learning Multi-task Learning (MTL) es un enfoque de Machine Learning donde un modelo aprende simultáneamente a resolver múltiples tareas relacionadas, compartiendo representaciones y aprovechando las dependenc MultiSet Un MultiSet (o bolsa) es una colección que permite múltiples ocurrencias del mismo elemento, a diferencia de un Set tradicional que solo permite elementos únicos. Mantiene un recuento de la frecuencia Multimodal Reasoning La capacidad de un sistema de IA para procesar, interpretar y fusionar información de múltiples tipos de datos (como texto, imágenes, audio y video) para derivar una comprensión coherente y tomar deci Muon Optimizer Un algoritmo de optimización metaheurístico bio-inspirado que simula el comportamiento de los muones para resolver problemas complejos de optimización, especialmente en espacios de búsqueda de alta di Mutation Testing Mutation Testing es una técnica de prueba de software que evalúa la calidad de los tests existentes introduciendo pequeños cambios (mutaciones) en el código fuente y verificando si los tests fallan al NP-hard Una clase de problemas computacionales que son, al menos, tan difíciles como los problemas NP-completos, lo que implica que no se conoce un algoritmo eficiente (polinomial) para resolverlos en el caso Newtype Pattern El Newtype Pattern es una técnica de diseño que envuelve un tipo existente en un nuevo tipo distinto para añadir seguridad de tipo, prevenir errores de dominio y mejorar la legibilidad del código sin NonNull NonNull es una restricción o tipo de dato que asegura que un valor no puede ser nulo o indefinido, garantizando la presencia de un valor válido. Normalized Mean Squared Error (NMSE) El Normalized Mean Squared Error (NMSE) es una métrica de rendimiento que cuantifica la diferencia promedio entre los valores predichos y los valores reales, normalizada por la varianza de los datos r PSNR El Peak Signal-to-Noise Ratio (PSNR) es una métrica utilizada para cuantificar la calidad de reconstrucción de una imagen o vídeo comprimido o procesado, comparándolo con la imagen o vídeo original si Packrat Parsing Packrat Parsing es una técnica de análisis sintáctico (parsing) para gramáticas de expresiones de análisis (Parsing Expression Grammars - PEGs) que garantiza tiempo lineal al memoizar los resultados d Parametricity Parametricity es la propiedad de los sistemas de tipos que garantiza que las funciones genéricas (polimórficas) se comportan uniformemente para todos los tipos para los que están instanciadas, sin dep Parsing Expression Grammar (PEG) Un formalismo para definir lenguajes mediante un conjunto de reglas de reconocimiento que determinan si una cadena de entrada pertenece a un lenguaje, ofreciendo una alternativa determinista a las gra Peephole Optimization Una técnica de optimización de compiladores que mejora el código examinando y reemplazando secuencias cortas de instrucciones por otras más eficientes. Perplexity Perplexity es una métrica para evaluar la calidad de un modelo probabilístico o de lenguaje, cuantificando qué tan bien predice una muestra de datos. Un valor más bajo indica un mejor rendimiento del Pointer-Kind Variable Una Pointer-Kind Variable es una variable cuyo valor es una dirección de memoria, permitiendo el acceso indirecto a datos y la gestión dinámica de recursos. Prompt Engineering La disciplina de diseñar y optimizar las entradas (prompts) para modelos de lenguaje grandes (LLMs) con el fin de obtener respuestas deseables, precisas y relevantes, controlando su comportamiento y r Quantization Quantization es la técnica de reducir la precisión de los datos numéricos, típicamente de punto flotante a enteros de menor bit, para optimizar el rendimiento y el consumo de recursos en modelos de Ma Quine Un Quine es un programa que produce su propio código fuente como única salida, sin tomar ninguna entrada externa. Es un concepto fundamental en la teoría de la computación y la meta-programación. Recursive Descent Parser Un Recursive Descent Parser es un tipo de parser top-down que construye un árbol de análisis sintáctico (parse tree) a partir de una secuencia de tokens, utilizando un conjunto de procedimientos recur Reference Counting Reference Counting es una técnica de gestión de memoria que rastrea el número de referencias a un objeto para determinar cuándo puede ser liberado de forma segura. Reverse Post-Order El Reverse Post-Order (RPO) es una ordenación topológica de los nodos de un grafo de control de flujo (CFG) que garantiza que cada nodo aparece después de todos sus sucesores en el árbol de expansión Rotary Positional Embeddings (RoPE) RoPE es un método de incrustación posicional que codifica la posición absoluta de los tokens en un modelo de Transformer mediante rotaciones en el espacio de incrustación, permitiendo la atención de l S3FIFO S3FIFO es un algoritmo de reemplazo de caché que mejora la eficiencia de FIFO al considerar la frecuencia de acceso y la 'juventud' de los elementos, ofreciendo un rendimiento cercano a LRU con menor SSIM SSIM (Structural Similarity Index Measure) es una métrica para cuantificar la similitud entre dos imágenes, percibida por el sistema visual humano, considerando luminancia, contraste y estructura. Scan Una operación fundamental en procesamiento de datos que recorre una colección de elementos para realizar una acción o recopilar información, a menudo de manera secuencial o iterativa. Self-embeddings Los Self-embeddings son representaciones vectoriales densas de elementos de datos que capturan sus características intrínsecas y relaciones contextuales dentro de un mismo dominio, generadas a menudo Shor's Algorithm El Algoritmo de Shor es un algoritmo cuántico que permite factorizar números enteros grandes de manera eficiente, lo que representa una amenaza significativa para la seguridad de los esquemas de cript Sliding Window Algorithm Un algoritmo que mantiene un subconjunto (ventana) de datos de tamaño fijo o variable que se 'desliza' sobre una secuencia de entrada, optimizando el procesamiento al reutilizar cálculos y evitar reev Sliding-Window Attention Sliding-Window Attention es una optimización en arquitecturas Transformer que restringe el cálculo de atención a una ventana local de tokens, reduciendo la complejidad computacional de cuadrática a li Sparse Model Un Sparse Model es un modelo computacional (matemático o de Machine Learning) donde la mayoría de sus parámetros o conexiones son cero o insignificantes, lo que permite una representación más eficient Split-Softmax Contrastive Loss Una función de pérdida que mejora la eficiencia computacional y la estabilidad del entrenamiento en modelos de lenguaje grandes (LLMs) con vocabularios masivos, dividiendo la operación Softmax en comp Stack Machine Una Stack Machine es un tipo de arquitectura de CPU o máquina virtual que realiza operaciones manipulando valores en una pila (stack) en lugar de registros explícitos, simplificando el diseño de instr Static Single Assignment SSA (Static Single Assignment) es una propiedad de representación intermedia en compiladores donde cada variable es asignada exactamente una vez, simplificando análisis y optimizaciones de código. Static Single Assignment (SSA) SSA es una propiedad de representación intermedia en compiladores donde cada variable es asignada exactamente una vez, simplificando análisis y optimizaciones de código. Strategy Pattern El Strategy Pattern es un patrón de diseño de comportamiento que permite definir una familia de algoritmos, encapsular cada uno de ellos y hacerlos intercambiables. Permite que el algoritmo varíe inde Tabling Tabling es una técnica de optimización en programación lógica y sistemas de inferencia que almacena los resultados de sub-objetivos para evitar recálculos redundantes, mejorando la eficiencia y termin Tail Call Optimization (TCO) Tail Call Optimization (TCO) es una técnica de compilación que elimina la necesidad de asignar un nuevo stack frame para una llamada de función si es la última operación antes de que la función actual Term Frequency (TF) Term Frequency (TF) es una métrica que cuantifica la frecuencia con la que un término aparece en un documento, siendo un componente fundamental en la ponderación de relevancia en la recuperación de in Theorem Prover Un Theorem Prover es una herramienta de software que verifica la validez de proposiciones matemáticas o lógicas (teoremas) mediante inferencia automática, basándose en un conjunto de axiomas y reglas Trait Solver Un 'Trait Solver' es un componente de compilador que resuelve las implementaciones de 'traits' (interfaces o comportamientos compartidos) para tipos específicos, garantizando la corrección y la monomo Traits Los Traits son un mecanismo de programación que permite definir un conjunto de comportamientos o capacidades que un tipo debe implementar, promoviendo la reutilización de código y la composición sobre Transpiler Un transpiler (o source-to-source compiler) es un tipo de compilador que toma el código fuente escrito en un lenguaje y lo transforma en código fuente de otro lenguaje, o en una versión diferente del Tree Shaking Tree Shaking es una técnica de optimización de compilación que elimina código no utilizado de un bundle final, resultando en archivos más pequeños y tiempos de carga más rápidos. Trimean El Trimean es una medida de tendencia central robusta que combina el primer cuartil, la mediana y el tercer cuartil, dando el doble de peso a la mediana para reducir la influencia de valores atípicos. Type-State Pattern El Type-State Pattern es un patrón de diseño que utiliza el sistema de tipos de un lenguaje de programación para hacer cumplir transiciones de estado válidas y operaciones permitidas en tiempo de comp Type-level introspection La introspección a nivel de tipo es la capacidad de un programa para examinar y razonar sobre la estructura y las propiedades de sus tipos en tiempo de compilación o ejecución. TypedDict TypedDict es una clase especial de Python en el módulo `typing` que permite definir diccionarios con un conjunto fijo de claves y tipos de valor esperados, mejorando la legibilidad y la seguridad de t ULP ULP (Unit in the Last Place) es la medida de la precisión de un número de punto flotante, representando la distancia entre un número de punto flotante y el siguiente número representable más grande o Unpack El 'unpacking' es la operación de desempaquetar elementos de una colección iterable (como tuplas, listas o diccionarios) en variables individuales, facilitando la asignación y el acceso estructurado a Value Numbering Value Numbering es una técnica de optimización de compiladores que asigna un número único a cada valor computado en un programa, permitiendo la detección y eliminación de expresiones redundantes. Vector API La Vector API de Java es un módulo que permite a los desarrolladores expresar cálculos vectoriales que se compilan de forma fiable en instrucciones vectoriales óptimas de CPU en arquitecturas compatib Vector Compression Vector Compression es un conjunto de técnicas para reducir el tamaño de almacenamiento y la huella de memoria de vectores de alta dimensión, manteniendo al mismo tiempo una precisión suficiente para t Vector Embeddings Representaciones numéricas densas de objetos (palabras, imágenes, documentos) en un espacio vectorial de alta dimensión, donde la distancia entre vectores refleja la similitud semántica o contextual d Vector Search Vector Search es una técnica para encontrar elementos similares en un gran conjunto de datos, representando cada elemento como un vector numérico de alta dimensión y calculando la distancia o similitu Vite Vite es una herramienta de construcción frontend de próxima generación que ofrece un entorno de desarrollo extremadamente rápido y un empaquetado optimizado para producción, aprovechando módulos ES na Winding Number El Winding Number es un concepto topológico que cuantifica cuántas veces una curva cerrada envuelve un punto dado, indicando si el punto está dentro o fuera de la región delimitada por la curva. Word Error Rate (WER) Word Error Rate (WER) es una métrica estándar para evaluar el rendimiento de sistemas de reconocimiento de voz automático (ASR), midiendo la proporción de palabras incorrectamente reconocidas en una t Z3 Theorem Prover Z3 es un potente "Satisfiability Modulo Theories" (SMT) solver desarrollado por Microsoft Research, utilizado para verificar la satisfacibilidad de fórmulas lógicas y encontrar modelos o pruebas de in Zero Sized Type (ZST) Un Zero Sized Type (ZST) es un tipo de dato en programación que no ocupa espacio en memoria en tiempo de ejecución, utilizado para codificar información a nivel de tipo o para marcar propiedades sin i bounded_array Un 'bounded array' es una estructura de datos de tamaño fijo, predefinido en tiempo de compilación o inicialización, que garantiza que todas las operaciones de acceso se mantengan dentro de sus límite
Hardware & Arquitectura (47)
AMX Intel Advanced Matrix Extensions (AMX) es un conjunto de instrucciones de CPU diseñado para acelerar significativamente las operaciones de multiplicación de matrices, crucial para cargas de trabajo de ASIC Un ASIC (Application-Specific Integrated Circuit) es un circuito integrado diseñado y optimizado para una función específica, ofreciendo rendimiento y eficiencia energética superiores a los procesador ASPA ASPA (Application-Specific Processor Array) es una arquitectura de hardware paralela que integra múltiples procesadores especializados en un solo chip, optimizados para dominios de aplicación específi BF16 BF16 (Bfloat16) es un formato de número de coma flotante de 16 bits que equilibra el rango dinámico de FP32 con la eficiencia de memoria y computación de FP16, optimizado para cargas de trabajo de apr BFloat16 BFloat16 es un formato de número de punto flotante de 16 bits que asigna 8 bits al exponente y 7 bits a la mantisa, ofreciendo un rango dinámico similar al de FP32 pero con menor precisión, optimizado Barrel Shifter Un Barrel Shifter es un circuito digital combinacional capaz de desplazar (shift) o rotar (rotate) una palabra de datos un número arbitrario de bits en un solo ciclo de reloj, a diferencia de los shif Bit-Banging Bit-Banging es una técnica de comunicación serial donde el software manipula directamente los pines de entrada/salida (GPIO) de un microcontrolador para generar las señales de un protocolo, en lugar d Branch Prediction Técnica de optimización de CPU que predice el camino de ejecución de un programa en puntos de bifurcación para evitar stalls en el pipeline, mejorando el rendimiento al reducir el impacto de los 'bran Bus Lock Un Bus Lock es un mecanismo de sincronización a nivel de hardware que permite a un procesador obtener acceso exclusivo al bus del sistema, impidiendo que otros procesadores o dispositivos de E/S reali Cache Coherency Protocol Un mecanismo que asegura la consistencia de los datos compartidos entre múltiples caches de procesador en sistemas multiprocesador, evitando que diferentes núcleos vean versiones obsoletas o inconsist Cache Line La Cache Line es la unidad mínima de datos que se transfiere entre la memoria principal (RAM) y la caché de un procesador, optimizando el rendimiento mediante la localidad espacial. Cache Locality Principio que describe la tendencia de un programa a acceder a los mismos datos o a datos cercanos en la memoria en un corto período de tiempo, optimizando el uso de las cachés de CPU. Cache Miss Un Cache Miss ocurre cuando la CPU o un sistema de caché intenta acceder a un dato que no se encuentra en la memoria caché, obligando a recuperar el dato de una memoria más lenta y distante. Chiplet Un chiplet es un componente modular de silicio, más pequeño que un System-on-Chip (SoC) monolítico, diseñado para ser interconectado con otros chiplets en un único paquete para formar un sistema más g Compute Capability Compute Capability es un número de versión que identifica las características de hardware y las capacidades de un dispositivo GPU NVIDIA, determinando qué funcionalidades de CUDA están disponibles y c DRAM DRAM (Dynamic Random-Access Memory) es un tipo de memoria volátil que almacena cada bit de datos en un capacitor separado dentro de un circuito integrado, requiriendo refresco periódico para mantener Direct Data Access (DDA) Direct Data Access (DDA) es una tecnología que permite a una máquina virtual acceder directamente a dispositivos de hardware físicos, como GPUs o NVMe SSDs, sin la intervención del hipervisor, mejoran Endianness El Endianness describe el orden en que los bytes de una palabra de datos multi-byte son almacenados en la memoria de una computadora o transmitidos a través de una red. FP8 Quantization FP8 Quantization es una técnica para reducir el tamaño y la complejidad computacional de los modelos de Machine Learning al representar los pesos y activaciones con números de punto flotante de 8 bits False Sharing False Sharing es un problema de rendimiento en sistemas multiprocesador donde múltiples CPUs intentan escribir en variables no relacionadas que, por coincidencia, residen en la misma línea de caché, c Float8 Float8 es un formato de número de punto flotante de 8 bits que ofrece una representación compacta para datos numéricos, ideal para acelerar cálculos en IA y aprendizaje automático con menor precisión. Fused Multiply-Add Una operación de punto flotante que realiza una multiplicación y una suma en un solo paso atómico, con un único redondeo final, mejorando la precisión y el rendimiento. GDS GDS (Graphic Design System o GDSII Stream Format) es un formato de archivo binario estándar de la industria utilizado para la transferencia de datos de diseño de circuitos integrados (IC) y sistemas m GPU Flex Nodes GPU Flex Nodes son nodos de cómputo que permiten la asignación dinámica y granular de recursos de GPU, desacoplando la capacidad de GPU de la capacidad de CPU y memoria para optimizar el uso y reducir HBM High Bandwidth Memory (HBM) es una interfaz de RAM de alto rendimiento para memoria 3D-apilada, diseñada para maximizar el ancho de banda y la eficiencia energética en aplicaciones que demandan un acc HDR10+ HDR10+ es un estándar abierto de High Dynamic Range (HDR) que utiliza metadatos dinámicos para optimizar la calidad de imagen escena por escena o incluso fotograma por fotograma, adaptándose a las cap IOMMU Una IOMMU (Input/Output Memory Management Unit) es un componente de hardware que permite a los dispositivos de E/S acceder a la memoria del sistema de forma segura y mapeada, proporcionando protección Infinity Fabric Infinity Fabric es una interconexión de alta velocidad y baja latencia desarrollada por AMD, diseñada para conectar componentes dentro de un SoC o entre múltiples chips, optimizando el rendimiento y l L3 Cache La L3 Cache es el nivel más grande y lento de la jerarquía de caché de un procesador, compartida por todos los núcleos, diseñada para reducir la latencia de acceso a la memoria principal (RAM) y mejor LPDDR5X LPDDR5X (Low Power Double Data Rate 5X) es una evolución de la memoria RAM LPDDR5, diseñada para dispositivos móviles y sistemas embebidos, que ofrece mayores velocidades de transferencia de datos y e Metal Metal es una API de bajo nivel y alto rendimiento desarrollada por Apple para interactuar directamente con la GPU, ofreciendo un control granular sobre el hardware gráfico y de cómputo. Metal (API) Metal es una API de bajo nivel y alto rendimiento para gráficos 3D y computación paralela, desarrollada por Apple, que permite a las aplicaciones interactuar directamente con la GPU en sus plataformas Model FLOPs Utilization (MFU) MFU mide la eficiencia con la que un modelo de IA utiliza la capacidad de cómputo (FLOPs) de un hardware específico, expresada como un porcentaje de los FLOPs teóricos máximos alcanzables. NUMA NUMA (Non-Uniform Memory Access) es una arquitectura de memoria para sistemas multiprocesador donde el tiempo de acceso a la memoria depende de la ubicación relativa de la memoria respecto al procesad Neutral Atom Quantum Computer Un tipo de computadora cuántica que utiliza átomos neutros, enfriados por láser y atrapados individualmente por pinzas ópticas, como qubits para realizar operaciones cuánticas. PicoRV32 PicoRV32 es una implementación de CPU RISC-V de 32 bits, de código abierto y altamente optimizada para FPGAs y ASICs, conocida por su tamaño compacto y eficiencia. Pixel Shader Un Pixel Shader es un programa pequeño ejecutado en la GPU que calcula el color final de cada píxel individual en la pantalla, aplicando efectos de iluminación, texturas y otras propiedades visuales. RISC-V RISC-V es una arquitectura de conjunto de instrucciones (ISA) abierta y libre, basada en principios RISC, que permite la creación de procesadores personalizados para una amplia gama de aplicaciones, d RISC-V Vector Extension (RVV) RVV es una extensión del conjunto de instrucciones RISC-V que añade capacidades de procesamiento vectorial, permitiendo operaciones en múltiples elementos de datos con una sola instrucción, optimizand RTL RTL (Register-Transfer Level) es una abstracción de diseño de hardware que describe el comportamiento de un circuito digital en términos de flujo de datos entre registros y las operaciones lógicas que RV32E RV32E es una extensión de la arquitectura de conjunto de instrucciones (ISA) RISC-V de 32 bits, diseñada para microcontroladores y sistemas embebidos con recursos extremadamente limitados, reduciendo SIMD SIMD (Single Instruction, Multiple Data) es una clase de paralelismo a nivel de instrucción que permite a una única instrucción operar simultáneamente sobre múltiples elementos de datos, mejorando drá Split Lock Un Split Lock es una operación de bloqueo de memoria que abarca dos líneas de caché o más, lo que puede degradar significativamente el rendimiento debido a la contención del bus del sistema y la neces Streaming Multiprocessor (SM) Un Streaming Multiprocessor (SM) es el bloque de construcción fundamental de las GPUs modernas, conteniendo múltiples núcleos de procesamiento (CUDA Cores o Tensor Cores), unidades de memoria caché, y Tensor Cores Unidades de procesamiento especializadas dentro de las GPUs modernas diseñadas para acelerar operaciones de álgebra lineal de matrices (tensores), fundamentales para el entrenamiento y la inferencia d Unified Memory Architecture (UMA) UMA es una arquitectura de hardware donde la CPU y la GPU (u otros coprocesadores) comparten un único pool de memoria física, eliminando la necesidad de copiar datos entre memorias discretas y mejoran VNNI VNNI (Vector Neural Network Instructions) es un conjunto de instrucciones de CPU diseñado para acelerar operaciones de inferencia de redes neuronales, particularmente aquellas que utilizan cuantificac
Linux Kernel (98)
AOT Compilation AOT Compilation (Ahead-Of-Time Compilation) es el proceso de traducir código de alto nivel a código máquina antes de la ejecución, en lugar de hacerlo en tiempo de ejecución (JIT). Ahead-of-Time (AOT) Compilation La compilación Ahead-of-Time (AOT) es un proceso que traduce el código fuente o bytecode a código máquina nativo antes de la ejecución, eliminando la necesidad de compilación en tiempo de ejecución. AllocationRecord Un AllocationRecord es una estructura de datos interna utilizada por los sistemas operativos y runtimes para rastrear y gestionar bloques de memoria asignados, registrando metadatos esenciales sobre c Berkeley Packet Filter (BPF) BPF es una tecnología de máquina virtual en el kernel de Linux que permite ejecutar programas seguros y eficientes en un entorno de sandbox, extendiendo la funcionalidad del kernel sin modificar su có Block Device Un Block Device es una abstracción de hardware que permite el acceso a datos en bloques de tamaño fijo, facilitando la E/S (Input/Output) de datos de forma eficiente y aleatoria. Cache Aliasing Fenómeno donde múltiples direcciones virtuales o físicas mapean a la misma ubicación en la caché, causando invalidaciones o escrituras innecesarias y degradando el rendimiento. CacheSack CacheSack es una estructura de datos interna del kernel de Linux que gestiona y optimiza el uso de la memoria caché de páginas (page cache) para archivos en sistemas de archivos Btrfs, mejorando la ef Calling Convention Un Calling Convention es un acuerdo sobre cómo las funciones deben ser invocadas y cómo deben manejar los argumentos y valores de retorno, incluyendo el orden de los parámetros, el uso de registros y Code Bloat Code Bloat se refiere a la acumulación de código innecesario o redundante que aumenta el tamaño y la complejidad de un sistema de software, impactando negativamente el rendimiento, la mantenibilidad y Compositor Un Compositor es un componente de software que gestiona y combina las salidas visuales de múltiples aplicaciones o fuentes en un único buffer de imagen, que luego se presenta en la pantalla. Comptime Comptime se refiere a la ejecución de código o evaluación de expresiones durante la fase de compilación de un programa, en lugar de en tiempo de ejecución. Copy-on-Write Copy-on-Write (CoW) es una estrategia de optimización donde los recursos (como páginas de memoria o bloques de datos) se comparten entre múltiples consumidores hasta que uno de ellos intenta modificar DRM/KMS DRM (Direct Rendering Manager) y KMS (Kernel ModeSetting) son componentes del kernel de Linux que gestionan el hardware gráfico, permitiendo a las aplicaciones acceder directamente a la GPU y controla DWARF DWARF es un formato estándar de depuración que permite a los depuradores reconstruir la información de código fuente a partir de binarios compilados, esencial para la depuración de bajo nivel y el aná Data Layout String Una Data Layout String es una cadena de texto que describe la representación en memoria de tipos de datos, crucial para la interoperabilidad de compiladores y la optimización de código de bajo nivel. Display Server Un Display Server es un componente fundamental del sistema operativo que gestiona la comunicación entre las aplicaciones gráficas y el hardware de visualización, orquestando la renderización y la entr Film Grain Synthesis Film Grain Synthesis es una técnica de procesamiento de imagen que simula el ruido visual característico de la película analógica, añadiendo una capa de textura y realismo perceptual a contenido digit GGUF GGUF (GPT-Generated Unified Format) es un formato de archivo binario para almacenar modelos de lenguaje grandes (LLMs) y sus pesos, optimizado para inferencia eficiente en CPUs y GPUs de consumo. Global Interpreter Lock El Global Interpreter Lock (GIL) es un mecanismo de exclusión mutua utilizado en algunos intérpretes de lenguajes de programación (como CPython) que protege el acceso a los objetos internos del intérp HIR HIR (High-level Intermediate Representation) es una representación intermedia de código que se encuentra en una etapa temprana de la compilación, cercana al código fuente original, pero ya con una est Hibernate-and-Wake Mecanismo de gestión de energía donde un sistema guarda su estado actual en almacenamiento no volátil (hibernación) y lo restaura posteriormente (despertar), permitiendo un apagado completo sin pérdid Hypervisor.framework Hypervisor.framework es un API de Apple que permite a las aplicaciones ejecutar máquinas virtuales de forma nativa en macOS sin necesidad de extensiones de kernel de terceros. IOCTL IOCTL (Input/Output Control) es una llamada al sistema que permite a las aplicaciones de usuario comunicarse directamente con los controladores de dispositivos (device drivers) para realizar operacion JIT Compilation JIT Compilation (Just-In-Time Compilation) es una técnica de optimización que compila código durante la ejecución del programa, justo antes de que sea necesario, en lugar de hacerlo antes (AOT) o inte Just-In-Time Compilation Técnica de compilación que traduce código intermedio o bytecode a código máquina nativo en tiempo de ejecución, justo antes de su ejecución, optimizando el rendimiento dinámicamente. Just-In-Time Compilation (JIT) La compilación Just-In-Time (JIT) es una técnica que compila código durante la ejecución del programa, en lugar de antes (AOT) o después, buscando optimizar el rendimiento al adaptar el código a las c KV-cache KV-cache es una optimización de memoria utilizada en modelos de lenguaje grandes (LLMs) para almacenar las representaciones Key y Value de tokens previamente procesados, evitando recálculos redundante KVM KVM (Kernel-based Virtual Machine) es una solución de virtualización de código abierto para Linux que convierte el kernel de Linux en un hypervisor de Tipo 1, permitiendo ejecutar múltiples máquinas v Kernel El Kernel es el corazón de un sistema operativo, gestionando los recursos de hardware y software y facilitando la comunicación entre aplicaciones y el hardware subyacente. Kernel Collection Una Kernel Collection es un mecanismo de seguridad en macOS que agrupa y firma digitalmente extensiones de kernel (KEXTs) de terceros, asegurando su integridad y autoría antes de ser cargadas por el s LLVM IR LLVM IR (Intermediate Representation) es una representación de código de bajo nivel, fuertemente tipada y estática en forma de SSA (Static Single Assignment), diseñada para ser una interfaz universal Linear Memory Un modelo de memoria donde el espacio de direcciones es contiguo y se accede mediante offsets desde una dirección base, simplificando la gestión y el acceso a datos. LockSet Un LockSet es una colección de primitivas de sincronización (locks) que deben ser adquiridas en un orden específico para prevenir interbloqueos (deadlocks) en sistemas concurrentes, especialmente en e Meta-Programming Commands (MCPs) Los Meta-Programming Commands (MCPs) son instrucciones o directivas que operan sobre el código fuente o la estructura de un programa, permitiendo la generación, modificación o análisis de código en ti Metal Shading Language Metal Shading Language (MSL) es un lenguaje de programación C++14 de alto rendimiento, diseñado por Apple para escribir shaders y kernels de cómputo que se ejecutan directamente en la GPU, optimizado Method-based JIT Un compilador Just-In-Time (JIT) que opera a nivel de método, compilando métodos completos de bytecode o código intermedio a código máquina nativo durante la ejecución del programa. MicroVM Una MicroVM es una máquina virtual ligera y de propósito único, optimizada para arrancar rápidamente y consumir mínimos recursos, ideal para cargas de trabajo efímeras y serverless. MutexKey Un MutexKey es un identificador único utilizado para asociar metadatos de depuración y estadísticas con una primitiva de exclusión mutua (mutex) en sistemas operativos y bibliotecas de concurrencia. N-API N-API es una API para construir add-ons nativos de Node.js, desacoplada de la implementación interna del motor JavaScript (V8), garantizando estabilidad ABI a través de diferentes versiones de Node.js NIR NIR (New Intermediate Representation) es una representación intermedia de bajo nivel utilizada en el compilador de shaders Mesa 3D para optimizar y generar código eficiente para diversas GPUs. NTSYNC NTSYNC es un conjunto de primitivas de sincronización de bajo nivel en el kernel de Windows, diseñado para la comunicación y coordinación entre procesos y threads, optimizado para el rendimiento y la OOM Killer El OOM Killer (Out-Of-Memory Killer) es un mecanismo del kernel de Linux que selecciona y termina procesos para liberar memoria cuando el sistema se queda sin RAM disponible, evitando un bloqueo total Ozaki Scheme El Ozaki Scheme es una técnica de optimización en sistemas operativos para reducir la contención de locks en estructuras de datos de kernel, permitiendo acceso concurrente de lectura y escritura con u PREEMPT_RT PREEMPT_RT es un parche para el kernel de Linux que lo transforma en un sistema operativo de tiempo real (RTOS), garantizando latencias de interrupción predecibles y bajas, crucial para aplicaciones c PSS El PSS (Proportional Share Scheduler) es un algoritmo de planificación de CPU que asigna recursos de procesamiento a tareas o procesos basándose en proporciones predefinidas, garantizando una distribu Page Cache La Page Cache es un mecanismo de almacenamiento en caché a nivel de sistema operativo que guarda bloques de datos de archivos en la memoria RAM para acelerar el acceso a disco y reducir la latencia de PiDDBCacheTable Una PiDDBCacheTable es una estructura de datos interna del kernel de Linux utilizada para almacenar en caché información de 'Program ID' (PiD) y 'Device ID' (DD) para optimizar el acceso a dispositivo Pointer Provenance Concepto fundamental en lenguajes de bajo nivel que define el 'origen' o 'historia' de un puntero, crucial para la optimización segura y la prevención de comportamientos indefinidos (Undefined Behavio Poison Bits Los Poison Bits son marcadores de metadatos utilizados por el hardware o el software para indicar que una porción de datos es inválida, corrupta o no debe ser utilizada, previniendo su propagación y e Register Allocation Proceso de asignación de variables de programa a los registros finitos de la CPU para optimizar el rendimiento y reducir accesos a memoria. Register Spilling Técnica de optimización de compiladores donde los valores de los registros del CPU se almacenan temporalmente en memoria principal o caché cuando no hay suficientes registros disponibles para todas la SelectionDAG SelectionDAG es una representación intermedia (IR) de bajo nivel basada en grafos acíclicos dirigidos (DAG) utilizada en compiladores para la selección de instrucciones y optimización dependiente de l Shared Memory (SMEM) Shared Memory (SMEM) es un mecanismo de comunicación entre procesos (IPC) que permite a múltiples procesos acceder a la misma región de memoria RAM, facilitando el intercambio de datos a alta velocida Shared Virtual Memory (SVM) Shared Virtual Memory (SVM) es un mecanismo que permite a múltiples procesadores o dispositivos (como GPUs) acceder a un espacio de direcciones de memoria virtual unificado, simplificando la programac Stack Allocation Un método de gestión de memoria donde los datos se asignan y desasignan automáticamente en la pila de llamadas de una función, siguiendo un principio LIFO. Stack Frame Un Stack Frame es una sección de la pila de llamadas (call stack) que contiene los datos locales para una única invocación de una función o subrutina. Stack Walking Proceso de examinar la pila de llamadas de una función o hilo en un momento dado para determinar la secuencia de funciones que llevaron a la ejecución actual. Tail Call Elimination Una optimización del compilador que transforma una llamada de cola (tail call) en un salto (jump), evitando la asignación de un nuevo stack frame y previniendo desbordamientos de pila en recursiones. Tail Call Optimization Una técnica de compilador que optimiza llamadas a funciones cuando la llamada es la última operación en el cuerpo de la función, evitando la asignación de un nuevo stack frame. Threaded Code Una técnica de implementación de lenguajes que representa programas como secuencias de direcciones de subrutinas o fragmentos de código, optimizando el tamaño del código y la velocidad de despacho. Tracing JIT Un Tracing JIT (Just-In-Time) compiler optimiza el rendimiento de programas ejecutando y compilando dinámicamente rutas de ejecución 'calientes' (hot paths) o trazas, en lugar de funciones completas. Translation Unit (TU) Una Translation Unit es la unidad fundamental de compilación en lenguajes como C y C++, que consiste en un archivo fuente junto con todos los headers incluidos, después de la fase de preprocesamiento. Type Punning Type Punning es una técnica de programación que permite interpretar una secuencia de bits de un tipo de dato como si fuera de otro tipo, a menudo para optimización de rendimiento o manipulación de baj Userspace El Userspace es el espacio de memoria y ejecución donde se ejecutan las aplicaciones de usuario, aislado del Kernel Space para proporcionar estabilidad y seguridad al sistema operativo. V8 Isolate Un V8 Isolate es una instancia completamente aislada del motor JavaScript V8, con su propio heap, garbage collector y estado de ejecución, permitiendo múltiples entornos JavaScript independientes dent VAD Tree Un VAD Tree (Virtual Address Descriptor Tree) es una estructura de datos de árbol binario balanceado utilizada por los sistemas operativos para gestionar y rastrear regiones de memoria virtual asignad VM Dispatch Loop El VM Dispatch Loop es el mecanismo central en una máquina virtual (VM) que gestiona la ejecución de instrucciones del código de invitado, alternando entre la ejecución nativa y la emulación o virtual Vertex Shader Un programa ejecutable en la GPU que procesa las propiedades de vértices individuales, como posición, color y coordenadas de textura, antes de la rasterización. Virtual File System (VFS) El Virtual File System (VFS) es una capa de abstracción en el kernel de los sistemas operativos tipo Unix que permite a las aplicaciones interactuar con diferentes sistemas de archivos de manera unifo Virtual Machine Monitor (VMM) Un VMM, también conocido como hypervisor, es una capa de software o firmware que permite ejecutar múltiples sistemas operativos invitados (VMs) de forma aislada y concurrente sobre un único hardware f WASIX WASIX es una extensión de WASI (WebAssembly System Interface) que busca proporcionar una compatibilidad POSIX más completa para módulos WebAssembly, permitiendo la compilación y ejecución de aplicacio WASM Linear Memory WASM Linear Memory es un bloque contiguo de bytes direccionable por un módulo WebAssembly, aislado del host y de otros módulos, que sirve como espacio de trabajo principal para los programas WASM. Wayland Wayland es un protocolo de servidor de pantalla que permite a los clientes gráficos comunicarse directamente con el kernel y la GPU, eliminando la necesidad de un servidor de visualización intermedio WoW64 WoW64 (Windows 32-bit on Windows 64-bit) es una capa de emulación en sistemas operativos Windows de 64 bits que permite la ejecución de aplicaciones de 32 bits. XDG-Shell XDG-Shell es un protocolo de Wayland que define la interacción entre los compositores y las aplicaciones cliente para la gestión de ventanas, superficies y elementos de interfaz de usuario de escritor XLA XLA (Accelerated Linear Algebra) es un compilador específico de dominio para álgebra lineal que optimiza los modelos de Machine Learning para una ejecución eficiente en diversos aceleradores de hardwa XNU XNU es el kernel híbrido de código abierto que forma el núcleo de los sistemas operativos de Apple, combinando características de Mach y FreeBSD para ofrecer un rendimiento robusto y seguridad. YARV YARV (Yet Another Ruby VM) es la máquina virtual de Ruby que ejecuta el código Ruby compilado en bytecode, siendo la implementación estándar de Ruby desde la versión 1.9. binfmt_misc binfmt_misc es un mecanismo del kernel de Linux que permite a los usuarios registrar manejadores para formatos binarios arbitrarios, extendiendo la capacidad del sistema para ejecutar ejecutables no n bounded_ptr Un 'bounded_ptr' es un puntero de memoria que, además de su dirección, encapsula información sobre los límites válidos del bloque de memoria al que apunta, permitiendo verificaciones de rango en tiemp br_table Una instrucción de WebAssembly que permite un salto indirecto a una de varias etiquetas de bloque, seleccionada por un índice, o a una etiqueta por defecto si el índice está fuera de rango. dav1d dav1d es un decodificador de software de código abierto para el formato de video AV1, diseñado para ser rápido, eficiente y portable, optimizado para diversas arquitecturas de CPU. eBPF Tecnología del kernel Linux que permite ejecutar programas sandboxed en el espacio de kernel sin modificar su código fuente. eventfd eventfd es un mecanismo de comunicación entre procesos (IPC) y entre hilos en Linux que proporciona un contador de eventos gestionado por el kernel, accesible a través de un descriptor de archivo, per externref Un tipo de referencia opaca en WebAssembly (Wasm) que permite a los módulos Wasm interactuar con valores arbitrarios del host JavaScript o de otros entornos, facilitando la interoperabilidad y la gest futex Un futex (fast user-space mutex) es una primitiva de sincronización de bajo nivel en Linux que permite la implementación eficiente de mutexes y otras herramientas de sincronización en el espacio de us genetlink genetlink es una extensión de Netlink que proporciona una infraestructura genérica y extensible para la comunicación entre el espacio de usuario y el kernel en Linux, facilitando la creación de nuevas initramfs Un 'initial RAM filesystem' es un sistema de archivos temporal cargado en la RAM al inicio del sistema, utilizado por el kernel para montar el sistema de archivos raíz real y cargar módulos esenciales initrd initrd (initial RAM disk) es un sistema de archivos raíz temporal cargado en la RAM durante el arranque de Linux, esencial para montar el sistema de archivos raíz real y cargar módulos de kernel neces kexec kexec es una llamada al sistema de Linux que permite cargar y ejecutar un nuevo kernel desde el kernel actualmente en ejecución, sin pasar por la fase de inicialización del firmware (BIOS/UEFI). libkrun libkrun es una biblioteca que permite ejecutar máquinas virtuales ligeras (VMs) basadas en KVM directamente desde aplicaciones de usuario, optimizando el arranque y la sobrecarga para cargas de trabaj libuv libuv es una librería multiplataforma de E/S asíncrona basada en eventos, diseñada para soportar Node.js, proporcionando un bucle de eventos (event loop) y un thread pool para operaciones bloqueantes. mlockall La llamada al sistema `mlockall` bloquea todas las páginas de memoria del proceso en la RAM, impidiendo que sean paginadas al disco (swapping) y garantizando una latencia predecible. mmap mmap es una llamada al sistema Unix que mapea archivos o dispositivos en la memoria virtual de un proceso, permitiendo el acceso directo a su contenido como si fuera memoria RAM. nl80211 nl80211 es la API de Netlink moderna y unificada en el kernel de Linux para configurar dispositivos de red inalámbricos 802.11, reemplazando a Wireless Extensions (WE) y proporcionando mayor flexibili pread La llamada al sistema `pread` lee datos de un descriptor de archivo en una posición específica sin modificar el offset del archivo, crucial para acceso concurrente y sin estado. val_bpb En el contexto de sistemas de archivos, 'val_bpb' se refiere a la validación de los 'BIOS Parameter Block' (BPB) o 'Extended BIOS Parameter Block' (EBPB), un paso crítico para asegurar la integridad y virtio Virtio es una interfaz estandarizada y eficiente para dispositivos de E/S paravirtualizados en entornos de virtualización, permitiendo a las máquinas virtuales interactuar con el hypervisor de forma o
Networking & Protocolos (44)
AV1 AV1 (AOMedia Video 1) es un códec de video de código abierto y libre de regalías, diseñado para ofrecer una compresión de video superior y alta calidad visual, especialmente en streaming web y aplicac Adaptive Bitrate (ABR) Adaptive Bitrate (ABR) es una técnica de streaming de video que ajusta dinámicamente la calidad del video (bitrate) en tiempo real, basándose en las condiciones de la red del usuario y la capacidad de BGP BGP (Border Gateway Protocol) es el protocolo de enrutamiento estándar de facto que permite el intercambio de información de alcanzabilidad de rutas entre sistemas autónomos (AS) en Internet, formando Bitrate Ladder Una Bitrate Ladder es un conjunto de múltiples representaciones de un mismo contenido multimedia, codificadas a diferentes bitrates y resoluciones, optimizadas para la entrega adaptativa en diversas c CDN PoP Un CDN PoP (Content Delivery Network Point of Presence) es una ubicación física estratégicamente distribuida que aloja servidores y equipos de red para almacenar en caché y entregar contenido a los us CNI CNI (Container Network Interface) es una especificación de la Cloud Native Computing Foundation (CNCF) que define una interfaz estándar para configurar redes de contenedores Linux, permitiendo la inte Canonical Tag Una Canonical Tag es un elemento HTML (<link rel="canonical">) que especifica la URL preferida para una página web cuando existen múltiples URLs con contenido idéntico o muy similar, ayudando a los mo Congestion Window La Congestion Window (CWND) es una variable de estado en el lado del emisor de una conexión TCP que limita la cantidad de datos no confirmados que pueden estar en tránsito en la red, con el objetivo d Content Negotiation Mecanismo HTTP que permite servir diferentes representaciones de un recurso en la misma URI, basándose en las preferencias del cliente (idioma, tipo de medio, codificación, etc.) y las capacidades del Content-Based Routing (CBR) Content-Based Routing (CBR) es una técnica de enrutamiento que dirige el tráfico de red basándose en el contenido o las características de los datos de la aplicación, en lugar de solo la dirección IP DASH DASH (Dynamic Adaptive Streaming over HTTP) es un protocolo de streaming de medios que permite la entrega eficiente y adaptativa de contenido de video y audio a través de redes HTTP, ajustando dinámic Dragonfly topology Dragonfly topology es una arquitectura de interconexión de redes de alta velocidad y baja latencia, optimizada para supercomputadoras, que utiliza routers de bajo grado para construir redes a gran esc Fat-tree Fat-tree es una topología de red de interconexión de alto rendimiento, escalable y sin bloqueo, diseñada para centros de datos y supercomputadoras, que asegura ancho de banda uniforme entre todos los HTTP 301 El código de estado HTTP 301 (Moved Permanently) indica que el recurso solicitado ha sido asignado permanentemente a una nueva URL, y los clientes deben usar esta nueva dirección para futuras solicitu HTTP 402 Payment Required El código de estado HTTP 402 'Payment Required' indica que el cliente debe realizar un pago para completar la solicitud. Aunque reservado, su uso es limitado y no estandarizado en la práctica general HTTP/3 HTTP/3 es la tercera versión principal del protocolo Hypertext Transfer Protocol, que utiliza QUIC como su capa de transporte subyacente en lugar de TCP, mejorando el rendimiento y la fiabilidad en re Jitter El Jitter es la variación en el retardo de llegada de paquetes en una secuencia, o la fluctuación en la latencia de ejecución de una operación, afectando la calidad de servicio y la predictibilidad de L4 L4 se refiere a la Capa 4 (Capa de Transporte) del modelo OSI, donde los dispositivos de red gestionan el tráfico basándose en puertos y protocolos como TCP y UDP, permitiendo la comunicación de extre Link Unit Una Link Unit es una unidad lógica de datos que representa un segmento de información transmitido a través de un enlace de comunicación, encapsulando datos de usuario y metadatos de control para asegu MASQUE MASQUE (Multiplexed Application Substrate over QUIC Encryption) es una familia de protocolos IETF que permite tunelizar protocolos IP o de capa 2 sobre QUIC, facilitando VPNs, proxies y reenvío de trá Masquerade Masquerade es una forma de Network Address Translation (NAT) que permite a múltiples dispositivos en una red privada compartir una única dirección IP pública para acceder a Internet, ocultando sus dir Media Source Extensions (MSE) Media Source Extensions (MSE) es una API de JavaScript que permite a las aplicaciones web construir flujos de medios para reproducción, ofreciendo un control granular sobre la descarga, almacenamiento Meta-Configuration Protocol (MCP) El Meta-Configuration Protocol (MCP) es un protocolo de capa de aplicación que permite a los componentes de un sistema distribuido, como los proxies de servicio en una malla de servicios (service mesh NAT Traversal NAT Traversal es un conjunto de técnicas para establecer y mantener conexiones de red entre hosts que se encuentran detrás de dispositivos Network Address Translation (NAT), permitiendo la comunicació Netfilter Netfilter es un framework dentro del kernel de Linux que permite interceptar y manipular paquetes de red en diferentes puntos de su recorrido, sirviendo como la base para firewalls, NAT y otras funcio NetworkPolicy NetworkPolicy es un recurso de Kubernetes que especifica cómo los grupos de Pods están autorizados a comunicarse entre sí y con otros endpoints de red, proporcionando segmentación de red a nivel de ap OpenAPI Specification Un estándar agnóstico del lenguaje para describir, producir, consumir y visualizar servicios web RESTful, permitiendo a humanos y máquinas entender las capacidades de un servicio sin acceso al código QUIC QUIC (Quick UDP Internet Connections) es un protocolo de transporte de propósito general que se ejecuta sobre UDP, diseñado para mejorar el rendimiento, la seguridad y la fiabilidad de las comunicacio Qlog Qlog es un formato de registro estandarizado basado en JSON para eventos de QUIC, diseñado para facilitar la depuración, análisis y visualización de trazas de conexión QUIC. RDMA RDMA (Remote Direct Memory Access) es una tecnología que permite a un nodo acceder directamente a la memoria de otro nodo sin involucrar al CPU, caché o sistema operativo del nodo remoto, reduciendo l Range GET Un Range GET es un método de solicitud HTTP que permite a un cliente solicitar solo una porción específica (un 'rango' de bytes) de un recurso, en lugar del recurso completo. Reverse Proxy Un Reverse Proxy es un servidor que se sitúa frente a uno o más servidores web, interceptando las peticiones de los clientes y reenviándolas al servidor apropiado, actuando como intermediario y punto Route Leak Un Route Leak es la propagación de información de rutas a routers que están fuera de su ámbito de enrutamiento intencionado, violando las políticas de enrutamiento y potencialmente causando tráfico de SMPTE 2022-7 SMPTE 2022-7 es un estándar para la protección de flujos de video sobre IP mediante la redundancia de paquetes, enviando múltiples copias idénticas o complementarias a través de rutas de red diversas SRT SRT (Secure Reliable Transport) es un protocolo de transporte de video de código abierto que optimiza el rendimiento del streaming a través de redes no confiables, garantizando baja latencia y alta ca TPROXY TPROXY es un mecanismo del kernel de Linux que permite a un proxy interceptar y redirigir conexiones de red sin modificar las direcciones IP de origen o destino de los paquetes, facilitando proxies tr User-Agent Una cadena de texto que identifica el software cliente que realiza una solicitud de red, proporcionando información sobre el tipo de aplicación, sistema operativo, proveedor y versión. Valley-Free Routing Un principio de enrutamiento que prohíbe que el tráfico de red suba, baje y luego vuelva a subir en la jerarquía de la red, garantizando rutas más eficientes y predecibles. Weave Weave es una red superpuesta (overlay network) que conecta contenedores y servicios distribuidos a través de múltiples hosts, permitiendo la comunicación directa y segura como si estuvieran en la mism XDP XDP (eXpress Data Path) es una tecnología de Linux que permite ejecutar programas eBPF directamente en la capa más temprana del controlador de red, antes de que los paquetes lleguen al stack de red de conntrack conntrack (connection tracking) es un módulo del kernel de Linux que rastrea el estado de las conexiones de red, permitiendo a los firewalls y NAT tomar decisiones basadas en el contexto del flujo de gRPC gRPC es un framework de Remote Procedure Call (RPC) de alto rendimiento y código abierto, desarrollado por Google, que utiliza HTTP/2 para el transporte y Protocol Buffers como lenguaje de descripción nftables nftables es el sucesor de iptables en Linux, proporcionando un framework unificado y más flexible para la filtración de paquetes, NAT y clasificación de tráfico, con una sintaxis más expresiva y un re smoltcp smoltcp es una pila de red TCP/IP en Rust, diseñada para ser pequeña, segura y eficiente, ideal para sistemas embebidos y entornos bare-metal donde los recursos son limitados.
Observabilidad (14)
Flame Graph Un Flame Graph es una visualización interactiva de perfiles de software que muestra la pila de llamadas (call stack) de un programa, permitiendo identificar rápidamente los 'hot paths' y cuellos de bo Head Sampling Head Sampling es una estrategia de muestreo en sistemas de observabilidad distribuida donde la decisión de muestrear o no un rastro (trace) se toma al inicio de su ejecución, propagando esta decisión INP (Interaction to Next Paint) INP (Interaction to Next Paint) es una métrica de rendimiento web que evalúa la capacidad de respuesta de una página a las interacciones del usuario, midiendo el tiempo desde una interacción hasta que OTLP OTLP (OpenTelemetry Protocol) es un protocolo de código abierto, vendor-agnostic y neutral en cuanto a transporte para la transmisión de datos de telemetría (métricas, logs y traces) desde instrumenta OTTL OTTL (OpenTelemetry Transformation Language) es un lenguaje de expresión y transformación para procesar datos de telemetría (logs, métricas, traces) dentro del ecosistema OpenTelemetry, permitiendo fi RED Metrics RED Metrics es un conjunto de métricas clave (Rate, Errors, Duration) para monitorizar el rendimiento y la salud de servicios orientados a solicitudes, proporcionando una visión concisa y accionable d Real User Measurements (RUM) Real User Measurements (RUM) es una técnica de monitoreo pasivo que recopila datos de rendimiento directamente desde los navegadores web o aplicaciones móviles de los usuarios finales, ofreciendo una Root Cause Analysis Proceso sistemático para identificar la causa fundamental de un problema o incidente, en lugar de solo tratar sus síntomas. Runbook Un Runbook es un documento detallado que describe los procedimientos paso a paso para diagnosticar, mitigar y resolver problemas operativos o realizar tareas rutinarias en un sistema, servicio o infra Tail Sampling Tail Sampling es una técnica de muestreo de trazas distribuidas que decide si una traza completa debe ser retenida o descartada basándose en atributos de sus spans una vez que la traza ha finalizado o Time Series Analysis El Time Series Analysis es un método estadístico para analizar datos recolectados en puntos sucesivos en el tiempo, identificando patrones, tendencias y estacionalidad para pronosticar comportamientos Trace Context Trace Context es un mecanismo estandarizado para propagar identificadores de trazas (trace IDs) y spans a través de límites de servicio, permitiendo la reconstrucción de la ruta completa de una solici VMAF VMAF (Video Multi-method Assessment Fusion) es una métrica objetiva de calidad de video desarrollada por Netflix que predice la calidad percibida por el usuario combinando modelos computacionales con pprof pprof es una suite de herramientas de profiling de código abierto para visualizar y analizar datos de rendimiento de programas, especialmente útil para identificar cuellos de botella en CPU, memoria,
Scheduling & Concurrencia (14)
Bin-packing Bin-packing es un problema de optimización combinatoria que busca empacar un conjunto de elementos de diferentes tamaños en el menor número posible de 'contenedores' (bins) de capacidad fija, minimiza Cluster API Cluster API (CAPI) es un proyecto de Kubernetes que proporciona APIs declarativas y herramientas para crear, configurar y gestionar clusters de Kubernetes de forma programática en diversas infraestruc Coffman Conditions Las Coffman Conditions son un conjunto de cuatro condiciones necesarias para que ocurra un interbloqueo (deadlock) en un sistema concurrente: exclusión mutua, retención y espera, no-apropiación y espe Custom Resource Un Custom Resource es una extensión de la API de Kubernetes que permite a los usuarios definir sus propios tipos de objetos, extendiendo la capacidad declarativa de la plataforma para gestionar compon Custom Resource Definition Una Custom Resource Definition (CRD) es una API de Kubernetes que permite a los usuarios definir sus propios tipos de recursos personalizados, extendiendo el API de Kubernetes sin modificar el código Custom Resource Definition (CRD) Una Custom Resource Definition (CRD) en Kubernetes es un mecanismo que permite a los usuarios extender la API de Kubernetes añadiendo sus propios tipos de recursos personalizados. Dynamic Resource Allocation Proceso de asignar y reasignar recursos computacionales (CPU, memoria, almacenamiento, red) a aplicaciones o servicios en tiempo real, basándose en la demanda actual y las políticas predefinidas, para Gang Scheduling Gang Scheduling es una técnica de planificación de procesos en sistemas distribuidos o paralelos donde un conjunto de tareas interdependientes (un 'gang') se ejecutan simultáneamente en diferentes pro Goroutine Una Goroutine es una función o método que se ejecuta concurrentemente con otras Goroutines en el mismo espacio de direcciones, gestionada por el runtime de Go, ofreciendo concurrencia ligera y eficien Karpenter Karpenter es un aprovisionador de nodos de Kubernetes de código abierto y alto rendimiento que observa los pods pendientes y lanza automáticamente nuevos nodos que se ajustan a sus requisitos, optimiz Pod Disruption Budget Un Pod Disruption Budget (PDB) es un objeto de Kubernetes que permite a los operadores declarar un número mínimo o porcentaje de Pods disponibles para una aplicación durante interrupciones voluntarias Preemption La preemption es la capacidad de un sistema operativo para interrumpir la ejecución de una tarea o proceso en curso y asignarle la CPU a otra tarea, basándose en una política de planificación, sin que SCHED_FIFO SCHED_FIFO es una política de planificación de Linux que implementa un algoritmo de 'First-In, First-Out' (FIFO) para procesos en tiempo real, garantizando que una tarea de mayor prioridad se ejecute SkyPilot SkyPilot es un framework de código abierto que simplifica la ejecución de cargas de trabajo de IA/ML en la nube, abstrae la infraestructura subyacente y optimiza costos y rendimiento.
Seguridad & Criptografía (58)
ASan ASan (AddressSanitizer) es una herramienta de detección de errores de memoria en tiempo de ejecución, diseñada para identificar problemas como el uso de memoria después de liberarla (use-after-free), BYOVD BYOVD (Bring Your Own Vulnerable Driver) es una técnica de ataque donde un atacante introduce un driver legítimo pero vulnerable en un sistema comprometido para escalar privilegios o evadir defensas, CAPTCHA CAPTCHA (Completely Automated Public Turing test to tell Computers and Humans Apart) es un mecanismo de seguridad que distingue usuarios humanos de bots automatizados mediante la presentación de desaf CHERI CHERI (Capability Hardware Enhanced RISC Instructions) es una arquitectura de conjunto de instrucciones que extiende arquitecturas RISC existentes con capacidades de hardware para proporcionar protecc CSP Content Security Policy (CSP) es un estándar de seguridad web que ayuda a prevenir ataques de inyección de contenido, como Cross-Site Scripting (XSS), al especificar fuentes de contenido permitidas pa Capability Una Capability es un token de seguridad que otorga a su poseedor el derecho a realizar una operación específica sobre un recurso, encapsulando la autorización y el acceso de manera granular y transfer Confidential Computing Confidential Computing es una tecnología que protege los datos en uso mediante la ejecución de cargas de trabajo dentro de un Entorno de Ejecución Confiable (TEE), garantizando su confidencialidad e i DLP Data Loss Prevention (DLP) es un conjunto de herramientas y procesos diseñados para asegurar que la información sensible no sea perdida, mal utilizada o accedida por usuarios no autorizados, protegien DSE Driver Signature Enforcement (DSE) es una característica de seguridad en sistemas operativos Windows de 64 bits que requiere que todos los drivers de modo kernel estén firmados digitalmente por una au EIP-712 EIP-712 es un estándar de Ethereum para estructurar y firmar datos fuera de la cadena de forma legible y segura, mejorando la experiencia de usuario y la seguridad en interacciones con contratos intel Formal Verification Formal Verification es el acto de probar o refutar la corrección de algoritmos, protocolos o sistemas utilizando métodos matemáticos formales, en lugar de pruebas empíricas. Hardened Runtime Hardened Runtime es un conjunto de protecciones de seguridad en tiempo de ejecución que restringen las capacidades de una aplicación para mitigar vulnerabilidades y ataques, aplicando el principio de Hardware Attestation Hardware Attestation es un proceso criptográfico que verifica la identidad y el estado de seguridad de un componente de hardware o una plataforma completa, asegurando que no ha sido comprometida o alt Harvest-Now/Decrypt-Later Estrategia de ataque donde los adversarios recolectan datos cifrados hoy, con la expectativa de descifrarlos en el futuro cuando la tecnología de descifrado (ej. computación cuántica) esté disponible. JSON Canonicalization Scheme (JCS) JCS es un estándar para producir una representación canónica y determinista de cualquier objeto JSON, asegurando que dos objetos lógicamente idénticos tengan siempre la misma serialización binaria. JWT JSON Web Token (JWT) es un estándar compacto y autocontenido para la transmisión segura de información entre partes como un objeto JSON, comúnmente utilizado para autenticación y autorización. Lattice-based Cryptography Criptografía post-cuántica que basa su seguridad en la dificultad computacional de resolver problemas matemáticos en retículos (lattices) de alta dimensión, resistente a ataques de computadoras cuánti ML-DSA ML-DSA (Module-Lattice-Digital Signature Algorithm) es un algoritmo de firma digital post-cuántica estandarizado por el NIST, diseñado para resistir ataques de computadoras cuánticas, basado en proble ML-KEM ML-KEM (Module-Lattice-KEM) es un algoritmo de encapsulamiento de claves (KEM) post-cuántico basado en retículos, estandarizado por NIST, diseñado para resistir ataques de computadoras cuánticas. Memory Protection Keys (MPK) MPK es una característica de hardware de Intel que permite a los programas cambiar los permisos de acceso a la memoria para regiones de memoria específicas sin modificar las tablas de páginas, mejoran OAuth 2.1 PKCE OAuth 2.1 PKCE (Proof Key for Code Exchange) es una extensión de seguridad para el flujo de autorización de OAuth 2.0, diseñada para proteger clientes públicos (como aplicaciones móviles y SPAs) contr Oblivious HTTP (OHTTP) OHTTP es un protocolo de privacidad que desacopla la dirección IP del cliente de su solicitud HTTP, utilizando un proxy intermedio para enmascarar la identidad del originador ante el servidor de desti Oblivious Pseudorandom Function (OPRF) Una OPRF es un protocolo criptográfico de dos partes que permite a un cliente obtener la evaluación de una función pseudorandom (PRF) sobre una entrada, sin revelar la entrada al servidor, y sin que e Oblivious RAM (ORAM) Oblivious RAM (ORAM) es una primitiva criptográfica que oculta los patrones de acceso a la memoria de un programa a un servidor o almacenamiento externo, garantizando que el acceso a los datos sea ind Open Policy Agent Open Policy Agent (OPA) es un motor de políticas de propósito general y código abierto que permite desacoplar la toma de decisiones de políticas de la lógica de la aplicación, utilizando un lenguaje d Origin Hijack Un 'Origin Hijack' es un ataque donde un actor malicioso manipula el mecanismo de Same-Origin Policy (SOP) de los navegadores web para eludir las restricciones de seguridad y acceder a recursos de un PEM Encoding PEM (Privacy-Enhanced Mail) Encoding es un formato de texto base64 estándar para representar datos binarios, como certificados criptográficos, claves públicas/privadas y otros datos de seguridad, de u PII Redaction PII Redaction es el proceso de eliminar o enmascarar Información de Identificación Personal (PII) de datos para proteger la privacidad y cumplir con regulaciones. Post-Quantum Cryptography La Criptografía Post-Cuántica (PQC) es un conjunto de algoritmos criptográficos diseñados para ser seguros frente a ataques de computadoras cuánticas, que podrían romper los esquemas criptográficos ac Post-Quantum Cryptography (PQC) La Criptografía Post-Cuántica (PQC) es un conjunto de algoritmos criptográficos diseñados para ser seguros frente a ataques de computadoras cuánticas, mientras que también son ejecutables en computado Private Information Retrieval (PIR) PIR es un protocolo criptográfico que permite a un usuario recuperar un elemento de una base de datos de un servidor sin revelar al servidor qué elemento ha sido recuperado. Prompt Injection Un tipo de ataque de seguridad donde un usuario malintencionado manipula un modelo de lenguaje grande (LLM) inyectando instrucciones ocultas o contradictorias dentro de la entrada (prompt) para altera Proof Assistant Un Proof Assistant es una herramienta de software interactiva que ayuda a los usuarios a construir y verificar pruebas matemáticas formales, garantizando la corrección lógica de teoremas y propiedades Provenance Provenance se refiere al registro inmutable del origen, historial y transformaciones de un dato o artefacto a lo largo de su ciclo de vida, garantizando su trazabilidad y autenticidad. Purecap Architecture Una arquitectura de CPU donde todos los punteros son 'capabilities' (capacidades) que encapsulan tanto la dirección como los permisos de acceso, proporcionando seguridad de memoria granular y mitigand Q-Day Q-Day (Quantum Day) es el momento hipotético en el que las computadoras cuánticas serán lo suficientemente potentes como para romper los algoritmos criptográficos de clave pública actuales, amenazando RPKI RPKI (Resource Public Key Infrastructure) es un marco de seguridad basado en PKI que permite a los propietarios de recursos de Internet (números de sistema autónomo y prefijos IP) firmar criptográfica ReDoS ReDoS (Regular Expression Denial of Service) es un tipo de ataque de denegación de servicio que explota vulnerabilidades en la forma en que los motores de expresiones regulares procesan patrones inefi ResourceOwner Entidad (usuario, aplicación) que posee o tiene la autoridad para conceder acceso a un recurso protegido en un sistema distribuido, fundamental en flujos de autorización como OAuth 2.0. Return-Oriented Programming (ROP) ROP es una técnica de explotación de seguridad que permite a un atacante ejecutar código arbitrario reusando fragmentos de código existentes (gadgets) en la memoria del programa, eludiendo las protecc SASE SASE (Secure Access Service Edge) es un modelo de arquitectura de ciberseguridad convergente que combina funciones de red de área extensa (WAN) con servicios de seguridad en la nube para proporcionar Same-Origin Policy La Same-Origin Policy (SOP) es un mecanismo de seguridad fundamental en navegadores web que restringe cómo un documento o script cargado desde un origen puede interactuar con recursos de otro origen. Sandbox Un Sandbox es un entorno de ejecución aislado y controlado que restringe los recursos y permisos de un programa o proceso, previniendo que acciones maliciosas o erróneas afecten al sistema anfitrión. Secure Enclave Un Secure Enclave es un coprocesador de seguridad de hardware que proporciona un entorno de ejecución aislado para proteger datos sensibles y operaciones criptográficas, incluso si el sistema operativ Secure Web Gateway Un Secure Web Gateway (SWG) es una solución de seguridad que protege a los usuarios de amenazas web y aplica políticas de uso de internet, actuando como un punto de control entre los usuarios y la web Shadow IT Shadow IT se refiere a los sistemas, soluciones y dispositivos de tecnología de la información que son implementados y utilizados dentro de una organización sin la aprobación explícita o la supervisió Signed Integer Overflow Un Signed Integer Overflow ocurre cuando una operación aritmética produce un valor numérico que excede el rango representable por un tipo de dato entero con signo, resultando en un comportamiento inde Stack Buffer Overflow Un Stack Buffer Overflow es una vulnerabilidad de seguridad que ocurre cuando un programa escribe más datos en un búfer ubicado en la pila de llamadas de los que este puede contener, sobrescribiendo l Store Now, Decrypt Later (SNDL) SNDL es una estrategia de seguridad que implica almacenar datos cifrados hoy, con la intención de descifrarlos en el futuro cuando los recursos computacionales o las claves de descifrado estén disponi Symbolic Execution Una técnica de análisis de programas que explora múltiples rutas de ejecución simultáneamente, utilizando valores simbólicos en lugar de concretos para las entradas, con el fin de encontrar vulnerabil System Integrity Protection System Integrity Protection (SIP) es una característica de seguridad que restringe la modificación de archivos y directorios del sistema, así como procesos y configuraciones de tiempo de ejecución, in Tokenization Proceso de reemplazar datos sensibles con un token no sensible, manteniendo la referencia a los datos originales sin exponerlos directamente, mejorando la seguridad y reduciendo el alcance de cumplimi Trusted Execution Environment (TEE) Un Trusted Execution Environment (TEE) es un entorno seguro dentro de un procesador que garantiza la confidencialidad e integridad de los datos y el código que se ejecutan en él, incluso si el sistema V8 Sandbox Un mecanismo de seguridad en el motor JavaScript V8 que aísla el código no confiable en un entorno de memoria restringido, mitigando vulnerabilidades y ataques de ejecución remota de código. WCAG Las Web Content Accessibility Guidelines (WCAG) son un conjunto de directrices internacionales para hacer el contenido web accesible a personas con discapacidad. ZTNA ZTNA (Zero Trust Network Access) es un modelo de seguridad que asume que ninguna entidad, ya sea dentro o fuera del perímetro de la red, debe ser confiable por defecto, requiriendo verificación estric Zero Trust Zero Trust es un modelo de seguridad que asume que ninguna entidad, ya sea dentro o fuera del perímetro de la red, debe ser confiable por defecto, requiriendo verificación continua para cada acceso a ecrecover Una función criptográfica que recupera la dirección pública de Ethereum (o la clave pública) del firmante de un mensaje, dada la firma digital y el hash del mensaje original.
Storage Engines (29)
Apache Iceberg Apache Iceberg es un formato de tabla abierto para grandes conjuntos de datos analíticos, diseñado para añadir capacidades de transacciones ACID, evolución de esquema y viaje en el tiempo a data lakes Cloudflare KV Cloudflare KV es una base de datos clave-valor distribuida globalmente, sin servidor y de baja latencia, diseñada para el almacenamiento de datos no relacionales en el Edge de la red de Cloudflare. Clustered Index Un Clustered Index es un tipo de índice en bases de datos donde el orden físico de las filas de datos en disco coincide con el orden lógico del índice, lo que significa que los datos se almacenan físi Columnar Storage Un modelo de almacenamiento de datos que organiza la información por columnas en lugar de filas, optimizando las operaciones analíticas y de agregación al reducir la cantidad de datos a leer del disco Composite Key Una Composite Key es una clave primaria o candidata que consta de dos o más atributos (columnas) en una tabla, utilizados colectivamente para identificar de forma única cada registro. DASD DASD (Direct Access Storage Device) es un término histórico para dispositivos de almacenamiento que permiten acceso directo a cualquier bloque de datos, a diferencia del acceso secuencial. Data Pruning Data Pruning es el proceso de eliminar datos obsoletos, irrelevantes o redundantes de un sistema de almacenamiento para optimizar el rendimiento, reducir costos y mejorar la eficiencia. DataBlock Un DataBlock es una unidad fundamental y contigua de almacenamiento de datos dentro de un sistema de archivos o base de datos, optimizada para operaciones de lectura/escritura eficientes. Delta Compression Técnica de compresión de datos que almacena las diferencias (deltas) entre versiones consecutivas de un archivo o conjunto de datos, en lugar de almacenar cada versión completa, optimizando el espacio Fjall Fjall es un motor de almacenamiento de clave-valor (key-value store) diseñado para ser incrustado, optimizado para cargas de trabajo de escritura intensiva y alta concurrencia, utilizando una arquitec IFileSystem IFileSystem es una interfaz que abstrae las operaciones fundamentales de un sistema de archivos, permitiendo la interacción uniforme con diferentes implementaciones subyacentes, como sistemas de archi Invisible Bytes Datos auxiliares o metadatos que, aunque no forman parte explícita del contenido útil de un archivo o bloque de datos, son esenciales para su gestión, integridad, recuperación o interpretación por par LSM-tree Una estructura de datos persistente optimizada para cargas de trabajo intensivas en escritura, que organiza los datos en componentes en memoria y en disco, fusionándolos periódicamente para mantener l Lakehouse Un Lakehouse es una arquitectura de datos híbrida que combina la flexibilidad y el bajo costo de un Data Lake con las capacidades de gestión de datos y ACID transactions de un Data Warehouse, facilita MVCC MVCC (Multi-Version Concurrency Control) es una técnica de control de concurrencia que permite a múltiples transacciones acceder a diferentes versiones de un mismo dato simultáneamente, mejorando el r Materialized View Una Materialized View es una tabla o índice precomputado que almacena el resultado de una consulta (query) compleja, permitiendo un acceso rápido a datos agregados o transformados sin recalcular la co Multipath Multipath es una técnica que permite el uso simultáneo de múltiples rutas de red o almacenamiento entre dos dispositivos, mejorando la redundancia, el rendimiento y la disponibilidad. Non-clustered Index Un Non-clustered Index es una estructura de datos separada de la tabla que contiene punteros a las filas de datos, mejorando el rendimiento de las consultas sin alterar el orden físico de los datos en Open Table Formats Los Open Table Formats son especificaciones de metadatos abiertas que definen cómo organizar y gestionar grandes tablas de datos en data lakes, permitiendo transacciones ACID, evolución de esquemas y SSTable SSTable (Sorted String Table) es un formato de archivo inmutable y ordenado por clave que almacena pares clave-valor, optimizado para escrituras secuenciales y lecturas eficientes en sistemas de almac Scatter En el contexto de I/O, 'Scatter' se refiere a la operación de escribir datos de un único buffer de memoria contiguo en múltiples ubicaciones no contiguas en un dispositivo de almacenamiento o red, opt Tiering Estrategia de gestión de datos que organiza la información en diferentes niveles (tiers) de almacenamiento según su frecuencia de acceso, criticidad o valor, optimizando costos y rendimiento. VBR VBR (Volume Boot Record) es un sector especial en un volumen de almacenamiento que contiene el código de arranque y la información necesaria para iniciar un sistema operativo o un gestor de arranque d Vector Database Una Vector Database es un tipo de base de datos optimizada para almacenar, indexar y consultar vectores de alta dimensión, permitiendo búsquedas de similitud eficientes basadas en la distancia entre e Write-Ahead Log Un Write-Ahead Log (WAL) es un mecanismo fundamental para garantizar la durabilidad y atomicidad de las transacciones en sistemas de bases de datos y almacenamiento, registrando todos los cambios ante Write-Ahead Logging (WAL) WAL es una técnica de durabilidad y atomicidad en sistemas de bases de datos y almacenamiento que asegura que todos los cambios en los datos se registren primero en un log persistente antes de aplicar Zstandard Zstandard (Zstd) es un algoritmo de compresión de datos sin pérdida, rápido y de código abierto, diseñado para ofrecer una relación de compresión comparable a zlib con velocidades de descompresión sig binlog El binlog (binary log) es un registro de eventos que describe los cambios en una base de datos, utilizado principalmente para replicación, recuperación de desastres y auditoría de datos. mydumper mydumper es una herramienta de respaldo lógico de alto rendimiento para bases de datos MySQL y MariaDB, que utiliza paralelismo y consistencia transaccional para exportar datos de manera eficiente.