software · 14 menciones
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
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
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
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
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
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
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
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
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
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
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
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 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
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
