Abstract Muscles

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
I'm going to try to climb at least 3 times next week.
I don't really have anything to do today but I also have no idea what to do today.
Let's go do the dishes.

Tomorrow’s date will be written as an eight-digit palindrome around the world, the first time this has happened in 900 years.

The coincidence is rare because countries use differing conventions. February 2, 2020, is a palindrome whether expressed as day/month/year (02/02/2020), month/day/year (02/02/2020), or year/month/day (2020/02/02).

This happened last on November 11, 1111, and it won’t happen again until March 3, 3030.

!!!

Today I saw a guy in a puffy jacket and with taped fingers on the train and I can't decide if that's cool or trying too hard...
To be clear: We already were at the airport. We're not just sitting in my apartment doing nothing.
Turns out my sister's busride home has been rescheduled and now we have to kill another hour...
I onsighted my first 5c today! Feeling very proud right now. 
I spent the day at a modern art museum and they had unisex bathrooms. Very cool.