pounce @pounce@types.pl
- pronouns
- any
- main
- @pounce@nyan.network
- resident
- topologist
- HoTT solns
- https://www.overleaf.com/read/pgdvwhnrjqzs
i like topology, tea and type theory
Joined Dec 2020
wha
what if
configuring vim with lisp??
https://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
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
Γ ⊢ ⌨️ Γ ⊢ 🇵🇱
──────────────
Γ ⊢ 
hot take
the best thing about go is the mascot
ah.... i guess postbaccalaureate programs are hard to get into
- pronouns
- any
- main
- @pounce@nyan.network
- resident
- topologist
- HoTT solns
- https://www.overleaf.com/read/pgdvwhnrjqzs
i like topology, tea and type theory
Joined Dec 2020
