What are you currently learning?

I am currently trying to learn formal logic and proof systems.

I’ve always been interested in learning higher level math, but was consistently mystified by the proofs. I can always come around to understand them, but I never understood how the authors knew that proof method was “allowed”.

Learning about the formal proof systems has been a very interesting diversion for me. It has helped me begin to understand the foundations of the math subjects I am interested in and definitely has upped my confidence reading intricate proofs.

But perhaps the best outcome of this learning has been that I now have a much stronger framework for sound reasoning. It is easier for me to express and argument clearly or pin down a shortcomings in other arguments.

It is unclear to me how applicable these learnings will be for my primary interest in software development, but it has been a very enlightening process nevertheless.

I've been walking every day between 6-10 miles depending on weather for the last 3 months and I have gotten very good at walking, running, and sprinting. I am starting to do some basic agility training like parkour as well. I'll probably stop doing this every day in a month or so but it has helped me develop a good sense about the biomechanics of walking and greatly improved my cardiovascular health.

For anyone else that tries this I recommend starting small and then gradually working your way up. I got a bad injury early on from doing too many miles too early. If you don't consistently do cardiovascular exercise then walking a mile or two every few days is a good way to develop the habit.

Maths / stats / data science / ML stuff, alongside my PhD (building science / energy efficency) research. I haven't yet even found out when the in person lectures are for the current thing I'm signed up to, so it's slightly random at the moment!