I don't like what they've done to IDLE in versions 3.10+
why would anyone want a margin bar thing?
also, the thing I miss about macOS is being able to use unicode in the default terminal without it being either garbled completely or just straight up ignored
PUSH_N_PRINT = "ȦƁƇƉƐƑƓǶȊȷǨȽƜƝǪǷɊƦȘȚȔƲɅƛƳƵ"
for n in range(127234, 127243): PUSH_N_PRINT += chr(n)
#NOTE: Don't go trying to print PUSH_N_PRINT in IDLE...
#Tkinter doesn't like some of the characters
there we go
found it
had to use a for loop over a range of the character codes
i assume the process that led to its invention was - okay, we need a capital version of small caps r so it's still distinct if we need to transcribe younger futhark in all caps or something - but small caps r - fuck it, let's put an extra stroke on capital thorn so it looks like an r
now it is time for me to figure out how to get SE to work with MediaWiki
I have no interest in learning PHP, so I think what I will do is set up a separate system that handles SE auth and uses the MediaWiki API to make users verified
Stuff like this should not be on one line
case class SearchSuccess(tree: Tree, ref: TermRef, level: Int, isExtension: Boolean = false)(val tstate: TyperState, val gstate: GadtConstraint)
And it's not just line length, it helps to have some consistency in syntax
For example, it looks like the codebase is using the if ... then ... else ... syntax instead of if (...) ... else ..., and that has to be enforced manually
Some places are using significant indentation, some aren't
@RydwolfPrograms So apparently you can blame Old French. Etymonline says the spellings cue, coe, and queue were all in use at the time, and queue won out. Ultimately, and surprisingly, the word is derived from Latin coda, "tail."
@RydwolfPrograms Well see what I don't know is how it was pronounced at the time. It might have been rather different. Modern French is given on Wiktionary as /kø/.
If I were to guess, I'd think that before the Great Vowel Shift we pronounced it more like /kew/ or /kɛw/ (/k/ from qu, /e/ from e, /w/ from u, silent e at the end). But that doesn't explain the cue / coe spellings.
