Tag: informatica

Tutti i post con il tag "informatica".

• QF_LRA

  Pubblicato:19 feb 2026

  Quantifier-Free Linear Real Arithmetic (QF_LRA) e i modi in cui può essere risolto

• Driver NVidia per la scheda MX110 su Arch Linux

  Pubblicato:13 feb 2026

  Breve guida all'installazione dei driver NVidia per la scheda grafica MX110 (architettura Maxwell) su Arch Linux

• Cmake cheatsheet

  Pubblicato:5 feb 2026

  Cheatsheet minimale per Cmake

• AAAI 2026

  Pubblicato:16 gen 2026

  Quella volta che... ho partecipato alla conferenza AAAI 2026