10 Jun 26
08 Jun 26
You can switch to the alternate screen using this command:
$ tput smcup
And back with:
$ tput rmcup
Vi flips to the alternate screen buffer, supported by terminals. This is achieved using escape sequences.
Found by searching: restore screen after tui exit in c
07 Jun 26
07 May 26
get device charging percentage of iphone connected to computer linux
05 Apr 26
Proof-of-thought
For the longest time, writing was more expensive than reading. If you encountered a body of written text, you could be sure that at the very least, a human spent some time writing it down. The text used to have an innate proof-of-thought, a basic token of humanity.
Now, AI has made text very, very, very cheap. Not only text, in fact. Code, images, video. All kinds of media. We can’t rely on proof-of-thought anymore. Any text can be AI slop. If you read it, you’re injured in this war. You engaged and replied – you’re as good as dead. The dead internet is not just dead it’s poisoned.
A method of writing proofs is described that makes it harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical. The author’s twenty years of experience writing such proofs is discussed.