youtube.com/watch?v=Dp-mQ3HxgD fascinating talk on theorem provers in research mathematics and education.

okf boosted

Back in Chile for a conference and to visit the family.

Stressing out for the talk I have to give later today :BlobCatGoogly: :BlobCatGooglyShrug:

Travel, boredom 

okf boosted

my personality test / icon creator is done !!! find out what you look like

ttto.cafe/shindan

(RTs appreciated!)

okf boosted

linux, distro-hopping 

okf boosted

Philosophy of potentiality 

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.

Meet Badger, the cat of the dean of Durham's cathedral, and his domain.

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*."

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!

Show more
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully. Read more ...