@cairdcoinheringaahing i have a question.

"how does tio.run work" though is not a valid question ;)

Why Dennis don't want to add Light mode?

JK

@Fmbalbuena For one, see above; for two, it's likely a lot of extra work to design another theme, and if/when Dennis comes back, there are more pressing issues

TBH I'm curious the resource requiremenets for tio

'cause i have a new powerful blade coming into my server farm this year

so i could help mirror tio (business class static IP connections anyone?)

I believe its hosted on 2 servers, and that a substantial portion of the costs are covered by Dyalog / donations

@ThomasWard TIO is entirely open source, if someone is willing to, they're able to host their own

ye but then we have the #LazyAsSin problem :P

i should read deployment docs

but he never adding ℒight programming language. JK

If you ever do decide to give it a shot, I believe most of the instructions are in the Github org, in particular the tiosetup repo

@cairdcoinheringaahing i might try but later. food now, then the cold one will be cracked open

then sleep :P

@cairdcoinheringaahing Can you add Custom encodings?

i don't have compute at the moment until i get the next server for the cluster