Vérification formelle

Kleppmann met à jour son livre sur les systèmes de données et explique pourquoi le cloud, l’IA et les logiciels local-first n’effacent pas les compromis fondamentaux.