-
Essay
When Civilization Escapes the Human
Most analyses of how AI will impact society focus on the economy. Why we should focus not only on the economic impact of artificial intelligence, but also on purpose and agency.
-
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.
-
Concrete
When the Compiler Is the Oracle
I ran an autoresearch-style loop on a Concrete program. The compiler told an agent where authority, allocation, and proof surface could improve and confirmed when those properties changed. No profiler, no benchmark noise. Your compiler can answer questions instead of saying pass/fail.
-
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.
-
Les Circuits Longs
Legibility Kills What It Measures
What happens when AI makes everything legible? The things that worked because they couldn't be seen clearly may stop working once they can.
-
Les Circuits Longs
Friction as Luxury: What We Lose When AI Gives Us What We Want
The scarcity that matters most in a post AGI world won't be compute or energy. It will be desire itself.
-
Essay
China is trying to commoditize the complement
What happens to the West's services advantage when strong AI models are free, portable, and running on every laptop?