Why Small AI Models Are Becoming the Default
artificial intelligence Aug 28, 2026 5 min read

Why Small AI Models Are Becoming the Default

Small language models are becoming capable enough to handle the repetitive work that fills inboxes, support queues, and business systems. Lower inference costs, faster responses, local deployment, and careful routing can make AI products viable at much larger scale without retiring frontier models for difficult cases.

by ahsan
GLM-5.3-Flash: Frontier Intelligence Without the Heavy Bill
artificial intelligence Aug 26, 2026 5 min read

GLM-5.3-Flash: Frontier Intelligence Without the Heavy Bill

GLM-5.3-Flash combines native multimodal input, a 1M-token context window, and a hybrid attention architecture designed to reduce inference cost. Its bigger idea is a coding and work agent that can inspect visual results, refine its output, and handle long-running workflows without requiring frontier-level pricing.

by ahsan
The CPU Is Back in LLM Inference—Rethink the Split
artificial intelligence Aug 08, 2026 7 min read

The CPU Is Back in LLM Inference—Rethink the Split

LLM inference no longer looks like “CPU submits, GPU generates.” As assistants become agentic, tool calls and orchestration move onto the critical path, making CPU-heavy serving practical. This post breaks down prefill/decode, KV cache, and the software techniques (continuous batching, prefix caching, chunked prefill) that make CPU inference viable.

by ahsan
When AI proves math: formal Lean certificates behind 10 breakthroughs
artificial intelligence Aug 03, 2026 6 min read

When AI proves math: formal Lean certificates behind 10 breakthroughs

OpenAI’s “Ten advances” release highlights a shift from AI-generated arguments to AI-generated *Lean certificates* that can be machine-checked. Learn what formal proofs (Lean, mathlib, Lake) contribute to trust, and how that pipeline underpins breakthroughs across geometry, codes, and complexity theory.

by ahsan