A random mix from the whole library. Shuffle for a new set.
A man learning language design spent 3 to 4 weeks with AI doing a full mechanization in Lean of the paper From Linearity to Borrowing. The work covers nearly every definition and lemma in the paper, including the Fundamental Property and Adequacy results.
Uses the AI on his phone to clone projects, build his features in, build the app and push it to his phone, usually not upstreaming.
Discord has no API for polls, so he gave his agent Roby access to his Mac. Roby opened the form and posted the poll under his name, the way a person would.
His local Qwen agent computer with full PC access does file organizing, analyzed his local data and wrote several small tools to manage it automatically, coded a KDE widget for VRAM model swaps.
A developer asked the AI to batch-generate images through fal.ai in budgeted chunks with checks between runs. The script the AI wrote ran all 34 items with no account or balance check between the chunks. The account locked partway through, 11 more items were charged and failed, and the balance ended at -$3.68.
Mom of two picky eaters (ages 5 and 2.5) asked her agent 'Daisy' for a week of meals. The AI produced the plan and compared prices at Aldi vs ShopRite (about $5.47 cheaper at Aldi); she filmed the actual shopping trip and the cooking.
Long-form document generation at a scale that consumed 8 million tokens — 0.8% of the 1-billion-token launch grant — in a single week.
Set the AI on it for a few hours and got Office 365 working under Wine on Linux, published as a working flake he uses with his own account.
Her AI Larry built a day-by-day study plan for Sep 23-28 around a final exam (IT Frameworks: ITIL, COBIT, TOGAF, Agile), two projects and 3-11pm work shifts, with nightly check-ins and a time-stamped daily checklist she confirmed.
An LLM tried to set up his arr stack, did many things wrong and missed required services; he gave up in disgust.
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.