Vincent Lefèvre - Page d'accueil

Détails personnels

• Mon blog et mes tweets.

• Mes coordonnées.

• Curriculum Vitae en français.

• Curriculum Vitae en anglais.

• Ma clé PGP.

Mes passions: l'informatique, les jeux mathématiques et logiques, les 17 et les cochons jaunes, la musique ancienne, les livres et les films fantastiques et de science-fiction.

Mes pages sur l'informatique et les logiciels

• Ma page recherche / arithmétique des ordinateurs.

• Unix/Linux: utilitaires, liens.

• Acorn, ARM et RISC OS: quelques programmes pour RISC OS avec leur source, documentation...

• Zaurus et Nokia N810 (des PDA sous Linux).

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

• Mon jeu shareware TETRHEX pour Atari Falcon 030.

• Ma solution au défi 14 (sur la suite de Golomb) de Performance Calcul: [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.

• Flux RSS intéressants.

Quelques liens

• W3C. Validez vos pages web. Accessibilité: WAI (Web Content Accessibility Guidelines), Bobby, 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 (autre traduction).

• Boycottez Micro$oft. Dites non aux monopoles - supportez la compétition et l'innovation.

  Article de Roberto Di Cosmo: Piège dans le cyberespace. Son livre Le Hold-up planétaire (1998) co-écrit avec Dominique Nora, maintenant disponible en ligne.

  Article de Michael Jennings: Windows XP montre la direction que prend Microsoft.

  Microsoft Litigation Resource Page.

• Le Virus Informatique

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

• APRIL.

• Electronic Frontier Foundation.

• Les Standards Numériques, pour des standards numériques libres et ouverts.

• Musique: Les Chemins du Baroque / K617 (Le Couvent).

• ASCII art: site de Joan Stark, ASCII art webring.

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

• MindTerm (client SSH en Java). Voir aussi cette page en français sur MindTerm.

Quelques moteurs de recherche et bases de données

• Web (général): Google (le meilleur), Exalead, Open Directory Project (dmoz), AlltheWeb.com, Alta Vista, Bing, Netscape Search, Yahoo, Vivísimo Clustering, KwMap.net (une carte de mots-clés pour tout l'Internet) et Truveo (vidéos uniquement).

• Web francophone: Voilà, Weborama et Yahoo France.

• Archives: Internet Archive (avec sa machine à remonter le temps, des films tombés dans le domaine public, etc.) et WebCite.

• Marque-page (favoris): del.icio.us.

• Blogs (et certains forums): Feedster.

• Images: TinEye.

• News (USENET): Google (recherche avancée).

• FAQ.

• Articles et prépublications (math, informatique, physique, etc.): CiteSeer.IST Scientific Literature Digital Library, Scientific Commons.

• Bibliographie: page principale (Allemagne); miroirs: Canada, Australie.

• Math: constantes (Inverse Symbolic Calculator) et suites entières.

• Logiciels libres: FSF/UNESCO Free Software Directory.

• Sources de logiciels: Krugle, csourcesearch.net (C/C++).

• Pages man de divers systèmes d'exploitation: FreeBSD Hypertext Man Pages.

• RFC: site RFC Editor et site FAQS.ORG.

• Cinéma: IMDb.com (page de recherche, et IMDb.fr, qui a moins d'information que IMDb.com) et Les Gens du cinéma.

• Formats de fichiers: Wotsit.

• Extensions de fichiers: FILExt et File-Extensions.org.

• Cartes: maporama.com (monde), Yahoo (USA, Canada) et mappy.com (Europe).

• Dictionnaires, encyclopédies: Wikipédia, Wiktionnaire, Answers.com, dict.org et Dictionarist.com.