Magos Logis Logan @jmw150@qoto.org

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.

lol... Called it!
https://arxiv.org/abs/1912.07339v2

Happy I took time to study some topology this summer. Algebraic topology is all the things I hoped for.

I am not sure I quite get it yet, but a topology of something seems to be usable as a definition to a lot of geometric notions. All of analysis work seems to just be applied topology. And with homotopy type theory, all sorts of data science, machine learning, and statistics work could be made easier and more precise.

Cubical type theory, (a computation friendly HOTT) is not even 2 years old. It is going to be big.

https://www.cs.cmu.edu/~cangiuli/thesis/thesis.pdf

Excellent course, the future of solid software looks bright.

https://frap.csail.mit.edu/main

"What's it all about?

Briefly, this course is about an approach to bringing software engineering up to speed with more traditional engineering disciplines, providing a mathematical foundation for rigorous analysis of realistic computer systems. As civil engineers apply their mathematical canon to reach high certainty that bridges will not fall down, the software engineer should apply a different canon to argue that programs behave properly. As other engineering disciplines have their computer-aided-design tools, computer science has proof assistants, IDEs for logical arguments. We will learn how to apply these tools to certify that programs behave as expected."