User contributions for Salpynx
Jump to navigation
Jump to search
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. current
- 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
16 September 2022
- 06:2406:24, 16 September 2022 diff hist +230 Counter Machine Net Notation →Examples
- 03:1503:15, 16 September 2022 diff hist +414 User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: Clarify mnemonics used
- 03:0603:06, 16 September 2022 diff hist −2 m User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: changing the mnemonic to dec(r, z_T, z_F) as using the 'jz' implies a false equivalence for 'jump-if-zero', which is NOT the same test for 2 target branch version.
- 03:0303:03, 16 September 2022 diff hist −9 m User talk:Salpynx/Minimal TC program machines →Autopsy is TC: changing the mnemonic to dec(r, z_T, z_F) as using the 'jz' implies a false equivalence for 'jump-if-zero', which is NOT the same test for 2 target branch version.
- 01:0501:05, 16 September 2022 diff hist +5,411 N Counter Machine Net Notation I think this is a workable and equivalent notation. I plan to work through some practical examples to iron out any issues.
15 September 2022
- 22:4822:48, 15 September 2022 diff hist +307 User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: Found Minsky's version of two branch target jzdec() in the 1961 paper, not hidden at all.
- 21:5721:57, 15 September 2022 diff hist −71 m User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: fix paste error
- 21:5521:55, 15 September 2022 diff hist +535 User:Salpynx/Minimal TC program machines →Table of minimal TC program / counter machines: Correct my Autopsy mistakes, and add jzdec(r, z<sub>TRUE</sub>, z<sub>FALSE</sub>) form
- 21:3621:36, 15 September 2022 diff hist +2,677 User talk:Salpynx/Minimal TC program machines →Autopsy is TC: Yup, I agree, and see where I went wrong now, thx!
- 06:3706:37, 15 September 2022 diff hist +1,646 Counterfish →Examples: Hello World torture test