AI
Not the keyword you're looking for? See all keywords.
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.
The AI Training Data Trap for Programming Languages Has an Exit
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.
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.
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.
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?
Unprepared for What’s Coming
Humanity is completely unprepared for what’s coming. The pace of AI advancement might give people months to adapt, not decades.