Main public logs
Appearance
This is a combined display of all logs except the patrol, review, tag and thanks logs:
- Who performed the action – enter their name without prefix under "Performer".
- The page or user affected by an action – enter the page or user name (prefixed with "User:") under "Target".
- 23:51, 6 June 2023 DavidGries talk contribs created page Michael E. Caspersen (←Created page with '{{userspace draft|date=June 2022}} {{Short description|Danish computer scientist}} {{Use mdy dates|date=October 2022}} {{Infobox scientist | name = Michael E. Caspersen | image = thumb|Michael E. Caspersen | image_size = | image_upright = | alt = | caption = | birth_name = <!-- If different from "name" --> | birth_date = {{Birth date and age|1960|11|22}} | birth_place = Svendborg, Denmark | death_date = <!--{{De...')
- 15:57, 17 November 2022 DavidGries talk contribs created page File:MIchaelECaspersen.jpg (This image appears on multiple websites)
- 15:57, 17 November 2022 DavidGries talk contribs uploaded File:MIchaelECaspersen.jpg (This image appears on multiple websites)
- 11:10, 9 November 2022 DavidGries talk contribs created page Krzysztof R. Apt (←Created page with 'Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974.<ref>{{MathGenealogy|id=22611}}</ref> His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Bes...')
- 21:46, 19 October 2022 DavidGries talk contribs created page Talk:Safety and liveness properties (.. or {{math}}: new section) Tag: New topic
- 15:49, 7 October 2022 DavidGries talk contribs created page Ilya Sergey (←Created page with '{{Infobox scientist | name = Ilya Sergey | image = <!--(filename only, i.e. without "File:" prefix)--> | image_size = | image_upright = | alt = | caption = | birth_name = <!-- if different from "name" --> | birth_date = {{birth date|1986|06|}}<!--{{birth date |YYYY|MM|DD}}--> | birth_place = Leningrad, USSR | death_date = <!--{{death date and age |YYYY|MM|DD |YYYY|MM|...')
- 14:16, 29 September 2022 DavidGries talk contribs created page Talk:IFIP Working Group 2.3 (On Notability: new section) Tag: New topic
- 09:12, 29 September 2022 DavidGries talk contribs created page IFIP Working Group 2.3 (←Created page with 'IFIP Working Group 2.3 on Programming Methodology is a working group of IFIP. Its main aim is to increase programmers’ ability to compose programs. To this end, WG2.3 provides an international forum for discussion and cross-fertilization of ideas between researchers in programming methodology and neighboring fields. Generally, members report on work in progress and expect suggestions and advice. Dis...')
- 21:29, 28 September 2022 DavidGries talk contribs created page Safety and Liveness Properties (←Created page with 'With a sequential program, we typically are concerned with whether the program will terminate and, if it does, with the relation between its initial and final states. This is formalized in terms of partial correctness (if execution started in some precondition {{math|P}} terminates then some postcondition {{math|Q}} holds) or total correctness (execution started in some precondition {{...')
- 20:46, 23 September 2022 DavidGries talk contribs created page Misra–Gries heavy hitters algorithm (Page is created to give a better account of the algorithm than Misra–Gries summary and to use the standard term "heavy hitters" instead of "summary")
- 10:09, 28 August 2022 DavidGries talk contribs created page Jaap A. Zonneveld (←Created page with 'Jacob Anton "Jaap" Zonneveld (2 June 1924 – 22 December 2016) was a Dutch programmer who, with Edsger W. Dijkstra, wrote the first Algol 60 compiler.{{refn|this page is developed based on the Dutch page Jaap A. Zonneveld and other sources.}} ==Education== Zonneveld's interest in the practical application of mathematics grew in World War II in order to be able to predict the place where a grenade will land (ballist...') Tags: citing a blog or free web host Disambiguation links added
- 17:28, 22 July 2022 DavidGries talk contribs created page File:David-gries-NEW.jpg (Image of David Gries, from Cornell's page https://www.engineering.cornell.edu/sites/default/files/content/faculty/image/david-gries-NEW.jpg)
- 17:28, 22 July 2022 DavidGries talk contribs uploaded File:David-gries-NEW.jpg (Image of David Gries, from Cornell's page https://www.engineering.cornell.edu/sites/default/files/content/faculty/image/david-gries-NEW.jpg)
- 15:40, 12 July 2022 DavidGries talk contribs was automatically updated from (none) to extended confirmed user
- 00:02, 25 June 2022 DavidGries talk contribs moved page User talk:DavidGries/sandbox to Draft talk:Interference freedom (Preferred location for AfC submissions)
- 00:02, 25 June 2022 DavidGries talk contribs moved page User:DavidGries/sandbox to Draft:Interference freedom (Preferred location for AfC submissions)
- 20:18, 22 June 2022 DavidGries talk contribs created page User talk:DavidGries/sandbox (←Created page with 'This is my DavidGries/sandbox talk page')
- 10:52, 22 June 2022 DavidGries talk contribs created page File:Page1CSL-Family-Tree.png (Author: Ilya Sergey URL: https://ilyasergey.net/assets/other/CSL-Family-Tree.pdf I have helped him update this diagram and have emails to prove it. Page1CSL-Family-Tree.png is only the first page of this pdf. In addition, this article on the web contains a version of this image: https://read.seas.harvard.edu/~kohler/class/cs260r-17/brookes16concurrent.pdf)
- 10:52, 22 June 2022 DavidGries talk contribs uploaded File:Page1CSL-Family-Tree.png (Author: Ilya Sergey URL: https://ilyasergey.net/assets/other/CSL-Family-Tree.pdf I have helped him update this diagram and have emails to prove it. Page1CSL-Family-Tree.png is only the first page of this pdf. In addition, this article on the web contains a version of this image: https://read.seas.harvard.edu/~kohler/class/cs260r-17/brookes16concurrent.pdf)
- 09:57, 18 June 2022 DavidGries talk contribs created page User:DavidGries (Just created my user page)
- 21:02, 23 June 2021 DavidGries talk contribs created page User:DavidGries/sandbox (←Created page with '{{User sandbox}} <!-- EDIT BELOW THIS LINE --> ==OEDILF== The website [http://oedilf.com/ oedilf.com] (The Omnificent English Dictionary In Limerick Form) has th...')
- 14:55, 28 February 2021 DavidGries talk contribs created page User talk:24.59.54.4 (Add information about OEDILF to the Limerick page: new section)
- 23:41, 1 January 2007 User account DavidGries talk contribs was created