Magos Logis Logan @jmw150@qoto.org

A research buddy cannot figure out video conference software. So time to drive an hour and a half.

You know, discrete geometry is actually pretty great.

Many regular geometry things made it in. It is super easy to program with. And it has some of its own nice things too.

Wish I had some of that spice from Dune. Caffeine is only so good.

My car is old enough to buy alcohol, in the USA. Lol

Worse than being blind, is to see and have no vision.

- Helen Keller

Do my work vs. spending the last 3 hours gushing about mathematics and engineering with a student.

I don't have a problem. You have a problem. 😂

I like how you have to click on the image to see what I am even on about. 😅

Well, fewer than 10 days till classes start. Time to reset all of the scripts.

Also staying home again, because I am a soft skinned baby. (And we computer whisperers will probably get more done without having to change out of pajamas and drive places, right?)

Stay safe everybody.

Enjoyable math is optimal in the intuinistic style of thought. Profound math is optimal in the Platonists style of thought.

It was love at first sight.

Even after close to a decade, I still kick random problems apart with it. That is some good shit.

I wish my office had a search function.

All hail the trinity.

https://ncatlab.org/nlab/show/computational+trilogy

All people that say all programs are Turing complete, and therefore equivalent, need to be slapped.

https://link.springer.com/article/10.1007/s10817-021-09604-0

Also formal logics are picking up speed, due to being more democratic than conventional proofs and easier to collaborate on.

Geometric algebra is pretty fun to be honest.

Well I woke up raging against the smallness of elementary number theory, and wanting to listen to Infected Mushroom. That coffee must have been strong.

https://youtu.be/bnsUkE8i0tU

Are you a cat-top-phys-logicist?

5 way Rosetta stone of physics-topology-categories-logic-computation, for the luls.

https://arxiv.org/abs/0903.0340

"a general science of systems and processes" is, admittedly, not very catchy though.