VirtualTam's bookmarks

1. ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   2018-12-13
   nasa programming/c programming/c++ static-analysis static-analysis/lint

   Permalink
   • https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
   • https://www.reddit.com/r/C_Programming/comments/a5a5nc/ikos_21_an_open_source_static_analyzer_for_c_and_c/
2. GNU LilyPond Notation Reference: Common notation for fretted strings

   2018-11-18
   instrument/bass instrument/guitar lilypond music notation

   Permalink
   • Melody with chords. Chord diagrams described on top of the score.
   • Fret diagrams explained and developed
   • https://music.stackexchange.com/questions/47957/lilypond-is-there-a-way-to-create-a-song-with-just-lyrics-and-chords-without-t
   • http://danlovesguitars.com/2011/12/fret-diagrams-for-chords-scales-or-licks/#lilypond
   • https://github.com/lilypond/lilypond/blob/master/ly/string-tunings-init.ly
3. Comment obtenir un gros son de basse ? - Audiofanzine

   2013-07-11
   di instrument/bass instrument/synthesizer record

   Permalink

   Basses : son DI, amp, synth & co