Fork me on GitHub

Other articles

  2. Operations Research and Beer drinking

    Sat 19 November 2011
    By Tof

    In misc.

    I am just returning from Charlotte NC, where I had an amazing time at the INFORMS 2011 conference. Being in the airport waiting for my flight, I figured out I could use this spare time to share a cool story about Operations Research.

    I happen to be a beer lover ...

    read more

    There are comments.

  4. Going static

    Thu 15 September 2011
    By Tof

    In misc.

    I eventually got sick of wordpress and of my former hoster free.fr. Wordpress is probably awesome if you are a team of 15 authors who want to handle mass production of articles with a nice web interface. On the other hand, it needs constant updates, and the last ones ...

    read more

    There are comments.

  7. [Je préfère ton clone] padopi

    Je reprends du service sur ce blog pour parler d'un petit projet libre qui m'a fait bien rigoler: padopi. C'est une application web qui permet d'envoyer des faux mails à vos amis pour leur faire croire qu'ils se sont fait coincer à télécharger. Bon, les ...

    read more

    There are comments.

  14. Google releasing a constraint programming library

    Sat 25 September 2010
    By Tof

    In code.

    tags: or

    As an Operation Research engineer/PhD student, I was very interested to discover that Google just released a project in my field. It is simply called "or-tools" and contains a constraint programming solver.

    While CP is not my primary field of study, I know the basics and I gave a ...

    read more

    There are comments.

  15. Mise à jour de TalkMyPhone

    Salut planet-libre, J'ai mis à jour TalkMyPhone, mon application android. Pour ceux qui n'auraient pas suivi le lancement de l'application la semaine dernière, TalkMyPhone est une application permettant de contrôler son mobile à distance via xmpp, le protocole utilisé par jabber/gtalk. La version beta supporte désormais ...

    read more

    There are comments.

  19. Continuous background compilation within vim

    You can do continuous background compilation within vim. The following code snippet will compile your project with 'make' each time you save the current buffer:

    augroup c++
    autocmd BufWritePost *.{hpp,cpp}
                \ silent execute ":!make > ~/.vim/cpperrors 2>&1 &" |
                \ redraw! |
                \ cgetfile ~/.vim/cpperrors
augroup END

    Of course you could replace the ...

    read more

    There are comments.

  21. La TODO liste du pauvre

    Il y a des dizaines de logiciels permettant de gérer sa TODO liste. Paradoxalement, si on cherche quelque chose de simple, on ne trouve pas. Ce que je cherchais à faire est on ne peut plus simple à décrire: quelque chose qui apparaisse une fois par heure. En effet, le ...

    read more

    There are comments.

  22. Gérer ses plugins vim avec :GetLatestVimScripts

    J'ai envie d'attirer l'attention sur une fonctionnalité sympa de vim, qui pourtant semble méconnue de pas mal de monde, même des utilisateurs avancés: la commande :GetLatestVimScripts, ou son alias :GLVS.

    Le principe est simple: vous installez un script pour vim, et vous voulez que ce script se ...

    read more

    There are comments.

  26. vim+gdb=vimgdb

    Ça faisait longtemps que je n'avais pas fait d'article, j'en profite donc pour rendre hommage au méconnu vimgdb. vimgdb est un patch pour vim qui permet de débogguer dans vim. On ne vantera jamais assez les mérites d'un déboggeur (franchement, il y a un stade où ...

    read more

    There are comments.

  29. Les lecteurs de flux rss en ligne libres

    Aujourd'hui, Samuel Martin a fait [un billet][1] que j'ai trouvé assez intéressant sur les avantages de liferea. J'avoue qu'il y a de bons arguments, notamment le contrôle sur les données personnelles qu'on a avec un tel lecteur et qu'on n'a pas chez ...

    read more

    There are comments.

  30. Couper une vidéo et extraire une scène d'un film

    Comme promis dans le dernier billet, voici comment on fait pour extraire une scène d'un film, par exemple pour en faire un fichier .gif (cf post précédent)... Pour cela vous utiliserez mencoder :

    sudo apt-get install mencoder

    Et la syntaxe est la suivante :

    mencoder -ss     h:mm:ss    \
         -endpos ...
    read more

    There are comments.

  31. Faire un gif animé à partir d'un film

    J'ai souvent vu des gens poser cette question : comment fait-on un gif animé à partir d'un film sous ubuntu? Avec ffmpeg, rien de plus aisé. Sous gnome, avec nautilus-actions, il vous sera même possible de faire clic droit>générer un gif animé à partir de cette vidéo. Commencez-donc ...

    read more

    There are comments.

social