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

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

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).

adventures in email 

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

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 

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.

Show more
Scholar Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!