🥡 Voici l'édition de novembre de ma newsletter de veille #TheTechAway

Au menu :

📰 Le #DORA #StateofDevops2024 est dispo !
🏷️ Une solution de #Google pour détecter le contenu généré par #IA ?
🧮 Prouver mathématiquement que #AWS #S3 fonctionne avec la #formalMethod

🔗 https://t.ly/5KeKE

We show how turn-lang lets you make method application feel mathematical!

The demo page: turn-lang.com/public/share-9UbZSmy9FHEAxZRHyEdUqZUj.

Please subscribe for follow up video.

#mathematics #formalmethod #puremathematics #puremaths #turnlang