okf @okf@scholar.social
a PhD student in #philosophy, working in epistemology, metaphysics and philosophical logic.
(also ipt@icosahedron.website)
Joined Nov 2017
https://www.youtube.com/watch?v=Dp-mQ3HxgDE fascinating talk on theorem provers in research mathematics and education.
okf
boosted
So long hot girl summer, hello Bottom Autumn!
Back in Chile for a conference and to visit the family.
Stressing out for the talk I have to give later today 
Travel, boredom
okf
boosted
my personality test / icon creator is done !!! find out what you look like
(RTs appreciated!)
okf
boosted
linux, distro-hopping
okf
boosted
Philosophy of potentiality
Way home.
okf
boosted
In other news, Lord Badger took possession of the Museum of Durham's Heritage today.
Met @twsh IRL again today! Fediverse, you'll be glad to hear that we evangelized mastodon a little bit.
okf
boosted
I saw a really great analogy (for cis people) about what it's like to be misgendered and, like, hey:
"Imagine that your name is Sara, but everyone you meet says you look more like a Susan and refuses to call you by your given name. Now imagine how grating it is, *even if that person otherwise means well*."
So, I'm now in a ferry. 🤷
Slow day, but I managed to finish reading Ted Chiang's "Exhalation". These new stories are really good (the titular one is the standout for me).
Back from London. It was great, first because the talk went well, and also because I had more time to visit the city this time. It's so cool!
a PhD student in #philosophy, working in epistemology, metaphysics and philosophical logic.
(also ipt@icosahedron.website)
Joined Nov 2017
