60 stories
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations.
These lines are very difficult for me to write because I feel like digging my own grave. AI systems are improving by leaps and bounds. From the early 2022 fumbling release of ChatGPT, which couldn’t correctly count the number of a’s in my name (it claimed two), we reached OpenAI’s release of math…
Using agents to build property-testing machinery, then turn the findings into small, reviewable fixes.
You can subscribe to the audio-only podcast feed over on Apple’s Podcast app and other apps if audio is more your speed.
Over the past few months I’ve been working on mapsnap, a program to automatically georeference old insurance maps. This post explains why these maps are interesting, how mapsnap works, and why this is worth doing.
An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust - storytold/photocraft
Code as Art I covered this before in Art or tool? If you think of software as artistic output then generated software isn't real because it doesn't have the creative ineffability that's a sign of true art.
Remove unwanted Apple Intelligence models without disabling SIP. CLI, nix-darwin, and Home Manager support. - 4evy/pared
Stop prompting one-by-one. 🛑 When Google Developer Experts built an AI race coach at Sonoma Raceway, they didn't rely on single prompts. They orchestrated a synchronized ADK agent swarm on a Pixel 10: one agent ingesting 10Hz telemetry at the edge, while Gemma 4 fired zero-latency audio coaching…
Your personal media streaming service. Contribute to iksteen/kahawai development by creating an account on GitHub.
More than a year ago I wrote a few posts here that recommended people not to load custom tools into their context (or MCP servers) but to just use more scripts. Most importantly I wrote that Code Is All You Need and I wrote about that MCP needs code.
I haven't had a real job in four years. I closed down a startup I'd been building, just last month. During all these years, I spent most of that time at the back end of the frontier of AI agents. B…
I've been part of open source for most of my life. Now the projects I love are closing their doors to outside PRs, and AI is why. A personal take.
Yes, I admit, this is 100% vibecoded, but it scratches an itch i've had for a while. Seems to work for my usecases at this time, but might add some more features in the future. Comments
mold 🦠: A Modern Linker in Rust 🦀. Contribute to rui314/mold development by creating an account on GitHub.
My blog began as a blosxom (Perl) site running on a VPS. In 2011 I moved to the new GitHub Pages, with the site generated statically by Jekyll (Ruby) on a GitHub server. It was a no-brainer: easier, faster, and cheaper, better in every way.
I don’t care. If I wanted the feedback of an AI, I would have prompted it myself.
An agent's progress should survive the process that runs it. Its code should run within a policy you can review, and its failures should leave a history you can…
Showing 36 of 60 stories
Load more storiesGet the top AI news and tools straight to your inbox every week.
Weekly · AI news
Join 15,000+ AI enthusiasts
