User contributions for Korektysta

2 August 2024

• 04:4904:49, 2 August 2024 diff hist +356 Talk:Floating-point arithmetic →Computable reals: Added a note about computation trees. current Tags: Mobile edit Mobile web edit

1 August 2024

• 22:5622:56, 1 August 2024 diff hist +644 Talk:Floating-point arithmetic →Computable reals: Reply Tag: Reply
• 22:0522:05, 1 August 2024 diff hist +63 m Name days in Croatia 3 more links to Thomases

17 July 2024

• 20:5020:50, 17 July 2024 diff hist +589 Talk:Floating-point arithmetic →Computable reals: new section Tag: New topic

16 July 2024

• 15:5115:51, 16 July 2024 diff hist +253 Floating-point arithmetic →Alternatives to floating-point numbers: Computable reals Tag: Reverted

19 April 2024

• 20:1720:17, 19 April 2024 diff hist +3 m Perikles (name) →Modern world: copied date from the article

6 April 2024

• 20:1420:14, 6 April 2024 diff hist +11 m Hugo Steinhaus →Early life and studies: interwiki link

10 March 2024

• 19:4719:47, 10 March 2024 diff hist −1 m Steven E. Koonin →2021 book Unsettled

1 January 2024

• 13:4113:41, 1 January 2024 diff hist +20 m Mads (given name) →fictional characters: formatting

22 September 2022

• 07:1207:12, 22 September 2022 diff hist +29 m Turing Award →Recipients: reuse of photo from the Alan Perlis' article Tag: Reverted

21 September 2022

• 14:2914:29, 21 September 2022 diff hist +22 m Kotlin (programming language) →Adoption: link (first mention)

13 September 2022

• 12:5512:55, 13 September 2022 diff hist +6 m Ljubljana Cathedral www update

10 September 2022

• 12:3512:35, 10 September 2022 diff hist +12 m Church encoding →Table of functions on Church numerals: link to monus

6 September 2022

• 14:1714:17, 6 September 2022 diff hist +1 m Store-passing style link, 4th corrected to 3rd, Second changed to 2nd
• 14:0014:00, 6 September 2022 diff hist +4 m Daniel P. Friedman link
• 13:1513:15, 6 September 2022 diff hist +4 m + (disambiguation) link

30 August 2022

• 10:4510:45, 30 August 2022 diff hist +26 Gregory Chaitin link to Kolmogorov complexity Tags: Mobile edit Mobile web edit

29 August 2022

• 05:4005:40, 29 August 2022 diff hist +344 m De Bruijn index →Alternatives to De Bruijn indices: CS1 maint using [https://citer.toolforge.org/ Citer] from Help:Citation tools

25 August 2022

• 13:1613:16, 25 August 2022 diff hist +21 m Dinosaur explanation by a link

24 August 2022

• 07:3907:39, 24 August 2022 diff hist +40 m Hugo Steinhaus →Legacy: interwiki link
• 07:2807:28, 24 August 2022 diff hist +110 N User:Korektysta/common.css from Help:CS1_errors#Controlling_error_message_display current
• 07:2007:20, 24 August 2022 diff hist +32 m Normalisation by evaluation →Outline: author-link
• 06:5106:51, 24 August 2022 diff hist +1 m Normalisation by evaluation typo in link

23 August 2022

• 11:4211:42, 23 August 2022 diff hist +16 m De Bruijn index →Alternatives to De Bruijn indices: interwiki link

22 August 2022

• 08:3208:32, 22 August 2022 diff hist +46 m Reduction strategy →Lambda calculus: backlink
• 08:2708:27, 22 August 2022 diff hist +17 m Lambda calculus →Reduction strategies: Sestoft's pdf found
• 08:2208:22, 22 August 2022 diff hist +844 m Lambda calculus →Reduction strategies: additional sources

19 August 2022

• 08:2808:28, 19 August 2022 diff hist 0 m SECD machine →See also: typo
• 08:2708:27, 19 August 2022 diff hist +19 m SECD machine →See also: CEK

18 August 2022

• 16:2816:28, 18 August 2022 diff hist +22 m John McCarthy (computer scientist) doctoral student
• 16:2616:26, 18 August 2022 diff hist +39 m Hans Moravec link to a advisor
• 15:1515:15, 18 August 2022 diff hist −88 m School of Informatics, University of Edinburgh →Notable alumni: alphabetical order (plausibly restored)

17 August 2022

• 12:1312:13, 17 August 2022 diff hist 0 m Peter Landin →Selected publications: chronological order
• 12:1112:11, 17 August 2022 diff hist +1,770 Functional programming →History: references to Peter Landin

16 August 2022

• 11:2411:24, 16 August 2022 diff hist −44 m Linus Pauling removed repeated See also section

21 July 2022

• 11:4511:45, 21 July 2022 diff hist +10 m ISWIM →Implementations and derivatives: link

27 May 2022

• 17:0017:00, 27 May 2022 diff hist +57 Hugo Steinhaus removed name “Władysław”, added Polish pronunciation

4 May 2022

• 18:5318:53, 4 May 2022 diff hist +16 m SIDS →Prevention: link correction

1 May 2022

• 15:2915:29, 1 May 2022 diff hist +5 m Scherzo No. 1 (Chopin) →Structure: missing comma

27 April 2022

• 15:5415:54, 27 April 2022 diff hist +4 m Where Mathematics Comes From →WMCF definition of mathematics: link

17 January 2022

• 10:3110:31, 17 January 2022 diff hist +92 m Talk:Polynomial hierarchy →Dubious claim \Delta_1 = \Delta_0: signature
• 10:3010:30, 17 January 2022 diff hist +242 Talk:Polynomial hierarchy →Dubious claim \Delta_1 = \Delta_0

6 January 2022

• 13:4913:49, 6 January 2022 diff hist +21 m Computational complexity theory →Turing machine: lambda calculus mentioned
• 13:3813:38, 6 January 2022 diff hist +26 m Jan Brożek →See also: link to honeycomb conjecture
• 13:3613:36, 6 January 2022 diff hist +119 m Honeycomb conjecture →History: link to Jan Brożek

25 August 2021

• 06:2606:26, 25 August 2021 diff hist +30 m Supernormal stimulus →In biology: interlink

13 August 2021

• 13:3013:30, 13 August 2021 diff hist −1 m Operational semantics →Reduction semantics: v comes from ‘value’, it's not ν

28 July 2021

• 14:5814:58, 28 July 2021 diff hist −1 m Marcel Lefebvre →Padre Pio and Marcel Lefebvre: extra colon deletion
• 14:4614:46, 28 July 2021 diff hist +13 m Mass of Paul VI →Criticisms of the text of the Missal: link

26 June 2021

• 19:5919:59, 26 June 2021 diff hist −5 San Pietro in Vincoli →website: update following Italian article