Tecnología
Verus
Sobre esta tecnología, IA para hoy ha analizado 1 noticia, procedentes de 1 medio distinto. En los últimos siete días han sido 1, frente a las 0 de la semana anterior. La fiabilidad media de esa cobertura es de 3,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Desarrollo, Ciberseguridad, IT. Aparece en 1 historia en seguimiento.
Evolución en 16 semanas
El momentum semanal se estima con la misma fórmula que el momentum actual: volumen, aceleración respecto a la semana anterior, diversidad de fuentes e impacto.
Relacionadas
agentes de programación ×1Rust ×1verificación formal ×1Microsoft Research ×1
Historias
Noticias
Microsoft Research presenta PDD Kit para verificar formalmente código de aplicaciones web generado por agentes de IA
Microsoft Research presenta PDD Kit, una herramienta que convierte la intención del desarrollador en una especificación formal en Verus y prueba que el código…
Por qué importaRevisar línea a línea el código que generan los agentes deja de ser viable, así que el control podría desplazarse a la especificación y a la…