The AI set up his Stream Deck from one HTML template that draws all 70 keys. Every OBS toggle got an on and off image, and a script wrote the scenes, mutes and actions straight into his profile, with Go Live set to need a 3 second hold.
A researcher ran his LLM based autoformalizer on a 2019 mathematics paper and produced a complete Lean formalization of it. The finished formalization is linked from his university page. The note is short, but the artifact is public and complete.
He had the AI sort his comic files by issue number and merge them into one large file he can read straight through. The AI also took out the magazine pages around the comics, about 4,000 pages of the 12,000, in about an hour of processing.
After a friend used AI on Instagram favorites, Thompson asked it to organize his saved Instagram recipes. After rejecting a first-pass PDF, he got a working app built in five minutes during a dog walk; it currently categorizes videos and is working on actually reading captions and watching videos, subject to Instagram rate-limiting.
This only partly worked. Worth knowing before you try it.
A man built LatestArr with help from the AI, his first real app. The self hosted tool collects what is new across Plex, Jellyfin, Emby and his book, audiobook and game libraries and emails a clean digest, and he shared it as open source and asked for testers.
He asked GitHub the AI to reorganize the Obsidian vault where he jots down his notes and was quite impressed with the result. The AI did the work using Obsidian bases and the obsidian.md CLI.
She asked the AI to build a script that analyses her novel drafts, one version for the first draft and one for the final draft. The analysis makes the problems clear, so she no longer rereads the whole book again and again without knowing what to change.
Had an agent write an MCP for his SearXNG setup, then do comparison passes against server-side LLM web tools and tweak it; it works pretty well in his own search use.