lmao they've cotton eye joe in DO NOT PLAY fur "Content - Sensitive Topic". they'd play that one all the time
the officially sanctioned 2026 playlists have a lot of songs i do not remember and is missing a lot of the ones i do lol. also they're way bigger than i remembered
every dependently typed purrogramming language gives really confusing errors because they refur to underlying notation that is being hidden from you fur ergonomic reasons. but then you look at a textbook full of terms like
Π u: ℕ. Π α: Sort u. Π x: α. x
which is just the identity function, and you start to get why language design is a challenge fur any language based on a dependently type theory
(The Little Typer is also (unintentionally?) really good at motivating the notational decisions and feature sets of any actually remotely purractical dependently typed language because holy shit would the language developed fur that book be annoying to use fur anything remotely interesting)
@vaporeon_ i lean cat but you can make umbreon work as a fox
it’s pronounced “ashling”. canonically a black housecat or any of the grass cat pokémon, but currently experiencing daily TFs. Commewnist. it/she and more. i automatically change my pfp on the furst post of the day. (i suppurrt PluralDawn (https://exa.y2k.diy/garden/pluraldawn/) fur when i want to spontaneously change form fur a post or two)
GlitchCat syscatmin and meowstodev; @ me about techincal problems with the instance, or fur feature requests. i got a job due to some extent to my work on this instance
i am the kind of furry who is a weirdo horny freak (affectionate) about it but i don’t talk about that much on this account
available via email with the same username and domain. DM/email for other purrotocols
workplace policy is to clarify that all of my opinions expressed here are my own, and not those of my employer