The AI repaired my broken file. It opens now.
A file of his broke in a format with no documentation, after the app crashed while he was typing a ratio. He threw the file at the AI, it repaired the file and sent it back, and the file opens now.
A random mix from the whole library. Shuffle for a new set.
Hobbies
Making things, learning and having fun · 960 ideasGPT is formalizing a researcher's papers in Lean, about 3000 declarations in
A mathematician is using GPT-6 Astra to formalize results from his papers in Lean. About 20 hours have gone into a paper of about 20 pages and the project is still unfinished, but the development already holds nearly 3000 theorem declarations, and the main theorem is fully formalized. Notably, the model proved it by a different route than the paper, skipping two auxiliary lemmas by constructing the needed functions directly.
This only partly worked. Worth knowing before you try it.
Source and order the parts for my DIY bag charm
A creator building a pink DIY bag charm that shows time and weather had the AI source, compare and — after her approval — order an OLED screen, ESP32 board and LiPo battery. The finished charm is shown working on her handbag.
A frontier model decoded an old multimedia game and put it in a browser in 2 hours
Had a frontier LLM decode an old Director game and port it to run in a web browser in about 2 hours, reusing existing OSS libraries.
2 hourssaved
Opus finished the circuit board that had sat 90 percent done for 6 months
Opus finished a first PCB that had sat at 90 percent done for 6 months.
Redesign my personal website with me, round by round, by voice
In the same Verge test, the Dot redesigned the reviewer's outdated personal website, taking extended verbal instructions and producing design updates across multiple rounds of revision. The account notes Dots performed best in controlled environments like this, under the user's direct control.
A local model with full access to his PC organises his files and writes its own helper tools
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.
Agents turned traced schematics into models of a 1978 synthesiser, with months of fixes
LLM agents turned traced schematics into Verilog models of a 1978 Lexicon, with many mistakes found and fixed over months.
This only partly worked. Worth knowing before you try it.
I built a set of scheduled skills that run my money, shopping and calendar
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.
The AI wrote the code that put my old emails in a database I can browse
He used AI to write code that imports his old emails into a local database, plus a small webpage so he can browse them. The job took an afternoon instead of a couple of days.
My agent builds me a daily podcast feed with the ads cut out
A listener had the AI build him a personal podcast feed he follows in his podcast app. Each day it looks for one episode he would actually enjoy, based on his taste and recent talks, and skips the day if nothing is good enough. It downloads the pick, writes out the words locally, finds the sponsor blocks and cuts them out, checks the joins, and adds the episode to his private feed with a note on why it was picked.
Listed a house for rent on Marketplace and got it rented in
Rogaz24's the AI listed his house for rent on Facebook Marketplace, replied to all the inquiries, scheduled the viewing appointments, and posted them to his calendar. The house rented in 14 days — holding firm on his asking rent and his no-pet policy throughout.
Ten days and 40 attempts could not move his chats out of encrypted backups
Had the AI pull encrypted WhatsApp backups via ADB, decrypt them and go through the database row by row over 10 days and about 40 attempts trying to move chats from Android to iOS; gave up and kept the old phone as a companion device.
This one went wrong. See what happened before you try it.
Built a sticker maker with AI and the AI. The stickers are on sale.
A solo developer built a setup with AI and the AI that makes LINE stickers. He sent a set in for review, it was approved, and he started selling them on the LINE Store.
The AI built a browser for classic Macs for the old web protocol that still works
The AI built him a Gopher browser for Classic Macintosh systems, published on GitHub to replace the clunky TurboGopher he used before.
His bot files his spam text complaints and got Twilio to act
He pointed his bot at the spam texts his carrier ignored. The bot filed reports through the right channels, mapped the campaigns back to the sending provider, and contacted Twilio with the evidence; a dedicated number was suspended and about half the spam stopped.
GPT scans his computer for new security flaws and patches it
He gave GPT a security audit skill that checks his machine against newly published vulnerabilities, patches what it can, and warns him about the rest. He runs it whenever new CVEs land, and says the patches need care because a fix can cause as much trouble as the flaw.
Set up recurring Instagram posts — it stopped to ask about standing permission
Founder Jessica Wells asked the AI to post to her Instagram every Tuesday and Thursday; instead of executing, it surfaced a permission prompt asking whether she wanted standing authorization or per-post approval. Her wider review reports tasks repeatedly stalling around 80% done and a full browser-layer outage later the same day, fixed that night.
This only partly worked. Worth knowing before you try it.
Generated a 333-page history book, burning 8M of the 1B free launch
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.
I cannot code, but I shipped a working game patch in 30 minutes
He is not a programmer, but he used AI to trace a bug through localization files, tech scripts and the game's internal category system. The AI hotfixed a deprecated modifier key in his Clausewitz engine mod, and he shipped a working patch in 30 minutes.
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.