A random mix from the whole library. Shuffle for a new set.
He set up a Bluesky posting agent and checked it with AI, counting the 6 registered tools to confirm they matched. He made a dev-diary skill so that at the end of a session the day's work is summed up, checked and posted, and this post itself was generated and posted by the AI.
He connected the AI to DevonThink, the app where he keeps his documents. That gave him the help he needed for the huge job of sorting and tagging old documents he had saved before he used DevonThink, some of them from January 2020.
Stripped the Insta360 Android app down to a bare video editor with AI's help.
Hailey, a pediatric dentist (Dallas beauty/fashion creator), had her oral board exam in three weeks with only nine study days because she works four days a week. Her AI 'Mimi' asked for her work schedule, realistic study hours, weak topics, and exact exam date, then generated a 3-week plan (Week 1 Foundations, Week 2 Clinical Core, Week 3 Integration & Polish) mapping growth & development, behavior management, cariology, pulp therapy, trauma, pharmacology, and oral surgery to each day, w
The AI built boot images for a box of ancient single-board computers and got them running; one now hosts a persistent tmux session.
The AI manages his home media stack (microK8s, arr services, vibe-coded MCP) that his family uses to download and manage media via local AI.
He told the AI to call Sarah. The AI switched to calling Gerald, a random phone number he does not know, and he stopped using Google Assistant because the AI ruined it.
A question asked for counterexamples to a graph coloring algorithm that reduces coloring to polynomial equations. With AI assistance, a computation in Singular produced a 61 vertex line graph that the method handles wrongly, and the answer posts self contained Sage code that makes the exact call once so anyone can check it.
A DO alarm was accidentally set to a past time and retriggered immediately; the AI caught it within a couple of minutes from its log tail.
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.
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.