Good Intentions
The road to AGI and friday deploys is paved with good intentions.
A Brief History of Type Systems and How AI Is Changing the Tradeoffs
How much should a computer know about your data before running your code? The answers have varied from C's permissive casts to Rust's ownership proofs to Elixir's runtime resilience. A survey of what different languages chose, what tradeoffs each carries, and where NTNT's configurable approach fits in.
Documentation as a Build Constraint
Most languages treat documentation as a social contract. Elixir elevated it to a first-class citizen. NTNT makes it a build constraint — the compiler refuses to produce a binary until every function is documented. Is this obviously correct or obviously insane?
The Intent Assertion Language (IAL)
IAL is a term rewriting engine that translates natural language assertions into executable tests. Learn how glossaries, standard terms, and primitives work together...
Intent-Driven Development (IDD)
IDD is a methodology where human requirements become executable specifications. Write natural language, IAL resolves it to executable checks...
Introducing the NTNT Programming Language
NTNT explores what programming might look like when AI agents are the primary authors of code. A research language for human-AI collaborative development...