æʃliŋ, loaf of autismo @aescling@cat.family

@monorail glaceon

@monorail very true

being able to go ”ehehe checkmate” from half stage on one read is a bit evil

power suit samus ssbu is fun

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

the de-facto first robotics competition playlist

also, mornyawn . @clock, do your thing

ÆSCLING ACTIVATES the TF MACHINE!

ÆSCLING TRANSFURMS from GLACEON to FURRET!

ÆSCLING SWISCHES its big fluffy $$$$-ing TAIL!

—

@noracodes no you are not

@coriander @wallhackio @Lady go lin

@wallhackio @coriander @Lady you’re lucky i can’t oneshot your specially defensive unaware ass

@wallhackio @Lady it’s a relatively well known meme, i’m hardly reaching

@wallhackio @Lady *“but her aim is getting better!” pose* i thought linear algebra was where the revolutions are

@coriander the unfurgivable sin of causing someone to be born

@viscountexx ah, git v3 causing purroblems

@coriander i remember not getting the idea that book was anything scary in high school. shelly insisted the purremise and imagery terrified her but as Scary Shit it felt really tame to me lol

@vaporeon_ (those specific languages require the use of fancy logical symbols all over the place; they do not give a shit about compatibility with ASCII)

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)