software · 3 menciones
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
Evan Hahn desarrolló ZIP Shrinker, una herramienta basada en WebAssembly que permite reducir el tamaño de archivos ZIP y formatos derivados como APK, EPUB, JAR y otros. La herramienta funciona re-comprimiendo cada archivo dentro del ZIP con el algoritmo Deflate utilizando la librería libdeflate, ade
El proyecto lean-zip, una implementación del algoritmo de compresión DEFLATE escrita en el lenguaje de programación Lean, consigue resultados de compresión más rápidos y con mejor ratio que miniz_oxide, la implementación de referencia en Rust puro. Sobre el corpus estándar Silesia (212 MB), lean-zip
El formato GIF, el más antiguo de los formatos de imagen comprimidos de uso extendido, sigue siendo imprescindible como recurso de respaldo en navegadores muy antiguos, desde NCSA Mosaic hasta Dillo o Konqueror. Sin embargo, su compresión LZW es poco eficiente comparada con las alternativas modernas
libdeflate incorpora un nivel de compresión 13 diseñado para exprimir al máximo el formato DEFLATE sin alterar la compatibilidad. El nivel produce una salida estándar, pero el codificador invierte mucho más tiempo en explorar coincidencias LZ77, optimizar tablas de Huffman y decidir dónde cortar los
El archivo forma parte del modulo compresor (tdefl) de la libreria miniz, una reimplementacion en un solo archivo de zlib escrita en C por Rich Geldreich. El fragmento muestra la construccion de tablas de codigos Huffman canonicos, una pieza central del algoritmo DEFLATE empleado en formatos como ZI
Zstandard (Zstd), definido en el RFC 8478 y publicado por primera vez en 2015, es un algoritmo de compresión moderno que ofrece mejor relación de compresión y mayor velocidad que el veterano Zlib/Deflate (RFC 1950 y 1951, de 1995). Su implementación de referencia, de calidad de producción, es de cód
Tras un trabajo prolongado de optimización de la compresión Deflate en Go, el análisis de los benchmarks reveló dos problemas claros en los niveles de compresión existentes. En primer lugar, existía un salto de rendimiento considerable entre el nivel 1 y el nivel 2, algo esperable porque el nivel 1
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
El artículo detalla las actividades técnicas y de colaboración realizadas durante un retiro de verano en el Recurse Center (RC) en Brooklyn. El autor describe su participación en varios grupos de estudio, incluyendo 'Agentic Adventures', que se centró en agentes de lenguaje de gran escala (LLM) y la