Weeks of work produced a human-guided AI proof with a 100,000-line formalisation
Worked weeks on an AI-generated, human-guided proof of Hilbert-Smith with a complete 100k LOC Lean4 formalization, rushed out after OpenAI's release.
A random mix from the whole library. Shuffle for a new set.
Hobbies
Making things, learning and having fun · 960 ideasThe AI wrote the setup for my three new CI servers
Since the end of August he has added three new CI servers to his own setup. The AI wrote each NixOS setup and he checked the work, so now he can rebuild any of the servers from scratch in minutes.
Checked Tuesday-evening tennis court availability and booked court 2 at 7:30pm with
Demonstrated live: The AI searched court availability, booked the slot, and put it on the calendar without leaving the AI.
Install a new skill for my agent by describing it in English
Joao Silva installed the Jev decision-model skill into his AI fleet without writing integration code: he pasted a plain-English instruction into a session and the agent copied the folder, found the right .env file, added the key and ran the checksum verification. The skill then passed his mandatory three-reviewer gate (security, QA, technical writing) before being committed.
Our AI watches our Wordle group and keeps the leaderboard
He and his friends share their Hádej slova and Wordle results in a WhatsApp group. Their AI, named Klepeto, watches the group, builds leaderboards and statistics from the results, and also plays under its own account.
Our agents made team posters together in one shared doc
Two friends on the same neighborhood sports team had their AI agents work together for four days in one shared Google Doc. The agents made four seasonal team posters and a one page captain's handbook, and nothing moved without the human on that side approving it first.
The AI rebuilt his old Visual Basic game for Linux, but bugs keep it unplayable
The AI decompiled his old VB3 game and recompiled it as a Linux AppImage. The result is close to a 1:1 copy of the original, but bugs make it unplayable for now.
This only partly worked. Worth knowing before you try it.
The AI and I hacked my old Wish smartwatch. Now it talks to a local AI.
Today he and the AI hacked a cheap Wish smartwatch he had abandoned for years. Now the watch talks to an AI model running locally, like a bargain basement Alexa.
The AI studied three seasons of his fantasy league, simulated the draft thousands of times, and he is 2-0 with the highest score in the league
He connected the AI to his Sleeper league and let it work through three seasons of data: scores, managers, draft order, keepers and their non standard scoring rules. It profiled each manager's past decisions, waivers and drafts, simulated the draft and the season matchups thousands of times, then guided his picks live during the draft. Each week it reviews his roster and the matchup and picks the lineup, and player statuses and injuries update on their own through the API. He is 2-0 and put up the highest weekly score in any match by over 40 points.
The AI built me a tool that turns my Bluesky threads into files for Obsidian
Saving his Bluesky threads as Markdown files for Obsidian was a chore he kept doing by hand. He asked the AI to build a converter, and the finished tool is up on his site for anyone to use.
The AI got office software working on Linux in a few hours, published for others
Set the AI on it for a few hours and got Office 365 working under Wine on Linux, published as a working flake he uses with his own account.
An AI coded driver broke my system file. Five hours to fix.
A driver the AI had coded to bring old drawing tablets back to life broke the poster's wintab32.dll file, even though the app it was based on never touches that file. Fixing it took 5 hours.
This one went wrong. See what happened before you try it.
The AI sorted my chats into projects and deleted the empty ones
He spent about a tenth of his AI 6.1 SOL use having it sort all his chat threads into a few main projects and clean out the empty ones. It used the Chrome browser and finished the job with no mistakes.
Generated batches of video outlines and scripts from his saved IG content
Eric Siu (verified, 120K followers) demonstrated the AI’s Instagram integration reading his bookmarks and follow graph, then generating batches of tailored video outlines — '60-Second Playbook,' 'Story Cut,' 'Debate Cut' — each with hooks, TL;DR lines, talking points, editor notes, and links to past successful reels. He said it replaced a full-time person's scripting-research role.
An agent migrated his whole setup to a declarative system, backups included
Migrated a fairly complex setup to NixOS 1 to 1 with an LLM agent and gained declarative services, backups and redeploy tooling.
Laid off two weeks ago, he spent the time finishing the poker site his friend group had wanted for years
His poker group has played together since high school. During Covid they played on a website that later shut down, and there was no good replacement for friends who just want a game of Texas hold'em online. He started building his own with AI while playing with the group, and after he was laid off from his database engineering job he spent two weeks going full time on it: front end, logins, authentication and stats. It is live in beta and free while he waits for his bank to approve that it is not a gambling website.
He tells the AI 'this is bothering me' and his Linux desktop fixes itself
Opens the AI and says this is bothering me for Linux desktop rough edges; it fixes them in the background, documents changes, and pushes his configs and dotfiles to a private git repo.
Ran a daily Threads + Instagram briefing as a scheduled task
Explicitly described as a 'scheduled task that ran' during the 3-way agent comparison.
The AI ran a protein design pipeline on his home GPU for 24 hours, 100 trajectories
The AI ran a protein-design pipeline at home on a 5090, chose similar tooling, and generated about 100 trajectories running 24 hours.
Turn my program synopsis into a 23-page master curriculum
Four days into a 30-day the AI trial, the writer gave the AI the synopsis of Creative Eye Forward, the community education initiative he is building through Creative Eye Studios to teach young people AI literacy, critical thinking and digital creativity. The AI produced a 23-page master curriculum, giving him substantial material to review and shape around the people he will actually teach.
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.