To experiment with widely distributed systems, I administrate some rasberry pi zeros W scattered in France in residential homes. These systems are attached to residential gateways through Wifi with dynamic IP addresses and I needed a way to reliably connect to them to launch experiments.

In the nineties, I used a service called Dyndns, which offered a free service for updating subdomains with dynamic IPs. This free service no longer exists, so I started looking for an alternatives. Most of them were costly and required the installation of closed-sources update clients. Opensource alternatives such as hopper.pw required complicated installations and also a dedicated domain name.

Hopefully, I've been a loyal customer of Gandi for some years now, and thanks to the introduction their livedns API, it can be used to update my main dns zone through a REST API.

prerequisites: curl jq (apt-get install curl jq)

https://gist.github.com/nherbaut/76437289664481c8b3e6438eff8f79cd

Voici un flux RSS vers les derniers postes publiés par le ministère de l'ESR dans Galaxie. Il s'agit simplement d'un script WSGI (basé sur un script de Martin Monperrus) qui va analyser le fichier "Liste des postes annuelle" et vous permettre de récupérer suivant votre corps (mcf ou pr) et votre section.

Now that my PhD is published, here's what happend behind the scene. This time lapse shows all the modifications to the manuscript that happend during its writing and editing.

You can see the pages being written between July and August and the cumbersome edition phase in September. The final touch for the archival version happens in December.