Tag: informatica

Tutti i post con il tag "informatica".

• Concurrency and parallelism in Python

  Pubblicato:17 lug 2024

  A brief overview of the differences between concurrency and parallelism, and how to achieve them in Python

• 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