The AI packaged software for Slackware and the package ran
As a test he had an AI harness package GNU Bison for Slackware. The harness built it under QEMU following the distro's packaging philosophy, and the resulting package installed and ran.
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.
The AI manages the home media stack his whole family uses
The AI manages his home media stack (microK8s, arr services, vibe-coded MCP) that his family uses to download and manage media via local AI.
He designs his own furniture with AI and gets cutting blueprints in a couple of hours
A hobbyist designs his own furniture in OpenSCAD with AI, reusing code from earlier pieces. A new design takes a couple of hours including the PDF blueprints, drawn like shop instructions, that he prints so the person cutting his wood panels cannot go wrong.
The AI built me a small app so I could chart two football games
Instead of just watching film and going on impressions, he charted the Western Michigan and Minnesota games. The AI built a small browser app to help him chart and then summed up the plays, and he shared EPA numbers on standard downs for the Minnesota game.
He let AI build the whole desktop environment he now uses every day
Gave AI full control to build a desktop environment he uses daily, with features appearing during the workday and lower RAM and VRAM use than standard desktops.
The AI played a console game itself to test its own texture and gameplay changes
The AI hooked to a PCSX2 emulator upscaled textures, adjusted gameplay mechanics and played the game autonomously in a feedback loop, with mixed and sometimes hilariously bad new content.
This only partly worked. Worth knowing before you try it.
The AI turned my Mastodon posts into a blog
He had the AI build a blog site out of his own Mastodon posts, and the blog is live. A Python script fetches the posts, tidies them up and pulls threads together into single posts.
Sign me up for the NFB webinar — by WhatsApp voice note
A blind AppleVis reviewer writes that he recorded a WhatsApp audio message from an Uber asking the AI to sign him up for an NFB CENA webinar on iOS 27 updates. The AI processed the signup flawlessly, relaying to him the survey questions the NFB form prompted for, and put the webinar on his calendar — one of dozens of conversational automations he set up in his first week.
The AI cleaned up his photo libraries across accounts and converted his old phone images
A homelab owner used AI on his Immich photo setup, which can only remove duplicates inside one user library. The AI found the duplicates across multiple libraries and quarantined them, found his grid based images from his iPhone 4 days, wrote the conversion software, and turned them into animated WebP files.
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.