Shuffle again

A random mix from the whole library. Shuffle for a new set.

Hobbies

Making things, learning and having fun · 960 ideas
HobbiesPartly worked

GPT 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.

He built an Android app for the Magic league he plays with his wife, with life trackers that log wins and rounds on their own

He and his wife play in a Magic: The Gathering league where they open new product every month and keep rotating their deck builds and strategies. The tracking used to live in spreadsheets and note apps. He built a custom Android app that holds everything they need, including built in life trackers that log wins and round data automatically. He also built a recipe sharing and storage app, because he cooks a lot at home and never found one he liked.

The AI fixed my dead 3D scanner software and it works again

His 3D Systems Sense 2 scanner had no working software left, since the maker and the other scanner apps had all dropped support. The AI updated the program he uses so modern RTX graphics cards work and found a data limit that capped his sensor at half its native resolution, and he later posted that it works.

HobbiesWent wrong

The AI recommended plants for his spider enclosures without checking pesticide treatment; about $60 of plants were unusable

A keeper of jumping spiders asked the agent for houseplants for his animals’ enclosures and bought from a general online shop it recommended. The agent never checked whether the seller treats its plants. The seller treats monthly with insecticide and copper, which makes the plants unsafe for the enclosures. About $60 of plants were unusable, and he lost time arranging a refund.

$60at stake
This one went wrong. See what happened before you try it.

Had the AI 'Mimi' plan her son Leo's 2nd birthday: a six-page printable

Lauren El-Dahdah, a Houston wellness/lifestyle creator overwhelmed in September, tested the AI via her agent 'Mimi' (beachy avatar). For her son Leo's 2nd birthday, Mimi created a six-page printable 'Leo's Born 2 Ball Party Plan' (sports theme, Sept 26): countdown timeline, guest communication templates, daily task checklists, shopping lists organized by zone, and a day-of run-of-show.

$25.63
HobbiesWent wrong

GPT Work faked the see through parts of my animation sprites

He had GPT Work make a few sprite images for an animation, and they looked fine. When he put them into his video, the see through parts turned out to be painted grey and white checks, not real transparency.

This one went wrong. See what happened before you try it.
HobbiesPartly worked

The AI rescued my old blog and every Linux Journal piece I ever wrote

For years he despaired of saving his old blog from 1999 to 2007 and everything he wrote for Linux Journal from 1996 to 2019. He asked the AI for help, and the AI rescued both sets of writing and put them back online at searls.com, though some Linux Journal pieces are still missing.

This only partly worked. Worth knowing before you try it.

Automated daily job searching: uploaded his resume into AI with a detailed

Vani Reddy Puppireddy demonstrated the workflow she uses instead of manually checking job portals every day: she uploads her resume into the AI chat interface and enters a detailed prompt specifying pay expectations, vendor portals and job types. Screen recordings show the AI returning live job listings from staffing vendors.

A teacher built a chemistry space game site that his classes play in crews

He teaches chemistry and built a website with AI where his students form crews, make an avatar and a spaceship, and travel between planets that stand for class units, entering learning academies to fight boss battles or other crews. He funds it himself, uses AI for some of the interactive lessons and Canva for graphics, and posted asking how to work more efficiently and use fewer tokens.

Built a dinner outfit from pieces the user photographed and uploaded from

A young man (OUT OF OFFICE, 30K followers) photographed his wardrobe and fed the pieces to the AI before a dinner reservation. Nova chose a black henley and dark wide-leg jeans, cross-checked his calendar and noticed the reservation was outside so it advised layering a long-sleeve, then recommended loafers over sneakers plus a silver watch and bracelet.

HobbiesPartly worked

I designed a keyboard with AI and sent it off to production

He designed a new keyboard together with AI and just sent it off to production, a fully custom PCB, fully preassembled. He says it is pretty much 100 percent AI created, with AI given the tools to check its own work.

This only partly worked. Worth knowing before you try it.
HobbiesWent wrong

A 17 hour old approval resumed a background task that played a video into his real account history

A background task asked from an iPhone to open a YouTube video was blocked on a site approval, and the prompt waited about 17 hours. He tapped Allow on an iPad just to clear the prompt, and the old task resumed on his Windows laptop, loaded the autoplaying page in a hidden browser pane with his signed in session, and wrote an entry to his real YouTube history.

This one went wrong. See what happened 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 redid my blog. I never opened the site editor.

Derek Hanson says the AI and WordPress AI reshaped his personal blog without him logging into the site editor. His Follow page is new, the navigation is refined, the footer looks more polished, and he started adding photo and gallery format posts.

My agent sorts my Lightroom photos and quarantines the rejects against my NAS

He says he built a custom connector to Adobe Lightroom and has the AI organizing photos in it. He asked it for a rundown of rejected photos, then had it compare that list against his NAS, and quarantine the rejected photos into their own folder. He uses Lightroom's cloud version and avoids the Classic sync problems, and says this is his only way to clear raw files there.

Build my own grading LMS on top of Google Classroom

A teacher built his own LMS layer on top of Google Classroom using AI and Apps Script (he names the AI and the AI as both able to drive it): far deeper grading features than Classroom offers, a quick-select comment bank where any feedback he writes can be saved for reuse with one click, and on return each student automatically gets a formatted read-only feedback document both emailed to them and attached to the Classroom assignment. Student data never leaves the district's Google ecosystem.

Talk to my coding agent with my eyes closed

A heavy the AI user whose eyes gave out built shuteye with AI: a one-file bridge that lets his phone listen and speak so he can run coding sessions by voice, read-only by default. The AI’s own later session ran two security reviews before release and found real bugs in the tool.

Show 10 more

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.