Ho pubblicato un nuovo post (in inglese) dal titolo “Bounded model checking with CBMC and Glucose”.
Continua »Ho pubblicato un nuovo post (in inglese) dal titolo “Thoughts on recording talks”.
Continua »Ho pubblicato un nuovo post (in inglese) dal titolo “The Naming of Tools”.
Continua »Ho pubblicato un nuovo post (in inglese) dal titolo “Writing LaTeX in 2020: survival notes”.
Continua »Ho pubblicato un nuovo post (in inglese) dal titolo “Thoughts on tool demo videos”.
Continua »Di recente avevamo bisogno di usare un’unica variabile int per contenere due interi di piccole dimensioni. (Lasciamo perdere i dettagli e facciamo finta che int sia una variabile a 32 bit, ok?) Nulla di complicato, ma comunque ci sono voluti un paio di tentativi prima che tutto filasse liscio. Quindi, se a qualcuno servisse, ecco il codice:
Il main() proverà tutte le possibili coppie, terminando con un errore se l’unpacking di una tupla porta a risultati inattesi.
Continua »Quando scrivere documenti diventa un’attività quotidiana, un po’ di automazione
può veramente salvarti la vita.
Continua »Una piccola lista che spero possa tornare utile: cercherò di aggiornarla man
mano che trovo altro materiale.
Continua »Il firmware APM:Copter è una delle
principali soluzioni open-source per il pilotaggio remoto di droni. Vedremo
come è possibile eseguire codice personalizzato all’interno del sistema (che
nel mio caso è installato su una board PixHawk v2), ed inviare dati a terra
mediante il protocollo MAVLink.
Continua »Ecco una carrellata di materiale che mi è tornato utile negli ultimi tempi.
Anche se è principalmente a mio uso e consumo (non voglio dimenticare i titoli e
alcune informazioni a contorno, nel caso i link dovessero scomparire in futuro),
spero possa far comodo anche ad altri programmatori/smanettoni.
Continua »