wha
what if
configuring vim with lisp??
github.com/rktjmp/hotpot.nvim

is there a sunk cost fallacy but for gender

pounce boosted

super smash brothers melee for the nintendo gamecube, released in 2001, is still Extremely Hype.

pounce boosted

stop trying to explain category theory to me

i don't know what a groupoid is and i was happier before i knew the term

pounce boosted

Will I ever find a category theory book I like

pounce boosted

hee hee hee

day 3 of the nyan.network downtime

uhoh my pleroma instance is dead

what is homothety
is that some homotopy related disease

sad i can't make it to

i think im the only person that writes \mathbb{R} and \mathbb{N} every time.
it makes more sense to me and my editor collapses it to one unicode char while \R is two chars at least

we need cube emojis

can we please get a mathml activitypub spec for fedi so we don't end up with twitter garbage of people trying to do math in plaintext

pounce boosted

me learning a new thing: I hate this. It sucks. This is the worst thing anyone has created

me after having learned the thing: It is beautiful. It is elegant. This is the best thing anyone has created

they are multiplying

Γ ⊢ ⌨️ Γ ⊢ 🇵🇱
──────────────
Γ ⊢

hot take

the best thing about go is the mascot

ah.... i guess postbaccalaureate programs are hard to get into

Show older

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