Magos Logis Logan @jmw150@qoto.org

@swiley @freemo Treadmills and elliptical machines work really well in my experience.

Getting 30 minutes in without having to invest much thought into it kept me thin during these times.

Have to say I am pretty fond of systems science, particularly software engineering.

Programs are these formal structures. They do not rust or anything like that. But they still age in a way that all complex systems age.

One such consequence of this is that systems with a hardy design can last pretty much forever. There is a lot of "brown field" and a bunch of time is spent rebuilding especially important systems out of stronger logic.

But two areas that software seems to change, even in such bullet proof systems, is security problems and new hardware. Interfacing can mitigate upkeep costs from hardware growth. But security issues tend to cause rewrites. What fixes security upkeep requirements are small edge cases of mathematical purity. But I think most systems can never be so clean.

@gawrsh *anything not everything

Questioning everything is literally impossible.

@zpartacoos well there is common internet access now. At least knowledge access is not the problem.

@swiley I would be disappointed. Just hit the mute button when you find it. The principle is worth more than your comfort.

Annoying memes come and go.

@polychrome Nah. Pinephones exist, and several free operating systems for them.

Agreed otherwise though. The term is old hat, much like "year of the linux desktop" also sounds really stupid and unaware.

I recommend this reading list. There are a lot of great topics in here for a budding analytic philosopher.

https://fuckyeahlogical.tumblr.com/post/128964910533/analytic-philosophy-reading-list-for-the-self

So good. lol

https://en.wikipedia.org/wiki/Boolean_Pythagorean_triples_problem

@josias You bet. The most important thing is to have a community to talk about it with. 😊

Anybody here interested in mathematical logic?

A brilliant class by Dr. Favonia on type theory that needs more attention.

https://youtube.com/playlist?list=PL0OBHndHAAZrGQEkOZGyJu7S7KudAJ8M9

@Novimatrem ye

@Untersuchende sure, but this a science node though. lol

@wolfkid gg

@zleap Covid forever (sigh)

I really like Wolfram's theory of physics. It is easy to understand. At its core it is a bunch of graph theory with hints of everything else in the universe.

But I am biased because I am also a language designer, and we are both math literate. So I think in a lot of the same ways he does.

https://www.wolframphysics.org/

I am having a great time with calculus of computation. It reads like a math logic book, but there is a solid proof system that comes as a companion to it.

http://theory.stanford.edu/~arbrad/pivc/book.html

Type systems are pretty great. I am fond of these compilers

http://theory.stanford.edu/~arbrad/pivc/download/index.html

https://compcert.org/

Some great stuff.

https://llvm.org/docs/tutorial/index.html