The AI built the HTML editor I could not find anywhere
He needed a free HTML editor to paste in HTML code from the AI, but the ones he found were poor. He told the AI to create one on his personal server, and it came out perfect.
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.
I asked the AI to find my old talks. My site now lists 115 presentations.
His talk archive site had been a work in progress for years. He asked the AI to help track down records of talks he has given, and the site now contains 115 presentations covering 26 years.
GPT helped me fix my Bitcoin miner and build it new firmware
GPT helped him fix his Bitcoin miner. He also created his own improved, branded user interface and firmware for 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.
Gift app built to stop giving books people already own
After giving someone a book they already had, he used AI CLI to build a small app for gift ideas. It suggests gifts from his own 5 star book reviews and the other person's Goodreads wishlist.
My agent checked every iPhone app with no ads and no in app purchases and built a directory of 149
He was tired of free apps that are ad spam or paywalls, so he had the AI find every iPhone app with no ads and no in app purchases. The agent verified 149 apps and built them into a directory. Deals in it are checked daily and everything is rechecked weekly.
The AI reverse engineered a menu bar app and modernised it in about 90 minutes
The AI reverse-engineered a Mac menubar app, modernized it and added Apple Silicon support in about 90 minutes.
90 minsaved
The AI scraped my Kindle library and built a spreadsheet of all 2,051 books
She had the AI use the AI for Chrome extension to scrape her whole Kindle library on Amazon. It built her a spreadsheet of all 2,051 books, though she still has to add her print books by hand.
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.