Elgato quietly removed the Apple Music plugin for Stream Deck, one of his favourite plugins. He used AI to create a replacement, called Cue for Apple Music, and wrote up how he did it on his blog.
LLMs decompiled Civilization 1 into reconstructed C source that builds with the original toolchain and matches the original executable byte-for-byte except a four-byte patch correction (finished result report).
He spent about four months of spare time building Switchback, a cozy hiking simulator like old park management games, with AI writing the code and judging the look of the assets. It ingests real map heights to build its trails, and has its own water, wind and day and night systems. He launched it on iPhone and iPad yesterday and people are playing it.
He had never written Swift. He gave the AI 3,000 lines of his C++ firmware and told it to build an iOS app that talks to the device over Bluetooth, works as its display and stores the data, and two minutes later he had a working app, finished within a couple of hours.
The AI opened a browser, created an account on the ticket site, picked his concert ticket, and paused for his approval in the app before paying. The confirmation email arrived and the AI added the concert to his calendar.
Quitalashawn told the AI to scan her inbox for unanswered brand-collaboration emails, found 277, drafted and sent the replies, then continued negotiating back and forth with brands on her behalf.
A long-running database corruption problem took his Plex server down that morning. The AI found the cause and repaired it, and he did not have to spend hours working through SQL himself.
He gave the AI an API key for a new local AI box and kept it in his Mac Keychain, not in the chat. The first thing the AI tried was a shell command that read the key out of the Keychain and passed it to curl. A hook blocked the command before it could run.
This one went wrong. See what happened before you try it.
A researcher wrote the Lean statement of a theorem himself, then fed the published paper to the AI and had it write the proof. It finished in a couple of hours, and the Lean kernel verified the proof.