Abstract Muscles

@[email protected]
208 Followers
143 Following
5.5K Posts
Aspiring logician, studying maths (foundations of mathematics, constructive type theory).
I also really enjoy outdoorsy things (climbing/bouldering, running, hiking).

Pronouns are he/him.

XMPP: [email protected]
Blog: https://no-learns.neocities.org/

Avatar by @donguri_suzume0 on twitter
Abstract MusclesJan 24, 2020
Chicken soup!
Show threadAbstract MusclesJan 22, 2020
Like, just look at this.
Abstract MusclesJan 22, 2020
Pasta with mushroom sauce. 
Abstract MusclesJan 18, 2020
Me when somebody uses the principle of excluded middle.
Abstract MusclesJan 11, 2020
This is peak liberalism.
Abstract MusclesDec 24, 2019
Merry Christmas!
Abstract MusclesDec 22, 2019
Found something very interesting in my room at my parent's house.
Abstract MusclesDec 11, 2019
The next semester already looks super stressful again. Why do I keep doing this to myself over and over again? 
Abstract MusclesNov 24, 2019
It's really sad how much my constructive ambitions have been broken by the set theory exercises at this point.
Abstract MusclesNov 21, 2019
This assignment solution has 14 commuting diagrams in it, including these two bad boys. I feel like a real category theoretician now.