Because being a geek is a good thing

A community fork of the Tailscale client for jailbroken Kindle adds proxy mode with SOCKS5 and HTTP CONNECT, plus full TUN mode on some models. KOReader can now reach Calibre, Wallabag, and Audiobookshelf servers over the tailnet, and the same plugin works on Kobo and PocketBook.

An essay published on June 10, 2026 by blogger Elizabeth Tai argues that Substack is a distribution tool, not an own website. The alternative she proposes, known as POSSE, reverses the publishing order: your own domain first, then syndication to Substack, Mastodon or X.

Kimi Delta Attention (KDA) is the linear attention component that Moonshot AI and Qwen3 use to process long context without softmax’s quadratic cost. It comes from a family that started with DeltaNet and went through Gated DeltaNet, adding increasingly fine control over what the model remembers.

A Google engineer implemented a Zstandard decompressor in Lean with formal proofs generated by an LLM, motivated by the historically steep cost of verifying software like seL4. The experiment explores whether artificial intelligence can make practical an approach that until now was territory reserved for a few teams with nearly unlimited budgets.