Alasdair Allan"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/
Three camps alike in dignity
In the last six months, programming languages designed for models rather than humans have started to appear. Work on most began entirely independently, initiated by people who had never heard of each other, but all roughly during the same window of time. I know this, because I built one of them. Vera is a statically […]