User contributions for Dwheeler
A user with 2,913 edits. Account created on 5 August 2002.
23 January 2024
- 17:0917:09, 23 January 2024 diff hist +54 Fair cake-cutting Give a more specific description through a Wikipedia cross-reference
24 February 2023
- 22:3522:35, 24 February 2023 diff hist +5 Reproducible builds No edit summary
- 22:3422:34, 24 February 2023 diff hist +91 Reproducible builds No edit summary
- 22:3222:32, 24 February 2023 diff hist +142 Reproducible builds No edit summary
- 22:2922:29, 24 February 2023 diff hist +121 Reproducible builds No edit summary
- 22:2822:28, 24 February 2023 diff hist +93 Reproducible builds Add all author names to citation
- 22:2422:24, 24 February 2023 diff hist +528 Reproducible builds Add citation justifying its pros and cons
19 October 2022
- 14:0814:08, 19 October 2022 diff hist −8 m User:Dwheeler Fix URL
16 April 2022
- 17:3017:30, 16 April 2022 diff hist 0 m Reproducible builds →Challenges: Fix formatting
- 17:3017:30, 16 April 2022 diff hist +1,571 Reproducible builds Add "Challenges" section
29 October 2021
- 16:2616:26, 29 October 2021 diff hist −7 m List of star systems within 16–20 light-years Fix format
- 16:2516:25, 29 October 2021 diff hist +384 List of star systems within 16–20 light-years Add more RA/DEC
- 16:1916:19, 29 October 2021 diff hist +129 List of star systems within 16–20 light-years Add RA/DEC
- 16:0416:04, 29 October 2021 diff hist +45 List of star systems within 16–20 light-years ADD Altair RA/DEC
- 16:0216:02, 29 October 2021 diff hist +169 List of star systems within 16–20 light-years Add more RA/DEC
- 04:0304:03, 29 October 2021 diff hist +41 List of star systems within 16–20 light-years Add AD Leonis
- 04:0004:00, 29 October 2021 diff hist +131 List of star systems within 16–20 light-years Add 40 Eridani RA and DEC
- 03:5703:57, 29 October 2021 diff hist +46 List of star systems within 16–20 light-years Add Gliese 832
- 03:5403:54, 29 October 2021 diff hist +88 List of star systems within 16–20 light-years Begin adding data
- 03:5103:51, 29 October 2021 diff hist +335 List of star systems within 16–20 light-years Add missing columns for Right ascension and Declination. Without these columns you can't find the stars, and these columns are in the corresponding "nearest stars" list
12 February 2021
- 21:0021:00, 12 February 2021 diff hist +270 Reproducible builds →History: Add Tails, which is an entire OS that is reproducible
11 February 2021
- 03:0003:00, 11 February 2021 diff hist +314 Comparison of machine translation applications Add LibreTranslate / OpenNMT Tag: Reverted
8 January 2021
- 18:0718:07, 8 January 2021 diff hist +3 Talk:Mesklin No edit summary
- 18:0718:07, 8 January 2021 diff hist +212 Talk:Mesklin Begin discussion of merging into the article about the book
- 18:0418:04, 8 January 2021 diff hist −117 Mesklin Remove deletion marker for the moment to enable discussion. "Mission of Gravity" is generally considered one of the most important hard science fiction books e.g., https://best-sci-fi-books.com/23-best-hard-science-fiction-books/ . However, it might be best to merge this into the article on the book. We'll have to modify the various Wikipedia links to this article if we do that Tag: Manual revert
7 July 2020
- 16:2616:26, 7 July 2020 diff hist +1 m Military career of Benedict Arnold, 1777–1779 No edit summary
12 June 2020
- 16:0516:05, 12 June 2020 diff hist +26 m Mil-OSS Fix missing title
21 October 2019
- 13:5113:51, 21 October 2019 diff hist −975 Mil-OSS Update website links (URL changed and uses https now)
9 October 2019
- 03:0903:09, 9 October 2019 diff hist +230 Metamath →Metamath Proof Explorer: Provide the actual number of contributors, with citation
1 October 2019
- 14:2214:22, 1 October 2019 diff hist +1 m Westminster Quarters →History: Reorder history text; start with what is known, then note the speculation. I think this reads more clearly.
11 August 2019
- 19:2819:28, 11 August 2019 diff hist +448 Talk:Mathematical logic →Early history
- 19:2319:23, 11 August 2019 diff hist +191 Talk:Mathematical logic →Modal logic
- 19:2119:21, 11 August 2019 diff hist +83 Mathematical logic →Research papers, monographs, texts, and surveys: Add citation
- 19:2019:20, 11 August 2019 diff hist +334 Mathematical logic →Early history
2 August 2019
- 22:1022:10, 2 August 2019 diff hist +246 Metamath Note the 17 proof verifiers at the top, that's especially noteworthy and worth putting at the beginning
- 22:0422:04, 2 August 2019 diff hist −1,594 Metamath Remove "Pedagogy" section; it is highly speculative and the citations do not support the claims of the section.
- 21:5521:55, 2 August 2019 diff hist +264 Hydra (constellation) →Stars: Add info and reference to GJ 357, which is only 31 light-years away and contains a super-Earth within the habitable zone (and thus is notable)
15 July 2019
- 17:5817:58, 15 July 2019 diff hist +26 Inform Paper no longer available on original site, so link to archive.org version
- 16:3816:38, 15 July 2019 diff hist +73 Metamath →Natural Deduction
14 July 2019
- 22:0422:04, 14 July 2019 diff hist +322 Talk:Metamath Propose removing "pedagogy" section
- 22:0022:00, 14 July 2019 diff hist +27 m Talk:Metamath →Conflict of Interest (COI) Declarations
- 21:5521:55, 14 July 2019 diff hist +200 Talk:Metamath →POV problems
- 21:5321:53, 14 July 2019 diff hist +187 Metamath →Pedagogy: Citation needed
- 21:4521:45, 14 July 2019 diff hist −259 Metamath →Deduction and Natural Deduction
- 21:3821:38, 14 July 2019 diff hist +492 Metamath →The Metamath proof checker: Add a little more about the program
- 21:3221:32, 14 July 2019 diff hist +302 Metamath →The Metamath proof checker
- 21:2921:29, 14 July 2019 diff hist +13 m Metamath →Substitution
- 21:2821:28, 14 July 2019 diff hist −706 Metamath Move language material into the language section, instead of the section about the program
- 21:1521:15, 14 July 2019 diff hist +211 Metamath Begin reorg of language section
- 21:0521:05, 14 July 2019 diff hist −5 Metamath Move comment about program into the section about the program.