Tag: informatica

All the posts with the tag "informatica".

• Bash cheatsheet

  Pubblicato:10 ago 2024

  Bash cheatsheet for everyday use

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear

• Git cheatsheet

  Pubblicato:10 giu 2024

  Git cheatsheet for everyday use

• Grub cheatsheet

  Pubblicato:7 mag 2024

  Grub cheatsheet with a short, sad story