software · 5 menciones
La industria del software ha experimentado un cambio de paradigma con la adopción masiva de la verificación formal, un proceso que garantiza la corrección matemática del código mediante herramientas como Lean y SMT solvers. Recientemente, varias empresas y laboratorios han anunciado hitos significat
Shopify ha revertido su uso de React Native para desarrollar aplicaciones móviles, optando por código nativo en Swift y Kotlin. Este cambio, impulsado por la mejora de los agentes de programación, no responde únicamente a la necesidad de rendimiento, sino a la reducción del coste de desarrollo. Los
Amazon Web Services ha lanzado Dogwood, un lenguaje de gobernanza de código abierto diseñado para la verificación en tiempo de ejecución de agentes de inteligencia artificial. Esta herramienta nace como una alternativa y extensión de AgentCore Policy, la capa de seguridad integrada en Amazon Bedrock
La Open Secure AI Alliance (OSAA), grupo industrial impulsado por Nvidia y nacido hace una semana, ya cuenta con más de 120 empresas miembros y ha presentado su primer grupo de trabajo operativo, Shared AI Findings Exchange (SAFE). Las propuestas, gestionadas por la Linux Foundation, se exponen a co
Un nuevo protocolo llamado Nobulex busca hacer que los agentes de inteligencia artificial sean responsables de sus acciones. Desarrollado como un proyecto de código abierto (licencia MIT), Nobulex permite a los agentes declarar sus intenciones y obligaciones, verificar que las cumplieron y enfrentar