User:Salpynx

Interested in non-Latin / ancient script based esolangs. Gödel numbering. String and graph rewriting. Quantum computing. Physical and analog computing models. Preserving links and data via the Wayback machine and this Template:Wayback. Audio. Silly jokes. Encoding.

Favourite program forms Truth-machines, especially for languages that have no, or limited IO. Collatz sequence.

Favourite languages Deadfish, +-, ඞlang, Юᓂ곧⎔, The Waterfall Model, Eodermdrome, قلب, Thue-Mirr, Bitwise Cyclic Tag, Malbolge, Thue but Slashes is probably better, Lazy-K, MUSYS. There are many other interesting ones I have dabbled with, this is not meant to be an exhaustive list.

I only really use bf for generating Gödel numbers like in Unary, Lenguage, or my own Brainfoctal, but it is very good at doing this, and is an excellent practical Turing-machine when you need one.

TODO: Esolang projects I'd like to finish or start (not necessarily complete, or in order)

• Deadfish interpreter in IBM 1401 punchcards
• Incorporate pre-existing USC-∞ character encoding into Galveston interpreter
• Conedy interpreter (raycasting / a priori collision detection) DONE! as a step to determining TCness. Hypothesis: Not TC, (but it can loop over bounded space and increment (or at least modify) infinitely).
• Countercall, just noticed it. Gut feeling: seems more likely to be TC than Condey, and easier to reason about than Footsteps (hah!). Needs an interpreter.
• Footsteps TC investigation. Hypothesis: Maybe, but convoluted.
• Burn reverse engineering. I have a 2d automaton engine to test arbitrary rule-sets on the tiling, and a sketch of how the R110 program must work, but have paused.
• Minsky Swap, be bold and modify the article to make it TC as obviously intended (based on my 'proof' on the talk page, which deals with the language as it should be, but not as described).
• Create a Seed interpreter directly in Funge-98
• Add some of my old languages to the wiki. Have held off because specs / interpreters / examples weren't 100% complete, but that doesn't seem to be a necessary consideration.
• Review joke quantum (/Pokémon) languages, are they complete, and worth sharing?
• Write more practical 2-reg Minsky machine code and create some kind of optimising interpreter to run in realistic timescales (lack of motivation)
• Prove that 2-reg Portable Minsky Machine Notation is TC (it is, but not trivially so). To justify this is worthwhile, I need to first demonstrate it is not trivially TC because "2-reg Minsky machines are TC", which is unsatisfying. (3-reg PMMN is TC because 2-reg Minsky machines are, ..blah etc)
• More retro-style games in esolangs: a mix of modern fantasy console style and porting old magazine and book BASIC listings to esolangs in order to have something to run and interact with in these languages.
• Complete CTBASIC interpreter / spec
• Physical machine to run compiled cyclic tag via CTBASIC?
• Complete and release MUSYS interpreter, and integrate with SuperCollider, since there seems to be a little bit of interest from that community.
• Finish WIP Troupe interpreter. (left this so long the framework I started using has moved on)
• Publish alternate spec interpretation of Mobius (Linux interpreter and 'Hello World' + Truth Machine audio examples).
• ඞlang 'interpreter' in Poololoop
• Get Lazy-K recognised as a language on Github. (longshot, but probably closer than most people would expect).
• Paper Deadfish computer
• Figure out the last bit of KICK THAT HABIT MAN to create a working interpreter. (I think it is workable, but I could be wrong).
• S combinator only language... I had an idea...
• Mathematical interpreter for Gödel encoded bf to output encoding. Gödelfish was a first step in this direction. (seems too exhausting to complete)

Useful Userspace Links

• Church numeral ASCII-table
• Listing and Classifying Minimal Minsky Machines
• User:Salpynx/n-Genus_Graph_Embedding ... does this still make sense, did it ever?
• Thoughts on reverse engineering Burn R110

Languages I have created

• CTBASIC - Vector graphics and text output from cyclic tag (fantasy console)
• KICK THAT HABIT MAN four part combinator experiment
• Isthmus Cyclicus Crypticus Æon Flux animated series inspired Turtle graphics cyclic tag system.
• Finites at Fredy's Parody thematic language which compiles to OpenQASM for real Quantum computing.
• Ensemencer, Mersenne twister experimentation, inspired by Seed.
• Pico: a two symbol bf and bf-like reduction inspired by the simple translation concept.
• Counterfish: Deadfish and 2-reg Minsky machine inspired.
• Counter Machine Net Notation.
• Galveston ω-language inspired.
• Skengauge: Lenguage inspired joke language with Planck scale SVGs, and knifes.

Physical computing

• Crochetable Cyclic Tag Cyclic tag via crochet instructions.
• Sticks and Stones Physical computation implemented using 3 stones. I'm trying to develop this further.

Ancient languages

• ΙΧΘΥΣ, Deadfish + classical Greek, thematic Turing-complete Deadfish derivative https://github.com/hornc/ixqus
• ᚱᚢᚾᛅᛦ Runic fungeoid based on converting RunR into Futhark, because that language name looks like a near/false declension of the Old Norse word for "Rune"
• A-DU, Linear A balance ledgers as code.

Gödel numbering

• Gödelfish -- A Gödel numbering of Deadfish (and bf) with equations to convert between input / output, and Brainfoctal.
• Brainfoctal, and exploring Gödel numbering as a programming paradigm
  • Brainfoctal#+b
  • Brainfoctal#Deadf'shoctal
• 42, a Gödel number joke language

Silly maths

• He110!, Joke celluar automata and Manchester encoding, hehe! May actually have some interesting potential.
• L.H.O.O.Q., another (esoteric) joke language, with complex maths, and images
• Grime MC, exploring algorithms using genre specific lyrics and Pseudonatural language

Plain stupid

• Analog Synth, a very silly simple language conversion from another joke in order to create a multi-interpreter for two languages in ΙΧΘΥΣ

Not yet baked

• Many in progress ideas... I should just write them up properly. These currently have pages under my userspace. Linking here because I keep losing them.
• User:Salpynx/Braneflage playing with dimensionality
• User:Salpynx/Sator Resatus trying to make a 2D 'string' rewriting language. (Stalled)

Code for languages created by others

• Юᓂ곧⎔ compiler toolchain
• APLBAONWSJAS Joke interpreter and intelligent assistant
• Thue-Mirr interpreter
• Repo of Eodermdrome examples, including a +-= interpreter. I also have a fork of the Python interpreter where I have added some minor new features from the spec.
• Various silly interpreters on ඞlang. Hopefully non-trivial ones. It's basically a non-ASCII / high output value/ Unicode output program form, which I find an interesting challenge for Turing-tarpit or limited output languages.
• Interpreter for G_arD^EN CorUtY@rD.
• I'm pleased with:
  • my Funciton Truth-machine
  • The Waterfall Model Truth-machine
  • Deadfish in Юᓂ곧⎔
  • قلب#Collatz_sequence where I play with Arabic calligraphic code layout, despite having no real background in Arabic
• Various truth-machines and other things scattered around on this wiki.
• Pistons & Pistons translations into working Minecraft piston arrangements. (I like this concept)
• A Category:Shameful 'implementation' of Esme: Esme/esme.pl
• User:Salpynx/Phoney_Burn_01 a disposable interpretation of Burn to implement rule 110 which is guaranteed to be incorrect. A further exploration of pareidolia for entertainment.