Catalogue of 48 programming languages designed for AI agents maps three competing camps
QuixiAI · x · 2026-10-25
agentlanguages.dev launches a live catalogue of 48 programming languages designed for AI agents to write, organizing them into three camps that disagree on the framing itself:
- Syntactic: the problem is representational — strip ambiguity at the token level (JSON ASTs, keywords over operators); weakness is no compiler mechanism to catch model errors.
- Verification: models don't need to be right, just checkable — make contracts mechanically verifiable.
- Orchestration: it isn't a language problem at all — constrain how agents coordinate.
The catalogue also features With, a self-hosted, LLVM-native systems language: Rust-like memory safety via a different mechanism — persistent single ownership, ephemeral never-stored borrows, typed handles for outliving relationships — eliminating lifetime annotations at the cost of forbidding references in long-lived data; its compiler rebuilds itself to a byte-identical fixpoint.
More from coding & agent
- Dev offers to pay extra for a 'terse mode' that caps agent replies at 5 lines — weswinder · 2026-10-25
- Agent builds 100%-reliable Node.js brotli exploit in 5 unsupervised hours — jcran · 2026-10-25
- Dev builds interactive 3D energy textbook covering full GCSE topic with Opus 5.5 and Three.js — Afinetheorem · 2026-10-25
- Codex CLI 0.164.0 Adds Presets: Save Prompts and Settings, Recall via Ctrl+X P — pvncher · 2026-10-25
- 305M-Parameter Sparse MoE Runs Computer-Use Agent Fully Offline on a MacBook Air — lmoroney · 2026-10-25
- Kling 4 nails one-shot real estate videos with full reference-image consistency — venturetwins · 2026-10-25