A random mix from the whole library. Shuffle for a new set.
Antigravity reworked a 3D-printed purse hinge for TPU printing, taking measurements and rotating parts on its own; it held dimensional accuracy and inferred dimensions he did not have.
He has the AI run the upkeep on his main machine and his virtual servers: patches, cleanup, backups, and firewall checks. He reviewed about nine hours of its work sessions and says it may be the best systems administrator he has ever had.
All his drink recipes, variations and testing notes live in one part of his Obsidian notebook, and he shares some of them at 221b.bar. His AI skills index and cross link every recipe, archive all the 221b.bar recipes, and check the site and the notebook for updates.
A researcher wrote the Lean statement of a theorem himself, then fed the published paper to the AI and had it write the proof. It finished in a couple of hours, and the Lean kernel verified the proof.
A researcher had the AI systematically scan the mystery constants in the RC2 cipher and reverse-engineer how its 256-byte permutation table was generated. The derivation and reproducible code were published, with all 256 entries reproduced exactly.
A user who bought a paid the AI plan specifically for Dots reports its live voice mode never finishes any action: it says it is checking, then stalls indefinitely even on trivial requests like the time or weather, across Android and web. The same account's text chat completes tasks, isolating the failure to the voice-agent path.
On a free year of the AI he has built and scheduled a stack of personal skills: a calendar manager, an expense tracker fed only by emailed invoices with his full history backfilled, a monthly utility cost comparer, and shopping re-up tracking that watches how fast he uses things like coffee beans and toilet paper and schedules the next buy. A weekly skills manager rates all the others and suggests improvements.
An old printer orphaned by macOS 27 got a second life: The AI wrote the driver while using its owner as the diagnostic instrument - asking him to judge whether each line was progressively less visible, whether page one's DPI was lower - until the printer printed correctly again.
An LLM looked up CNC plasma cutter specs and wrote Python to generate and debug G-code toolpaths, then he cut the result in steel.
He is a photographer who found typing alt text for every photo slow going. He built a small agent on his own n8n server: he sends a photo through an Apple shortcut, the agent reads the picture with a local Qwen model, adds the camera data, and saves the finished alt text in an Obsidian note, ten photos at a time.
Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.