Programming Languages for AI, not humans

As AI systems increasingly write and maintain production software, a mismatch is emerging between who writes code and what programming languages assume about their authors. Most mainstream languages were designed for human programmers who rely on informal reasoning, manual oversight, and implicit constraints. When AI takes on the role of software engineer, this leads to systems that can silently do more than intended, behave in ways that are hard to reproduce, and encode intent only in comments or tests rather than in the program itself. 
This talk presents AILANG, an open-source programming language designed explicitly for AI-authored and AI-maintained systems. Using AILANG as a concrete research artefact, the talk explores how determinism, explicit effects and authority, and executable contracts change how AI systems reason about software and what this implies for the future of programming.

Bio: Mark Edmondson is the founder of Holosun ApS, an AI Platform and engineering company and the creator of AILANG, an open-source programming language designed for AI-authored software. He works at the intersection of AI systems, programming language design, and large-scale production engineering.