-
Concrete
A Fact-Producing Compiler
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.
-
Essay
CommitLLM: How to Verify an LLM 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.
-
Concrete
Designing a Programming Language for the AI Era
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.