Technology
Posts in this category.
135 posts
Gemini 4 Carbon, Harmonic Aristotle, Unlimited OCR 2: Proof Over Promises
Continue reading
Did OpenAI and Anthropic Just Refute the Exponential Time Hypothesis? What the 3-SAT Claims and Lean Proofs Actually Show
Continue reading
LiteLLM supply chain attack, Block’s Dessa, and two small models
Continue reading
AI weekly: fences for agents, proofs for code, a PHP scare
Continue reading
Claude Duet: Anthropic’s proactive agent and the limits it admits
Continue reading