← Volver a novedades
Tibo@thsottiaux

Las pruebas formales de decenas de millones de líneas de código ya no son algo ridículo y están dentro de lo que debería considerarse al diseñar sistemas nuevos.

Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.
Publicación
Ver en X ↗𝕏 Compartir
Tibo
Puedo decir con confianza que los humanos no éramos muy buenos escribiendo infraestructura segura. El destino final será infraestructura y software hiperseguros para todos, pero vamos a pasar por algo de turbulencia antes de llegar ahí.
Tibo
Las pruebas formales de decenas de millones de líneas de código ya no son algo ridículo y están dentro de lo que debería considerarse al diseñar sistemas nuevos.
← Volver a novedades