Je suis chercheur Inria en informatique (détails sur ma page recherche / arithmétique des ordinateurs).
Blog et réseaux sociaux:
Mastodon: @vinc17@framapiaf.org (joint le 2017-04-22).
Bluesky: vinc17 (joint le 2024-11-17).
X (ex-Twitter): @vinc17 (joint le 2009-08-27).
LinkedIn (que j'utilise très peu).
Identi.ca (que je n'utilise plus).
Développement: GitHub (vinc17fr) – GitLab.com (vinc17) – Open Hub (vinc17).
Mes passions: informatique, jeux mathématiques et logiques, le nombre 17 et les cochons jaunes, musique ancienne, et je suis aussi cinéphile et vais voir les films presque exclusivement en salles de cinéma (500 à 600 chaque année, en partie dans divers festivals).
Unix/Linux: utilitaires, liens.
Mes pages dédiées à des logiciels libres: le mailer Mutt, le navigateur web Firefox et TeX/LaTeX.
Ma page sur Maple (actuellement, comment l'utiliser depuis le langage Perl).
Ma page sur les brevets logiciels.
Ma solution au défi 14 (sur la suite de Golomb) de Performance Calcul (1996): [dvi] ou [postscript gzippé] ou [PDF].
Ma liste de 17.
Ma page mathématiques.
Mes pages sur le Championnat International des Jeux Mathématiques et Logiques.
Mes pages cinéma.
Ma page sur le jeu Neopolis.
Flux RSS intéressants (obsolète).
Quelques pages très anciennes et qui ne sont plus d'actualité, mais qui peuvent toujours être utiles, au cas où:
Acorn, ARM et RISC OS: quelques programmes pour RISC OS avec leur source, documentation...
Zaurus et Nokia N810 (des PDA sous Linux).
Mon jeu TETRHEX pour Atari Falcon 030.
W3C. Validez vos pages web. Accessibilité: WAI (Web Content Accessibility Guidelines), BrailleNet.
Un article très intéressant d'Étienne Lavanant: Pourquoi le libre ne concerne pas que les informaticiens. Cet article cite notamment la lettre (traduite en français) de M. Villanueva (membre du Congrès de la République du Pérou) à Microsoft Pérou.
Foundation for a Free Information Infrastructure (FFII). FFII France.
The Digital Standards Organization, pour des standards numériques libres et ouverts.
Les horaires SNCF: allez sur le site de la Deutsche Bahn (version sans tables) - source HAFAS, et surtout pas sur celui de la SNCF (sauf éventuellement pour réserver/acheter), qui est bien trop lourd.
EuroBillTracker: suivez vos billets d'euros à la trace.
Web (général, Javascript non requis):
Respectant votre vie privée: Ecosia, DuckDuckGo, Qwant; métamoteurs de recherche basés sur searX: Eelo, Roflcopter.
Archives: Internet Archive (avec sa machine à remonter le temps, des films tombés dans le domaine public, etc.) et WebCite.
Images: Google Images, TinEye.
News (USENET): Google Groupes.
FAQ.
Appareils connectés à Internet: Shodan.
Publications scientifiques (math, informatique, physique, etc.): CiteSeer.IST Scientific Literature Digital Library.
LaTeX Search (équations mathématiques dans les publications scientifiques).
Math: constantes (Inverse Symbolic Calculator) et suites entières.
Logiciels libres: FSF Free Software Directory.
Sources de logiciels: Krugle, Debian Code Search.
Pages man de divers systèmes d'exploitation: FreeBSD Man Pages.
RFC: site RFC Editor et site FAQS.ORG.
Cinéma: IMDb.com (page de recherche avancée) et Les Gens du cinéma.
Extensions de fichiers: DotWhat, FileFormat.Info, FileInfo.com, FILExt et File-Extensions.org.
Cartes: OpenStreetMap, Google Maps, Mappy (France).
Dictionnaires, encyclopédies: Wikipédia, Wiktionnaire, dict.org et Dictionarist.com.