llm

Not the keyword you're looking for? See all keywords.

A Fact-Producing Compiler A Fact-Producing Compiler
6 min read Keywords:  concrete, compilers, AI, llm, Formal Verification, Programming Languages

Concrete already knows a lot about what a program relies on: authority, allocation, recursion, trust, safety obligations, and proof evidence. The next step is making those facts easy for agents, CI, and reviewers to use.

CommitLLM: How to Verify an LLM Inference CommitLLM: How to Verify an LLM Inference
7 min read Keywords:  cryptography, llm, verification, inference

LLM APIs ask you to trust that the provider ran the model and settings they advertise. CommitLLM adds cryptographic receipts and audits without zero-knowledge prover costs.

Designing a Programming Language for the AI Era Designing a Programming Language for the AI Era
8 min read Keywords:  Programming Languages, AI, llm, concrete

Edgar Luque is right that AI creates a new barrier for programming languages. He is wrong that the barrier is universal. Languages designed for machine generation and machine verification invert the problem entirely.