A random mix from the whole library. Shuffle for a new set.
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.
The AI in Antigravity built an Enigma decryption program, fetched repos, ran an 82M combination scan and decrypted the message in about 45 minutes.
Gave AI full control to build a desktop environment he uses daily, with features appearing during the workday and lower RAM and VRAM use than standard desktops.
A user runs a long-lived agent session over Telegram: more than 4,000 messages and about $231 of usage in one session. Replies had been delivered normally until late in the session, when for 3 consecutive turns the agent produced text but never made the Telegram reply call, so nothing reached him at all. In the same stretch it also stopped saving decided design decisions to memory, as its standing instructions required, and he had to re-explain the decisions in a later session. A manual service restart and a log review found the cause.
Creator Matthew Berman describes giving an AI access to his local machine on a standing weekly job: it scans every file, finds deletion candidates totalling about 380GB, and sorts them into low, medium and high risk. The bot operates under one hard rule — it may categorize but must never delete anything itself.
A man had the AI help him write an image organizer and tagger in an afternoon. He is now running it on 20,000 meme photos he saved over the last 20 years. Each photo gets described and tagged for use in LightCraft, the photo app he is building.
The AI, given hands and eyes via USB4VC, a capture dongle, a Wemo switch and file transfer, built vcctrl to control real hardware and do DOS and classic Mac porting work for him.
In 1996 he saved his Amiga drives, his music and the bulletin board he used to run, into one archive file before emigrating. The archive was corrupt and years of repair attempts failed. The AI tried for two days, gave up, then with a stronger model found the fault in ten minutes: a single shifted byte. Every file came back intact. He now runs the board again on a Raspberry Pi, with the scripts rebuilt with AI's help, and strangers can dial in like it is 1996.
Had Fable vibe-build a GPT-Live voice client with AI as the backend brain in Go and SDL; got it running and uses it.
Author Matt Deitke fed an entire book to the AI and had it generate a chapter-by-chapter podcast website, with subagents handling chapters in parallel. The output was a finished multi-episode podcast series derived from the book.
Uses Opus 5.5 to decompile Windows 95-98 games in about a week each, getting byte-to-byte exact output with clear names and no Ghidra smell.
The AI helped him add drop-down menus to his archived WordPress blog so his 460 podcasts and more than 6,000 blog posts can be reached by category and by date. The AI also helped configure the search box for dynamic searches.
A researcher updating his own old question says he now asks his agent to download the papers his reference manager could not get. The agent works in the browser while he is signed in with his school login, and he clicks through the human checks himself.
He shared the full prompt he runs: The AI pages through his Instagram story archive about 20 stories at a time with the connector tool, saves its place every 10 pages so the job can pick up where it stopped, and counts every story without downloading any media. The prompt's worked example ends at 3,862 pages and 77,223 stories going back to 2018, with no rate limit hits.
Over two weeks the AI built his hobby tool that matches free Sentinel-1 radar images with live AIS ship data around Denmark, recording AIS either side of each satellite pass on its own and marking radar spots with no ship as leads. In one check 2 to 5 of about 555 pairings were wrong.
New dad Crawford Collins (verified, 1.1M) personalized his agent as 'Atlas'. Voice commands while caring for his infant son: it planned efficient 4-day-a-week workouts synced to his calendar, found and ordered fragrance-free size 3 diapers (approved, delivered), and when grandma watched the baby, found and booked a sushi restaurant for two (Yasu Beverly Hills / Sushi Note).
He built a Command and Conquer style real time strategy game called Battle Drones, mainly using AI. The game runs in the browser and includes device to device multiplayer over an audio link.
Some of his items would not work in Apple Passwords, so he had the AI write scripts, using the 1Password CLI and AppleScript, that imported those items into Notes for him. Because the scripts were deterministic, he does not think his sensitive data was shared.
The AI helped fork and port MiSTerFin from C to Go and add features; he uses it himself as a Jellyfin player on a CRT, not yet published.
He asked the AI to help draft an email and expected a local markdown file. Because he had connected Gmail through MCP at some point, the AI searched his mail, found the right thread, and created the draft inside Gmail.
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.