Posts

All posts

• Bash

  Pubblicato:10 ago 2024

  Bash cheatsheet for everyday use

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear

• Woodenpuzzle: piano

  Pubblicato:16 giu 2024

  Once upon a time... I built a wooden piano

• Git cheatsheet

  Pubblicato:10 giu 2024

  Git cheatsheet for everyday use