Discovered in 2013 by then-UPMC-student Jérémie Lumbroso, and independently re-discovered by an Apple programmer last Fall (with much ado on Twitter and Hacker News), the basic idea is as follows: Take your (infinite) random bitstream as the binary digits of random $r\in\left[0,1\right)$…
Clearing the DNS cache on Ubuntu 20.04
Yeah, lots of people out there saying "leenucks doesn't have a dns cache!!1!" — well, recent versions of Ubuntu do ootb, and just restarting NetworkManager doesn't clear it for some ungodly reason… flush it with sudo systemctl restart systemd-resolved
A very tiny bitmap font
Could be useful for very small LCD displays, or for fitting an entire movie script on your monitor at once. TODO: convert to OpenType Bitmap…
mcomix system-level requirements
Say you don't want sweeping system changes for something idiosynchronous like an unstable build of a comic book viewer…
X25519 original specification
Adapted from the original specification
The "real way" to run X11 apps as another local user
xhost +SI:localuser:$someoneElse