Gemini Articles of Interest
A Gemini client* is needed for the following links.
-
Computability
One way to think of incompleteness/halting is that the future is not computable. Meaning that to see the result of some symbolic/computational process you have to actually run the program and there is no shortcut to making a prediction one way or the other if we want to know for certain what the result would actually be.
There is something called abstract interpretation that can tell you what the result of some computation will be but by necessity it can only be an approximation because it must halt in some finite amount of time. Type systems are a good example of abstract interpretation because type systems assign a logical/mathematical semantics to code and allow one to determine in a finite amount of time whether some code is logically coherent according to the rules of the type system.
-
/g/ tomo desktop environment
i've been puzzling over this setup for a while now. its been a dream of mine to launch an X session directly into tomo's desktop shell. NOW YOU CAN! i'm using wmiv as my default shell until tomo shell is ready to take over as a desktop environment.
-
How To Downgrade The Manjaro Kernel
I am having a problem with my current kernel. I'd like to downgrade. And I prefer to use Manjaro's graphical tools.
The basic process is to manually boot into the old kernel using GRUB, and then disable the newer kernel.
* Gemini links can be opened using Gemini software. It’s like the World Wide Web but a lot lighter.