User contributions for Salpynx
Jump to navigation
Jump to search
8 October 2025
- 03:0303:03, 8 October 2025 diff hist +2 m Syntagma italics current
- 02:5902:59, 8 October 2025 diff hist +398 Syntagma cats and motivation. Perhaps this is a semi-joke language
- 02:3902:39, 8 October 2025 diff hist +22 N User:Syntagma Salpynx moved page User:Syntagma to Syntagma: either I made a mistake, or this form is confusing current Tag: New redirect
- 02:3902:39, 8 October 2025 diff hist 0 m Syntagma Salpynx moved page User:Syntagma to Syntagma: either I made a mistake, or this form is confusing
- 02:3802:38, 8 October 2025 diff hist +27 N User:Salpynx/Syntagma Salpynx moved page User:Salpynx/Syntagma to User:Syntagma: moving to mainspace, probably as complete as it is going to get current Tag: New redirect
- 02:3802:38, 8 October 2025 diff hist 0 m Syntagma Salpynx moved page User:Salpynx/Syntagma to User:Syntagma: moving to mainspace, probably as complete as it is going to get
- 02:1302:13, 8 October 2025 diff hist −8 m Syntagma →Syntax
7 October 2025
- 20:4820:48, 7 October 2025 diff hist +73 m Talk:Iterate/Turing-completeness proof fix typo, and provide a breakdown
- 20:4120:41, 7 October 2025 diff hist +358 Talk:Iterate/Turing-completeness proof bug in BCT program, not interpreter (I think)
2 September 2025
- 21:1521:15, 2 September 2025 diff hist +368 Talk:Mouse →Newline: exclamation prints a newline in Mouse current
9 November 2024
- 01:4801:48, 9 November 2024 diff hist +22 m User:Salpynx/Going to Zagreb to buy a pony heading levels current
- 01:4601:46, 9 November 2024 diff hist +4,645 N User:Salpynx/Going to Zagreb to buy a pony I asked ChatGPT to describe this language after a bit of priming, it has provided some other helpful suggestions in line with ideas I already had. Perhaps this is more of a collaboration than pure AI nonsense. Some of it is mine. WIP.
1 November 2024
- 08:3808:38, 1 November 2024 diff hist +21 m Talk:FROSTWIRE-666 →complete basis?: link to specific section of that long SKI page
- 08:3008:30, 1 November 2024 diff hist +257 m Talk:FROSTWIRE-666 →complete basis?: B combinator lulz
- 08:1908:19, 1 November 2024 diff hist +835 Talk:FROSTWIRE-666 →complete basis?: links for future reference
- 07:5507:55, 1 November 2024 diff hist +757 FROSTWIRE-666 FROSTWIRE-666 is growing on me. I want to extract a usable fixed point combinator from ꞎ, but Python is not the best tool for it..
30 October 2024
- 08:4608:46, 30 October 2024 diff hist +943 Talk:FROSTWIRE-666 →complete basis?: example implementation of these combinators in Python (Gist link)
- 03:1003:10, 30 October 2024 diff hist +631 Talk:FROSTWIRE-666 Undo revision 144535 by Salpynx (talk) Tag: Undo
- 03:0203:02, 30 October 2024 diff hist −631 Talk:FROSTWIRE-666 back to drawing boad on S Tags: Blanking Reverted
- 02:4202:42, 30 October 2024 diff hist +631 N Talk:FROSTWIRE-666 trying to find a universal basis (for TCness)
24 October 2024
- 03:1903:19, 24 October 2024 diff hist +28 m Syntagma →Syntax: strikeout
- 03:0603:06, 24 October 2024 diff hist +161 Syntagma add spoiler text, in case i forget what this is supposed to be
19 September 2024
- 08:4908:49, 19 September 2024 diff hist +4 m Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option →Implementations: self-link for clarity current
21 August 2024
- 08:1508:15, 21 August 2024 diff hist +1,675 N Syntagma syntax only
6 August 2024
- 09:5209:52, 6 August 2024 diff hist +2,726 N User:Salpynx/BB thoughts thoughts on busy beaver, and encoding by Turing machines (in progress) current
2 August 2024
- 12:1212:12, 2 August 2024 diff hist +139 User:Salpynx/2-symbol-tm-conversion →External links: I think there are a couple of unnecessary states, so it's 105 or 106 state 2 symbol current
- 12:0612:06, 2 August 2024 diff hist −4 m User:Salpynx/2-symbol-tm-conversion →Symbol-reduction Conversion state count
- 12:0312:03, 2 August 2024 diff hist −769 User:Salpynx/2-symbol-tm-conversion among other stupid mistakes, I was counting rules instead of states
- 09:5309:53, 2 August 2024 diff hist +496 User:Salpynx/2-symbol-tm-conversion maybe my calculations are wrong, but the (107, 2) machine seems to be working
1 August 2024
- 23:2323:23, 1 August 2024 diff hist +4,944 N User:Salpynx/2-symbol-tm-conversion probably made a mistake somewhere... I'll recheck when i format the maths better, later
31 July 2024
- 22:5322:53, 31 July 2024 diff hist +13 Language list →U: add Uxntal
- 09:2409:24, 31 July 2024 diff hist +1,199 N Uxntal add Uxntal. There's a lot more that could be said about the creators, design, and community around this language current
- 00:5100:51, 31 July 2024 diff hist +25 m Z3 cats: pre 1993 current
- 00:4900:49, 31 July 2024 diff hist −48 Z3 use ref tags to make this all serious and academic
30 July 2024
- 22:0722:07, 30 July 2024 diff hist +103 m Esolang:Sandbox more ref on article tests Tag: Reverted
- 22:0322:03, 30 July 2024 diff hist +157 Esolang:Sandbox →Tests: do we use refs here? Tag: Reverted
29 July 2024
- 23:1523:15, 29 July 2024 diff hist +170 Z3 attempt to clarify the conditions under which Z3 can be made TC, and link to relevant papers
- 22:3822:38, 29 July 2024 diff hist +293 Talk:Z3 →instruction set with load, store, increment, zero and unconditional branching current
- 02:4302:43, 29 July 2024 diff hist +25 m Fractran →External resources: pre-1993, (papers and articles from the 80s exist on Fractran)
20 July 2024
- 04:3604:36, 20 July 2024 diff hist +34 m ΙΧΘΥΣ →External resources: cat
- 04:3404:34, 20 July 2024 diff hist +49 m Talk:ΙΧΘΥΣ →Input extension: sign unsigned post
7 July 2024
- 08:5908:59, 7 July 2024 diff hist +59 m Incremental Model →External resources: Incremental game on Wikipedia current
- 07:1107:11, 7 July 2024 diff hist +3,687 N Incremental Model I think this works as a computational model, it may need adjustment as a working clicker game...
2 July 2024
- 21:3921:39, 2 July 2024 diff hist +398 User:Salpynx →TODO: Esolang projects I'd like to finish or start (not necessarily complete, or in order) current
- 05:5805:58, 2 July 2024 diff hist +160 Conedy It's a little hard to confirm this interpreter is totally correct, it might need tuning. Bug reports more than welcome!
- 01:3801:38, 2 July 2024 diff hist +4 m Quiner →Interpreters: link to BQN current
- 01:3501:35, 2 July 2024 diff hist +4 m Zirconium →External links: link to BQN
- 01:3101:31, 2 July 2024 diff hist +221 N BQN I know nothing about this, just found a series of 'inspired by BQN' references and was surprised there was no article yet current
1 July 2024
- 21:2121:21, 1 July 2024 diff hist +121 Shape-Machine →Implementations: I don't quite understand what this is, but here's an interactive graph.
- 12:5712:57, 1 July 2024 diff hist +145 m Galveston →External resources: Link to UCS-∞ Specification current