User contributions for Vincent Lefèvre
A user with 4,517 edits. Account created on 16 April 2005.
25 May 2024
- 11:0611:06, 25 May 2024 diff hist 0 Church encoding Undid revision 1225495790 by 129.19.63.106 (talk) "shows" does not make any sense; "slows" seems correct as it is said "from O(1) to O(n)", but the O() notation is wrong here since this is just an asymptotic upper bound (something in constant time is still in O(n), for instance). current Tag: Undo
23 May 2024
- 15:0415:04, 23 May 2024 diff hist −9 Single-precision floating-point format For "binary32", focus on the current revision of the IEEE 754 standard (the IEEE 754-2008 revision WP article doesn't even mention "binary32"). current
- 15:0015:00, 23 May 2024 diff hist −5 Double-precision floating-point format For "binary64", focus on the current revision of the IEEE 754 standard (the IEEE 754-2008 revision WP article doesn't even mention "binary64"). current
22 May 2024
- 10:2910:29, 22 May 2024 diff hist +561 User talk:Ross9809 + {{subst:Uw-vandalism2}} current
- 10:1910:19, 22 May 2024 diff hist −10 MX record Undid revision 1224554020 by Ross9809 (talk) - vandalism current Tag: Undo
- 10:1910:19, 22 May 2024 diff hist +2 Fully qualified domain name Syntax fix after vandalism from Ross9809. current Tag: Undo
- 10:1310:13, 22 May 2024 diff hist +4 m ARM architecture family avoid a useless redirection; typography. current
17 May 2024
- 23:5723:57, 17 May 2024 diff hist +11 FLOPS Undid revision 1224358380 by 213.139.53.42 (talk) current Tag: Undo
- 23:5723:57, 17 May 2024 diff hist −6 Rounding Undid revision 1224358469 by 213.139.53.42 (talk) current Tag: Undo
16 May 2024
- 09:0509:05, 16 May 2024 diff hist 0 Roy Scheider Undid revision 1224092300 by 24.56.224.184 (talk) current Tag: Undo
14 May 2024
- 18:4118:41, 14 May 2024 diff hist +1 m ARM architecture family →Operating system support: punctuation
- 18:4018:40, 14 May 2024 diff hist −1 Octal Undid revision 1223759703 by 2409:408C:8D40:1FBF:C2B8:B44:4C28:BDC4 (talk) current Tag: Undo
11 May 2024
- 23:0623:06, 11 May 2024 diff hist +284 Talk:Li Wenliang →Date of death current
- 23:0423:04, 11 May 2024 diff hist −465 Li Wenliang Undid revision 1223327064 by Brown Wang 0808 (talk) No, it is February 7. See explanations in section Death. current Tag: Undo
- 23:0423:04, 11 May 2024 diff hist 0 Li Wenliang Undid revision 1223327101 by Brown Wang 0808 (talk) No, it is February 7. See explanations in section Death. Tag: Undo
- 22:4922:49, 11 May 2024 diff hist +344 Talk:Li Wenliang →Date of death
- 22:4522:45, 11 May 2024 diff hist +702 Talk:Li Wenliang →Date of death: new section
- 22:1722:17, 11 May 2024 diff hist +73 ARM architecture family →{{anchor|ARM9-A|Armv9-A}}Armv9-A: updated a ref: updated URL to avoid the redirection; updated the title too (as this can be seen on https://web.archive.org/web/20210331075321/https://www.arm.com/company/news/2021/03/arms-answer-to-the-future-of-ai-armv9-architecture the old page had 2 different titles: one from the <title> element and one from <h2>, i.e. the main title in the body; this has been homogenized to the latter title).
8 May 2024
- 13:2313:23, 8 May 2024 diff hist +326 NaN replaced "is" by "may ... be" because this is typically not possible with integer types, where NaN usually doesn't exist. current
- 13:1413:14, 8 May 2024 diff hist +13 NaN clarification (this could be confused by the expression itself)
- 13:0913:09, 8 May 2024 diff hist −31 NaN →Encoding: Replaced "standard-conforming floating-point storage formats" by "interchange formats" ("standard-conforming" is redundant, "floating-point" is implied by the context, and there is no concept of "storage formats", except in early 754-2008 drafts; IEEE 754 says "interchange formats": "A format that has a specific fixed-width encoding defined in this standard").
- 12:5312:53, 8 May 2024 diff hist −458 IEEE 754 Undid revision 1222862875 by 77.95.179.35 (talk) The wording is wrong, and anyway, this is not guaranteed in general, only for the basic and interchange binary formats (and this is wrong for the decimal formats). current Tag: Undo
- 08:0908:09, 8 May 2024 diff hist +34 Talk:Signed zero Undid revision 1222815106 by 188.125.161.66 (talk) - vandalism current Tag: Undo
6 May 2024
- 13:2113:21, 6 May 2024 diff hist +107 Multiply–accumulate operation →Support: replaced an external link by a reference (WP:EL) current
- 13:1513:15, 6 May 2024 diff hist +11 Multiply–accumulate operation →In floating-point arithmetic: updated an article name
- 13:1413:14, 6 May 2024 diff hist +26 m Multiply–accumulate operation typography and link
- 13:1213:12, 6 May 2024 diff hist −22 Multiply–accumulate operation →See also: removed "Fused operation" as it redirects to the same place: item starting with "Compound operators".
- 13:0913:09, 6 May 2024 diff hist −2 Multiply–accumulate operation →See also: changed "Compound operation" to the less ambiguous "Compound operator" (IEEE 754 has an operation named "compound"). Note: the redirection is the same.
3 May 2024
- 10:2710:27, 3 May 2024 diff hist −191 Talk:Double-precision floating-point format Undid revision 1221998207 by 2001:16A4:236:B2D3:C073:32FD:D4BC:A07E (talk) current Tag: Undo
- 10:2710:27, 3 May 2024 diff hist −193 Talk:Double-precision floating-point format Undid revision 1221998228 by 2001:16A4:236:B2D3:C073:32FD:D4BC:A07E (talk) Tag: Undo
1 May 2024
- 18:0818:08, 1 May 2024 diff hist 0 m Floating-point arithmetic →History: hyphen current
29 April 2024
- 19:3719:37, 29 April 2024 diff hist +151 Talk:List of films featuring time loops →Definition of a time loop.
- 19:0519:05, 29 April 2024 diff hist +452 Talk:List of films featuring time loops →Definition of a time loop.
- 18:4818:48, 29 April 2024 diff hist −1,137 List of films featuring time loops Undid revision 1221337780 by Barry Wom (talk) Let's repeat again: This is NOT the same definition of "time loop" as used in this WP article. Tag: Undo
28 April 2024
- 22:4622:46, 28 April 2024 diff hist +565 River (2023 film) →Plot: additional information concerning the plot (this probably needs some kind of merge with the previous paragraph)
- 22:0422:04, 28 April 2024 diff hist −440 List of films featuring time loops Undid revision 1221177110 by Barry Wom (talk) This cannot be a time loop (I mean that it cannot be just the end of the film, as there needs to be some evolution). In any case, the description does not say anything about it, and there is no description either on the WP page of the film. Tag: Undo
- 01:4501:45, 28 April 2024 diff hist −68 The Time Travelers (1964 film) Removed the references to "time loop" as this is not the meaning given in time loop.
- 01:4301:43, 28 April 2024 diff hist −56 Journey to the Center of Time rm "See also": not a time-loop film current
- 01:4001:40, 28 April 2024 diff hist −781 List of films featuring time loops removed The Time Travelers and Journey to the Center of Time: according to the description and to the synopsis given in the articles, this is just time travel, not a time loop.
- 01:2801:28, 28 April 2024 diff hist +1 List of films featuring time loops corrected a title (typography)
- 01:2601:26, 28 April 2024 diff hist +394 List of films featuring time loops + River (2023)
- 01:0301:03, 28 April 2024 diff hist +29 Mondays: See You 'This' Week! + Category:Time loop films current
- 01:0201:02, 28 April 2024 diff hist +95 N Talk:Mondays: see you "this" week Vincent Lefèvre moved page Talk:Mondays: see you "this" week to Talk:Mondays: See You 'This' Week!: title as given in the article, with correct capitalization current Tag: New redirect
- 01:0201:02, 28 April 2024 diff hist 0 m Talk:Mondays: See You 'This' Week! Vincent Lefèvre moved page Talk:Mondays: see you "this" week to Talk:Mondays: See You 'This' Week!: title as given in the article, with correct capitalization current
- 01:0201:02, 28 April 2024 diff hist +90 N Mondays: see you "this" week Vincent Lefèvre moved page Mondays: see you "this" week to Mondays: See You 'This' Week!: title as given in the article, with correct capitalization current Tag: New redirect
- 01:0201:02, 28 April 2024 diff hist 0 m Mondays: See You 'This' Week! Vincent Lefèvre moved page Mondays: see you "this" week to Mondays: See You 'This' Week!: title as given in the article, with correct capitalization
26 April 2024
- 21:4521:45, 26 April 2024 diff hist +300 Talk:Single-precision floating-point format →When the implicit bit doesn't exist
- 01:1001:10, 26 April 2024 diff hist +8 C data types Undid revision 1220709381 by OneTeddy (talk) Up to C17, the standard is really ambiguous, but examples 1 and 2 make it clear that without any length modifier, this corresponds to float. This has been fixed in C23, where "floating" has been replaced by "float". current Tag: Undo
- 00:4900:49, 26 April 2024 diff hist +417 Talk:Single-precision floating-point format →When the implicit bit doesn't exist
- 00:4100:41, 26 April 2024 diff hist +47 Single-precision floating-point format →IEEE 754 standard: binary32: some corrections to avoid ambiguity (note: "exponent" generally means the unbiased exponent). And "like subnormal numbers and zeros" would suggest that there may be other numbers in this case.
25 April 2024
- 03:5703:57, 25 April 2024 diff hist −12 Block floating point →Hardware support: removed "Currently", which may be wrong in the future.
22 April 2024
- 14:1714:17, 22 April 2024 diff hist +1 Single-precision floating-point format updated other URLs
- 14:1414:14, 22 April 2024 diff hist +6 Single-precision floating-point format →IEEE 754 standard: binary32: updated URL of a reference
- 14:0014:00, 22 April 2024 diff hist +1 Talk:Single-precision floating-point format →When the implicit bit doesn't exist: typo
- 13:5913:59, 22 April 2024 diff hist +513 Talk:Single-precision floating-point format →When the implicit bit doesn't exist
- 13:4013:40, 22 April 2024 diff hist +217 Single-precision floating-point format →IEEE 754 standard: binary32: Make sure that "exponent" (used alone) always means the actual exponent. Detail special numbers (as in the IEEE 754 LEDE) and information about the implicit leading bit, with internal link added for details.
- 13:1313:13, 22 April 2024 diff hist +30 Single-precision floating-point format →IEEE 754 standard: binary32: added link to "normal number" (Normal number (computing))
20 April 2024
- 01:1701:17, 20 April 2024 diff hist +20 Extended precision →IEEE 754 extended precision formats: "format" rather than "type"
- 00:5900:59, 20 April 2024 diff hist +6 Extended precision →IEEE 754 extended precision formats: updated a URL
- 00:5700:57, 20 April 2024 diff hist +9 Extended precision →IEEE 754 extended precision formats
- 00:4500:45, 20 April 2024 diff hist +585 IEEE 754 →Formats: update about the relation between emin and emax, and the case of the Motorola 68881 80-bit format
- 00:4300:43, 20 April 2024 diff hist +3 Extended precision →IEEE 754 extended precision formats: MC68000 Programmer's Reference Manual: corrected title of the series; important information page 1-18 too.
19 April 2024
- 22:2822:28, 19 April 2024 diff hist +7 Extended precision Undid revision 1193782533 by Goomba008 (talk) No. Citing the IEEE 754-1985 standard, Clause 3.3 Extended Formats: "The single extended and double extended formats [...]". Tag: Undo
- 18:2418:24, 19 April 2024 diff hist −240 Single-precision floating-point format reverted changes by TheGnuGod - This is incorrect due to subnormals. Tag: Undo
17 April 2024
- 16:5316:53, 17 April 2024 diff hist +7 Rounding →Rounding half away from zero: The efficiency is not specific to binary. This is also valid in decimal (where this rule is used more often than for binary).
16 April 2024
- 09:2909:29, 16 April 2024 diff hist +1 Floating-point arithmetic Updated a PDF URL to https (otherwise Firefox blocks the access).
- 09:2509:25, 16 April 2024 diff hist +746 Floating-point arithmetic openEXR clarification, as when its 16-bit format was created, binary16 did not exist yet. But it happens to be the same format.
- 02:0002:00, 16 April 2024 diff hist +363 Talk:Arbitrary-precision arithmetic →Need to tweak the definition?
14 April 2024
- 18:1418:14, 14 April 2024 diff hist +634 Talk:Arbitrary-precision arithmetic →Need to tweak the definition?
- 00:4100:41, 14 April 2024 diff hist +466 Talk:Arbitrary-precision arithmetic →Need to tweak the definition?
- 00:2100:21, 14 April 2024 diff hist +400 Arbitrary-precision arithmetic Undid revision 1218770171 by DaveHerb (talk) I don't see a limitation in the reference. BTW, in practice, there may be large limitations in software, such as in GMP, which uses a 32-bit type for the size of a mpz_t (thus, on a 64-bit machine, the limitation comes from the choice of this type rather the memory of the machine). Tag: Undo
13 April 2024
- 23:4523:45, 13 April 2024 diff hist +1 The Peasants (2023 film) →Accolades: date correction
- 23:4023:40, 13 April 2024 diff hist +193 The Peasants (2023 film) Date of the world premiere: corrected September 13 to September 8, with a source (from the Polish Film Institute; note that this is under "Festival Screenings", thus a public screening), which confirms the date on the IMDb. Note: the "13" was added in August 2023 (Special:Diff/1171525333), thus about 20 days before the screenings and was apparently never checked.
- 13:5213:52, 13 April 2024 diff hist +10 The Peasants (2023 film) + internal link on Łukasz "L.U.C." Rostkowski
12 April 2024
- 22:5522:55, 12 April 2024 diff hist +918 Paola Gassman Corrected date of death: 10 → 9 April, with 2 sources.
- 22:5022:50, 12 April 2024 diff hist −5 Paola Gassman Undid revision 1218383483 by Gianluigi02 (talk) - unsourced and wrong! Tag: Undo