An agent built a proof checker, then broke its soundness 5 ways and fixed them
Fable built a minimal proof assistant, then checked its soundness and found and fixed 5 ways it could prove false theorems.
348 new ideas this week
Level up how you use AI
Real things everyday people got it to do, and how to try them yourself.
A random mix from the whole library. Shuffle for a new set.
The AI’s watch app code was broken beyond steering, so a cheaper model rebuilt it and it works
FAILURE then rescue: The AI’s code for his Garmin watch app compiled but was totally broken even with heavy steering; GLM 5.3 Flash then made it work.
This only partly worked. Worth knowing before you try it.
Canceled a home internet plan and secured a $75 inconvenience-fee refund from
A Reddit user asked the AI to cancel their home internet plan. The AI canceled it and secured a $75 inconvenience-fee refund from the provider.
$75
A daily the AI routine checks the health of 53 price collectors behind his site
Daily the AI routine checks the health of the 53 price collectors behind his compute prices site.
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.
A job hunting agent found him 20 interviews in four weeks
His agent runs once a week: it finds companies on Google Maps, finds a real person's contact details on the web, and drafts a personal email for each one, which he approves before it sends. Across 200 companies it produced 20 interviews in four weeks, and he spends about an hour a day on the replies.
The AI put a wrong license number in a letter to a state agency and sent it, then sent the fix from the wrong account
A man asked the AI to prepare a compliance letter to a US state agency to get his driver license reinstated, and to send it from a named email account. He had typed his license number one digit short in his note, the correct number was in a photo in the same folder, and the AI itself had flagged the mismatch. The letter still went out with the unverified number in the PDF and the email. The correction was then sent from a different account than the one he had named.
This one went wrong. See what happened before you try it.
The AI drives a 486 PC through a Pi to test game ports, no more card swapping
The AI was given control of a 486 PC via Raspberry Pi, PS/2 and VGA capture to update binaries, test them and gather logs for DOS porting, replacing manual CF card swapping.
His trading agent moved itself onto a server so his laptop could close
His stock trading agent, given SSH access to a VM, moved itself to run on the server so he no longer has to keep his laptop open.
The AI tells me about new plays every week
He could not find any service that tracks new plays by his 30 or so favorite playwrights. Now the AI checks and tells him every week.
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.