User contributions for Segfaulty
Appearance
Results for Segfaulty talk block log uploads logs global block log global account filter log
A user with 38 edits. Account created on 29 October 2019.
22 November 2019
- 22:4122:41, 22 November 2019 diff hist +45 m Library of Efficient Data types and Algorithms Corrected a few typos and extended a sentence fragment. Tag: Visual edit
- 22:2722:27, 22 November 2019 diff hist 0 m Library of Efficient Data types and Algorithms Removed unnecessary capitalization in headings. Tag: Visual edit
- 22:0322:03, 22 November 2019 diff hist 0 m Library of Efficient Data types and Algorithms Corrected a typo; LETA -> LEDA Tag: Visual edit
- 21:5921:59, 22 November 2019 diff hist +1,122 Library of Efficient Data types and Algorithms Added planarity testing example to section on Error Checking Tag: Visual edit
- 15:4815:48, 22 November 2019 diff hist +14 Library of Efficient Data types and Algorithms Added small change to program validation development, removing note on transpiling from C and clarifying the function of Isabelle/HOL Tag: Visual edit
21 November 2019
- 16:4416:44, 21 November 2019 diff hist +52 Talk:Library of Efficient Data types and Algorithms Added an update to progress on expansions and subsections (discussing technical details)
- 16:4116:41, 21 November 2019 diff hist +1,016 Library of Efficient Data types and Algorithms Added subsection under Technical Details on LEDA's custom-build numerical types and their respective advantages. Tag: Visual edit
19 November 2019
- 16:2916:29, 19 November 2019 diff hist −438 Library of Efficient Data types and Algorithms Removed list of compilers (extremely outdated) Tag: Visual edit: Switched
- 16:2616:26, 19 November 2019 diff hist +438 Library of Efficient Data types and Algorithms Added a list of compatible compilers. Tag: Visual edit
- 16:1616:16, 19 November 2019 diff hist −17 m Library of Efficient Data types and Algorithms Removed redundant citations Tag: Visual edit
- 16:0716:07, 19 November 2019 diff hist +10 m Library of Efficient Data types and Algorithms Added additional detail on LEDA's error checking programs being Transpiled from C Tag: Visual edit
- 15:5815:58, 19 November 2019 diff hist +590 Library of Efficient Data types and Algorithms Added a Technical Details section along with a subsection on LEDA's use of certifying algorithms for verifying correctness. Tag: Visual edit
- 15:4315:43, 19 November 2019 diff hist −40 m Library of Efficient Data types and Algorithms Rearranged sentence structure of use cases Tag: Visual edit
- 15:4015:40, 19 November 2019 diff hist +46 N User:Segfaulty/sandbox Created sandbox current Tag: Visual edit
- 01:4601:46, 19 November 2019 diff hist +222 Talk:Library of Efficient Data types and Algorithms Added notes on latest revisions and upcoming plans for technical details section.
- 01:3901:39, 19 November 2019 diff hist +4 m Library of Efficient Data types and Algorithms Added wikilink for Real RAM Tag: Visual edit
- 01:3101:31, 19 November 2019 diff hist +1,657 Library of Efficient Data types and Algorithms Added sections on Use-Cases and Alternatives along with two new references. Tag: Visual edit
16 November 2019
- 21:2621:26, 16 November 2019 diff hist +90 m Talk:Library of Efficient Data types and Algorithms Added signature
- 21:2621:26, 16 November 2019 diff hist +323 Talk:Library of Efficient Data types and Algorithms →Expansion/Subsections: new section
- 21:1321:13, 16 November 2019 diff hist +36 m History of programming languages Added a citation for the lead's assertion that early programming languages used obscure mathematical notation
14 November 2019
- 16:3916:39, 14 November 2019 diff hist +13 m Real RAM Added <code> formatting to leda_real
- 16:2816:28, 14 November 2019 diff hist +232 Wikipedia:WikiProject Software/Members Added myself as a member of the Wikiproject
- 16:0716:07, 14 November 2019 diff hist +240 Talk:History of programming languages Added note on additions to lead
- 16:0416:04, 14 November 2019 diff hist +487 History of programming languages Added lead section summarizing transition from low-level to high-level languages
12 November 2019
- 16:3616:36, 12 November 2019 diff hist +490 Real RAM Added details on LEDA's implementation of real numbers, as used in Kurt Melhorn's 1999 publication.
- 04:3304:33, 12 November 2019 diff hist +622 Talk:Real RAM →Implementation - Expansion: new section
7 November 2019
- 16:3716:37, 7 November 2019 diff hist +166 History of programming languages Added more detailed description of FORTRAN's initial reception with citation.
5 November 2019
- 16:4516:45, 5 November 2019 diff hist +103 Talk:History of programming languages Noted shift of FORTRAN introduction.
- 16:4216:42, 5 November 2019 diff hist +8 History of programming languages Moved notes on FORTRAN's efficiency from the lead to its section in First programming languages. Tag: Visual edit: Switched
- 16:3316:33, 5 November 2019 diff hist +556 Talk:History of programming languages Added section to discuss development of a lead
31 October 2019
- 15:3115:31, 31 October 2019 diff hist +131 N User talk:Segfaulty Added tagline
- 15:2915:29, 31 October 2019 diff hist +80 Wikipedia:WikiProject Computing/Members Added talk/contribs links
- 15:2415:24, 31 October 2019 diff hist 0 m User:Segfaulty Moved userbox current
- 15:2315:23, 31 October 2019 diff hist +18 User:Segfaulty Added userbox for WikiProject Computing
- 15:2215:22, 31 October 2019 diff hist +31 Wikipedia:WikiProject Computing/Members Added my username to the list
- 15:1315:13, 31 October 2019 diff hist −11 m User:Segfaulty Corrected sentence structure.
- 15:1015:10, 31 October 2019 diff hist +197 N User:Segfaulty Added basic about me info