llm

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

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

Concrete already reports facts about authority, allocation, recursion, loop boundedness, trust, fingerprints, and proof evidence. The next step is making those facts queryable.

CommitLLM: How to Verify an LLM Inference CommitLLM: How to Verify an LLM Inference
6 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.

The AI Training Data Trap for Programming Languages Has an Exit The AI Training Data Trap for Programming Languages Has an Exit
7 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.