Myself
Short description
I'm a 24 years old geek, interested in everything I can
play with, especially computers and foundations of
mathematics.
My resume is available
in French
and
in English
.
Opinions
Ideologically, I'm mainly a left wing ((-7.38;-5.69) on
political compass
) Buddhist.
I also support the
Free Software movement, do not eat meat, try to help
people I meet and, more generally, to act in an ethical and
altruist way.
Contact information
Public GPG key
Temporary email address (to avoid spam) : temp0@vleu.net.
Physical address : Brice Arnould, 10 Rue Frédéric Mistral, 69300 Caluire, France .
My
Simpy
profile share my bookmarks and their tags.
I also happen to have a
Facebook account
. Please forgive me.
Projects
- HDAPSD's HP3D support, a patch adding the support for HP's laptops to the HDAPSD daemon, which is a daemon in charge for parking the harddrive's heads should the laptop fall. Please test and repport !
- VisitOMatic, a tool for using the Visitor pattern in Java without writing boilerplate code.
- Shake, a defragmenter for a few Posix systems.
Three things you may like to read
Mathematics
- [FR] Logique, ensemble, catégories le point de vue constructif - Pierre Ageron
- [FR] Du pourquoi au comment : la théorie de la démonstration, du programme de Hilbert à la logique linéaire - Jean-Yves Girard
- [EN] Basic category theory - van Oosten, J.
Technology
- [EN] (Translated in French) The Practice of Programming - Brian W. Kernighan and Rob Pike
- [EN] (Translated in French) Modern Operating Systems, 2nd ed. - Andrew S. Tanenbaum
- [EN] GNU General Public License - GNU (licence of most free software, including GCC and Linux)
Misc.
- [EN] (Translated in French) The Royal Assassin - Robin Hobb
- [FR] L'Homeopathie - Le Cercle Zetetique
- [EN] The Halting Problem does not concern our computers
