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