okf @okf@scholar.social

Today I was told from one of the members of the study counsellors at my faculty that my students like my classes.

those happy times when the natural deduction system used by the professor of the class you are TAing is incomplete.

i've been quite busy preparing the exercise sessions for the logic for bachelors class. last week it was quite grueling, but this week it's been much better (we'll see tomorrow how good - the class is split in two groups).

'We respect your privacy'... and oh, by the way, here's three (totally not-predatory) conferences that you can totally send our papers to, that have no relation to your field whatsoever.

me, a philosopher: ...
predatory person: what about the 7th INTERNATIONAL SYMPOSIUM ON GRAPHENE DEVICES???

At the end of the day, writing a program that generates PL formulas, checks their validity and prints out their truth tables might have been: a) useful for the logic class, or b) useful for procrastinating instead of writing...

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

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

Stressing out for the talk I have to give later today

So who knew that staying at the airport overnight could be boring?

Well, I did, yet...

switched to endeavouros from my running antergos install. let's see how it goes.

Last Saturday in Bergamo, Italy.

Way home.

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.