software · 5 menciones
Google anunció el miércoles nuevas funciones de voz en Gemini Live presumiendo de que los usuarios no deberían tener que adivinar qué herramienta usar para cada tarea, pero la propia app contradice esa promesa al exponer internamente su arquitectura. En la aplicación conviven como marcas separadas e
Los métodos formales —herramientas matemáticas para especificar y verificar software— apenas se utilizan fuera de nichos académicos y de alta seguridad. Un análisis extenso repasa las razones históricas y estructurales de esta baja adopción y propone una mirada más matizada que los tópicos habituale
KORE es un nuevo formato de archivo binario de alto rendimiento diseñado para cargas de trabajo analíticas, que cuenta con una relación de compresión del 38%—significativamente mejor que el 63% de Parquet—y una aceleración de la consulta de 131x a través de la poda de columnas y el filtrado descende
Un nuevo tutorial facilita la programación de sistemas embebidos utilizando los lenguajes Ada y SPARK en microcontroladores ARM Cortex-M. Publicado por inspirel.com, el tutorial está dirigido a aquellos interesados en el desarrollo de sistemas embebidos y que buscan explorar estas alternativas de pr
En la era de los grandes modelos de lenguaje (LLM), la calidad de los datos se ha convertido en el factor determinante que limita su rendimiento. El libro "Data Engineering for LLMs" de Datascale-AI aborda esta problemática, ofreciendo una guía completa y práctica para la ingeniería de datos necesar
