i posted my dumb language in an esolang irc channel asking if it's possible to prove you can get from initial state to n = [any positive real number]

i checked back and someone has been trying to figure this out for 3 hours

they've made a brute forcer for an ASCII version i released
this is actually impressive

lpaste.net/5694671569826086912

irc logs 

<Jafet> well, the 9T[Hn]* search finished without even getting to 6995
<Jafet> it found 3287481 numbers reachable without overflow, and then spun on an empty queue for half an hour

<Jafet> well, it's almost certain that every number is reachable by those operations and it is equally almost certain that trying to prove this will be futile

welcome to esolangs i make
trying to prove they work is futile

Sign in to participate in the conversation
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!