User contributions for Salpynx
Jump to navigation
Jump to search
19 May 2024
- 13:0713:07, 19 May 2024 diff hist +3,094 N KICK THAT HABIT MAN Implementing this should be non-trivial, but I think possible. current
- 11:4211:42, 19 May 2024 diff hist +822 User:Salpynx Links to some userspace resources, and a number of old langs I forgot to add current
7 May 2024
- 07:0307:03, 7 May 2024 diff hist 0 File:R110 flow.png Salpynx uploaded a new version of File:R110 flow.png current
2 May 2024
- 06:5106:51, 2 May 2024 diff hist +10 m User:Salpynx/Burn →Analysis of the Burn Rule 110 program: clarify a boolean b1() is hard. Integer output b1() is easy current
- 06:4606:46, 2 May 2024 diff hist +232 m User:Salpynx/Burn →Analysis of the Burn Rule 110 program: fix typos
- 06:3806:38, 2 May 2024 diff hist +184 m User:Salpynx/Burn →Analysis of the Burn Rule 110 program: forgot the framework code...
- 06:3506:35, 2 May 2024 diff hist +376 User:Salpynx/Burn →Analysis of the Burn Rule 110 program: Add the images. Perhaps the b1() division needs some more commentary..
- 06:2906:29, 2 May 2024 diff hist +110 N File:R110 flow.png No edit summary
- 06:2306:23, 2 May 2024 diff hist +127 N File:Burn Rule110 program tiled and numbered..png No edit summary current
- 06:1006:10, 2 May 2024 diff hist +7,481 N User:Salpynx/Burn brain dump on the structure of the Burn R110 code. Diagrams to follow shortly.
10 March 2024
- 13:5913:59, 10 March 2024 diff hist +1,271 N Talk:Wizzcake This joke lang is a bit like an non-TC-Seed.
8 February 2024
- 22:2222:22, 8 February 2024 diff hist +61 Scratch is dumb Interpreter in Scratch, accepts BASE64 encoded binaries as well as hex. current
31 January 2024
- 20:5320:53, 31 January 2024 diff hist +1,747 Talk:Two-instruction madness! →response to your claim is false: Attempt to clear up what seems like a misunderstanding about TCness
26 January 2024
- 14:0314:03, 26 January 2024 diff hist +5,104 Pico →Examples current
- 13:2013:20, 26 January 2024 diff hist +1,427 Pico Fix bug on empty string input, add cat example. Have tested a converted bf self-interpreter, so the bugs are ironed out.
- 11:4411:44, 26 January 2024 diff hist −2 Pico Fix bug in spec (unset cells within loops), and prevent python `is not` warning
20 January 2024
- 21:3321:33, 20 January 2024 diff hist +1,870 Talk:Minsky Swap →2-reg MM simulation; TC proof: Agree, there's a mistake in the proof :( (but this lang _should_ be TC) current
6 January 2024
- 08:2208:22, 6 January 2024 diff hist +9,732 N Pico Considering this spec finished since I haven't changed it in the last 3 years.
12 December 2023
- 22:2022:20, 12 December 2023 diff hist +5 m ඞlang →ඞ: code layout
- 19:4219:42, 12 December 2023 diff hist +575 ඞlang →Interpeters: ඞnother ඬne
30 November 2023
- 01:0201:02, 30 November 2023 diff hist +61 Talk:ඞlang I guess this isn't the shortest interpreter you will "see", but it's the shortest. current
28 October 2023
- 19:0119:01, 28 October 2023 diff hist +3 4 bits, 8 bytes →Quine: I hadn't realized space wasn't a valid character and the interpreter was silently ignoring it. This modification terminates (unlike the _ replacement)
25 October 2023
- 04:5804:58, 25 October 2023 diff hist +50 4 bits, 8 bytes →Quine: ►a Quine
23 October 2023
- 23:5123:51, 23 October 2023 diff hist +414 2 Bits, 1 Byte →Example codes: limited IO truth-machine
2 May 2023
- 04:5404:54, 2 May 2023 diff hist −8 Cratefuck →Implementations: TC cat is back. I had a suspicion this was TC, but the other proof only demonstrated BSM. This is still a neat lang because it strongly suggests bounded Turning machine. Needs a sokoban interpreter.
- 04:4804:48, 2 May 2023 diff hist +6,135 Talk:Cratefuck TC proof via Minsky machine simulation. A finite number of crates can represent 3 registers on an unbounded number line. current
1 May 2023
- 03:4203:42, 1 May 2023 diff hist −28 Cratefuck →Implementations: The main interesting feature of this language is that it is a BSM, and not TC. The 'proof' page even states this by suggesting an extension to this spec that would be TC.
7 February 2023
- 08:3208:32, 7 February 2023 diff hist −4 m Counterfish →Copy (duplicate and add) a prime encoded 'virtual' register: Unicode exponents current
- 08:2708:27, 7 February 2023 diff hist +4 m Counterfish clarify
3 January 2023
- 11:0011:00, 3 January 2023 diff hist +4 m Barely correct capitalisation, and link current
19 December 2022
- 03:5803:58, 19 December 2022 diff hist +1,082 Talk:Footsteps Questioning why start 0 is 'undefined'
- 03:2903:29, 19 December 2022 diff hist 0 m Thue-Mirr →External resources: update link from Gist to github location current
- 03:1903:19, 19 December 2022 diff hist +176 G arD^EN CorUtY@rD →See also: add python implementation
- 03:1303:13, 19 December 2022 diff hist +229 Footsteps →Implementations: Terse Python 3 implementation current
- 01:1601:16, 19 December 2022 diff hist −1 m G arD^EN CorUtY@rD →See also: fix indent
18 December 2022
- 01:0901:09, 18 December 2022 diff hist +3 m ඞlang →Reqiurements: fix typos
13 December 2022
- 21:3821:38, 13 December 2022 diff hist +25 4BOD →Truth Machine current
23 November 2022
- 05:5505:55, 23 November 2022 diff hist −42 BiTrax →Examples: There's a template for this (the fixed width isn't great though, it could be smarter). Revert if you prefer the manual images.
24 September 2022
- 22:4922:49, 24 September 2022 diff hist +244 Counterfish Correct my statement about 2-reg PMMN, it is TC, but not a straightforward translation
- 22:3922:39, 24 September 2022 diff hist +18 Language list →C: Counterfish
- 22:3422:34, 24 September 2022 diff hist +48 m Counterfish →External resources: adjust link, and add TC cat
23 September 2022
- 09:3009:30, 23 September 2022 diff hist +644 User talk:Salpynx/Minimal TC program machines mnemonic current
- 07:5107:51, 23 September 2022 diff hist +2,899 User talk:Salpynx/Minimal TC program machines →Autopsy is TC: Incdecisive Machine reply
- 07:2007:20, 23 September 2022 diff hist +128 Counter Machine Net Notation →Description: Define the 'double bar' notation for a generalised 'next' edge restriction. Not going back to ancestors seems to be the key feature current
- 07:1307:13, 23 September 2022 diff hist +457 Counter Machine Net Notation →Examples: Add notation for Incdecisive Machine. Last two cells of that row demonstrate TC equivalence
- 01:0701:07, 23 September 2022 diff hist +364 User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: Add Incdecisive Machine (with hopefully accurate enough mnemonic: incjnz) current
20 September 2022
- 06:2206:22, 20 September 2022 diff hist +537 User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: Found another TC 2 register, 2 instruction set machine formulation hiding in plain sight in Minsky 1967.
19 September 2022
- 04:2404:24, 19 September 2022 diff hist +86 Counterfish Add implementation
17 September 2022
- 06:2506:25, 17 September 2022 diff hist +8 m Counter Machine Net Notation →Notes: tidy wording
- 06:1006:10, 17 September 2022 diff hist +1,068 Counter Machine Net Notation →Examples: More examples