User contributions for Ais523
Jump to navigation
Jump to search
21 September 2023
- 13:3513:35, 21 September 2023 diff hist +644 UT19 →The production rules of UT19: a fourth halting rule that UT19 can be trivially modified to be Turing-complete under current
- 13:2213:22, 21 September 2023 diff hist +460 Talk:Footsteps →is not ResPlicate a subset of this, thus proving it also turing complete?: the major difference between Footsteps and ResPlicate
19 September 2023
- 09:1109:11, 19 September 2023 diff hist +27 m Template:Nopoint I'm not convinced we even need a template for this – but if we do, the template shouldn't be in the categories itself (it is not a language), only the pages it is placed on should be
- 09:0309:03, 19 September 2023 diff hist +29 Xeroxer →See also: a couple of languages that are similar to this language in some ways (although sufficiently different in the details that lessons that apply to one don't automatically map onto lessons that apply to the others)
- 09:0109:01, 19 September 2023 diff hist +2,613 User talk:Ais523 →mind verifying my proof?: I wasn't able to verify the proof because it's just a single block of uncommented code – but the language is definitely TC, and here's how I'd go about proving it myself
15 September 2023
- 10:1110:11, 15 September 2023 diff hist +1,573 N MediaWiki:Uploadtext a big warning on the upload form, in the hope of reducing the number of images that get uploaded against policy current
- 10:0110:01, 15 September 2023 diff hist +198 User talk:Ais523 →Delete image containing private information: done
- 10:0010:00, 15 September 2023 diff hist +316 File talk:Cinnamony.jpg metadata removed
- 09:5609:56, 15 September 2023 diff hist 0 File:Logo of Nuigurumiato except its the whole thing.jpg Ais523 uploaded a new version of File:Logo of Nuigurumiato except its the whole thing.jpg current
- 09:5509:55, 15 September 2023 diff hist 0 File:Truth Machine I guess LBJ.jpg Ais523 uploaded a new version of File:Truth Machine I guess LBJ.jpg current
- 09:5509:55, 15 September 2023 diff hist 0 File:Efghij hello world.jpg Ais523 uploaded a new version of File:Efghij hello world.jpg current
- 09:5409:54, 15 September 2023 diff hist 0 File:Adder in Nuigurumiato.jpg Ais523 uploaded a new version of File:Adder in Nuigurumiato.jpg current
- 09:5409:54, 15 September 2023 diff hist 0 File:Better truth machine in Nuigurumiato.jpg Ais523 uploaded a new version of File:Better truth machine in Nuigurumiato.jpg current
- 09:5309:53, 15 September 2023 diff hist 0 File:Nuigurumiato logo.jpg Ais523 uploaded a new version of File:Nuigurumiato logo.jpg current
- 09:5309:53, 15 September 2023 diff hist 0 File:Hello World on Nuigurumiato.jpg Ais523 uploaded a new version of File:Hello World on Nuigurumiato.jpg current
- 09:5209:52, 15 September 2023 diff hist 0 File:Truth Machine... I guess? on Nuigurumiato.jpg Ais523 uploaded a new version of File:Truth Machine... I guess? on Nuigurumiato.jpg current
- 09:5109:51, 15 September 2023 diff hist 0 File:Cat on Nuigurumiato.jpg Ais523 uploaded a new version of File:Cat on Nuigurumiato.jpg current
14 September 2023
- 14:2514:25, 14 September 2023 diff hist +163 File talk:Cinnamony.jpg agree that the metadata is a problem, so I deleted the image
13 September 2023
- 12:1212:12, 13 September 2023 diff hist +329 Talk:Comments blanking a page = usually a deletion request current
- 07:5107:51, 13 September 2023 diff hist +1,011 N User talk:FortyTwo Flooding Waterfall Model is Turing-complete current
- 07:4707:47, 13 September 2023 diff hist +3,018 Flooding Waterfall Model discussion on how this related to ''Magic: the Gathering'' current
- 07:1807:18, 13 September 2023 diff hist +2,291 Flooding Waterfall Model clearer specification of the language
- 07:0407:04, 13 September 2023 diff hist +5,643 Flooding Waterfall Model this is Turing-complete; I have created a compiler into it and an interpreter for it
11 September 2023
- 12:5112:51, 11 September 2023 diff hist +561 Esolang talk:Categorization →Category proposal: constant string printers: ELEMENTARY is worth thinking about
- 12:4312:43, 11 September 2023 diff hist +1,273 Smaller is TC: there's a fairly direct compilation from Brainpocalypse II
- 12:2312:23, 11 September 2023 diff hist +1,827 Category talk:Clm-based a note about the deletion
9 September 2023
- 08:4608:46, 9 September 2023 diff hist +477 Echo Tag →Computational class: minimum proven Turing-complete n is now 68 (although it is highly likely that all n≥2 are Turing-complete) current
- 08:2508:25, 9 September 2023 diff hist +374 User:Ais523 link some esolang-related things here that aren't programming languages current
- 08:2208:22, 9 September 2023 diff hist 0 m UT19 →UT22: whitespace and punctuation fixes
- 08:2008:20, 9 September 2023 diff hist +23 N UT22 redirect to UT19#UT22 current Tag: New redirect
- 08:2008:20, 9 September 2023 diff hist +2,079 UT19 discuss UT22, which is UT19 modified to remove empty productions
- 08:0808:08, 9 September 2023 diff hist +11 Tag system →See also: +UT19 current
- 08:0708:07, 9 September 2023 diff hist +11 Brainpocalypse II →See also: +UT19 current
- 08:0608:06, 9 September 2023 diff hist +36,168 N UT19 a Turing-completeness proof for a 19-symbol 2-tag system
3 September 2023
- 19:4319:43, 3 September 2023 diff hist +5 m Addition Automaton pipe link to year category current
2 September 2023
- 21:1921:19, 2 September 2023 diff hist +150 The Waterfall Model →External resources: there is now a compiler for the M:tG construction, rather than just notes, thanks to Iijil current
- 16:5216:52, 2 September 2023 diff hist +47 The Waterfall Model →Implementation with only small integers in the program: explicitly mention the self-reset value of 2 as it was a major part of the motivation for this section
1 September 2023
- 20:1520:15, 1 September 2023 diff hist +730 Talk:Brain-Flak →Why can there be a quine since Brain-Flak doesn't seem to have character output?!: implementations print the stack at program exit, and vary with respect to the details current
27 August 2023
- 16:5116:51, 27 August 2023 diff hist +731 N Talk:OISCalypse a note on integer sizes
- 16:4716:47, 27 August 2023 diff hist +384 Tag system →External resources: add an implementation
25 August 2023
- 08:0608:06, 25 August 2023 diff hist +382 Brainpocalypse II →External resources: an implementation (not a particularly *good* one, but enough to get started…)
- 06:5506:55, 25 August 2023 diff hist 0 m Brainpocalypse →See also: fix spelling error that broke the link
- 06:5506:55, 25 August 2023 diff hist +24 Brainpocalypse →See also: +Brainpocalypse II
- 06:5206:52, 25 August 2023 diff hist −3 m The Waterfall Model →Implementation with only small integers in the program: fix thinko
24 August 2023
- 21:3721:37, 24 August 2023 diff hist +371 Category talk:Clm-based wasn't discussed and I am planning to delete it
- 21:3521:35, 24 August 2023 diff hist +23 User:Ais523 +Brainpocalypse II
- 21:3521:35, 24 August 2023 diff hist +24 Language list →B: +Brainpocalypse II
- 21:3421:34, 24 August 2023 diff hist +10,414 N Brainpocalypse II new language! (or at least a sequel to an existing language)
- 21:2621:26, 24 August 2023 diff hist −26 Esolang:Categorization →Memory: remove one category which seems unlikely to ever be widely used, and which isn't standard terminology
- 21:0521:05, 24 August 2023 diff hist 0 The Waterfall Model →Implementation with only small integers in the program: OK, so I had the construction correct, but got my prepositions backwards