software · 19 menciones
El uso de modelos de inteligencia artificial como GPT-4, Claude y Gemini, aparentemente económicos, está resultando significativamente más costoso de lo que parece. La clave reside en la unidad de medida utilizada: los 'tokens'. A diferencia de lo que muchos usuarios creen, no se paga por palabra, s
El presente artículo ofrece una mirada retrospectiva sobre la evolución de los entornos de desarrollo integrado (IDEs) en Google, una de las mayores empresas tecnológicas del mundo. Durante años, Google permitió que sus ingenieros eligieran libremente su IDE favorito, lo que generó un ecosistema alt
BuildBuddy ha implementado content-defined chunking (CDC) en su remote cache, logrando reducir la transferencia de datos en un 40% y disminuyendo el tamaño del disco caché en un 40%. La función está disponible para Bazel 8.7 o versiones 9.1+ mediante la bandera --experimental_remote_cache_chunking.
El 'tercer problema difícil' de la informática es el mapeo de grafos a estructuras jerárquicas, un problema que surge de la tensión fundamental entre cómo organizamos la información y cómo funcionan realmente las ideas. Nuestros cerebros evolucionaron para comprender el espacio físico, que tiene una
Este artículo examina qué debe ofrecer un sistema de compilación y expone el enfoque del proyecto civ, una herramienta escrita en alrededor de mil líneas de código que invoca un proceso de Lua en sandbox para interpretar configuraciones. El autor parte de una idea central: un sistema de compilación
GALA es un lenguaje de programación de tipado estático y orientación funcional, creado como proyecto open source en GitHub, que se transpila a Go. Su objetivo es incorporar en Go el sistema de tipos que muchos desarrolladores echan en falta, especialmente quienes proceden de Scala, Kotlin, F# u OCam
Copybara es una herramienta desarrollada y utilizada internamente en Google cuyo propósito es transformar y mover código fuente entre distintos repositorios. Responde a una necesidad habitual en proyectos de software: mantener sincronizados repositorios con políticas de visibilidad diferentes, como
La corrección estructural es un enfoque que modela un dominio como un grafo de nodos y aristas tipadas, donde la estructura que describe el sistema es el propio sistema. Sistemas de tipos, herramientas de construcción como Bazel, lenguajes de descripción de interfaces y bases de datos con claves for
El desarrollador Farid Zakaria anuncia una colaboración con el mantenedor de VFS Christian Brauner que incorporará al kernel Linux un mecanismo programable, basado en eBPF y binfmt_misc, para resolver dinámicamente el intérprete de los binarios. El objetivo es habilitar el soporte de $ORIGIN (la rut
El paquete analysis del proyecto Go define la interfaz entre un análisis estático modular y el programa que lo ejecuta, conocido como driver. Un análisis estático es una función que examina un paquete de código Go y emite diagnósticos —generalmente errores en el código—, aunque también puede produci
JetBrains ha anunciado una extensión en versión preliminar que expone las funciones inteligentes de IntelliJ IDEA para Java y Kotlin a editores de terceros mediante el protocolo LSP (Language Server Protocol). La extensión, llamada "Java & Kotlin by IntelliJ IDEA", ya está disponible en Visual Studi
Docker no utiliza un único sistema de caché durante la compilación de imágenes, sino al menos tres con vidas, reglas de invalidación y modos de fallo distintos. Comprender en cuál de ellos reside la ganancia real de cada proyecto es la clave para elegir una estrategia de caché eficaz, según un análi
El desarrollador conocido como arxanas describe un flujo de trabajo en el que integra planes de prueba ejecutables dentro de los mensajes de commit de Git, utilizando la herramienta scrut (de Facebook Incubator) como formato ligero inspirado en Markdown. La idea nace a raíz del artículo de Julio Mer
El desarrollador Fareed Zakaria presenta un proyecto personal, stage0-bazel, que ofrece una cadena de herramientas C++ completamente hermética para Bazel cuyo origen se remonta a un programa ensamblador de apenas 357 bytes. La idea parte del proyecto stage0, una cadena de compiladores y ensambladore
Modular ha publicado en código abierto el compilador y toda la cadena de herramientas del lenguaje de programación Mojo, bajo la licencia Apache 2.0 con excepciones de LLVM. El código ya está disponible en el repositorio de GitHub de la compañía. La apertura llega una semana después de que Mojo alca
El artículo propone un conjunto de directrices fundamentales para el diseño de nuevos lenguajes de programación y sus sistemas de configuración, argumentando que estas decisiones deben tomarse desde el inicio para evitar problemas de compatibilidad y usabilidad. El autor destaca la importancia de re
XLS (Accelerated HW Synthesis) es una herramienta de síntesis de alto nivel que genera diseños sintetizables en Verilog y SystemVerilog a partir de descripciones funcionales flexibles. Desarrollado por Google, este SDK está diseñado para la era del fin de la Ley de Moore, facilitando la colaboración
El proyecto HEIR (Homomorphic Encryption Intermediate Representation) es un compiler de código abierto desarrollado por Google que traduce programas convencionales a versiones capaces de ejecutarse directamente sobre datos cifrados. Gracias al cifrado homomórfico (HE), el servidor que ejecuta el mod
El artículo analiza la tendencia creciente de los desarrolladores de software a delegar tareas cognitivas en modelos de lenguaje de gran escala (LLM) sin supervisión humana, un fenómeno que el autor denomina 'turnar el cerebro apagado'. Aunque esta metodología ha mejorado desde 2025, el texto argume
