Tag: informatica

Tutti i post con il tag "informatica".

• Licenze software

  Pubblicato:21 mar 2026

  Una rapida panoramica sulle licenze più popolari per progetti open‑source

• 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