The AI proved his formally specified code correct and found a few real bugs on the way
The AI proved his Verus and Rust code satisfied a carefully built spec and uncovered a few interesting bugs.
A random mix from the whole library. Shuffle for a new set.
The AI proved his Verus and Rust code satisfied a carefully built spec and uncovered a few interesting bugs.
A man at a company that paid $300,000 a year for Looker for ten years says one engineer, working part time for a couple of months with AI, built a home grown replacement for their dashboards. The core idea checked out in a couple of weeks, and the company told Looker it will not renew.
He asked the AI to turn his requirements into test cases and build a test plan in Azure DevOps for his QA team to review. He says the job is done.
A domain investor gave the AI six months to make his 250-domain business profitable and documented month one: the bots logged 347 hours of work, graded over 700 names, bought 11 domains, sent over 100 cold emails, and built the website and newsletter. Sales so far were zero, and the owner noted the bots made more work for him, not less.
Gave the AI kubectl access and it chased down a sneaky shutdown performance bug in 10 minutes, producing a spot-on diagnosis sent to developers.
Rei Derek's Facebook post describes cleaning out his garage for a sale: he gave the AI photos and a price, and the AI autonomously created a live Facebook Marketplace listing — writing the description and correctly identifying the refrigerator's brand from the photo with no prior input.
LTM's RAIma super-agent, built in an AI app Studio and embedded in Teams and Microsoft 365 the AI, handles attendance corrections, leave applications, seat booking and hardware requests across more than 87,000 employees. It has resolved over 600,000 queries at roughly 100,000 prompts a month, verifies medical documents for sick-leave approvals, and cut automated campus-onboarding email effort by more than 90%.
Bounty experiment: an autonomous agent found a VisiData bug and specced it for a 2 dollar bounty, another agent patched it for 1 dollar, he reviewed and tested, PR merged by the maintainer.
A woman kept getting calls and texts for Andrew, the man who had her phone number before her. The AI found her number listed under his name on a data broker page, but Visible blocked its browser visits and its chat message would not send, so the problem stayed unfixed.
A developer gave the AI a token for his code repo and set a two hour cycle. The AI checks the issues page, makes a branch for each issue, writes the fix or change, and opens a pull request. Merges rebuild the app and serve it on his home network, and the AI texts him on Telegram when it has a question or when work is done. He uses the app daily and files features as issues, which are handled within a couple of hours.
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.