Tag: informatica

Tutti i post con il tag "informatica".

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Verifica formale di reti neurali usando dlinear

• Git cheatsheet

  Pubblicato:10 giu 2024

  Cheatsheet per l'uso di Git

• SymAware consortium

  Pubblicato:17 mag 2024

  Quella volta che... sono andato a Stoccolma per il secondo "consortium meeting" di SymAware

• Grub cheatsheet

  Pubblicato:7 mag 2024

  Cheatsheet per l'uso di Grub con una breve, triste storia