Vincent Lefèvre - Home Page

Personal Details

• Blogging and micro-blogging:

  • My blog (not everything in English).

  • Twitter (I post there in English and in French).

  • Identi.ca (I post there mostly in English, and my notices are passed to Twitter, except replies).

• My address.

• Curriculum Vitae in English.

• Curriculum Vitae in French.

• My PGP key.

My hobbies: computer science, mathematical and logical puzzles, 17's and Yellow Pigs, early music, fantasy and sci-fi books and films.

My Computer Science and Software Pages

• My research / computer arithmetic page.

• Unix/Linux: utilities, links.

• My pages on free software: the Mutt mailer, the Firefox web browser and TeX/LaTeX.

• My page on Maple (currently, how to use it from the Perl language).

• My page on software patents.

• My solution of challenge 14 (on Golomb's sequence) of Performance Calcul (1996, in French): [dvi] or [gzipped postscript] or [PDF].

My Other Web Pages

• My list of 17's.

• My maths page.

• My pages on the Championnat International des Jeux Mathématiques et Logiques (International Championship of Mathematics Puzzles), in French.

• My cinema pages (in French).

• Interesting RSS feeds (old).

Old/Obsolete Pages

Some very old, outdated pages, but which can still be useful, just in case:

• Acorn, ARM and RISC OS: some programs for RISC OS with their source, documentation...

• Zaurus and Nokia N810 (Linux-based PDA's).

• My game TETRHEX for the Atari Falcon 030.

Some Links

• W3C. Validate your web pages. Accessibility: WAI (Web Content Accessibility Guidelines), BrailleNet.

• Foundation for a Free Information Infrastructure (FFII).

• Electronic Frontier Foundation.

• The Digital Standards Organization, for free and open digital standards.

• ASCII art: Joan Stark's site, ASCII Art Centre.

• EuroBillTracker: Follow your Euro bills in their track.

Some Search Engines and Databases

• Web (general): Google, Ecosia, DuckDuckGo, Framabee, Exalead, Bing, Yahoo.

• Archives: Internet Archive (with its Way Back Machine, public domain movies, and so on) and WebCite.

• Images: Google Images, TinEye.

• News (USENET): Google Groups.

• FAQs.

• Papers (maths, computer science, physics, etc.): CiteSeer.IST Scientific Literature Digital Library.

• Bibliography.

• LaTeX Search (mathematical equations in scientific publications).

• Math: constants (Inverse Symbolic Calculator) and integer sequences.

• Free software: FSF Free Software Directory.

• Software sources: Krugle, Black Duck Open Hub Code Search, Debian Code Search.

• Man pages of various operating systems: FreeBSD Man Pages.

• RFCs: RFC Editor site and FAQS.ORG site.

• Movies: IMDb (search page) and Les Gens du cinéma.

• File formats: Wotsit.

• File extensions: DotWhat, FileInfo.com, FILExt and File-Extensions.org.

• Maps: OpenStreetMap, Google Maps, Yahoo Maps, Mappy.

• Dictionaries, encyclopedias: Wikipedia, Wiktionary, dict.org and Dictionarist.com.