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, +-, Юᓂ곧⎔, The Waterfall Model, Eodermdrome, قلب, Thue-Mirr, Bitwise Cyclic Tag, Malbolge, almost 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.
Languages I have created
- 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.
Physical computing
- 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
- 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/Pico: A Picofuck minimisation / simple translation for multiple bf like languages
- User:Salpynx/Galveston ω-words and exploring input -> output as a function mapping
- 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.
- 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.
Ideas
- Verbosus: Translate Verbose into Latin, because Roman numerals. Decidedly not Non-Latin, but historical.
- An esolang using the early geometric cave drawing symbols from the work of Genevieve von Petzinger for the ultimate earliest in human symbolic representation (Don't think these are in Unicode). (~40,000 BP)
- An Enochian based language (not representable in Unicode!). To be done properly, it should make use of: the Enochian tablets for some kind of operations, Enochian Gematria, be in keeping with the theme and philosophy of Dr. Johannes Dee, and furthermore contain references to early ciphers and the possibility that Enochian was used for international espionage, and make use of modern statistical analysis of the language and tablets. Should probably be a high level language, or at least use meaningful keywords since there exists a decent Enochian dictionary with many concepts that could be used for computation. It SHOULD NOT be called 'Enochian', rather it should have a meaningful title in the language. GEDCOMSELHAH may be translatable as 'esolang'? (1580s, or pre-humanity, depending on belief/credulity)
Some thoughts on Encoding vs. Computation
- IV
- 3+1
- T
- 🖕🖕🖕🖕
- ᠔
- 4
f(4,1)
(lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))(lambda f: (lambda a: (lambda b: (lambda i: f(a)(b)(i * a) if hex(b)[2:] in hex(i) else bin(i).count('1')))))(3)(14)(45)
g(45)
- XLII
- 41+1
- AAAX
- 🖐🖐🖐🖐🖐🖐🖐🖐🖕🖕
- ᠔᠒
- 42
f(4,1)
(lambda f: (lambda x: f(lambda v: x(x)(v)))(lambda x: f(lambda v: x(x)(v))))(lambda f: (lambda a: (lambda b: (lambda i: f(a)(b)(i * a) if hex(b)[2:] in hex(i) else bin(i).count('1')))))(3)(14)(1423423623234322343949)
g(1423423623234322343949)