Vincent Lefèvre - Page d'accueil

Détails personnels

Je suis chercheur Inria en informatique (détails sur ma page recherche / arithmétique des ordinateurs).

• Blog et réseaux sociaux:

  • Mon blog.

  • Mastodon: @vinc17@framapiaf.org.

  • Facebook: vinc17fr.

  • Twitter: @vinc17.

  • LinkedIn (que j'utilise très peu).

  • Identi.ca (que je n'utilise plus).

• Ma clé PGP.

• Développement: GitHub (vinc17fr) – GitLab.com (vinc17) – Open Hub (vinc17).

• Mes coordonnées.

• Curriculum Vitae en français.

• Curriculum Vitae en anglais.

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).

Mes pages sur l'informatique et les logiciels

• Ma page recherche / arithmétique des ordinateurs.

• 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].

Mes autres pages web

• 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).

Pages anciennes/obsolètes

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.

Quelques liens

• 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.

• Le Virus Informatique.

• Foundation for a Free Information Infrastructure (FFII). FFII France.

• APRIL.

• Electronic Frontier Foundation.

• The Digital Standards Organization, pour des standards numériques libres et ouverts.

• ASCII Art Centre.

• 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.

Quelques moteurs de recherche et bases de données

• 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.

  • Autres: Google, Exalead, Bing, Yahoo.

• 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.

• Bibliographie.

• 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.