Look, no matter your preference or mine, all code is going to be written by AI. We're figuring out how to write better rules and get the agents to follow them. And then, AI will fully own the task of "writing code". Because binary search is O(log n), no matter who wrote the code.
Breaking news:
A 1971 Theorem, an AI Breakthrough and a Startup That Wants to Make Software Bugs Obsolete
By turning large language models into partial evaluators, researchers hope to realize the three famous Futamura projections at industrial scaleโand transform the chaotic world of โvibe codingโ into a new era of specialized, verifiable software.
@manishrjain@bensicard@FranckPachot There's going to be a big opposition to the new world, right up until the point where everybody ends up just accepting it.
Learning of the day: do not, under any circumstances, build dev tooling for yourself. Things are changing too fast and it becomes an all-consuming distraction. Just use out of the box stuff and live with it.
@jaime_srr Gracias! Tengo un audio muy problemรกtico que grabe (mal) para un corto, hace bastante tiempo, y todo lo que he probado ha ido mal. A ver ahora.