A random mix from the whole library. Shuffle for a new set.
A man learning language design spent 3 to 4 weeks with AI doing a full mechanization in Lean of the paper From Linearity to Borrowing. The work covers nearly every definition and lemma in the paper, including the Fundamental Property and Adequacy results.
The AI built him a Bluesky bot that posts HN Wikipedia articles and posts an archive pick after 48 quiet hours; it is live and posting.
Cornell's third live demo on How I AI: The AI converted his 20-year-old blog into a daily podcast, an archive-repurposing use case for a long-running content creator.
Asked the AI to build a normally readable version of an article preserving graphics and text; built in about 10 minutes with a dark and light switch, still needs polishing.
Used the AI to get 4 unfamiliar Proxmox LXC services working, drafting configs and VPN-only firewall rules in 2 days instead of about a week.
A builder created an agent skill that files a user's saved Instagram reels into topic collections. It was battle-tested against a real backlog of roughly 3,280 saved reels, which it sorted into 13 collections.
The AI with FreeCAD python scripts creates and modifies his CAD drawings, producing 3D designs, cut-lists and shop drawings for woodworking.
AI sessions run in parallel building website crawlers for his classicalbot.com project on his VPS, about 10 parallel at most.
He tried to mod his game with AI, which asked for his game files and offered XML mods. So far not one of the mods has worked.
The AI reverse-engineered his laser cutter's G-code dialect and camera controls in 1 to 2 hours; now it places and cuts jobs with power and speed settings and diagnoses problems from scans.
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.