protocol_standard · 1 menciones
Un desarrollador ha creado una nueva herramienta llamada 'gzpeek' para analizar los metadatos ocultos dentro de archivos comprimidos con gzip. Tradicionalmente se asume que gzip solo sirve para comprimir datos, pero la especificación técnica revela que los archivos gzip contienen información adicion
Este artículo explora el algoritmo de compresión bzip, a menudo pasado por alto en favor de alternativas más populares como zstd o xz, pero que ofrece ventajas significativas en ciertos escenarios, particularmente cuando se trata de comprimir código fuente. El autor, enfrentando la necesidad de redu
Un equipo de investigadores ha descubierto una vulnerabilidad crítica en el entorno de desarrollo Lean 4, a pesar de que una implementación de zlib (lean-zip) había sido formalmente verificada como correcta por Lean. El hallazgo, realizado por Kiran Gopinathan utilizando un agente Claude y herramien
Este artículo explora los algoritmos de compresión de datos, motivado por la implementación de un broker de Kafka personalizado (MonKafka). La compresión es crucial para optimizar el almacenamiento y la transmisión de datos, ya que reduce el espacio requerido y el tiempo de procesamiento. Existen do
El desarrollador del proyecto de software libre Dillo, Rodrigo Arias Mallo, propone utilizar grabaciones de sesiones de terminal con asciinema para verificar la autoría humana de contribuciones de código. Esta medida busca resolver la dificultad de distinguir parches generados por Inteligencia Artif
El blog de ngrok publica un artículo didáctico que explica la relación profunda entre la compresión de datos y el modelado de lenguaje. El texto parte de la idea de que compresores como gzip o Brotli y los modelos de lenguaje grandes (LLM) resuelven, en esencia, el mismo problema: predecir la redund
Minificar el CSS —eliminar espacios en blanco y comentarios— se ha convertido en un paso habitual en los flujos de trabajo de desarrollo web, pero rara vez aporta un beneficio perceptible. Este artículo analiza con datos si esa práctica tiene sentido en 2023. En primer lugar, el tamaño importa meno
Concatenar archivos .tar.gz con un simple cat no funciona, y la razón está en el diseño original de tar y gzip. Tar (tape archive) se creó pensando en cintas magnéticas: las lecturas son secuenciales, los bloques tienen tamaño fijo y el final del archivo se marca con uno o más bloques de ceros que a
La compresión de datos permite reescribir la información para que ocupe menos bytes sin perder contenido. El artículo parte de un ejemplo sencillo: ocho valores booleanos codificados como JSON ocupan 52 bytes, pero como cadena de bits caben en uno solo. A partir de ahí se presentan los algoritmos ge
Un proyecto de software llamado gzipt demuestra que el algoritmo de compresión DEFLATE, utilizado por gzip, puede funcionar como un modelo de lenguaje sin redes neuronales ni parámetros aprendidos. La herramienta opera basándose en la equivalencia entre predicción y compresión: cualquier algoritmo d
Elastic ha desarrollado un marco de trabajo (harness) que permite a agentes de inteligencia artificial identificar e implementar automáticamente optimizaciones en el código base de Elasticsearch. Este sistema aborda el cuello de botella tradicional en la ingeniería de software, donde la falta de hor
