The AI proved a 2025 borrow-checker paper in Lean over 2 to 3 weeks
The AI was poked along over 2 to 3 weeks to formally prove a 2025 CS paper (borrow checker) in Lean, now used as the basis for a new systems language.
351 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 took a phone emulator from crashing at 2 frames a second to a playable 30
The AI used an adb and profiling harness to take the Eden emulator on a Pixel 10 from crashing to 2 fps to 20-30 fps in Breath of the Wild.
Bills batch posted straight into the accounting system
At the same accounting firm, staff batch upload client bills and the agent reads each one, decides whether it belongs in payables, receivables, or the cash book, and posts it into AutoCount after a person reviews and amends the lines. The firm has run the setup in production for three months.
Cross-app meeting workflow booked the event in the wrong time zone
In a two-week test, the AI read a client email, extracted the meeting time, created a calendar event and sent a confirmation — but the event landed in the wrong time zone (the client email stated none, so the AI defaulted to local time), caught only 40 minutes before the meeting.
This only partly worked. Worth knowing before you try it.
My agent runs my startup overnight. Last night it fixed two user bugs while I slept.
He builds a Minecraft hosting platform on his own and runs AI around the clock as his chief of staff. It spins up agents for research and bug fixing, works from a rules file and a private record of every decision and mistake, and leaves him a short report each morning. Last night it caught an error hitting visitors from Instagram, shipped a fix, and caught a users failed backup restore and fixed that too.
Agents implemented 6 ways to update a smart device, on real hardware
AI coding agents implemented six ways to update a Matter device on real hardware.
The AI fixed the gaming PC fault he had put up with for years
A man had a problem with his HP Omen gaming rig that he had lived with for years, because tracing it in the Event Viewer was too tedious to finish. Working with AI CLI, with AI allowed to run PowerShell to diagnose, the job was painless and the problem was resolved.
My mom can now take her compression stockings off by herself
Her mom normally needs a care service to take off her compression stockings. With the AI she found a way her mom can do it alone in an emergency, her mom tried it and it worked, and her brother no longer has to come over when the care service fails.
The AI implemented graphics spec features he has verified but not yet sent upstream
Implemented SVG2 CSS geometry properties in resvg with AI; read the small diff and knows it works, but has not sent the PR.
This only partly worked. Worth knowing before you try it.
He opens an LLM in his config files and argues with it until his editor works again
Opens an LLM in his dotfiles and complains until his broken LSP config works again, usually in a few minutes, a recurring fix over months.
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.