Vincent Lefèvre - Home Page

Personal Details

I am an Inria researcher in computer science (details on my research / computer arithmetic page).

• Blog and social networks:

  • My blog (not everything in English).

  • Mastodon: @vinc17@framapiaf.org (joined on 2017-04-22).

  • Facebook: vinc17fr (mostly in French).

  • Bluesky: vinc17 (joined on 2024-11-17).

  • X (ex-Twitter): @vinc17 (joined on 2009-08-27).

  • LinkedIn (which I use very little).

  • Identi.ca (which I no longer use).

• My PGP key.

• Development: GitHub (vinc17fr) – GitLab.com (vinc17) – Open Hub (vinc17).

• My address.

• Curriculum Vitae in English.

• Curriculum Vitae in French.

My hobbies: computer science, mathematical and logical puzzles, the number 17 and Yellow Pigs, early music, and I am also a cinephile and watch movies almost exclusively in movie theaters (500 to 600 each year, partly in various festivals).

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

• My pages on the Neopolis game (in French).

• Interesting RSS feeds (obsolete).

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

• EuroBillTracker: Follow your Euro bills in their track.

Some Search Engines and Databases

• Web (general, Javascript not required):

  • Respecting your privacy: Ecosia, DuckDuckGo, Qwant; metasearch engines based on searX: Eelo, Roflcopter.

  • Others: Google, 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.

• Internet-connected devices: Shodan.

• Scientific publications (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, Debian Code Search.

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

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

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

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

• Maps: OpenStreetMap, Google Maps, Mappy (France).

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