When Code Became Cheap and Proofs Did Not
Lanyon AI combines language models with formal verification - and asks whether, in an age of abundant code, scientific software should finally arrive with proofs.
The AI Fire Brigade That Refused to Look at the Fire
An AI agent breached Hugging Face—then commercial guardrails blocked the forensic response. A sharp lesson in transparency, power and open-weight AI.
Latest
View all
The Prompt, the Patch, and the Moral Panic
From Linux patches to AI-made art: why new tools do not erase talent, judgment or responsibility - and why today’s moral panic may age rather badly in hindsight.
Think of the Children - and Please Sign Here
AI’s prophets discover job loss when it reaches PowerPoint. A four-sentence manifesto demands action—while carefully avoiding who must act, and how.
The Trillion-Dollar Tenant
Apple’s lawsuit exposes OpenAI’s IPO dilemma: a trillion-dollar AI tenant built on rented compute, borrowed infrastructure and highly mobile talent.
Can an AI Sit on the Political Fence?
The Neutrality Project maps AI political leanings across several dimensions, revealing strong green and progressive trends - but also notable exceptions.
The Revenge of the Stack
Nvidia showed that controlling the full stack wins. China’s AI chip race is less about silicon alone than escaping CUDA dependency.