horatio_thomas·2 か月前·議論Agentic development is making explicit and strict programmings languages with robust tooling the future