Posted on 16 July 2014 in Dev • 2 min read
Je cherchais hier un moyen de générer une belle doc PHP, à partir de mes fichiers sources. Je connaissais quelques outils de la sorte (OcamlDoc, Sphinx pour Python, JavaDoc etc.) mais je n’avais jamais regardé ça en détails.
Du coup, je suis tombé sur Doxygen, qui supporte une très …
Posted on July 10, 2014 in Dev • 5 min read
EDIT: I just realized that the PHP function microtime
does not return what I expected. This does not change much the results
(to compare the solutions) but change the units. I update the results accordingly.
As I wrote in a previous article. I am working on a rss reader that …
Posted on 09 April 2014 in Dev • 2 min read
Pour un projet (dont je reparlerai sûrement bientôt, au passage), j’ai eu besoin de tracer des graphes en JavaScript. Le moyen le plus simple, sachant qu’en plus j’avais besoin d’un peu d’interactivité, était d’utiliser du SVG et de le générer directement en JavaScript.
J …
Posted on 17 November 2013 in Dev • 2 min read
Pour les besoins d’un plugin pour le thème greeder de Leed (gestion des raccourcis claviers), je devais détecter l’appui sur n’importe quelle touche du clavier en javascript. Pour ce faire, a priori, ce n’est pas très dur, il suffit de surveiller l’événement onkeydown et de …