GitHub Next Can we develop software entirely in natural language, and let an AI-powered toolchain manage the implementation? What's it for? End-to-end development in natural language Share Stage Research prototype Who made it? Johan Rosenkilde Russell Horton Krzysztof Cieślak Jonathan Carter Share When we as software developers instruct computers to do something, we use a programming language like Rust, TypeScript or CSS. Theoretically, the precision of formal languages allows us to predict exactly what behavior we'll get. But this comes at the expense of needing to explicitly specify every detail we want. On the other hand, if we are instructing a fellow human being, we usually leave out many details because they will be obvious or implied based on our shared context. And if our collaborator comes back with something different than what we had in mind, we may clarify any detail. That'...