Delete   Set public   Set private   Add tags   Delete tags
  Add tag   Cancel
  Delete tag   Cancel
Daily Weekly Monthly

Weekly Shaarli

Previous week
All links of one week in a single page.
Next week

Week 43 (October 25, 2021)

The CBMC Homepage

Un «Bounded Model Checker» pour le C et le C++

preuve checking rust C C++
Convert Quicktime Movies to AVI encoded with MPEG-4 (MOV to AVI) with Linux/Ubuntu | dimitar.me

$ ffmpeg -i DSCN1728_rot.mov -qscale 0 -vcodec msmpeg4v2 -acodec libmp3lame train_bibliotheque_bis.avi

ffmpeg
Qista, une guerre propre contre les moustiques - Les Echos Planète

Dommage que ça soit si cher.

moustiques invention écologie hack