software · 5 menciones
Jane Street, una firma de trading cuantitativo, ha migrado una biblioteca clave para simulaciones de hardware (Hardcaml_step_testbench) de monads a efectos algebraicos, una nueva característica de OCaml 5. Esta transición busca mejorar la legibilidad del código y permitir el uso de características a
Desarrolladores de PHP están siendo desafiados a procesar 100 millones de filas de datos en una nueva competición lanzada en GitHub por Tempestphp. El objetivo es analizar un conjunto de datos de visitas a páginas web y generar un archivo JSON con información sobre la frecuencia de visitas por día,
El auge de los modelos de lenguaje grandes (LLMs) como Llama ha democratizado la inteligencia artificial, permitiendo a usuarios con menos recursos adaptar estos modelos a tareas específicas mediante técnicas como LoRA (Low-Rank Adaptation). LoRA funciona 'congelando' la mayor parte de los parámetro
Chorba: Una nueva implementación de CRC32 para mayor eficiencia. ¿Qué es CRC32 y por qué es importante? CRC32 (Cyclic Redundancy Check) es un algoritmo de checksum ampliamente utilizado para verificar la integridad de datos. Imagina que descargas un archivo de internet; el CRC32 te permite confirmar
Este artículo de investigación aborda un problema fundamental en geometría computacional y teoría de árboles: la complejidad de encontrar la distancia mínima entre dos triangulaciones de un polígono convexo o entre dos árboles binarios mediante rotaciones. Para entender esto, desglosaremos el proble
La electrónica fúngica es un campo emergente y fascinante que explora la posibilidad de crear dispositivos electrónicos utilizando micelio, la estructura de raíces de los hongos. En esencia, se trata de aprovechar las propiedades eléctricas inherentes a estos organismos para construir sensores, comp
El artículo "Why AI systems don't learn and what to do about it: Lessons on autonomous learning from cognitive science" plantea una crítica fundamental a la forma en que actualmente se construyen los sistemas de Inteligencia Artificial, argumentando que carecen de la capacidad de aprendizaje autónom
El futuro de la interacción con la tecnología podría estar en las gafas inteligentes sin pantalla (Non-Display Smart Glasses). Este estudio, publicado en arXiv, explora cómo funcionan estas gafas en situaciones cotidianas y qué desafíos presentan. La idea principal es combinar sensores ambientales c
Este artículo de investigación, publicado en arXiv, introduce un concepto llamado "Horizonte de Error Cero" (ZEH) para evaluar la fiabilidad de los modelos de lenguaje grandes (LLMs) como GPT-5.2 y Qwen2.5. En esencia, el ZEH define el rango máximo dentro del cual un modelo puede resolver problemas
En la era de la globalización y la movilidad, las relaciones a distancia (RAD) son cada vez más comunes, especialmente entre jóvenes que persiguen oportunidades educativas o laborales. Un estudio reciente publicado en arXiv.org investiga cómo las parejas en RAD utilizan los videojuegos multijugador
El artículo "The AI Layoff Trap" explora un problema económico preocupante: la posibilidad de que la automatización impulsada por la inteligencia artificial (IA) genere una espiral de despidos que, paradójicamente, perjudique a las propias empresas. La idea central es que, si la IA desplaza a los tr
Este artículo presenta una nueva herramienta en el campo de la inteligencia artificial llamada Tree Decision Diagrams (TDD), que esencialmente es una evolución y generalización de los Ordered Binary Decision Diagrams (OBDD). Para entender su importancia, primero debemos comprender qué son los OBDD.
Este artículo de investigación, titulado "Transformers son inherentemente concisos", explora una propiedad fundamental y sorprendente de los modelos Transformer, la arquitectura que impulsa la mayoría de los modelos de lenguaje grandes (LLMs) como ChatGPT. Tradicionalmente, los Transformers se han c
El documento presenta GLM-5V-Turbo, un modelo de lenguaje multimodal de última generación diseñado específicamente para potenciar agentes inteligentes capaces de interactuar con el mundo real. La tendencia actual en inteligencia artificial apunta a crear modelos de lenguaje que no solo procesen text
El rápido avance de los modelos de lenguaje grandes (LLMs), como ChatGPT, ha generado una gran expectación, pero también una preocupación persistente: las “alucinaciones”. En términos sencillos, una alucinación en un LLM es cuando el modelo genera información incorrecta o inventada, presentándola co
LLMorphism es un sesgo cognitivo identificado por el investigador Valerio Capraro en mayo de 2026, que describe la tendencia psicológica de creer que la cognición humana funciona de manera similar a un modelo de lenguaje grande (LLM). Este concepto surge como respuesta a la proliferación de asistent
Phel 0.36.0 es una versión mayor del lenguaje de programación funcional que compila a PHP, introduciendo capacidades fundamentales que amplían significativamente su poder expresivo. Entre las adiciones más relevantes se encuentran lasfirst-classVars, que permiten tratar las variables como valores de
En los sistemas de recuperación de información modernos, ya sean léxicos o semánticos, el corpus se expone a través de una interfaz de similitud fija que comprime el acceso en un único paso de recuperación top-k antes del razonamiento. Aunque esta abstracción es eficiente, se convierte en un cuello
Elevator es el primer traductor binario estático capaz de convertir ejecutables completos x86-64 a la arquitectura AArch64 sin requerir información de depuración, código fuente ni suposiciones previas sobre la disposición del código. A diferencia de los sistemas tradicionales que emplean heurísticas
Epicure representa un avance significativo en la comprensión de la gastronomía mediante la inteligencia artificial. Su objetivo principal es mapear la 'geometría emergente' de los ingredientes culinarios, traduciendo la experiencia culinaria en un espacio matemático comprensible. Esto es crucial por
AMD ha implementado un cambio en la licencia de su herramienta de diseño de FPGAs, Vivado, que ha generado controversia entre los usuarios de Linux. A partir de la versión 2026.1, la edición gratuita (Basic) será exclusiva para Windows, mientras que el soporte para Linux se restringirá a la capa de
