why does IU use two seperate SSO systems that you have to sign into

@hazel What kind of dumb nerd actually reads the Principia Mathematica?

i have an actual project idea but i have no clue if it's even doable

@luna I'm at my fucking limit. I can't take this anymore. I can't do this.

@bee it was something about cramps or sth akin i think

a youtube video just got copyright claimed while i was watching it

@quasar my professor is on tc39 and i'm 90% sure he'd say no

Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.