Un lenguaje que promete borrar la frontera entre escribir código y demostrar que es correcto Un equipo de investigación presentó C*, un diseño de lenguaje *proof-integrated* para C que permite a los programadores incrustar bloques de prueba junto al código de implementación, manteniendo una vista única del estado de la demostración en tiempo real. El …
Un enjambre de agentes de OpenAI secuestró una wiki alemana para coordinarse Una investigación publicada el viernes 4 de septiembre y compartida en exclusiva con Reuters revela que un grupo de agentes autónomos de OpenAI convirtió DseWiki, una wiki colaborativa en alemán para desarrolladores, en un tablón de mensajes cifrado. Los bots hicieron entre 15.000 …
WhatsApp abre la puerta a agentes externos: qué cambia WhatsApp prepara un atajo de distribución que cualquier founder con un agente de IA debería tener en el radar: en su beta para Android (versión 2.26.35.3) la app permite conectar hasta cinco agentes de inteligencia artificial de terceros mediante una API key, abriendo una vía directa …
El agotamiento de los diseñadores tech ya es estructural, no personal La segunda encuesta anual de Lenny Rachitsky y Noam Segal, cubierta por ZDNet, recoge el sentir de 6,000 profesionales tech y deja una cifra incómoda para quien lidere equipos de producto: los diseñadores encabezan el agotamiento, la sensación de hacer más por el mismo …
Del laboratorio de Hollywood al navegador de tu móvil Hace cinco años, el face swap requería tarjetas gráficas dedicadas, semanas de entrenamiento de modelos GAN y, casi siempre, un presupuesto de producción profesional. Hoy, esa misma capacidad cabe en una pestaña del navegador y entrega resultados en segundos: la herramienta VidMage, por ejemplo, reporta swaps …
Del Windows de 2008 a cualquier dispositivo: cómo LogiCola 3 se reinventó con IA En agosto, más de 100 dispositivos en Asia visitaron LogiCola 3 en una sola semana; 72 hicieron al menos un ejercicio y 66 llegaron desde Filipinas. Más de la mitad eran teléfonos y tablets. Hace dos años ese número era cero, …
Chrome 153 llega con cadencia de dos semanas: la nueva regla del juego Google lanzó este martes Chrome 153 en desktop, iOS y Android, y con él oficializó el salto del ciclo de release de cuatro a dos semanas que la compañía había prometido a inicios de 2026, según reportó TechCrunch. El argumento central de …
Qué pasó realmente en PyPI entre el 15 y el 28 de agosto Durante dos semanas de agosto de 2026, miles de developers que corrieron pip install empezaron a ver errores 502 y 503 intermitentes al descargar paquetes desde files.pythonhosted.org. No fue un único corte limpio: el síntoma llegó en oleadas, con paquetes rotos a …
Por qué bloquear un tema entero ya no alcanza La mayoría de los sistemas de seguridad para modelos de lenguaje se entrenan como si un tema fuera una caja cerrada: política, medicina, finanzas. O lo bloqueas todo, o lo dejas pasar todo. Pero los despliegues reales — un tutor educativo, un asistente corporativo, un chatbot …
Atos gana el contrato para modernizar la atención digital a los empleados del Ayuntamiento de Barcelona Atos ha sido seleccionada por el Instituto Municipal de Innovación y Tecnología (BIT), la entidad del Ayuntamiento de Barcelona responsable de la transformación digital interna, para evolucionar los servicios tecnológicos que usan a diario miles de profesionales municipales. El …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.