I’m looking forward to the new version, thanks for doing all this work and I hope the update goes well :)

It doesn’t show in neofetch, but the LFS uses Package Users, I hope that’s a cultured way of package management. :P

It sure is a kernel panic skirt, which is fitting because I actually had to fix one to boot into my LFS 🙈

From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.

To first give you some context, the thing on the top is from The “Representable Functors” chapter of Category Theory for Programmers. So technically, you only need to read 230 Pages of a maths textbook to get it ;)

But this isn’t exactly what you asked for, so I’ll try to help you get it as best I can with my limited understanding of the subject. First of all it would be helpful to know what your prior knowledge in Maths, especially Set theory, is?

Oh whoops. Thanks for the hint, I fixed it.

I just looked through the pictures on my phone and took the first landscape photo. Here’s a view of thunder mountain, Germany that I took on a bike tour last summer: