Skip to main content
vinc17's user avatar
vinc17's user avatar
vinc17's user avatar
vinc17
  • Member for 10 years
  • Last seen more than a week ago
Profile Activity
Stats
3,315
reputation
758k
reached
112
answers
5
questions
Communities
View all
About

I am Vincent Lefèvre, a researcher in computer science (computer arithmetic) at Inria. I am one of the main developers of GNU MPFR.

Badges
View all badges
This user doesn’t have any gold badges yet.
19
silver badges
27
bronze badges
Top tags
View all tags
101
Score
31
Posts
26
Posts %
55
Score
27
Posts
23
Posts %
49
Score
11
Posts
9
Posts %
37
Score
32
Posts
27
Posts %
32
Score
22
Posts
19
Posts %
28
Score
10
Posts
9
Posts %
Top posts
View all questions, answers, and articles
44
Why doesn't GCC optimize a*a*a*a*a*a to (a*a*a)*(a*a*a)?
Jun 27, 2014
13
Mutt: Saving a message as a text file
Dec 21, 2014
11
How to use watch with a function in zsh?
Nov 21, 2014
11
How to disable zsh substitution/autocomplete with URL and backslashes
Sep 2, 2014
11
How to you configure the command prompt in Linux to show current directory?
Aug 2, 2014
8
How to pause in C?
Aug 19, 2016
7
Maximum values for time_t (struct timespec)
Sep 30, 2016
7
What operations and functions on +0.0 and -0.0 give different arithmetic results?
Aug 15, 2014
7
How can I detect if a program is running from within valgrind?
Jun 13, 2020
5
When does using floating point operations to calculate ceiling-integer-log2 fail?
Sep 20, 2023
Top network posts
View all network posts
70
What is the correct syntax to add CFLAGS and LDFLAGS to "configure"?
46
How can I check if a UTF-8 text file has a BOM?
45
Filtering invalid utf8
27
keyboard hard remap keys?
26
How to decrypt hostnames of a crypted .ssh/known_hosts with a list of the hostnames?