Fork me on GitHub

Other articles

  2. 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.

  5. [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.

  12. 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.

  13. 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.

  17. 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 ...

    read more

    There are comments.

  20. 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.

  21. 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. Coup de gueule : mettez vous à openPGP!

    Si vous posez la question, même aux plus purs geeks que vous rencontrez : "et toi tu utilises openPGP pour signer tes mails?", et bien vous pouvez être sûr que la réponse sera "non." pour la plupart d'entre eux. L'excuse (mauvaise) qu'on vous sort dans ce genre de ...

    read more

    There are comments.

  35. 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.

  39. 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.

  40. 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.

  49. Comment crypter vos partitions sous ubuntu

    Attention

    Cet article date de 2008. Peut-être vaut-il mieux rechercher des sources plus récentes?

    Introduction

    D'abord, la mauvaise nouvelle: tout cela ne servira à rien si on vous vole votre ordinateur allumé, même verrouillé. Il a été montré, vidéos à l'appui, que dans ce cas on pouvait casser ...

    read more

    There are comments.

  50. Ouverture

    Je déclare officiellement ce blog ouvert. \o/ Faites péter la boite de celebrations! Wouhou! Champagne! ... (ahem)

    read more

    There are comments.

social