wait how on earth do non-ascii keyboards work

Show thread

∗u-nicode-input 😔​

(uinput does not support unicode)

text editors, sinister 

i appreciate helix's codebase for being so sane and well-thought out, it makes it easier for me to make some insane and not at all well-thought out changes

JJ :blobblackcat: boosted
JJ :blobblackcat: boosted

@islander We're replacing all our Algorithms with Procedures, which are much more ethical

JJ :blobblackcat: boosted

just a little-cost abstraction

as a treat

JJ :blobblackcat: boosted

how can endianness be real if our integers aren't real

java, long 

you know, working with java 19 has been surprisingly pleasant - switch expressions and pattern matching eliminate multiple former footguns with the language, and there are at least some language features for dealing with null even if they're not widely used and somewhat clunky

and verbosity is really more so a codebase problem than the language itself (though java doesn't help either)

...but then every so often i run into some design decision that clearly has its roots dug deep in Old Java: like the .clone() method returning an Object that you have to explicitly cast to the proper type

and i'm just like ah yes this is the language i grew up on

JJ :blobblackcat: boosted

Had a very wonderful nap from 7pm to midnight but now it's 3am and I'm still awake in what can only be described as a self own of epic proportions

JJ :blobblackcat: boosted
JJ :blobblackcat: boosted

i'm like. close with vocabulary? but need much more practice with grammar

Show thread

goal for winter break: become fluent in toki pona

JJ :blobblackcat: boosted

maybe i'll go to bed early and catch up on the ones i missed while finals were a thing tomorrow instead

Show thread
Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.