mutt

mutt is a text-based mailer: when you have big mailboxes, it’s much much faster and efficient than standard web mail interfaces and heavy clients. But of course, because it’s text-based, it’s also less “nice, fancy and beautiful”. But I care much more about speed than design, so, here is my config file to use mutt with INRIA zimbra:

Read More

Managing arXiv with android apps

ArXiv is great, but the huge number of papers that one has to deal with makes it really difficult when you want to keep up-to-date without the help of some automation tools.

Read More

Tuto: une appli simple Android sans Studio

L’objectif de ce tutoriel est de vous apprendre à développer une première application Android simplement avec les outils de bases et sans installer Visual Studio. Avec quelques modifications, ce procédé peut même être utilisé pour compiler une application Android depuis le smartphone lui-même, via termux. Mais nous supposerons ici que vous disposez d’un PC sous linux, d’une distribution dérivée de debian (comme Ubuntu, antiX, MX17…).

Read More

Cadastre sur Android

Les données du cadastre sont ouvertes, mais elles ne sont pas si faciles que cela à utiliser. Sans compter que les APIs changent régulièrement. Au final, si vous voulez simplement vous déplacer avec votre téléphone Android tout en visualisant les parcelles du cadastre, il n’existe pas de solutions simples et gratuites.

Read More

Android todo-list with gitlab

I have developed a very handy Android application, called Tasklab (you may look for it on github), which proved extremely useful to me to manage the dozens of arXiv papers per month that I plan to read. I have not yet release it as a ready-to-use app because, well, didn’t had time so far. Drop me a line if you’re interested.

Read More